| OLD | NEW |
| 1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2008 the V8 project authors. All rights reserved. |
| 2 | 2 |
| 3 #include <stdlib.h> | 3 #include <stdlib.h> |
| 4 | 4 |
| 5 #include "v8.h" | 5 #include "v8.h" |
| 6 | 6 |
| 7 #include "platform.h" | 7 #include "platform.h" |
| 8 #include "cctest.h" | 8 #include "cctest.h" |
| 9 | 9 |
| 10 using namespace v8::internal; | 10 using namespace v8::internal; |
| (...skipping 23 matching lines...) Expand all Loading... |
| 34 CHECK_EQ(7.0, StringToDouble("07", ALLOW_HEX | ALLOW_OCTALS)); | 34 CHECK_EQ(7.0, StringToDouble("07", ALLOW_HEX | ALLOW_OCTALS)); |
| 35 CHECK_EQ(8.0, StringToDouble("010", ALLOW_HEX | ALLOW_OCTALS)); | 35 CHECK_EQ(8.0, StringToDouble("010", ALLOW_HEX | ALLOW_OCTALS)); |
| 36 CHECK_EQ(63.0, StringToDouble("077", ALLOW_HEX | ALLOW_OCTALS)); | 36 CHECK_EQ(63.0, StringToDouble("077", ALLOW_HEX | ALLOW_OCTALS)); |
| 37 | 37 |
| 38 CHECK_EQ(0.0, StringToDouble("0", ALLOW_HEX)); | 38 CHECK_EQ(0.0, StringToDouble("0", ALLOW_HEX)); |
| 39 CHECK_EQ(0.0, StringToDouble("00", ALLOW_HEX)); | 39 CHECK_EQ(0.0, StringToDouble("00", ALLOW_HEX)); |
| 40 CHECK_EQ(1.0, StringToDouble("01", ALLOW_HEX)); | 40 CHECK_EQ(1.0, StringToDouble("01", ALLOW_HEX)); |
| 41 CHECK_EQ(7.0, StringToDouble("07", ALLOW_HEX)); | 41 CHECK_EQ(7.0, StringToDouble("07", ALLOW_HEX)); |
| 42 CHECK_EQ(10.0, StringToDouble("010", ALLOW_HEX)); | 42 CHECK_EQ(10.0, StringToDouble("010", ALLOW_HEX)); |
| 43 CHECK_EQ(77.0, StringToDouble("077", ALLOW_HEX)); | 43 CHECK_EQ(77.0, StringToDouble("077", ALLOW_HEX)); |
| 44 | |
| 45 const double x = 010000000000; // Power of 2, no rounding errors. | |
| 46 CHECK_EQ(x * x * x * x * x, StringToDouble("01" "0000000000" "0000000000" | |
| 47 "0000000000" "0000000000" "0000000000", ALLOW_OCTALS)); | |
| 48 } | 44 } |
| 49 | 45 |
| 50 | 46 |
| 51 TEST(MalformedOctal) { | 47 TEST(MalformedOctal) { |
| 52 CHECK_EQ(8.0, StringToDouble("08", ALLOW_HEX | ALLOW_OCTALS)); | 48 CHECK_EQ(8.0, StringToDouble("08", ALLOW_HEX | ALLOW_OCTALS)); |
| 53 CHECK_EQ(81.0, StringToDouble("081", ALLOW_HEX | ALLOW_OCTALS)); | 49 CHECK_EQ(81.0, StringToDouble("081", ALLOW_HEX | ALLOW_OCTALS)); |
| 54 CHECK_EQ(78.0, StringToDouble("078", ALLOW_HEX | ALLOW_OCTALS)); | 50 CHECK_EQ(78.0, StringToDouble("078", ALLOW_HEX | ALLOW_OCTALS)); |
| 55 | 51 |
| 56 CHECK(isnan(StringToDouble("07.7", ALLOW_HEX | ALLOW_OCTALS))); | 52 CHECK(isnan(StringToDouble("07.7", ALLOW_HEX | ALLOW_OCTALS))); |
| 57 CHECK(isnan(StringToDouble("07.8", ALLOW_HEX | ALLOW_OCTALS))); | 53 CHECK(isnan(StringToDouble("07.8", ALLOW_HEX | ALLOW_OCTALS))); |
| (...skipping 19 matching lines...) Expand all Loading... |
| 77 CHECK_EQ(8e7, StringToDouble("08e7", ALLOW_HEX)); | 73 CHECK_EQ(8e7, StringToDouble("08e7", ALLOW_HEX)); |
| 78 | 74 |
| 79 CHECK_EQ(0.001, StringToDouble("0.001", ALLOW_HEX)); | 75 CHECK_EQ(0.001, StringToDouble("0.001", ALLOW_HEX)); |
| 80 CHECK_EQ(0.713, StringToDouble("0.713", ALLOW_HEX)); | 76 CHECK_EQ(0.713, StringToDouble("0.713", ALLOW_HEX)); |
| 81 } | 77 } |
| 82 | 78 |
| 83 | 79 |
| 84 TEST(TrailingJunk) { | 80 TEST(TrailingJunk) { |
| 85 CHECK_EQ(8.0, StringToDouble("8q", ALLOW_TRAILING_JUNK)); | 81 CHECK_EQ(8.0, StringToDouble("8q", ALLOW_TRAILING_JUNK)); |
| 86 CHECK_EQ(63.0, StringToDouble("077qqq", ALLOW_OCTALS | ALLOW_TRAILING_JUNK)); | 82 CHECK_EQ(63.0, StringToDouble("077qqq", ALLOW_OCTALS | ALLOW_TRAILING_JUNK)); |
| 87 CHECK_EQ(10.0, StringToDouble("10e", ALLOW_OCTALS | ALLOW_TRAILING_JUNK)); | |
| 88 CHECK_EQ(10.0, StringToDouble("10e-", ALLOW_OCTALS | ALLOW_TRAILING_JUNK)); | |
| 89 } | 83 } |
| 90 | 84 |
| 91 | 85 |
| 92 TEST(NonStrDecimalLiteral) { | 86 TEST(NonStrDecimalLiteral) { |
| 93 CHECK(isnan(StringToDouble(" ", NO_FLAGS, OS::nan_value()))); | 87 CHECK(isnan(StringToDouble(" ", NO_FLAGS, OS::nan_value()))); |
| 94 CHECK(isnan(StringToDouble("", NO_FLAGS, OS::nan_value()))); | 88 CHECK(isnan(StringToDouble("", NO_FLAGS, OS::nan_value()))); |
| 95 CHECK(isnan(StringToDouble(" ", NO_FLAGS, OS::nan_value()))); | 89 CHECK(isnan(StringToDouble(" ", NO_FLAGS, OS::nan_value()))); |
| 96 CHECK_EQ(0.0, StringToDouble("", NO_FLAGS)); | 90 CHECK_EQ(0.0, StringToDouble("", NO_FLAGS)); |
| 97 CHECK_EQ(0.0, StringToDouble(" ", NO_FLAGS)); | 91 CHECK_EQ(0.0, StringToDouble(" ", NO_FLAGS)); |
| 98 } | 92 } |
| 99 | 93 |
| 100 TEST(IntegerStrLiteral) { | |
| 101 CHECK_EQ(0.0, StringToDouble("0.0", NO_FLAGS)); | |
| 102 CHECK_EQ(0.0, StringToDouble("0", NO_FLAGS)); | |
| 103 CHECK_EQ(0.0, StringToDouble("00", NO_FLAGS)); | |
| 104 CHECK_EQ(0.0, StringToDouble("000", NO_FLAGS)); | |
| 105 CHECK_EQ(1.0, StringToDouble("1", NO_FLAGS)); | |
| 106 CHECK_EQ(-1.0, StringToDouble("-1", NO_FLAGS)); | |
| 107 CHECK_EQ(-1.0, StringToDouble(" - 1 ", NO_FLAGS)); | |
| 108 CHECK_EQ(1.0, StringToDouble(" + 1 ", NO_FLAGS)); | |
| 109 } | |
| 110 | |
| 111 TEST(LongNumberStr) { | |
| 112 CHECK_EQ(1e10, StringToDouble("1" "0000000000", NO_FLAGS)); | |
| 113 CHECK_EQ(1e20, StringToDouble("1" "0000000000" "0000000000", NO_FLAGS)); | |
| 114 | |
| 115 CHECK_EQ(1e60, StringToDouble("1" "0000000000" "0000000000" "0000000000" | |
| 116 "0000000000" "0000000000" "0000000000", NO_FLAGS)); | |
| 117 | |
| 118 CHECK_EQ(1e-2, StringToDouble("." "0" "1", NO_FLAGS)); | |
| 119 CHECK_EQ(1e-11, StringToDouble("." "0000000000" "1", NO_FLAGS)); | |
| 120 CHECK_EQ(1e-21, StringToDouble("." "0000000000" "0000000000" "1", NO_FLAGS)); | |
| 121 | |
| 122 CHECK_EQ(1e-61, StringToDouble("." "0000000000" "0000000000" "0000000000" | |
| 123 "0000000000" "0000000000" "0000000000" "1", NO_FLAGS)); | |
| 124 | |
| 125 | |
| 126 // x = 24414062505131248.0 and y = 24414062505131252.0 are representable in | |
| 127 // double. Check chat z = (x + y) / 2 is rounded to x... | |
| 128 CHECK_EQ(24414062505131248.0, | |
| 129 StringToDouble("24414062505131250.0", NO_FLAGS)); | |
| 130 | |
| 131 // ... and z = (x + y) / 2 + delta is rounded to y. | |
| 132 CHECK_EQ(24414062505131252.0, | |
| 133 StringToDouble("24414062505131250.000000001", NO_FLAGS)); | |
| 134 } | |
| 135 | |
| 136 | |
| 137 TEST(MaximumSignificantDigits) { | |
| 138 // Smallest possible double | |
| 139 double min_double = 1 * pow(2, -1023) * pow(2, -51); | |
| 140 CHECK_NE(min_double, 0.0); | |
| 141 CHECK_EQ(min_double / 2, 0.0); | |
| 142 | |
| 143 // Maximum odd double (any breater number is rounded to even). | |
| 144 double big_num = (pow(2, 52) - 1) * 2.0 + 1.0; | |
| 145 CHECK_NE(big_num, big_num - 1.0); | |
| 146 | |
| 147 // Numbers with longest possible decimal representation. | |
| 148 long double a = min_double * big_num; | |
| 149 long double b = min_double * (big_num - 1); | |
| 150 CHECK(a != b); | |
| 151 | |
| 152 char buffer[1100]; | |
| 153 // Construct a number exactly at the middle between 2 possible | |
| 154 // doubles with long decimal representation (~760 significant digits). | |
| 155 int n = snprintf(buffer, sizeof(buffer), "%.1000Le", (a + b) / 2); | |
| 156 | |
| 157 CHECK_EQ(strcmp(buffer + n - 10, "00000e-308"), 0); | |
| 158 CHECK_EQ(b, StringToDouble(buffer, NO_FLAGS)); | |
| 159 | |
| 160 buffer[n - 8] = '1'; | |
| 161 CHECK_EQ(a, StringToDouble(buffer, NO_FLAGS)); | |
| 162 } | |
| 163 | |
| 164 | |
| 165 TEST(ExponentNumberStr) { | |
| 166 CHECK_EQ(1e1, StringToDouble("1e1", NO_FLAGS)); | |
| 167 CHECK_EQ(1e1, StringToDouble("1e+1", NO_FLAGS)); | |
| 168 CHECK_EQ(1e-1, StringToDouble("1e-1", NO_FLAGS)); | |
| 169 CHECK_EQ(1e100, StringToDouble("1e+100", NO_FLAGS)); | |
| 170 CHECK_EQ(1e-100, StringToDouble("1e-100", NO_FLAGS)); | |
| 171 CHECK_EQ(1e-106, StringToDouble(".000001e-100", NO_FLAGS)); | |
| 172 } | |
| 173 | |
| 174 class OneBit1: public BitField<uint32_t, 0, 1> {}; | 94 class OneBit1: public BitField<uint32_t, 0, 1> {}; |
| 175 class OneBit2: public BitField<uint32_t, 7, 1> {}; | 95 class OneBit2: public BitField<uint32_t, 7, 1> {}; |
| 176 class EightBit1: public BitField<uint32_t, 0, 8> {}; | 96 class EightBit1: public BitField<uint32_t, 0, 8> {}; |
| 177 class EightBit2: public BitField<uint32_t, 13, 8> {}; | 97 class EightBit2: public BitField<uint32_t, 13, 8> {}; |
| 178 | 98 |
| 179 TEST(BitField) { | 99 TEST(BitField) { |
| 180 uint32_t x; | 100 uint32_t x; |
| 181 | 101 |
| 182 // One bit bit field can hold values 0 and 1. | 102 // One bit bit field can hold values 0 and 1. |
| 183 CHECK(!OneBit1::is_valid(static_cast<uint32_t>(-1))); | 103 CHECK(!OneBit1::is_valid(static_cast<uint32_t>(-1))); |
| (...skipping 17 matching lines...) Expand all Loading... |
| 201 CHECK(EightBit1::is_valid(i)); | 121 CHECK(EightBit1::is_valid(i)); |
| 202 x = EightBit1::encode(i); | 122 x = EightBit1::encode(i); |
| 203 CHECK_EQ(i, EightBit1::decode(x)); | 123 CHECK_EQ(i, EightBit1::decode(x)); |
| 204 CHECK(EightBit2::is_valid(i)); | 124 CHECK(EightBit2::is_valid(i)); |
| 205 x = EightBit2::encode(i); | 125 x = EightBit2::encode(i); |
| 206 CHECK_EQ(i, EightBit2::decode(x)); | 126 CHECK_EQ(i, EightBit2::decode(x)); |
| 207 } | 127 } |
| 208 CHECK(!EightBit1::is_valid(256)); | 128 CHECK(!EightBit1::is_valid(256)); |
| 209 CHECK(!EightBit2::is_valid(256)); | 129 CHECK(!EightBit2::is_valid(256)); |
| 210 } | 130 } |
| OLD | NEW |