package dot.junit.opcodes.add_int_lit16;
import dot.junit.DxTestCase;
import dot.junit.DxUtil;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_16;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_5;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_1;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_10;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_11;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_12;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_2;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_3;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_4;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_6;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_7;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_8;
import dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_9;
public class Test_add_int_lit16 extends DxTestCase {
/**
* @title Arguments = 8 + 4
*/
public void testN1() {
T_add_int_lit16_1 t = new T_add_int_lit16_1();
assertEquals(12, t.run());
}
/**
* @title Arguments = 0 + 255
*/
public void testN2() {
T_add_int_lit16_2 t = new T_add_int_lit16_2();
assertEquals(255, t.run());
}
/**
* @title Arguments = 0 + (-32768)
*/
public void testN3() {
T_add_int_lit16_3 t = new T_add_int_lit16_3();
assertEquals(-32768, t.run());
}
/**
* @title Arguments = (-2147483647) + 0
*/
public void testN4() {
T_add_int_lit16_4 t = new T_add_int_lit16_4();
assertEquals(-2147483647, t.run());
}
/**
* @title Arguments = 0x7ffffffe + 2
*/
public void testN5() {
T_add_int_lit16_5 t = new T_add_int_lit16_5();
assertEquals(-2147483648, t.run());
}
/**
* @title Arguments = -1 + 1
*/
public void testN6() {
T_add_int_lit16_6 t = new T_add_int_lit16_6();
assertEquals(0, t.run());
}
/**
* @title Types of arguments - int, float. Dalvik doens't distinguish 32-bits types internally,
* so this sum of float and int makes no sense but shall not crash the VM.
*/
public void testN7() {
T_add_int_lit16_16 t = new T_add_int_lit16_16();
try {
t.run(3.14f);
} catch (Throwable e) {
}
}
/**
* @title Arguments = 0 + Short.MAX_VALUE
*/
public void testB1() {
T_add_int_lit16_7 t = new T_add_int_lit16_7();
assertEquals(Short.MAX_VALUE, t.run());
}
/**
* @title Arguments = Integer.MAX_VALUE + Short.MAX_VALUE
*/
public void testB2() {
T_add_int_lit16_8 t = new T_add_int_lit16_8();
assertEquals(-2147450882, t.run());
}
/**
* @title Arguments = Integer.MAX_VALUE + 1
*/
public void testB3() {
T_add_int_lit16_9 t = new T_add_int_lit16_9();
assertEquals(Integer.MIN_VALUE, t.run());
}
/**
* @title Arguments = Integer.MIN_VALUE + 1
*/
public void testB4() {
T_add_int_lit16_10 t = new T_add_int_lit16_10();
assertEquals(-2147483647, t.run());
}
/**
* @title Arguments = 0 + 0
*/
public void testB5() {
T_add_int_lit16_11 t = new T_add_int_lit16_11();
assertEquals(0, t.run());
}
/**
* @title Arguments = Short.MIN_VALUE + Short.MIN_VALUE
*/
public void testB6() {
T_add_int_lit16_12 t = new T_add_int_lit16_12();
assertEquals(-65536, t.run());
}
/**
* @constraint B1
* @title types of arguments - int, double
*/
public void testVFE1() {
try {
Class.forName("dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_13");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint B1
* @title types of arguments - long, int
*/
public void testVFE2() {
try {
Class.forName("dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_14");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint B1
* @title types of arguments - reference, int
*/
public void testVFE3() {
try {
Class.forName("dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_15");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint A23
* @title number of registers
*/
public void testVFE4() {
try {
Class.forName("dot.junit.opcodes.add_int_lit16.d.T_add_int_lit16_17");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
