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