1a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Copyright 2008 the V8 project authors. All rights reserved. 2a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// Redistribution and use in source and binary forms, with or without 3a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// modification, are permitted provided that the following conditions are 4a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// met: 5a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// 6a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Redistributions of source code must retain the above copyright 7a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// notice, this list of conditions and the following disclaimer. 8a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Redistributions in binary form must reproduce the above 9a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// copyright notice, this list of conditions and the following 10a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// disclaimer in the documentation and/or other materials provided 11a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// with the distribution. 12a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// * Neither the name of Google Inc. nor the names of its 13a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// contributors may be used to endorse or promote products derived 14a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// from this software without specific prior written permission. 15a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// 16a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 28a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockfunction toInt32(x) { 29a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block return x | 0; 30a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block} 31a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 32a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(Infinity), "Inf"); 33a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-Infinity), "-Inf"); 34a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(NaN), "NaN"); 35a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(0.0), "zero"); 36a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-0.0), "-zero"); 37a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 38a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(Number.MIN_VALUE)); 39a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-Number.MIN_VALUE)); 40a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(0.1)); 41a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-0.1)); 42a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(1), "one"); 43a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(1.1), "onepointone"); 44a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1, toInt32(-1), "-one"); 45a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(0.6), "truncate positive (0.6)"); 46a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(1.6), "truncate positive (1.6)"); 47a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-0.6), "truncate negative (-0.6)"); 48a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1, toInt32(-1.6), "truncate negative (-1.6)"); 49a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 50a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(2147483647, toInt32(2147483647)); 51a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(2147483648)); 52a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483647, toInt32(2147483649)); 53a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 54a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1, toInt32(4294967295)); 55a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(4294967296)); 56a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(4294967297)); 57a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 58a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483647, toInt32(-2147483647)); 59a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(-2147483648)); 60a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(2147483647, toInt32(-2147483649)); 61a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 62a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(-4294967295)); 63a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-4294967296)); 64a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1, toInt32(-4294967297)); 65a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 66a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(2147483648.25)); 67a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(2147483648.5)); 68a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(2147483648.75)); 69a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1, toInt32(4294967295.25)); 70a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1, toInt32(4294967295.5)); 71a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1, toInt32(4294967295.75)); 72a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1294967296, toInt32(3000000000.25)); 73a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1294967296, toInt32(3000000000.5)); 74a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-1294967296, toInt32(3000000000.75)); 75a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 76a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(-2147483648.25)); 77a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(-2147483648.5)); 78a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-2147483648, toInt32(-2147483648.75)); 79a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(-4294967295.25)); 80a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(-4294967295.5)); 81a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1, toInt32(-4294967295.75)); 82a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1294967296, toInt32(-3000000000.25)); 83a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1294967296, toInt32(-3000000000.5)); 84a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(1294967296, toInt32(-3000000000.75)); 85a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 86a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar base = Math.pow(2, 64); 87a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(base + 0)); 88a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(base + 1117)); 89a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(4096, toInt32(base + 2234)); 90a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(4096, toInt32(base + 3351)); 91a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(4096, toInt32(base + 4468)); 92a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(4096, toInt32(base + 5585)); 93a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(8192, toInt32(base + 6702)); 94a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(8192, toInt32(base + 7819)); 95a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(8192, toInt32(base + 8936)); 96a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(8192, toInt32(base + 10053)); 97a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(12288, toInt32(base + 11170)); 98a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(12288, toInt32(base + 12287)); 99a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(12288, toInt32(base + 13404)); 100a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(16384, toInt32(base + 14521)); 101a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(16384, toInt32(base + 15638)); 102a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(16384, toInt32(base + 16755)); 103a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(16384, toInt32(base + 17872)); 104a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(20480, toInt32(base + 18989)); 105a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(20480, toInt32(base + 20106)); 106a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(20480, toInt32(base + 21223)); 107a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(20480, toInt32(base + 22340)); 108a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(24576, toInt32(base + 23457)); 109a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(24576, toInt32(base + 24574)); 110a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(24576, toInt32(base + 25691)); 111a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(28672, toInt32(base + 26808)); 112a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(28672, toInt32(base + 27925)); 113a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(28672, toInt32(base + 29042)); 114a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(28672, toInt32(base + 30159)); 115a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(32768, toInt32(base + 31276)); 116a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 117a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// bignum is (2^53 - 1) * 2^31 - highest number with bit 31 set. 118a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar bignum = Math.pow(2, 84) - Math.pow(2, 31); 119a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-Math.pow(2,31), toInt32(bignum)); 120a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(-Math.pow(2,31), toInt32(-bignum)); 121a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(2 * bignum)); 122a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-(2 * bignum))); 123a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(bignum - Math.pow(2,31))); 124a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-(bignum - Math.pow(2,31)))); 125a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block 126a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Block// max_fraction is largest number below 1. 127a7e24c173cf37484693b9abb38e494fa7bd7baebSteve Blockvar max_fraction = (1 - Math.pow(2,-53)); 128a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(max_fraction)); 129a7e24c173cf37484693b9abb38e494fa7bd7baebSteve BlockassertEquals(0, toInt32(-max_fraction)); 130