Index: test/cctest/test-grisu3.cc |
=================================================================== |
--- test/cctest/test-grisu3.cc (revision 4092) |
+++ test/cctest/test-grisu3.cc (working copy) |
@@ -8,18 +8,20 @@ |
#include "cctest.h" |
#include "diy_fp.h" |
#include "double.h" |
+#include "gay_shortest.h" |
#include "grisu3.h" |
-#include "test-dtoa.h" |
- |
using namespace v8::internal; |
-TEST(DoubleExtremes) { |
+static const int kBufferSize = 100; |
+ |
+TEST(GrisuVariousDoubles) { |
char buffer[kBufferSize]; |
- int length; |
int sign; |
+ int length; |
int point; |
- bool status; |
+ int status; |
+ |
double min_double = 5e-324; |
status = grisu3(min_double, buffer, &sign, &length, &point); |
CHECK(status); |
@@ -33,52 +35,7 @@ |
CHECK_EQ(0, sign); |
CHECK_EQ("17976931348623157", buffer); |
CHECK_EQ(309, point); |
-} |
- |
-TEST(DoubleTestFunctions) { |
- char buffer[kBufferSize]; |
- |
- strncpy(buffer, "12345", kBufferSize); |
- CHECK(IsCorrect(123.45, buffer, 0, 5, 3)); |
- strncpy(buffer, "12345", kBufferSize); |
- CHECK(IsCorrect(1.2345, buffer, 0, 5, 1)); |
- strncpy(buffer, "12345", kBufferSize); |
- CHECK(!IsCorrect(1.2344, buffer, 0, 5, 1)); |
- strncpy(buffer, "12345", kBufferSize); |
- CHECK(!IsCorrect(1.2345, buffer, 0, 5, 2)); |
- strncpy(buffer, "12345", kBufferSize); |
- CHECK(!IsCorrect(1.2345, buffer, 0, 4, 1)); |
- |
- strncpy(buffer, "1234", kBufferSize); |
- CHECK(IsRounded(123.44, buffer, 0, 4, 3)); |
- strncpy(buffer, "1234", kBufferSize); |
- CHECK(!IsRounded(123.4500000000001, buffer, 0, 4, 3)); |
- strncpy(buffer, "1234", kBufferSize); |
- CHECK(IsRounded(123.44999999, buffer, 0, 4, 3)); |
- strncpy(buffer, "1234", kBufferSize); |
- CHECK(IsRounded(123.44999999, buffer, 0, 3, 3)); |
- |
- strncpy(buffer, "1234567000000000000000000001", kBufferSize); |
- CHECK(IsShortest(123.45, buffer, 0, 5, 3)); |
- strncpy(buffer, "1234567000000000000000000001", kBufferSize); |
- CHECK(IsShortest(123.4567, buffer, 0, 7, 3)); |
- strncpy(buffer, "1234567000000000000000000001", kBufferSize); |
- CHECK(!IsShortest(123.4567, buffer, 0, strlen(buffer), 3)); |
- |
- strncpy(buffer, "123456699999999999999999999999999999", kBufferSize); |
- CHECK(!IsShortest(123.4567, buffer, 0, strlen(buffer), 3)); |
- strncpy(buffer, "123456699999999999999999999999999999", kBufferSize); |
- CHECK(IsShortest(123.456, buffer, 0, 6, 3)); |
-} |
- |
- |
-TEST(VariousDoubles) { |
- char buffer[kBufferSize]; |
- int sign; |
- int length; |
- int point; |
- int status; |
status = grisu3(4294967272.0, buffer, &sign, &length, &point); |
CHECK(status); |
CHECK_EQ(0, sign); |
@@ -115,9 +72,8 @@ |
status = grisu3(v, buffer, &sign, &length, &point); |
if (status) { |
CHECK_EQ(0, sign); |
- CHECK(IsCorrect(v, buffer, 0, length, point)); |
- CHECK(IsRounded(v, buffer, 0, length, point)); |
- CHECK(IsShortest(v, buffer, 0, length, point)); |
+ CHECK_EQ("22250738585072014", buffer); |
+ CHECK_EQ(-307, point); |
} |
uint64_t largest_denormal64 = V8_2PART_UINT64_C(0x000FFFFF, FFFFFFFF); |
@@ -125,49 +81,35 @@ |
status = grisu3(v, buffer, &sign, &length, &point); |
if (status) { |
CHECK_EQ(0, sign); |
- CHECK(IsCorrect(v, buffer, 0, length, point)); |
- CHECK(IsRounded(v, buffer, 0, length, point)); |
- CHECK(IsShortest(v, buffer, 0, length, point)); |
+ CHECK_EQ("2225073858507201", buffer); |
+ CHECK_EQ(-307, point); |
} |
} |
-static double random_double() { |
- uint64_t double64 = 0; |
- for (int i = 0; i < 8; i++) { |
- double64 <<= 8; |
- double64 += rand() % 256; // NOLINT |
- } |
- return Double(double64).value(); |
-} |
- |
- |
-TEST(RandomDoubles) { |
- // For a more thorough testing increase the iteration count. |
- // We also check kGrisu3MaximalLength in here. |
- const int kIterationCount = 100000; |
- int succeeded = 0; |
- int total = 0; |
+TEST(GrisuGayShortest) { |
char buffer[kBufferSize]; |
- int length; |
+ bool status; |
int sign; |
+ int length; |
int point; |
+ int succeeded = 0; |
+ int total = 0; |
bool needed_max_length = false; |
- for (int i = 0; i < kIterationCount; ++i) { |
- double v = random_double(); |
- if (v != v) continue; // NaN |
- if (v == 0.0) continue; |
- if (v < 0) v = -v; |
+ Vector<const GayShortest> precomputed = PrecomputedShortestRepresentations(); |
+ for (int i = 0; i < precomputed.length(); ++i) { |
+ const GayShortest current_test = precomputed[i]; |
total++; |
- int status = grisu3(v, buffer, &sign, &length, &point); |
+ double v = current_test.v; |
+ status = grisu3(v, buffer, &sign, &length, &point); |
CHECK_GE(kGrisu3MaximalLength, length); |
- if (length == kGrisu3MaximalLength) needed_max_length = true; |
if (!status) continue; |
+ if (length == kGrisu3MaximalLength) needed_max_length = true; |
succeeded++; |
- CHECK(IsCorrect(v, buffer, 0, length, point)); |
- CHECK(IsRounded(v, buffer, 0, length, point)); |
- CHECK(IsShortest(v, buffer, 0, length, point)); |
+ CHECK_EQ(0, sign); // All precomputed numbers are positive. |
+ CHECK_EQ(current_test.decimal_point, point); |
+ CHECK_EQ(current_test.representation, buffer); |
} |
CHECK_GT(succeeded*1.0/total, 0.99); |
CHECK(needed_max_length); |