1 /*
2  * Copyright (C) 2008 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 package dot.junit.opcodes.and_int_lit16;
18 
19 import dot.junit.DxTestCase;
20 import dot.junit.DxUtil;
21 import dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_5;
22 import dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_1;
23 import dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_2;
24 import dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_3;
25 import dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_4;
26 import dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_9;
27 
28 public class Test_and_int_lit16 extends DxTestCase {
29     /**
30      * @title Arguments = 15 & 8
31      */
testN1()32     public void testN1() {
33         T_and_int_lit16_1 t = new T_and_int_lit16_1();
34         assertEquals(8, t.run());
35     }
36 
37     /**
38      * @title Arguments = 0xfffffff8 & -8
39      */
testN2()40     public void testN2() {
41         T_and_int_lit16_2 t = new T_and_int_lit16_2();
42         assertEquals(-8, t.run());
43     }
44 
45     /**
46      * @title Arguments = 0xcafe & -1
47      */
testN3()48     public void testN3() {
49         T_and_int_lit16_3 t = new T_and_int_lit16_3();
50         assertEquals(0xcafe, t.run());
51     }
52 
53     /**
54      * @title Arguments = 0 & -1
55      */
testB1()56     public void testB1() {
57         T_and_int_lit16_4 t = new T_and_int_lit16_4();
58         assertEquals(0, t.run());
59     }
60 
61     /**
62      * @title Arguments = Short.MAX_VALUE & Short.MIN_VALUE
63      */
testB2()64     public void testB2() {
65         T_and_int_lit16_5 t = new T_and_int_lit16_5();
66         assertEquals(0, t.run());
67     }
68 
69 
70 
71     /**
72      * @constraint B1
73      * @title  types of arguments - double & int
74      */
testVFE1()75     public void testVFE1() {
76         load("dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_6", VerifyError.class);
77     }
78 
79     /**
80      * @constraint B1
81      * @title types of arguments - long & int
82      */
testVFE2()83     public void testVFE2() {
84         load("dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_7", VerifyError.class);
85     }
86 
87     /**
88      * @constraint B1
89      * @title types of arguments - int & reference
90      */
testVFE3()91     public void testVFE3() {
92         load("dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_8", VerifyError.class);
93     }
94 
95     /**
96      * @constraint A23
97      * @title number of registers
98      */
testVFE5()99     public void testVFE5() {
100         load("dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_10", VerifyError.class);
101     }
102 
103     /**
104      * @constraint B1
105      * @title Types of arguments - int, float. The verifier checks that ints
106      * and floats are not used interchangeably.
107      */
testVFE6()108     public void testVFE6() {
109         load("dot.junit.opcodes.and_int_lit16.d.T_and_int_lit16_9", VerifyError.class);
110     }
111 }
112