1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-06-01 09:18:11 +00:00

LibJS: Add spec comments to greater_than_equals()

This commit is contained in:
Linus Groh 2022-12-10 00:04:18 +00:00
parent 444ba191af
commit 27ed1f6d5e

View file

@ -1236,12 +1236,23 @@ ThrowCompletionOr<Value> greater_than(VM& vm, Value lhs, Value rhs)
}
// 13.10 Relational Operators, https://tc39.es/ecma262/#sec-relational-operators
// RelationalExpression : RelationalExpression >= ShiftExpression
ThrowCompletionOr<Value> greater_than_equals(VM& vm, Value lhs, Value rhs)
{
// 1. Let lref be ? Evaluation of RelationalExpression.
// 2. Let lval be ? GetValue(lref).
// 3. Let rref be ? Evaluation of ShiftExpression.
// 4. Let rval be ? GetValue(rref).
// NOTE: This is handled in the AST or Bytecode interpreter.
// OPTIMIZATION: If both values are i32, we can do a direct comparison without calling into IsLessThan.
if (lhs.is_int32() && rhs.is_int32())
return lhs.as_i32() >= rhs.as_i32();
TriState relation = TRY(is_less_than(vm, lhs, rhs, true));
// 5. Let r be ? IsLessThan(lval, rval, true).
auto relation = TRY(is_less_than(vm, lhs, rhs, true));
// 6. If r is true or undefined, return false. Otherwise, return true.
if (relation == TriState::Unknown || relation == TriState::True)
return Value(false);
return Value(true);