package dxc.junit.opcodes.ifle;
import dxc.junit.DxTestCase;
import dxc.junit.DxUtil;
import dxc.junit.opcodes.ifle.jm.T_ifle_1;
public class Test_ifle extends DxTestCase {
/**
* @title Argument = 5
*/
public void testN1() {
T_ifle_1 t = new T_ifle_1();
/*
* Compare with 1234 to check that in case of failed comparison
* execution proceeds at the address following if_acmpeq instruction
*/
assertEquals(1234, t.run(5));
}
/**
* @title Argument = 0
*/
public void testN2() {
T_ifle_1 t = new T_ifle_1();
assertEquals(1, t.run(0));
}
/**
* @title Arguments = -5
*/
public void testN3() {
T_ifle_1 t = new T_ifle_1();
assertEquals(1, t.run(-5));
}
/**
* @title Arguments = Integer.MAX_VALUE
*/
public void testB1() {
T_ifle_1 t = new T_ifle_1();
assertEquals(1234, t.run(Integer.MAX_VALUE));
}
/**
* @title Arguments = Integer.MIN_VALUE
*/
public void testB2() {
T_ifle_1 t = new T_ifle_1();
assertEquals(1, t.run(Integer.MIN_VALUE));
}
/**
* @constraint 4.8.2.1
* @title number of arguments
*/
public void testVFE1() {
try {
Class.forName("dxc.junit.opcodes.ifle.jm.T_ifle_2");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - double
*/
public void testVFE2() {
try {
Class.forName("dxc.junit.opcodes.ifle.jm.T_ifle_3");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - long
*/
public void testVFE3() {
try {
Class.forName("dxc.junit.opcodes.ifle.jm.T_ifle_4");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.1.7
* @title branch target shall be inside the
* method
*/
public void testVFE4() {
try {
Class.forName("dxc.junit.opcodes.ifle.jm.T_ifle_5");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.1.7
* @title branch target shall not be "inside" wide
* instruction
*/
public void testVFE5() {
try {
Class.forName("dxc.junit.opcodes.ifle.jm.T_ifle_6");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - reference
*/
public void testVFE6() {
try {
Class.forName("dxc.junit.opcodes.ifle.jm.T_ifle_7");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
评论0