1 package dot.junit.opcodes.shl_long;
2 
3 import dot.junit.DxTestCase;
4 import dot.junit.DxUtil;
5 import dot.junit.opcodes.shl_long.d.T_shl_long_1;
6 import dot.junit.opcodes.shl_long.d.T_shl_long_7;
7 
8 public class Test_shl_long extends DxTestCase {
9 
10     /**
11      * @title Arguments = 5000000000l, 3
12      */
testN1()13     public void testN1() {
14         T_shl_long_1 t = new T_shl_long_1();
15         assertEquals(40000000000l, t.run(5000000000l, 3));
16     }
17 
18     /**
19      * @title Arguments = 5000000000l, 1
20      */
testN2()21     public void testN2() {
22         T_shl_long_1 t = new T_shl_long_1();
23         assertEquals(10000000000l, t.run(5000000000l, 1));
24     }
25 
26     /**
27      * @title Arguments = -5000000000l, 1
28      */
testN3()29     public void testN3() {
30         T_shl_long_1 t = new T_shl_long_1();
31         assertEquals(-10000000000l, t.run(-5000000000l, 1));
32     }
33 
34     /**
35      * @title Arguments = 1 & -1
36      */
testN4()37     public void testN4() {
38         T_shl_long_1 t = new T_shl_long_1();
39         assertEquals(0x8000000000000000l, t.run(1l, -1));
40     }
41 
42     /**
43      * @title Verify that shift distance is actually in range 0 to 64.
44      */
testN5()45     public void testN5() {
46         T_shl_long_1 t = new T_shl_long_1();
47         assertEquals(130l, t.run(65l, 65));
48     }
49 
50 
51 
52     /**
53      * @title Arguments = 0 & -1
54      */
testB1()55     public void testB1() {
56         T_shl_long_1 t = new T_shl_long_1();
57         assertEquals(0, t.run(0, -1));
58     }
59 
60     /**
61      * @title Arguments = 1 & 0
62      */
testB2()63     public void testB2() {
64         T_shl_long_1 t = new T_shl_long_1();
65         assertEquals(1, t.run(1, 0));
66     }
67 
68     /**
69      * @title Arguments = Long.MAX_VALUE & 1
70      */
testB3()71     public void testB3() {
72         T_shl_long_1 t = new T_shl_long_1();
73         assertEquals(0xfffffffe, t.run(Long.MAX_VALUE, 1));
74     }
75 
76     /**
77      * @title Arguments = Long.MIN_VALUE & 1
78      */
testB4()79     public void testB4() {
80         T_shl_long_1 t = new T_shl_long_1();
81         assertEquals(0l, t.run(Long.MIN_VALUE, 1));
82     }
83 
84     /**
85      * @constraint A24
86      * @title number of registers
87      */
testVFE1()88     public void testVFE1() {
89         load("dot.junit.opcodes.shl_long.d.T_shl_long_2", VerifyError.class);
90     }
91 
92 
93 
94     /**
95      * @constraint B1
96      * @title types of arguments - long & double
97      */
testVFE2()98     public void testVFE2() {
99         load("dot.junit.opcodes.shl_long.d.T_shl_long_3", VerifyError.class);
100     }
101 
102     /**
103      * @constraint B1
104      * @title types of arguments - int & int
105      */
testVFE3()106     public void testVFE3() {
107         load("dot.junit.opcodes.shl_long.d.T_shl_long_4", VerifyError.class);
108     }
109 
110     /**
111      * @constraint B1
112      * @title types of arguments - float & int
113      */
testVFE4()114     public void testVFE4() {
115         load("dot.junit.opcodes.shl_long.d.T_shl_long_5", VerifyError.class);
116     }
117 
118     /**
119      * @constraint B1
120      * @title  types of arguments - reference & int
121      */
testVFE5()122     public void testVFE5() {
123         load("dot.junit.opcodes.shl_long.d.T_shl_long_6", VerifyError.class);
124     }
125 
126     /**
127      * @constraint B1
128      * @title Types of arguments - double, int. The verifier checks that longs
129      * and doubles are not used interchangeably.
130      */
testVFE6()131     public void testVFE6() {
132         load("dot.junit.opcodes.shl_long.d.T_shl_long_7", VerifyError.class);
133     }
134 
135 }
136