OLD | NEW |
---|---|
(Empty) | |
1 // Copyright 2011 the V8 project authors. All rights reserved. | |
2 // Redistribution and use in source and binary forms, with or without | |
3 // modification, are permitted provided that the following conditions are | |
4 // met: | |
5 // | |
6 // * Redistributions of source code must retain the above copyright | |
7 // notice, this list of conditions and the following disclaimer. | |
8 // * Redistributions in binary form must reproduce the above | |
9 // copyright notice, this list of conditions and the following | |
10 // disclaimer in the documentation and/or other materials provided | |
11 // with the distribution. | |
12 // * Neither the name of Google Inc. nor the names of its | |
13 // contributors may be used to endorse or promote products derived | |
14 // from this software without specific prior written permission. | |
15 // | |
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | |
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | |
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | |
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | |
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | |
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | |
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | |
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | |
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
27 | |
28 // Flags: --allow-natives-syntax --nouse_inlining | |
29 | |
30 // Use this function as reference. Make sure it is not inlined. | |
31 function div(a, b) { | |
32 return a / b; | |
33 } | |
34 | |
35 var limit = 0x1000000; | |
36 var exhaustive_limit = 100; | |
37 var step = 10; | |
38 var values = [0x10000001, | |
39 0x12345678, | |
40 -0x789abcdf, // 0x87654321 | |
41 0x01234567, | |
42 0x76543210, | |
43 -0x80000000, // 0x80000000 | |
44 0x7fffffff, | |
45 -0x0fffffff, // 0xf0000001 | |
46 0x00000010, | |
47 -0x01000000 // 0xff000000 | |
48 ]; | |
49 | |
50 function test_div() { | |
51 var c = 0; | |
52 for (var k = 0; k <= limit; k++) { | |
53 if (k > exhaustive_limit) { c += step; k += c; } | |
54 assertEquals(Math.floor(div(k, 1)), Math.floor(k / 1)); | |
55 assertEquals(Math.floor(div(k, -1)), Math.floor(k / -1)); | |
56 assertEquals(Math.floor(div(k, 2)), Math.floor(k / 2)); | |
57 assertEquals(Math.floor(div(k, -2)), Math.floor(k / -2)); | |
58 assertEquals(Math.floor(div(k, 3)), Math.floor(k / 3)); | |
59 assertEquals(Math.floor(div(k, -3)), Math.floor(k / -3)); | |
60 assertEquals(Math.floor(div(k, 4)), Math.floor(k / 4)); | |
61 assertEquals(Math.floor(div(k, -4)), Math.floor(k / -4)); | |
62 assertEquals(Math.floor(div(k, 5)), Math.floor(k / 5)); | |
63 assertEquals(Math.floor(div(k, -5)), Math.floor(k / -5)); | |
64 assertEquals(Math.floor(div(k, 6)), Math.floor(k / 6)); | |
65 assertEquals(Math.floor(div(k, -6)), Math.floor(k / -6)); | |
66 assertEquals(Math.floor(div(k, 7)), Math.floor(k / 7)); | |
67 assertEquals(Math.floor(div(k, -7)), Math.floor(k / -7)); | |
68 assertEquals(Math.floor(div(k, 8)), Math.floor(k / 8)); | |
69 assertEquals(Math.floor(div(k, -8)), Math.floor(k / -8)); | |
70 assertEquals(Math.floor(div(k, 9)), Math.floor(k / 9)); | |
71 assertEquals(Math.floor(div(k, -9)), Math.floor(k / -9)); | |
72 assertEquals(Math.floor(div(k, 10)), Math.floor(k / 10)); | |
73 assertEquals(Math.floor(div(k, -10)), Math.floor(k / -10)); | |
74 assertEquals(Math.floor(div(k, 11)), Math.floor(k / 11)); | |
75 assertEquals(Math.floor(div(k, -11)), Math.floor(k / -11)); | |
76 assertEquals(Math.floor(div(k, 12)), Math.floor(k / 12)); | |
77 assertEquals(Math.floor(div(k, -12)), Math.floor(k / -12)); | |
78 assertEquals(Math.floor(div(k, 13)), Math.floor(k / 13)); | |
79 assertEquals(Math.floor(div(k, -13)), Math.floor(k / -13)); | |
80 assertEquals(Math.floor(div(k, 14)), Math.floor(k / 14)); | |
81 assertEquals(Math.floor(div(k, -14)), Math.floor(k / -14)); | |
82 assertEquals(Math.floor(div(k, 15)), Math.floor(k / 15)); | |
83 assertEquals(Math.floor(div(k, -15)), Math.floor(k / -15)); | |
84 assertEquals(Math.floor(div(k, 16)), Math.floor(k / 16)); | |
85 assertEquals(Math.floor(div(k, -16)), Math.floor(k / -16)); | |
86 assertEquals(Math.floor(div(k, 17)), Math.floor(k / 17)); | |
87 assertEquals(Math.floor(div(k, -17)), Math.floor(k / -17)); | |
88 assertEquals(Math.floor(div(k, 18)), Math.floor(k / 18)); | |
89 assertEquals(Math.floor(div(k, -18)), Math.floor(k / -18)); | |
90 assertEquals(Math.floor(div(k, 19)), Math.floor(k / 19)); | |
91 assertEquals(Math.floor(div(k, -19)), Math.floor(k / -19)); | |
92 assertEquals(Math.floor(div(k, 20)), Math.floor(k / 20)); | |
93 assertEquals(Math.floor(div(k, -20)), Math.floor(k / -20)); | |
94 assertEquals(Math.floor(div(k, 21)), Math.floor(k / 21)); | |
95 assertEquals(Math.floor(div(k, -21)), Math.floor(k / -21)); | |
96 assertEquals(Math.floor(div(k, 22)), Math.floor(k / 22)); | |
97 assertEquals(Math.floor(div(k, -22)), Math.floor(k / -22)); | |
98 assertEquals(Math.floor(div(k, 23)), Math.floor(k / 23)); | |
99 assertEquals(Math.floor(div(k, -23)), Math.floor(k / -23)); | |
100 assertEquals(Math.floor(div(k, 24)), Math.floor(k / 24)); | |
101 assertEquals(Math.floor(div(k, -24)), Math.floor(k / -24)); | |
102 assertEquals(Math.floor(div(k, 25)), Math.floor(k / 25)); | |
103 assertEquals(Math.floor(div(k, -25)), Math.floor(k / -25)); | |
104 assertEquals(Math.floor(div(k, 125)), Math.floor(k / 125)); | |
105 assertEquals(Math.floor(div(k, -125)), Math.floor(k / -125)); | |
106 assertEquals(Math.floor(div(k, 625)), Math.floor(k / 625)); | |
107 assertEquals(Math.floor(div(k, -625)), Math.floor(k / -625)); | |
108 } | |
109 c = 0; | |
110 for (var k = 0; k <= limit; k++) { | |
111 if (k > exhaustive_limit) { c += step; k += c; } | |
112 assertEquals(Math.floor(div(-k, 1)), Math.floor(-k / 1)); | |
113 assertEquals(Math.floor(div(-k, -1)), Math.floor(-k / -1)); | |
114 assertEquals(Math.floor(div(-k, 2)), Math.floor(-k / 2)); | |
115 assertEquals(Math.floor(div(-k, -2)), Math.floor(-k / -2)); | |
116 assertEquals(Math.floor(div(-k, 3)), Math.floor(-k / 3)); | |
117 assertEquals(Math.floor(div(-k, -3)), Math.floor(-k / -3)); | |
118 assertEquals(Math.floor(div(-k, 4)), Math.floor(-k / 4)); | |
119 assertEquals(Math.floor(div(-k, -4)), Math.floor(-k / -4)); | |
120 assertEquals(Math.floor(div(-k, 5)), Math.floor(-k / 5)); | |
121 assertEquals(Math.floor(div(-k, -5)), Math.floor(-k / -5)); | |
122 assertEquals(Math.floor(div(-k, 6)), Math.floor(-k / 6)); | |
123 assertEquals(Math.floor(div(-k, -6)), Math.floor(-k / -6)); | |
124 assertEquals(Math.floor(div(-k, 7)), Math.floor(-k / 7)); | |
125 assertEquals(Math.floor(div(-k, -7)), Math.floor(-k / -7)); | |
126 assertEquals(Math.floor(div(-k, 8)), Math.floor(-k / 8)); | |
127 assertEquals(Math.floor(div(-k, -8)), Math.floor(-k / -8)); | |
128 assertEquals(Math.floor(div(-k, 9)), Math.floor(-k / 9)); | |
129 assertEquals(Math.floor(div(-k, -9)), Math.floor(-k / -9)); | |
130 assertEquals(Math.floor(div(-k, 10)), Math.floor(-k / 10)); | |
131 assertEquals(Math.floor(div(-k, -10)), Math.floor(-k / -10)); | |
132 assertEquals(Math.floor(div(-k, 11)), Math.floor(-k / 11)); | |
133 assertEquals(Math.floor(div(-k, -11)), Math.floor(-k / -11)); | |
134 assertEquals(Math.floor(div(-k, 12)), Math.floor(-k / 12)); | |
135 assertEquals(Math.floor(div(-k, -12)), Math.floor(-k / -12)); | |
136 assertEquals(Math.floor(div(-k, 13)), Math.floor(-k / 13)); | |
137 assertEquals(Math.floor(div(-k, -13)), Math.floor(-k / -13)); | |
138 assertEquals(Math.floor(div(-k, 14)), Math.floor(-k / 14)); | |
139 assertEquals(Math.floor(div(-k, -14)), Math.floor(-k / -14)); | |
140 assertEquals(Math.floor(div(-k, 15)), Math.floor(-k / 15)); | |
141 assertEquals(Math.floor(div(-k, -15)), Math.floor(-k / -15)); | |
142 assertEquals(Math.floor(div(-k, 16)), Math.floor(-k / 16)); | |
143 assertEquals(Math.floor(div(-k, -16)), Math.floor(-k / -16)); | |
144 assertEquals(Math.floor(div(-k, 17)), Math.floor(-k / 17)); | |
145 assertEquals(Math.floor(div(-k, -17)), Math.floor(-k / -17)); | |
146 assertEquals(Math.floor(div(-k, 18)), Math.floor(-k / 18)); | |
147 assertEquals(Math.floor(div(-k, -18)), Math.floor(-k / -18)); | |
148 assertEquals(Math.floor(div(-k, 19)), Math.floor(-k / 19)); | |
149 assertEquals(Math.floor(div(-k, -19)), Math.floor(-k / -19)); | |
150 assertEquals(Math.floor(div(-k, 20)), Math.floor(-k / 20)); | |
151 assertEquals(Math.floor(div(-k, -20)), Math.floor(-k / -20)); | |
152 assertEquals(Math.floor(div(-k, 21)), Math.floor(-k / 21)); | |
153 assertEquals(Math.floor(div(-k, -21)), Math.floor(-k / -21)); | |
154 assertEquals(Math.floor(div(-k, 22)), Math.floor(-k / 22)); | |
155 assertEquals(Math.floor(div(-k, -22)), Math.floor(-k / -22)); | |
156 assertEquals(Math.floor(div(-k, 23)), Math.floor(-k / 23)); | |
157 assertEquals(Math.floor(div(-k, -23)), Math.floor(-k / -23)); | |
158 assertEquals(Math.floor(div(-k, 24)), Math.floor(-k / 24)); | |
159 assertEquals(Math.floor(div(-k, -24)), Math.floor(-k / -24)); | |
160 assertEquals(Math.floor(div(-k, 25)), Math.floor(-k / 25)); | |
161 assertEquals(Math.floor(div(-k, -25)), Math.floor(-k / -25)); | |
162 assertEquals(Math.floor(div(-k, 125)), Math.floor(-k / 125)); | |
163 assertEquals(Math.floor(div(-k, -125)), Math.floor(-k / -125)); | |
164 assertEquals(Math.floor(div(-k, 625)), Math.floor(-k / 625)); | |
165 assertEquals(Math.floor(div(-k, -625)), Math.floor(-k / -625)); | |
166 } | |
167 // Test for edge cases. | |
168 // Use (values[key] + 0) to force the integer type. | |
169 // (values[key] | 0) does not work anymore as it is optimized by hydrogen.) | |
fschneider
2012/04/17 07:41:10
I don't understand why +0 is necessary. It's fine,
Alexandre
2012/04/17 10:01:50
I remember changing to '+0' instead of '|0' when t
| |
170 for (var i = 0; i < values.length; i++) { | |
171 for (var j = 0; j < values.length; j++) { | |
172 assertEquals(Math.floor(div((values[i] + 0), (values[j] + 0))), | |
173 Math.floor((values[i] + 0) / (values[j] + 0))); | |
174 assertEquals(Math.floor(div(-(values[i] + 0), (values[j] + 0))), | |
175 Math.floor(-(values[i] + 0) / (values[j] + 0))); | |
176 assertEquals(Math.floor(div((values[i] + 0), -(values[j] + 0))), | |
177 Math.floor((values[i] + 0) / -(values[j] + 0))); | |
178 assertEquals(Math.floor(div(-(values[i] + 0), -(values[j] + 0))), | |
179 Math.floor(-(values[i] + 0) / -(values[j] + 0))); | |
180 } | |
181 } | |
182 } | |
183 | |
184 test_div(); | |
185 %OptimizeFunctionOnNextCall(test_div); | |
186 test_div(); | |
OLD | NEW |