summaryrefslogtreecommitdiff
path: root/deps/v8/test/unittests/bigint-unittest.cc
diff options
context:
space:
mode:
Diffstat (limited to 'deps/v8/test/unittests/bigint-unittest.cc')
-rw-r--r--deps/v8/test/unittests/bigint-unittest.cc115
1 files changed, 115 insertions, 0 deletions
diff --git a/deps/v8/test/unittests/bigint-unittest.cc b/deps/v8/test/unittests/bigint-unittest.cc
new file mode 100644
index 0000000000..252cad6a8f
--- /dev/null
+++ b/deps/v8/test/unittests/bigint-unittest.cc
@@ -0,0 +1,115 @@
+// Copyright 2017 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+#include <cmath>
+
+#include "src/conversions.h"
+#include "src/factory.h"
+#include "src/isolate.h"
+#include "src/objects-inl.h"
+#include "src/objects/bigint.h"
+#include "test/unittests/test-utils.h"
+
+#include "testing/gtest/include/gtest/gtest.h"
+
+namespace v8 {
+namespace internal {
+
+typedef TestWithIsolate BigIntWithIsolate;
+
+void Compare(Handle<BigInt> x, double value, ComparisonResult expected) {
+ CHECK_EQ(expected, BigInt::CompareToDouble(x, value));
+}
+
+Handle<BigInt> NewFromInt(Isolate* isolate, int value) {
+ Handle<Smi> smi_value = handle(Smi::FromInt(value), isolate);
+ return BigInt::FromNumber(isolate, smi_value).ToHandleChecked();
+}
+
+TEST_F(BigIntWithIsolate, CompareToDouble) {
+ Handle<BigInt> zero = NewFromInt(isolate(), 0);
+ Handle<BigInt> one = NewFromInt(isolate(), 1);
+ Handle<BigInt> minus_one = NewFromInt(isolate(), -1);
+
+ // Non-finite doubles.
+ Compare(zero, std::nan(""), ComparisonResult::kUndefined);
+ Compare(one, INFINITY, ComparisonResult::kLessThan);
+ Compare(one, -INFINITY, ComparisonResult::kGreaterThan);
+
+ // Unequal sign.
+ Compare(one, -1, ComparisonResult::kGreaterThan);
+ Compare(minus_one, 1, ComparisonResult::kLessThan);
+
+ // Cases involving zero.
+ Compare(zero, 0, ComparisonResult::kEqual);
+ Compare(zero, -0, ComparisonResult::kEqual);
+ Compare(one, 0, ComparisonResult::kGreaterThan);
+ Compare(minus_one, 0, ComparisonResult::kLessThan);
+ Compare(zero, 1, ComparisonResult::kLessThan);
+ Compare(zero, -1, ComparisonResult::kGreaterThan);
+
+ // Small doubles.
+ Compare(zero, 0.25, ComparisonResult::kLessThan);
+ Compare(one, 0.5, ComparisonResult::kGreaterThan);
+ Compare(one, -0.5, ComparisonResult::kGreaterThan);
+ Compare(zero, -0.25, ComparisonResult::kGreaterThan);
+ Compare(minus_one, -0.5, ComparisonResult::kLessThan);
+
+ // Different bit lengths.
+ Handle<BigInt> four = NewFromInt(isolate(), 4);
+ Handle<BigInt> minus_five = NewFromInt(isolate(), -5);
+ Compare(four, 3.9, ComparisonResult::kGreaterThan);
+ Compare(four, 1.5, ComparisonResult::kGreaterThan);
+ Compare(four, 8, ComparisonResult::kLessThan);
+ Compare(four, 16, ComparisonResult::kLessThan);
+ Compare(minus_five, -4.9, ComparisonResult::kLessThan);
+ Compare(minus_five, -4, ComparisonResult::kLessThan);
+ Compare(minus_five, -25, ComparisonResult::kGreaterThan);
+
+ // Same bit length, difference in first digit.
+ double big_double = 4428155326412785451008.0;
+ Handle<BigInt> big =
+ BigIntLiteral(isolate(), "0xF10D00000000000000").ToHandleChecked();
+ Compare(big, big_double, ComparisonResult::kGreaterThan);
+ big = BigIntLiteral(isolate(), "0xE00D00000000000000").ToHandleChecked();
+ Compare(big, big_double, ComparisonResult::kLessThan);
+
+ double other_double = -13758438578910658560.0;
+ Handle<BigInt> other =
+ BigIntLiteral(isolate(), "-0xBEEFC1FE00000000").ToHandleChecked();
+ Compare(other, other_double, ComparisonResult::kGreaterThan);
+ other = BigIntLiteral(isolate(), "-0xBEEFCBFE00000000").ToHandleChecked();
+ Compare(other, other_double, ComparisonResult::kLessThan);
+
+ // Same bit length, difference in non-first digit.
+ big = BigIntLiteral(isolate(), "0xF00D00000000000001").ToHandleChecked();
+ Compare(big, big_double, ComparisonResult::kGreaterThan);
+ big = BigIntLiteral(isolate(), "0xF00A00000000000000").ToHandleChecked();
+ Compare(big, big_double, ComparisonResult::kLessThan);
+
+ other = BigIntLiteral(isolate(), "-0xBEEFCAFE00000001").ToHandleChecked();
+ Compare(other, other_double, ComparisonResult::kLessThan);
+
+ // Same bit length, difference in fractional part.
+ Compare(one, 1.5, ComparisonResult::kLessThan);
+ Compare(minus_one, -1.25, ComparisonResult::kGreaterThan);
+ big = NewFromInt(isolate(), 0xF00D00);
+ Compare(big, 15731968.125, ComparisonResult::kLessThan);
+ Compare(big, 15731967.875, ComparisonResult::kGreaterThan);
+ big = BigIntLiteral(isolate(), "0x123456789ab").ToHandleChecked();
+ Compare(big, 1250999896491.125, ComparisonResult::kLessThan);
+
+ // Equality!
+ Compare(one, 1, ComparisonResult::kEqual);
+ Compare(minus_one, -1, ComparisonResult::kEqual);
+ big = BigIntLiteral(isolate(), "0xF00D00000000000000").ToHandleChecked();
+ Compare(big, big_double, ComparisonResult::kEqual);
+
+ Handle<BigInt> two_52 =
+ BigIntLiteral(isolate(), "0x10000000000000").ToHandleChecked();
+ Compare(two_52, 4503599627370496.0, ComparisonResult::kEqual);
+}
+
+} // namespace internal
+} // namespace v8