package dxc.junit.opcodes.if_icmpeq;
import dxc.junit.DxTestCase;
import dxc.junit.DxUtil;
import dxc.junit.opcodes.if_icmpeq.jm.T_if_icmpeq_1;
public class Test_if_icmpeq extends DxTestCase {
/**
* @title Arguments = 5, 6
*/
public void testN1() {
T_if_icmpeq_1 t = new T_if_icmpeq_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, 6));
}
/**
* @title Arguments = 0x0f0e0d0c, 0x0f0e0d0c
*/
public void testN2() {
T_if_icmpeq_1 t = new T_if_icmpeq_1();
assertEquals(1, t.run(0x0f0e0d0c, 0x0f0e0d0c));
}
/**
* @title Arguments = 5, -5
*/
public void testN3() {
T_if_icmpeq_1 t = new T_if_icmpeq_1();
assertEquals(1234, t.run(5, -5));
}
/**
* @title Arguments = 0x01001234, 0x1234
*/
public void testN4() {
T_if_icmpeq_1 t = new T_if_icmpeq_1();
assertEquals(1234, t.run(0x01001234, 0x1234));
}
/**
* @title Arguments = Integer.MAX_VALUE, Integer.MAX_VALUE
*/
public void testB1() {
T_if_icmpeq_1 t = new T_if_icmpeq_1();
assertEquals(1, t.run(Integer.MAX_VALUE, Integer.MAX_VALUE));
}
/**
* @title Arguments = Integer.MIN_VALUE, Integer.MIN_VALUE
*/
public void testB2() {
T_if_icmpeq_1 t = new T_if_icmpeq_1();
assertEquals(1, t.run(Integer.MIN_VALUE, Integer.MIN_VALUE));
}
/**
* @title Arguments = 0, 1234567
*/
public void testB3() {
T_if_icmpeq_1 t = new T_if_icmpeq_1();
assertEquals(1234, t.run(0, 1234567));
}
/**
* @title Arguments = 0, 0
*/
public void testB4() {
T_if_icmpeq_1 t = new T_if_icmpeq_1();
assertEquals(1, t.run(0, 0));
}
/**
* @constraint 4.8.2.1
* @title number of arguments
*/
public void testVFE1() {
try {
Class.forName("dxc.junit.opcodes.if_icmpeq.jm.T_if_icmpeq_2");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - int, double
*/
public void testVFE2() {
try {
Class.forName("dxc.junit.opcodes.if_icmpeq.jm.T_if_icmpeq_3");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - long, int
*/
public void testVFE3() {
try {
Class.forName("dxc.junit.opcodes.if_icmpeq.jm.T_if_icmpeq_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.if_icmpeq.jm.T_if_icmpeq_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.if_icmpeq.jm.T_if_icmpeq_6");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint 4.8.2.1
* @title types of arguments - int, reference
*/
public void testVFE6() {
try {
Class.forName("dxc.junit.opcodes.if_icmpeq.jm.T_if_icmpeq_7");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
