/*
* This file is part of the Jikes RVM project (http://jikesrvm.org).
*
* This file is licensed to You under the Eclipse Public License (EPL);
* You may not use this file except in compliance with the License. You
* may obtain a copy of the License at
*
* http://www.opensource.org/licenses/eclipse-1.0.php
*
* See the COPYRIGHT.txt file distributed with this work for information
* regarding copyright ownership.
*
* Alternatively, this file is licensed to You under the MIT License:
* http://opensource.org/licenses/MIT .
*/
package test.org.jikesrvm.basic.bugs;
import gnu.testlet.TestHarness;
import gnu.testlet.Testlet;
/**
* Test code demonstrating bug [ 1644460 ] DaCapo lusearch fails when opt compiled.
* <p/>
* Should be tested with -X:aos:initial_compiler=opt in at least one test-configuration.
*/
public class R1644460_B implements Testlet {
public int getExpectedPass() { return 14; }
public int getExpectedFail() { return 0; }
public int getExpectedKnownFail() { return 0; }
public static float b = 0.009765625f;
public static float a = 10.57379f;
public static float aa = 8.485281f;
public static float ab = 1.2461331f;
public void test(TestHarness th) {
float c = a * b;
check(th, c);
float d = aa * ab;
d *= b;
check(th, d);
th.check(c, 0.10325967f);
th.check(a * b, 0.10325967f);
}
private static void check(TestHarness th, float c) {
th.check((c == 0.10325967f));
th.check(!(c != 0.10325967f));
th.check((c <= 0.10325967f));
th.check((c >= 0.10325967f));
th.check(!(c < 0.10325967f));
th.check(!(c > 0.10325967f));
}
}