package dxc.junit.opcodes.fdiv;
import dxc.junit.DxTestCase;
import dxc.junit.DxUtil;
import dxc.junit.opcodes.fdiv.jm.T_fdiv_1;
public class Test_fdiv extends DxTestCase {
/**
* @title Arguments = 2.7f, 3.14f
*/
public void testN1() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(0.8598726f, t.run(2.7f, 3.14f));
}
/**
* @title Dividend = 0
*/
public void testN2() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(0f, t.run(0, 3.14f));
}
/**
* @title Dividend is negative
*/
public void testN3() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(-1.162963f, t.run(-3.14f, 2.7f));
}
/**
* @title Arguments = Float.MAX_VALUE, Float.NaN
*/
public void testB1() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(Float.NaN, t.run(Float.MAX_VALUE, Float.NaN));
}
/**
* @title Arguments = Float.POSITIVE_INFINITY,
* Float.NEGATIVE_INFINITY
*/
public void testB2() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(Float.NaN, t.run(Float.POSITIVE_INFINITY,
Float.NEGATIVE_INFINITY));
}
/**
* @title Arguments = Float.POSITIVE_INFINITY, -2.7f
*/
public void testB3() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(Float.NEGATIVE_INFINITY, t.run(Float.POSITIVE_INFINITY,
-2.7f));
}
/**
* @title Arguments = -2.7f, Float.NEGATIVE_INFINITY
*/
public void testB4() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(0f, t.run(-2.7f, Float.NEGATIVE_INFINITY));
}
/**
* @title Arguments = 0, 0
*/
public void testB5() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(Float.NaN, t.run(0, 0));
}
/**
* @title Arguments = 0, -2.7
*/
public void testB6() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(-0f, t.run(0, -2.7f));
}
/**
* @title Arguments = -2.7, 0
*/
public void testB7() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(Float.NEGATIVE_INFINITY, t.run(-2.7f, 0));
}
/**
* @title Arguments = 1, Float.MAX_VALUE
*/
public void testB8() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(Float.POSITIVE_INFINITY, t.run(1, Float.MIN_VALUE));
}
/**
* @title Arguments = Float.MAX_VALUE, -1E-9f
*/
public void testB9() {
T_fdiv_1 t = new T_fdiv_1();
assertEquals(Float.NEGATIVE_INFINITY, t.run(Float.MAX_VALUE, -1E-9f));
}
/**
* @constraint 4.8.2.1
* @title number of arguments
*/
public void testVFE1() {
try {
Class.forName("dxc.junit.opcodes.fdiv.jm.T_fdiv_2");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - float / double
*/
public void testVFE2() {
try {
Class.forName("dxc.junit.opcodes.fdiv.jm.T_fdiv_3");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - long / float
*/
public void testVFE3() {
try {
Class.forName("dxc.junit.opcodes.fdiv.jm.T_fdiv_4");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - reference / float
*/
public void testVFE4() {
try {
Class.forName("dxc.junit.opcodes.fdiv.jm.T_fdiv_5");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}