OLD | NEW |
| (Empty) |
1 // Copyright 2008 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 var x; | |
29 | |
30 // Converts a number to string respecting -0. | |
31 function stringify(n) { | |
32 if ((1 / n) === -Infinity) return "-0"; | |
33 return String(n); | |
34 } | |
35 | |
36 function f(expected, y) { | |
37 function testEval(string, x, y) { | |
38 var mulFunction = Function("x, y", "return " + string); | |
39 return mulFunction(x, y); | |
40 } | |
41 function mulTest(expected, x, y) { | |
42 assertEquals(expected, x * y); | |
43 assertEquals(expected, testEval(stringify(x) + " * y", x, y)); | |
44 assertEquals(expected, testEval("x * " + stringify(y), x, y)); | |
45 assertEquals(expected, testEval(stringify(x) + " * " + stringify(y), x, y)); | |
46 } | |
47 mulTest(expected, x, y); | |
48 mulTest(-expected, -x, y); | |
49 mulTest(-expected, x, -y); | |
50 mulTest(expected, -x, -y); | |
51 if (x === y) return; // Symmetric cases not necessary. | |
52 mulTest(expected, y, x); | |
53 mulTest(-expected, -y, x); | |
54 mulTest(-expected, y, -x); | |
55 mulTest(expected, -y, -x); | |
56 } | |
57 | |
58 x = 33554432; | |
59 f(0, 0); | |
60 f(33554432, 1); | |
61 f(67108864, 2); | |
62 f(100663296, 3); | |
63 f(134217728, 4); | |
64 f(167772160, 5); | |
65 f(234881024, 7); | |
66 f(268435456, 8); | |
67 f(301989888, 9); | |
68 f(503316480, 15); | |
69 f(536870912, 16); | |
70 f(570425344, 17); | |
71 f(1040187392, 31); | |
72 f(1073741824, 32); | |
73 f(1107296256, 33); | |
74 f(2113929216, 63); | |
75 f(2147483648, 64); | |
76 f(2181038080, 65); | |
77 f(4261412864, 127); | |
78 f(4294967296, 128); | |
79 f(4328521728, 129); | |
80 f(8556380160, 255); | |
81 f(8589934592, 256); | |
82 f(8623489024, 257); | |
83 f(17146314752, 511); | |
84 f(17179869184, 512); | |
85 f(17213423616, 513); | |
86 f(34326183936, 1023); | |
87 f(34359738368, 1024); | |
88 f(34393292800, 1025); | |
89 f(68685922304, 2047); | |
90 f(68719476736, 2048); | |
91 f(68753031168, 2049); | |
92 f(137405399040, 4095); | |
93 f(137438953472, 4096); | |
94 f(137472507904, 4097); | |
95 f(274844352512, 8191); | |
96 f(274877906944, 8192); | |
97 f(274911461376, 8193); | |
98 f(549722259456, 16383); | |
99 f(549755813888, 16384); | |
100 f(549789368320, 16385); | |
101 f(1099478073344, 32767); | |
102 f(1099511627776, 32768); | |
103 f(1099545182208, 32769); | |
104 f(2198989701120, 65535); | |
105 f(2199023255552, 65536); | |
106 f(2199056809984, 65537); | |
107 f(4398012956672, 131071); | |
108 f(4398046511104, 131072); | |
109 f(4398080065536, 131073); | |
110 f(8796059467776, 262143); | |
111 f(8796093022208, 262144); | |
112 f(8796126576640, 262145); | |
113 f(17592152489984, 524287); | |
114 f(17592186044416, 524288); | |
115 f(17592219598848, 524289); | |
116 f(35184338534400, 1048575); | |
117 f(35184372088832, 1048576); | |
118 f(35184405643264, 1048577); | |
119 f(70368710623232, 2097151); | |
120 f(70368744177664, 2097152); | |
121 f(70368777732096, 2097153); | |
122 f(140737454800896, 4194303); | |
123 f(140737488355328, 4194304); | |
124 f(140737521909760, 4194305); | |
125 f(281474943156224, 8388607); | |
126 f(281474976710656, 8388608); | |
127 f(281475010265088, 8388609); | |
128 f(562949919866880, 16777215); | |
129 f(562949953421312, 16777216); | |
130 f(562949986975744, 16777217); | |
131 f(1125899873288192, 33554431); | |
132 f(1125899906842624, 33554432); | |
133 x = 33554433; | |
134 f(0, 0); | |
135 f(33554433, 1); | |
136 f(67108866, 2); | |
137 f(100663299, 3); | |
138 f(134217732, 4); | |
139 f(167772165, 5); | |
140 f(234881031, 7); | |
141 f(268435464, 8); | |
142 f(301989897, 9); | |
143 f(503316495, 15); | |
144 f(536870928, 16); | |
145 f(570425361, 17); | |
146 f(1040187423, 31); | |
147 f(1073741856, 32); | |
148 f(1107296289, 33); | |
149 f(2113929279, 63); | |
150 f(2147483712, 64); | |
151 f(2181038145, 65); | |
152 f(4261412991, 127); | |
153 f(4294967424, 128); | |
154 f(4328521857, 129); | |
155 f(8556380415, 255); | |
156 f(8589934848, 256); | |
157 f(8623489281, 257); | |
158 f(17146315263, 511); | |
159 f(17179869696, 512); | |
160 f(17213424129, 513); | |
161 f(34326184959, 1023); | |
162 f(34359739392, 1024); | |
163 f(34393293825, 1025); | |
164 f(68685924351, 2047); | |
165 f(68719478784, 2048); | |
166 f(68753033217, 2049); | |
167 f(137405403135, 4095); | |
168 f(137438957568, 4096); | |
169 f(137472512001, 4097); | |
170 f(274844360703, 8191); | |
171 f(274877915136, 8192); | |
172 f(274911469569, 8193); | |
173 f(549722275839, 16383); | |
174 f(549755830272, 16384); | |
175 f(549789384705, 16385); | |
176 f(1099478106111, 32767); | |
177 f(1099511660544, 32768); | |
178 f(1099545214977, 32769); | |
179 f(2198989766655, 65535); | |
180 f(2199023321088, 65536); | |
181 f(2199056875521, 65537); | |
182 f(4398013087743, 131071); | |
183 f(4398046642176, 131072); | |
184 f(4398080196609, 131073); | |
185 f(8796059729919, 262143); | |
186 f(8796093284352, 262144); | |
187 f(8796126838785, 262145); | |
188 f(17592153014271, 524287); | |
189 f(17592186568704, 524288); | |
190 f(17592220123137, 524289); | |
191 f(35184339582975, 1048575); | |
192 f(35184373137408, 1048576); | |
193 f(35184406691841, 1048577); | |
194 f(70368712720383, 2097151); | |
195 f(70368746274816, 2097152); | |
196 f(70368779829249, 2097153); | |
197 f(140737458995199, 4194303); | |
198 f(140737492549632, 4194304); | |
199 f(140737526104065, 4194305); | |
200 f(281474951544831, 8388607); | |
201 f(281474985099264, 8388608); | |
202 f(281475018653697, 8388609); | |
203 f(562949936644095, 16777215); | |
204 f(562949970198528, 16777216); | |
205 f(562950003752961, 16777217); | |
206 f(1125899906842623, 33554431); | |
207 f(1125899940397056, 33554432); | |
208 f(1125899973951489, 33554433); | |
209 x = 67108863; | |
210 f(0, 0); | |
211 f(67108863, 1); | |
212 f(134217726, 2); | |
213 f(201326589, 3); | |
214 f(268435452, 4); | |
215 f(335544315, 5); | |
216 f(469762041, 7); | |
217 f(536870904, 8); | |
218 f(603979767, 9); | |
219 f(1006632945, 15); | |
220 f(1073741808, 16); | |
221 f(1140850671, 17); | |
222 f(2080374753, 31); | |
223 f(2147483616, 32); | |
224 f(2214592479, 33); | |
225 f(4227858369, 63); | |
226 f(4294967232, 64); | |
227 f(4362076095, 65); | |
228 f(8522825601, 127); | |
229 f(8589934464, 128); | |
230 f(8657043327, 129); | |
231 f(17112760065, 255); | |
232 f(17179868928, 256); | |
233 f(17246977791, 257); | |
234 f(34292628993, 511); | |
235 f(34359737856, 512); | |
236 f(34426846719, 513); | |
237 f(68652366849, 1023); | |
238 f(68719475712, 1024); | |
239 f(68786584575, 1025); | |
240 f(137371842561, 2047); | |
241 f(137438951424, 2048); | |
242 f(137506060287, 2049); | |
243 f(274810793985, 4095); | |
244 f(274877902848, 4096); | |
245 f(274945011711, 4097); | |
246 f(549688696833, 8191); | |
247 f(549755805696, 8192); | |
248 f(549822914559, 8193); | |
249 f(1099444502529, 16383); | |
250 f(1099511611392, 16384); | |
251 f(1099578720255, 16385); | |
252 f(2198956113921, 32767); | |
253 f(2199023222784, 32768); | |
254 f(2199090331647, 32769); | |
255 f(4397979336705, 65535); | |
256 f(4398046445568, 65536); | |
257 f(4398113554431, 65537); | |
258 f(8796025782273, 131071); | |
259 f(8796092891136, 131072); | |
260 f(8796159999999, 131073); | |
261 f(17592118673409, 262143); | |
262 f(17592185782272, 262144); | |
263 f(17592252891135, 262145); | |
264 f(35184304455681, 524287); | |
265 f(35184371564544, 524288); | |
266 f(35184438673407, 524289); | |
267 f(70368676020225, 1048575); | |
268 f(70368743129088, 1048576); | |
269 f(70368810237951, 1048577); | |
270 f(140737419149313, 2097151); | |
271 f(140737486258176, 2097152); | |
272 f(140737553367039, 2097153); | |
273 f(281474905407489, 4194303); | |
274 f(281474972516352, 4194304); | |
275 f(281475039625215, 4194305); | |
276 f(562949877923841, 8388607); | |
277 f(562949945032704, 8388608); | |
278 f(562950012141567, 8388609); | |
279 f(1125899822956545, 16777215); | |
280 f(1125899890065408, 16777216); | |
281 f(1125899957174271, 16777217); | |
282 x = 67108864; | |
283 f(0, 0); | |
284 f(67108864, 1); | |
285 f(134217728, 2); | |
286 f(201326592, 3); | |
287 f(268435456, 4); | |
288 f(335544320, 5); | |
289 f(469762048, 7); | |
290 f(536870912, 8); | |
291 f(603979776, 9); | |
292 f(1006632960, 15); | |
293 f(1073741824, 16); | |
294 f(1140850688, 17); | |
295 f(2080374784, 31); | |
296 f(2147483648, 32); | |
297 f(2214592512, 33); | |
298 f(4227858432, 63); | |
299 f(4294967296, 64); | |
300 f(4362076160, 65); | |
301 f(8522825728, 127); | |
302 f(8589934592, 128); | |
303 f(8657043456, 129); | |
304 f(17112760320, 255); | |
305 f(17179869184, 256); | |
306 f(17246978048, 257); | |
307 f(34292629504, 511); | |
308 f(34359738368, 512); | |
309 f(34426847232, 513); | |
310 f(68652367872, 1023); | |
311 f(68719476736, 1024); | |
312 f(68786585600, 1025); | |
313 f(137371844608, 2047); | |
314 f(137438953472, 2048); | |
315 f(137506062336, 2049); | |
316 f(274810798080, 4095); | |
317 f(274877906944, 4096); | |
318 f(274945015808, 4097); | |
319 f(549688705024, 8191); | |
320 f(549755813888, 8192); | |
321 f(549822922752, 8193); | |
322 f(1099444518912, 16383); | |
323 f(1099511627776, 16384); | |
324 f(1099578736640, 16385); | |
325 f(2198956146688, 32767); | |
326 f(2199023255552, 32768); | |
327 f(2199090364416, 32769); | |
328 f(4397979402240, 65535); | |
329 f(4398046511104, 65536); | |
330 f(4398113619968, 65537); | |
331 f(8796025913344, 131071); | |
332 f(8796093022208, 131072); | |
333 f(8796160131072, 131073); | |
334 f(17592118935552, 262143); | |
335 f(17592186044416, 262144); | |
336 f(17592253153280, 262145); | |
337 f(35184304979968, 524287); | |
338 f(35184372088832, 524288); | |
339 f(35184439197696, 524289); | |
340 f(70368677068800, 1048575); | |
341 f(70368744177664, 1048576); | |
342 f(70368811286528, 1048577); | |
343 f(140737421246464, 2097151); | |
344 f(140737488355328, 2097152); | |
345 f(140737555464192, 2097153); | |
346 f(281474909601792, 4194303); | |
347 f(281474976710656, 4194304); | |
348 f(281475043819520, 4194305); | |
349 f(562949886312448, 8388607); | |
350 f(562949953421312, 8388608); | |
351 f(562950020530176, 8388609); | |
352 f(1125899839733760, 16777215); | |
353 f(1125899906842624, 16777216); | |
354 f(1125899973951488, 16777217); | |
355 x = 67108865; | |
356 f(0, 0); | |
357 f(67108865, 1); | |
358 f(134217730, 2); | |
359 f(201326595, 3); | |
360 f(268435460, 4); | |
361 f(335544325, 5); | |
362 f(469762055, 7); | |
363 f(536870920, 8); | |
364 f(603979785, 9); | |
365 f(1006632975, 15); | |
366 f(1073741840, 16); | |
367 f(1140850705, 17); | |
368 f(2080374815, 31); | |
369 f(2147483680, 32); | |
370 f(2214592545, 33); | |
371 f(4227858495, 63); | |
372 f(4294967360, 64); | |
373 f(4362076225, 65); | |
374 f(8522825855, 127); | |
375 f(8589934720, 128); | |
376 f(8657043585, 129); | |
377 f(17112760575, 255); | |
378 f(17179869440, 256); | |
379 f(17246978305, 257); | |
380 f(34292630015, 511); | |
381 f(34359738880, 512); | |
382 f(34426847745, 513); | |
383 f(68652368895, 1023); | |
384 f(68719477760, 1024); | |
385 f(68786586625, 1025); | |
386 f(137371846655, 2047); | |
387 f(137438955520, 2048); | |
388 f(137506064385, 2049); | |
389 f(274810802175, 4095); | |
390 f(274877911040, 4096); | |
391 f(274945019905, 4097); | |
392 f(549688713215, 8191); | |
393 f(549755822080, 8192); | |
394 f(549822930945, 8193); | |
395 f(1099444535295, 16383); | |
396 f(1099511644160, 16384); | |
397 f(1099578753025, 16385); | |
398 f(2198956179455, 32767); | |
399 f(2199023288320, 32768); | |
400 f(2199090397185, 32769); | |
401 f(4397979467775, 65535); | |
402 f(4398046576640, 65536); | |
403 f(4398113685505, 65537); | |
404 f(8796026044415, 131071); | |
405 f(8796093153280, 131072); | |
406 f(8796160262145, 131073); | |
407 f(17592119197695, 262143); | |
408 f(17592186306560, 262144); | |
409 f(17592253415425, 262145); | |
410 f(35184305504255, 524287); | |
411 f(35184372613120, 524288); | |
412 f(35184439721985, 524289); | |
413 f(70368678117375, 1048575); | |
414 f(70368745226240, 1048576); | |
415 f(70368812335105, 1048577); | |
416 f(140737423343615, 2097151); | |
417 f(140737490452480, 2097152); | |
418 f(140737557561345, 2097153); | |
419 f(281474913796095, 4194303); | |
420 f(281474980904960, 4194304); | |
421 f(281475048013825, 4194305); | |
422 f(562949894701055, 8388607); | |
423 f(562949961809920, 8388608); | |
424 f(562950028918785, 8388609); | |
425 f(1125899856510975, 16777215); | |
426 f(1125899923619840, 16777216); | |
427 f(1125899990728705, 16777217); | |
428 x = 134217727; | |
429 f(0, 0); | |
430 f(134217727, 1); | |
431 f(268435454, 2); | |
432 f(402653181, 3); | |
433 f(536870908, 4); | |
434 f(671088635, 5); | |
435 f(939524089, 7); | |
436 f(1073741816, 8); | |
437 f(1207959543, 9); | |
438 f(2013265905, 15); | |
439 f(2147483632, 16); | |
440 f(2281701359, 17); | |
441 f(4160749537, 31); | |
442 f(4294967264, 32); | |
443 f(4429184991, 33); | |
444 f(8455716801, 63); | |
445 f(8589934528, 64); | |
446 f(8724152255, 65); | |
447 f(17045651329, 127); | |
448 f(17179869056, 128); | |
449 f(17314086783, 129); | |
450 f(34225520385, 255); | |
451 f(34359738112, 256); | |
452 f(34493955839, 257); | |
453 f(68585258497, 511); | |
454 f(68719476224, 512); | |
455 f(68853693951, 513); | |
456 f(137304734721, 1023); | |
457 f(137438952448, 1024); | |
458 f(137573170175, 1025); | |
459 f(274743687169, 2047); | |
460 f(274877904896, 2048); | |
461 f(275012122623, 2049); | |
462 f(549621592065, 4095); | |
463 f(549755809792, 4096); | |
464 f(549890027519, 4097); | |
465 f(1099377401857, 8191); | |
466 f(1099511619584, 8192); | |
467 f(1099645837311, 8193); | |
468 f(2198889021441, 16383); | |
469 f(2199023239168, 16384); | |
470 f(2199157456895, 16385); | |
471 f(4397912260609, 32767); | |
472 f(4398046478336, 32768); | |
473 f(4398180696063, 32769); | |
474 f(8795958738945, 65535); | |
475 f(8796092956672, 65536); | |
476 f(8796227174399, 65537); | |
477 f(17592051695617, 131071); | |
478 f(17592185913344, 131072); | |
479 f(17592320131071, 131073); | |
480 f(35184237608961, 262143); | |
481 f(35184371826688, 262144); | |
482 f(35184506044415, 262145); | |
483 f(70368609435649, 524287); | |
484 f(70368743653376, 524288); | |
485 f(70368877871103, 524289); | |
486 f(140737353089025, 1048575); | |
487 f(140737487306752, 1048576); | |
488 f(140737621524479, 1048577); | |
489 f(281474840395777, 2097151); | |
490 f(281474974613504, 2097152); | |
491 f(281475108831231, 2097153); | |
492 f(562949815009281, 4194303); | |
493 f(562949949227008, 4194304); | |
494 f(562950083444735, 4194305); | |
495 f(1125899764236289, 8388607); | |
496 f(1125899898454016, 8388608); | |
497 f(1125900032671743, 8388609); | |
OLD | NEW |