| 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);
|
|
|