Index: test/cctest/test-grisu3.cc |
=================================================================== |
--- test/cctest/test-grisu3.cc (revision 0) |
+++ test/cctest/test-grisu3.cc (revision 0) |
@@ -0,0 +1,174 @@ |
+// Copyright 2006-2008 the V8 project authors. All rights reserved. |
+ |
+#include <stdlib.h> |
+ |
+#include "v8.h" |
+ |
+#include "platform.h" |
+#include "cctest.h" |
+#include "diy_fp.h" |
+#include "double.h" |
+#include "grisu3.h" |
+ |
+#include "test-dtoa.h" |
+ |
+using namespace v8::internal; |
+ |
+TEST(DoubleExtremes) { |
+ char buffer[kBufferSize]; |
+ int length; |
+ int sign; |
+ int point; |
+ bool status; |
+ double min_double = 5e-324; |
+ status = grisu3(min_double, buffer, &sign, &length, &point); |
+ CHECK(status); |
+ CHECK_EQ(0, sign); |
+ CHECK_EQ("5", buffer); |
+ CHECK_EQ(-323, point); |
+ |
+ double max_double = 1.7976931348623157e308; |
+ status = grisu3(max_double, buffer, &sign, &length, &point); |
+ CHECK(status); |
+ 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); |
+ CHECK_EQ("4294967272", buffer); |
+ CHECK_EQ(10, point); |
+ |
+ status = grisu3(4.1855804968213567e298, buffer, &sign, &length, &point); |
+ CHECK(status); |
+ CHECK_EQ(0, sign); |
+ CHECK_EQ("4185580496821357", buffer); |
+ CHECK_EQ(299, point); |
+ |
+ status = grisu3(5.5626846462680035e-309, buffer, &sign, &length, &point); |
+ CHECK(status); |
+ CHECK_EQ(0, sign); |
+ CHECK_EQ("5562684646268003", buffer); |
+ CHECK_EQ(-308, point); |
+ |
+ status = grisu3(2147483648.0, buffer, &sign, &length, &point); |
+ CHECK(status); |
+ CHECK_EQ(0, sign); |
+ CHECK_EQ("2147483648", buffer); |
+ CHECK_EQ(10, point); |
+ |
+ status = grisu3(3.5844466002796428e+298, buffer, &sign, &length, &point); |
+ if (status) { // Not all grisu3 variants manage to compute this number. |
+ CHECK_EQ("35844466002796428", buffer); |
+ CHECK_EQ(0, sign); |
+ CHECK_EQ(299, point); |
+ } |
+ |
+ uint64_t smallest_normal64 = V8_2PART_UINT64_C(0x00100000, 00000000); |
+ double v = Double(smallest_normal64).value(); |
+ 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)); |
+ } |
+ |
+ uint64_t largest_denormal64 = V8_2PART_UINT64_C(0x000FFFFF, FFFFFFFF); |
+ v = Double(largest_denormal64).value(); |
+ 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)); |
+ } |
+} |
+ |
+ |
+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; |
+ char buffer[kBufferSize]; |
+ int length; |
+ int sign; |
+ int point; |
+ 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; |
+ total++; |
+ int status = grisu3(v, buffer, &sign, &length, &point); |
+ CHECK_GE(kGrisu3MaximalLength, length); |
+ if (length == kGrisu3MaximalLength) needed_max_length = true; |
+ if (!status) continue; |
+ succeeded++; |
+ CHECK(IsCorrect(v, buffer, 0, length, point)); |
+ CHECK(IsRounded(v, buffer, 0, length, point)); |
+ CHECK(IsShortest(v, buffer, 0, length, point)); |
+ } |
+ CHECK_GT(succeeded*1.0/total, 0.99); |
+ CHECK(needed_max_length); |
+} |