summaryrefslogtreecommitdiff
path: root/Userland/Libraries/LibJS/Runtime/Value.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'Userland/Libraries/LibJS/Runtime/Value.cpp')
-rw-r--r--Userland/Libraries/LibJS/Runtime/Value.cpp13
1 files changed, 13 insertions, 0 deletions
diff --git a/Userland/Libraries/LibJS/Runtime/Value.cpp b/Userland/Libraries/LibJS/Runtime/Value.cpp
index 062e2ad59e..e66135e3e7 100644
--- a/Userland/Libraries/LibJS/Runtime/Value.cpp
+++ b/Userland/Libraries/LibJS/Runtime/Value.cpp
@@ -2181,20 +2181,33 @@ bool same_value_non_numeric(Value lhs, Value rhs)
// 7.2.15 IsStrictlyEqual ( x, y ), https://tc39.es/ecma262/#sec-isstrictlyequal
bool is_strictly_equal(Value lhs, Value rhs)
{
+ // 1. If Type(x) is different from Type(y), return false.
if (!same_type_for_equality(lhs, rhs))
return false;
+ // 2. If x is a Number, then
if (lhs.is_number()) {
+ // a. Return Number::equal(x, y).
+
+ // 6.1.6.1.13 Number::equal ( x, y ), https://tc39.es/ecma262/#sec-numeric-types-number-equal
+ // 1. If x is NaN, return false.
+ // 2. If y is NaN, return false.
if (lhs.is_nan() || rhs.is_nan())
return false;
+ // 3. If x is the same Number value as y, return true.
+ // 4. If x is +0𝔽 and y is -0𝔽, return true.
+ // 5. If x is -0𝔽 and y is +0𝔽, return true.
if (lhs.as_double() == rhs.as_double())
return true;
+ // 6. Return false.
return false;
}
+ // FIXME: This should be handled in SameValueNonNumber now (formerly SameValueNonNumeric)
if (lhs.is_bigint())
return lhs.as_bigint().big_integer() == rhs.as_bigint().big_integer();
+ // 3. Return SameValueNonNumber(x, y).
return same_value_non_numeric(lhs, rhs);
}