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;
18 
19 import dot.junit.DxTestCase;
20 import dot.junit.DxUtil;
21 import dot.junit.opcodes.const_wide.d.T_const_wide_1;
22 import dot.junit.opcodes.const_wide.d.T_const_wide_2;
23 
24 public class Test_const_wide extends DxTestCase {
25     /**
26      * @title const-wide v1, 1.2345678901232324E51
27      */
testN1()28     public void testN1() {
29         T_const_wide_1 t = new T_const_wide_1();
30         double a = 1234567890123232323232232323232323232323232323456788d;
31         double b = 1d;
32         assertEquals(a + b, t.run(), 0d);
33     }
34 
35     /**
36      * @title const-wide v253, 20000000000
37      */
testN2()38     public void testN2() {
39         T_const_wide_2 t = new T_const_wide_2();
40          long a = 10000000000l;
41          long b = 10000000000l;
42         assertEquals(a + b, t.run());
43     }
44 
45     /**
46      * @constraint A24
47      * @title  number of registers
48      */
testVFE1()49     public void testVFE1() {
50         load("dot.junit.opcodes.const_wide.d.T_const_wide_3", VerifyError.class);
51     }
52 
53     /**
54      * @constraint B11
55      * @title  When writing to a register that is one half of a register
56      * pair, but not touching the other half, the old register pair gets broken up, and the
57      * other register involved in it becomes undefined
58      */
testVFE2()59     public void testVFE2() {
60         load("dot.junit.opcodes.const_wide.d.T_const_wide_4", VerifyError.class);
61     }
62 
63 }
64