blob: ff46973f06cbba0126dcfb6059da82e1415e106e [file] [log] [blame]
package dot.junit.opcodes.shl_int_2addr;
import dot.junit.DxTestCase;
import dot.junit.DxUtil;
import dot.junit.opcodes.shl_int_2addr.d.T_shl_int_2addr_1;
import dot.junit.opcodes.shl_int_2addr.d.T_shl_int_2addr_6;
public class Test_shl_int_2addr extends DxTestCase {
/**
* @title 15 << 1
*/
public void testN1() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(30, t.run(15, 1));
}
/**
* @title 33 << 2
*/
public void testN2() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(132, t.run(33, 2));
}
/**
* @title -15 << 1
*/
public void testN3() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(-30, t.run(-15, 1));
}
/**
* @title Arguments = 1 & -1
*/
public void testN4() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(0x80000000, t.run(1, -1));
}
/**
* @title Verify that shift distance is actually in range 0 to 32.
*/
public void testN5() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(66, t.run(33, 33));
}
/**
* @title Arguments = 0 & -1
*/
public void testB1() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(0, t.run(0, -1));
}
/**
* @title Arguments = Integer.MAX_VALUE & 1
*/
public void testB2() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(0xfffffffe, t.run(Integer.MAX_VALUE, 1));
}
/**
* @title Arguments = Integer.MIN_VALUE & 1
*/
public void testB3() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(0, t.run(Integer.MIN_VALUE, 1));
}
/**
* @title Arguments = 1 & 0
*/
public void testB4() {
T_shl_int_2addr_1 t = new T_shl_int_2addr_1();
assertEquals(1, t.run(1, 0));
}
/**
* @constraint A23
* @title number of registers
*/
public void testVFE1() {
load("dot.junit.opcodes.shl_int_2addr.d.T_shl_int_2addr_2", VerifyError.class);
}
/**
* @constraint B1
* @title types of arguments - double & int
*/
public void testVFE2() {
load("dot.junit.opcodes.shl_int_2addr.d.T_shl_int_2addr_3", VerifyError.class);
}
/**
* @constraint B1
* @title types of arguments - long & int
*/
public void testVFE3() {
load("dot.junit.opcodes.shl_int_2addr.d.T_shl_int_2addr_4", VerifyError.class);
}
/**
* @constraint B1
* @title types of arguments - reference & int
*/
public void testVFE4() {
load("dot.junit.opcodes.shl_int_2addr.d.T_shl_int_2addr_5", VerifyError.class);
}
/**
* @constraint B1
* @title Types of arguments - float, float. The verifier checks that ints
* and floats are not used interchangeably.
*/
public void testVFE5() {
load("dot.junit.opcodes.shl_int_2addr.d.T_shl_int_2addr_6", VerifyError.class);
}
}