1// Copyright 2013 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#include <stdlib.h> 29 30#include <limits> 31 32#include "v8.h" 33 34#include "cctest.h" 35#include "code-stubs.h" 36#include "test-code-stubs.h" 37#include "factory.h" 38#include "macro-assembler.h" 39#include "platform.h" 40 41using namespace v8::internal; 42 43 44int STDCALL ConvertDToICVersion(double d) { 45 union { double d; uint32_t u[2]; } dbl; 46 dbl.d = d; 47 uint32_t exponent_bits = dbl.u[1]; 48 int32_t shifted_mask = static_cast<int32_t>(Double::kExponentMask >> 32); 49 int32_t exponent = (((exponent_bits & shifted_mask) >> 50 (Double::kPhysicalSignificandSize - 32)) - 51 HeapNumber::kExponentBias); 52 uint32_t unsigned_exponent = static_cast<uint32_t>(exponent); 53 int result = 0; 54 uint32_t max_exponent = 55 static_cast<uint32_t>(Double::kPhysicalSignificandSize); 56 if (unsigned_exponent >= max_exponent) { 57 if ((exponent - Double::kPhysicalSignificandSize) < 32) { 58 result = dbl.u[0] << (exponent - Double::kPhysicalSignificandSize); 59 } 60 } else { 61 uint64_t big_result = 62 (BitCast<uint64_t>(d) & Double::kSignificandMask) | Double::kHiddenBit; 63 big_result = big_result >> (Double::kPhysicalSignificandSize - exponent); 64 result = static_cast<uint32_t>(big_result); 65 } 66 if (static_cast<int32_t>(exponent_bits) < 0) { 67 return (0 - result); 68 } else { 69 return result; 70 } 71} 72 73 74void RunOneTruncationTestWithTest(ConvertDToICallWrapper callWrapper, 75 ConvertDToIFunc func, 76 double from, 77 double raw) { 78 uint64_t to = static_cast<int64_t>(raw); 79 int result = (*callWrapper)(func, from); 80 CHECK_EQ(static_cast<int>(to), result); 81} 82 83 84int32_t DefaultCallWrapper(ConvertDToIFunc func, 85 double from) { 86 return (*func)(from); 87} 88 89 90// #define NaN and Infinity so that it's possible to cut-and-paste these tests 91// directly to a .js file and run them. 92#define NaN (OS::nan_value()) 93#define Infinity (std::numeric_limits<double>::infinity()) 94#define RunOneTruncationTest(p1, p2) \ 95 RunOneTruncationTestWithTest(callWrapper, func, p1, p2) 96 97 98void RunAllTruncationTests(ConvertDToIFunc func) { 99 RunAllTruncationTests(DefaultCallWrapper, func); 100} 101 102 103void RunAllTruncationTests(ConvertDToICallWrapper callWrapper, 104 ConvertDToIFunc func) { 105 RunOneTruncationTest(0, 0); 106 RunOneTruncationTest(0.5, 0); 107 RunOneTruncationTest(-0.5, 0); 108 RunOneTruncationTest(1.5, 1); 109 RunOneTruncationTest(-1.5, -1); 110 RunOneTruncationTest(5.5, 5); 111 RunOneTruncationTest(-5.0, -5); 112 RunOneTruncationTest(NaN, 0); 113 RunOneTruncationTest(Infinity, 0); 114 RunOneTruncationTest(-NaN, 0); 115 RunOneTruncationTest(-Infinity, 0); 116 117 RunOneTruncationTest(4.5036e+15, 0x1635E000); 118 RunOneTruncationTest(-4.5036e+15, -372629504); 119 120 RunOneTruncationTest(4503603922337791.0, -1); 121 RunOneTruncationTest(-4503603922337791.0, 1); 122 RunOneTruncationTest(4503601774854143.0, 2147483647); 123 RunOneTruncationTest(-4503601774854143.0, -2147483647); 124 RunOneTruncationTest(9007207844675582.0, -2); 125 RunOneTruncationTest(-9007207844675582.0, 2); 126 127 RunOneTruncationTest(2.4178527921507624e+24, -536870912); 128 RunOneTruncationTest(-2.4178527921507624e+24, 536870912); 129 RunOneTruncationTest(2.417853945072267e+24, -536870912); 130 RunOneTruncationTest(-2.417853945072267e+24, 536870912); 131 132 RunOneTruncationTest(4.8357055843015248e+24, -1073741824); 133 RunOneTruncationTest(-4.8357055843015248e+24, 1073741824); 134 RunOneTruncationTest(4.8357078901445341e+24, -1073741824); 135 RunOneTruncationTest(-4.8357078901445341e+24, 1073741824); 136 137 RunOneTruncationTest(9.6714111686030497e+24, -2147483648.0); 138 RunOneTruncationTest(-9.6714111686030497e+24, -2147483648.0); 139 RunOneTruncationTest(9.6714157802890681e+24, -2147483648.0); 140 RunOneTruncationTest(-9.6714157802890681e+24, -2147483648.0); 141} 142 143#undef NaN 144#undef Infinity 145#undef RunOneTruncationTest 146