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.const_wide_16;
18 
19 import dot.junit.DxTestCase;
20 import dot.junit.DxUtil;
21 import dot.junit.opcodes.const_wide_16.d.T_const_wide_16_1;
22 
23 public class Test_const_wide_16 extends DxTestCase {
24 
25     /**
26      * @title const-wide/16 v253, 20000
27      */
testN1()28     public void testN1() {
29         T_const_wide_16_1 t = new T_const_wide_16_1();
30          long a = 10000l;
31          long b = 10000l;
32         assertEquals(a + b, t.run());
33     }
34 
35     /**
36      * @constraint A24
37      * @title  number of registers
38      */
testVFE1()39     public void testVFE1() {
40         load("dot.junit.opcodes.const_wide_16.d.T_const_wide_16_3", VerifyError.class);
41     }
42 
43     /**
44      * @constraint B11
45      * @title  When writing to a register that is one half of a register
46      * pair, but not touching the other half, the old register pair gets broken up, and the
47      * other register involved in it becomes undefined
48      */
testVFE2()49     public void testVFE2() {
50         load("dot.junit.opcodes.const_wide_16.d.T_const_wide_16_4", VerifyError.class);
51     }
52 
53 }
54