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