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.sub_float_2addr;
18 
19 import dot.junit.DxTestCase;
20 import dot.junit.DxUtil;
21 import dot.junit.opcodes.sub_float_2addr.d.T_sub_float_2addr_1;
22 import dot.junit.opcodes.sub_float_2addr.d.T_sub_float_2addr_5;
23 
24 public class Test_sub_float_2addr extends DxTestCase {
25     /**
26      * @title Arguments = 2.7f, 3.14f
27      */
testN1()28     public void testN1() {
29         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
30         assertEquals(-0.44000006f, t.run(2.7f, 3.14f));
31     }
32 
33     /**
34      * @title Arguments = 0, -3.14f
35      */
testN2()36     public void testN2() {
37         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
38         assertEquals(3.14f, t.run(0, -3.14f));
39     }
40 
41     /**
42      * @title
43      */
testN3()44     public void testN3() {
45         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
46         assertEquals(-0.44000006f, t.run(-3.14f, -2.7f));
47     }
48 
49     /**
50      * @title Arguments = Float.MAX_VALUE, Float.NaN
51      */
testB1()52     public void testB1() {
53         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
54         assertEquals(Float.NaN, t.run(Float.MAX_VALUE, Float.NaN));
55     }
56 
57     /**
58      * @title Arguments = Float.POSITIVE_INFINITY,
59      * Float.NEGATIVE_INFINITY
60      */
testB2()61     public void testB2() {
62         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
63         assertEquals(Float.POSITIVE_INFINITY, t.run(Float.POSITIVE_INFINITY,
64                 Float.NEGATIVE_INFINITY));
65     }
66 
67     /**
68      * @title Arguments = Float.POSITIVE_INFINITY,
69      * Float.POSITIVE_INFINITY
70      */
testB3()71     public void testB3() {
72         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
73         assertEquals(Float.NaN, t.run(Float.POSITIVE_INFINITY,
74                 Float.POSITIVE_INFINITY));
75     }
76 
77     /**
78      * @title Arguments = Float.POSITIVE_INFINITY, -2.7f
79      */
testB4()80     public void testB4() {
81         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
82         assertEquals(Float.POSITIVE_INFINITY, t.run(Float.POSITIVE_INFINITY,
83                 -2.7f));
84     }
85 
86     /**
87      * @title Arguments = +0, -0f
88      */
testB5()89     public void testB5() {
90         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
91         assertEquals(+0f, t.run(+0f, -0f));
92     }
93 
94     /**
95      * @title Arguments = -0f, -0f
96      */
testB6()97     public void testB6() {
98         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
99         assertEquals(0f, t.run(-0f, -0f));
100     }
101 
102     /**
103      * @title Arguments = +0f, +0f
104      */
testB7()105     public void testB7() {
106         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
107         assertEquals(+0f, t.run(+0f, +0f));
108     }
109 
110     /**
111      * @title Arguments = 2.7f, 2.7f
112      */
testB8()113     public void testB8() {
114         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
115         assertEquals(0f, t.run(2.7f, 2.7f));
116     }
117 
118     /**
119      * @title Arguments = Float.MAX_VALUE, Float.MAX_VALUE
120      */
testB9()121     public void testB9() {
122         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
123         assertEquals(0f, t.run(Float.MAX_VALUE, Float.MAX_VALUE));
124     }
125 
126     /**
127      * @title Arguments = Float.MIN_VALUE, -1.4E-45f
128      */
testB10()129     public void testB10() {
130         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
131         assertEquals(0f, t.run(Float.MIN_VALUE, 1.4E-45f));
132     }
133 
134     /**
135      * @title Arguments = Float.MAX_VALUE, -Float.MAX_VALUE
136      */
testB11()137     public void testB11() {
138         T_sub_float_2addr_1 t = new T_sub_float_2addr_1();
139         assertEquals(Float.POSITIVE_INFINITY, t.run(Float.MAX_VALUE,
140                 -3.402823E+38F));
141     }
142 
143 
144 
145 
146     /**
147      * @constraint B1
148      * @title Types of arguments - int, float. The verifier checks that ints
149      * and floats are not used interchangeably.
150      */
testVFE1()151     public void testVFE1() {
152         load("dot.junit.opcodes.sub_float_2addr.d.T_sub_float_2addr_5", VerifyError.class);
153     }
154 
155     /**
156      * @constraint B1
157      * @title types of arguments - float, double
158      */
testVFE2()159     public void testVFE2() {
160         load("dot.junit.opcodes.sub_float_2addr.d.T_sub_float_2addr_2", VerifyError.class);
161     }
162 
163     /**
164      * @constraint B1
165      * @title types of arguments - long, float
166      */
testVFE3()167     public void testVFE3() {
168         load("dot.junit.opcodes.sub_float_2addr.d.T_sub_float_2addr_3", VerifyError.class);
169     }
170 
171     /**
172      * @constraint B1
173      * @title types of arguments - reference, float
174      */
testVFE4()175     public void testVFE4() {
176         load("dot.junit.opcodes.sub_float_2addr.d.T_sub_float_2addr_4", VerifyError.class);
177     }
178 
179     /**
180      * @constraint A23
181      * @title number of registers
182      */
testVFE5()183     public void testVFE5() {
184         load("dot.junit.opcodes.sub_float_2addr.d.T_sub_float_2addr_6", VerifyError.class);
185     }
186 
187 }
188