| Index: src/builtins/builtins-number.cc
|
| diff --git a/src/builtins/builtins-number.cc b/src/builtins/builtins-number.cc
|
| index 0b1afe1b09ea4b868213c30af95483d2b84f5891..25a1bad240137fbd50fc8b54cd94d76db9c58eb5 100644
|
| --- a/src/builtins/builtins-number.cc
|
| +++ b/src/builtins/builtins-number.cc
|
| @@ -5,7 +5,6 @@
|
| #include "src/builtins/builtins-utils.h"
|
| #include "src/builtins/builtins.h"
|
| #include "src/code-factory.h"
|
| -#include "src/code-stub-assembler.h"
|
| #include "src/conversions.h"
|
| #include "src/counters.h"
|
| #include "src/objects-inl.h"
|
| @@ -13,329 +12,9 @@
|
| namespace v8 {
|
| namespace internal {
|
|
|
| -class NumberBuiltinsAssembler : public CodeStubAssembler {
|
| - public:
|
| - explicit NumberBuiltinsAssembler(compiler::CodeAssemblerState* state)
|
| - : CodeStubAssembler(state) {}
|
| -
|
| - protected:
|
| - template <Signedness signed_result = kSigned>
|
| - void BitwiseOp(std::function<Node*(Node* lhs, Node* rhs)> body) {
|
| - Node* left = Parameter(0);
|
| - Node* right = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - Node* lhs_value = TruncateTaggedToWord32(context, left);
|
| - Node* rhs_value = TruncateTaggedToWord32(context, right);
|
| - Node* value = body(lhs_value, rhs_value);
|
| - Node* result = signed_result == kSigned ? ChangeInt32ToTagged(value)
|
| - : ChangeUint32ToTagged(value);
|
| - Return(result);
|
| - }
|
| -
|
| - template <Signedness signed_result = kSigned>
|
| - void BitwiseShiftOp(std::function<Node*(Node* lhs, Node* shift_count)> body) {
|
| - BitwiseOp<signed_result>([this, body](Node* lhs, Node* rhs) {
|
| - Node* shift_count = Word32And(rhs, Int32Constant(0x1f));
|
| - return body(lhs, shift_count);
|
| - });
|
| - }
|
| -
|
| - void RelationalComparisonBuiltin(RelationalComparisonMode mode) {
|
| - Node* lhs = Parameter(0);
|
| - Node* rhs = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - Return(RelationalComparison(mode, lhs, rhs, context));
|
| - }
|
| -};
|
| -
|
| // -----------------------------------------------------------------------------
|
| // ES6 section 20.1 Number Objects
|
|
|
| -// ES6 section 20.1.2.2 Number.isFinite ( number )
|
| -TF_BUILTIN(NumberIsFinite, CodeStubAssembler) {
|
| - Node* number = Parameter(1);
|
| -
|
| - Label return_true(this), return_false(this);
|
| -
|
| - // Check if {number} is a Smi.
|
| - GotoIf(TaggedIsSmi(number), &return_true);
|
| -
|
| - // Check if {number} is a HeapNumber.
|
| - GotoIfNot(IsHeapNumberMap(LoadMap(number)), &return_false);
|
| -
|
| - // Check if {number} contains a finite, non-NaN value.
|
| - Node* number_value = LoadHeapNumberValue(number);
|
| - BranchIfFloat64IsNaN(Float64Sub(number_value, number_value), &return_false,
|
| - &return_true);
|
| -
|
| - Bind(&return_true);
|
| - Return(BooleanConstant(true));
|
| -
|
| - Bind(&return_false);
|
| - Return(BooleanConstant(false));
|
| -}
|
| -
|
| -// ES6 section 20.1.2.3 Number.isInteger ( number )
|
| -TF_BUILTIN(NumberIsInteger, CodeStubAssembler) {
|
| - Node* number = Parameter(1);
|
| -
|
| - Label return_true(this), return_false(this);
|
| -
|
| - // Check if {number} is a Smi.
|
| - GotoIf(TaggedIsSmi(number), &return_true);
|
| -
|
| - // Check if {number} is a HeapNumber.
|
| - GotoIfNot(IsHeapNumberMap(LoadMap(number)), &return_false);
|
| -
|
| - // Load the actual value of {number}.
|
| - Node* number_value = LoadHeapNumberValue(number);
|
| -
|
| - // Truncate the value of {number} to an integer (or an infinity).
|
| - Node* integer = Float64Trunc(number_value);
|
| -
|
| - // Check if {number}s value matches the integer (ruling out the infinities).
|
| - Branch(Float64Equal(Float64Sub(number_value, integer), Float64Constant(0.0)),
|
| - &return_true, &return_false);
|
| -
|
| - Bind(&return_true);
|
| - Return(BooleanConstant(true));
|
| -
|
| - Bind(&return_false);
|
| - Return(BooleanConstant(false));
|
| -}
|
| -
|
| -// ES6 section 20.1.2.4 Number.isNaN ( number )
|
| -TF_BUILTIN(NumberIsNaN, CodeStubAssembler) {
|
| - Node* number = Parameter(1);
|
| -
|
| - Label return_true(this), return_false(this);
|
| -
|
| - // Check if {number} is a Smi.
|
| - GotoIf(TaggedIsSmi(number), &return_false);
|
| -
|
| - // Check if {number} is a HeapNumber.
|
| - GotoIfNot(IsHeapNumberMap(LoadMap(number)), &return_false);
|
| -
|
| - // Check if {number} contains a NaN value.
|
| - Node* number_value = LoadHeapNumberValue(number);
|
| - BranchIfFloat64IsNaN(number_value, &return_true, &return_false);
|
| -
|
| - Bind(&return_true);
|
| - Return(BooleanConstant(true));
|
| -
|
| - Bind(&return_false);
|
| - Return(BooleanConstant(false));
|
| -}
|
| -
|
| -// ES6 section 20.1.2.5 Number.isSafeInteger ( number )
|
| -TF_BUILTIN(NumberIsSafeInteger, CodeStubAssembler) {
|
| - Node* number = Parameter(1);
|
| -
|
| - Label return_true(this), return_false(this);
|
| -
|
| - // Check if {number} is a Smi.
|
| - GotoIf(TaggedIsSmi(number), &return_true);
|
| -
|
| - // Check if {number} is a HeapNumber.
|
| - GotoIfNot(IsHeapNumberMap(LoadMap(number)), &return_false);
|
| -
|
| - // Load the actual value of {number}.
|
| - Node* number_value = LoadHeapNumberValue(number);
|
| -
|
| - // Truncate the value of {number} to an integer (or an infinity).
|
| - Node* integer = Float64Trunc(number_value);
|
| -
|
| - // Check if {number}s value matches the integer (ruling out the infinities).
|
| - GotoIfNot(
|
| - Float64Equal(Float64Sub(number_value, integer), Float64Constant(0.0)),
|
| - &return_false);
|
| -
|
| - // Check if the {integer} value is in safe integer range.
|
| - Branch(Float64LessThanOrEqual(Float64Abs(integer),
|
| - Float64Constant(kMaxSafeInteger)),
|
| - &return_true, &return_false);
|
| -
|
| - Bind(&return_true);
|
| - Return(BooleanConstant(true));
|
| -
|
| - Bind(&return_false);
|
| - Return(BooleanConstant(false));
|
| -}
|
| -
|
| -// ES6 section 20.1.2.12 Number.parseFloat ( string )
|
| -TF_BUILTIN(NumberParseFloat, CodeStubAssembler) {
|
| - Node* context = Parameter(4);
|
| -
|
| - // We might need to loop once for ToString conversion.
|
| - Variable var_input(this, MachineRepresentation::kTagged);
|
| - Label loop(this, &var_input);
|
| - var_input.Bind(Parameter(1));
|
| - Goto(&loop);
|
| - Bind(&loop);
|
| - {
|
| - // Load the current {input} value.
|
| - Node* input = var_input.value();
|
| -
|
| - // Check if the {input} is a HeapObject or a Smi.
|
| - Label if_inputissmi(this), if_inputisnotsmi(this);
|
| - Branch(TaggedIsSmi(input), &if_inputissmi, &if_inputisnotsmi);
|
| -
|
| - Bind(&if_inputissmi);
|
| - {
|
| - // The {input} is already a Number, no need to do anything.
|
| - Return(input);
|
| - }
|
| -
|
| - Bind(&if_inputisnotsmi);
|
| - {
|
| - // The {input} is a HeapObject, check if it's already a String.
|
| - Label if_inputisstring(this), if_inputisnotstring(this);
|
| - Node* input_map = LoadMap(input);
|
| - Node* input_instance_type = LoadMapInstanceType(input_map);
|
| - Branch(IsStringInstanceType(input_instance_type), &if_inputisstring,
|
| - &if_inputisnotstring);
|
| -
|
| - Bind(&if_inputisstring);
|
| - {
|
| - // The {input} is already a String, check if {input} contains
|
| - // a cached array index.
|
| - Label if_inputcached(this), if_inputnotcached(this);
|
| - Node* input_hash = LoadNameHashField(input);
|
| - Node* input_bit = Word32And(
|
| - input_hash, Int32Constant(String::kContainsCachedArrayIndexMask));
|
| - Branch(Word32Equal(input_bit, Int32Constant(0)), &if_inputcached,
|
| - &if_inputnotcached);
|
| -
|
| - Bind(&if_inputcached);
|
| - {
|
| - // Just return the {input}s cached array index.
|
| - Node* input_array_index =
|
| - DecodeWordFromWord32<String::ArrayIndexValueBits>(input_hash);
|
| - Return(SmiTag(input_array_index));
|
| - }
|
| -
|
| - Bind(&if_inputnotcached);
|
| - {
|
| - // Need to fall back to the runtime to convert {input} to double.
|
| - Return(CallRuntime(Runtime::kStringParseFloat, context, input));
|
| - }
|
| - }
|
| -
|
| - Bind(&if_inputisnotstring);
|
| - {
|
| - // The {input} is neither a String nor a Smi, check for HeapNumber.
|
| - Label if_inputisnumber(this),
|
| - if_inputisnotnumber(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(input_map), &if_inputisnumber,
|
| - &if_inputisnotnumber);
|
| -
|
| - Bind(&if_inputisnumber);
|
| - {
|
| - // The {input} is already a Number, take care of -0.
|
| - Label if_inputiszero(this), if_inputisnotzero(this);
|
| - Node* input_value = LoadHeapNumberValue(input);
|
| - Branch(Float64Equal(input_value, Float64Constant(0.0)),
|
| - &if_inputiszero, &if_inputisnotzero);
|
| -
|
| - Bind(&if_inputiszero);
|
| - Return(SmiConstant(0));
|
| -
|
| - Bind(&if_inputisnotzero);
|
| - Return(input);
|
| - }
|
| -
|
| - Bind(&if_inputisnotnumber);
|
| - {
|
| - // Need to convert the {input} to String first.
|
| - // TODO(bmeurer): This could be more efficient if necessary.
|
| - Callable callable = CodeFactory::ToString(isolate());
|
| - var_input.Bind(CallStub(callable, context, input));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| - }
|
| -}
|
| -
|
| -// ES6 section 20.1.2.13 Number.parseInt ( string, radix )
|
| -TF_BUILTIN(NumberParseInt, CodeStubAssembler) {
|
| - Node* input = Parameter(1);
|
| - Node* radix = Parameter(2);
|
| - Node* context = Parameter(5);
|
| -
|
| - // Check if {radix} is treated as 10 (i.e. undefined, 0 or 10).
|
| - Label if_radix10(this), if_generic(this, Label::kDeferred);
|
| - GotoIf(WordEqual(radix, UndefinedConstant()), &if_radix10);
|
| - GotoIf(WordEqual(radix, SmiConstant(Smi::FromInt(10))), &if_radix10);
|
| - GotoIf(WordEqual(radix, SmiConstant(Smi::FromInt(0))), &if_radix10);
|
| - Goto(&if_generic);
|
| -
|
| - Bind(&if_radix10);
|
| - {
|
| - // Check if we can avoid the ToString conversion on {input}.
|
| - Label if_inputissmi(this), if_inputisheapnumber(this),
|
| - if_inputisstring(this);
|
| - GotoIf(TaggedIsSmi(input), &if_inputissmi);
|
| - Node* input_map = LoadMap(input);
|
| - GotoIf(IsHeapNumberMap(input_map), &if_inputisheapnumber);
|
| - Node* input_instance_type = LoadMapInstanceType(input_map);
|
| - Branch(IsStringInstanceType(input_instance_type), &if_inputisstring,
|
| - &if_generic);
|
| -
|
| - Bind(&if_inputissmi);
|
| - {
|
| - // Just return the {input}.
|
| - Return(input);
|
| - }
|
| -
|
| - Bind(&if_inputisheapnumber);
|
| - {
|
| - // Check if the {input} value is in Signed32 range.
|
| - Label if_inputissigned32(this);
|
| - Node* input_value = LoadHeapNumberValue(input);
|
| - Node* input_value32 = TruncateFloat64ToWord32(input_value);
|
| - GotoIf(Float64Equal(input_value, ChangeInt32ToFloat64(input_value32)),
|
| - &if_inputissigned32);
|
| -
|
| - // Check if the absolute {input} value is in the ]0.01,1e9[ range.
|
| - Node* input_value_abs = Float64Abs(input_value);
|
| -
|
| - GotoIfNot(Float64LessThan(input_value_abs, Float64Constant(1e9)),
|
| - &if_generic);
|
| - Branch(Float64LessThan(Float64Constant(0.01), input_value_abs),
|
| - &if_inputissigned32, &if_generic);
|
| -
|
| - // Return the truncated int32 value, and return the tagged result.
|
| - Bind(&if_inputissigned32);
|
| - Node* result = ChangeInt32ToTagged(input_value32);
|
| - Return(result);
|
| - }
|
| -
|
| - Bind(&if_inputisstring);
|
| - {
|
| - // Check if the String {input} has a cached array index.
|
| - Node* input_hash = LoadNameHashField(input);
|
| - Node* input_bit = Word32And(
|
| - input_hash, Int32Constant(String::kContainsCachedArrayIndexMask));
|
| - GotoIf(Word32NotEqual(input_bit, Int32Constant(0)), &if_generic);
|
| -
|
| - // Return the cached array index as result.
|
| - Node* input_index =
|
| - DecodeWordFromWord32<String::ArrayIndexValueBits>(input_hash);
|
| - Node* result = SmiTag(input_index);
|
| - Return(result);
|
| - }
|
| - }
|
| -
|
| - Bind(&if_generic);
|
| - {
|
| - Node* result = CallRuntime(Runtime::kStringParseInt, context, input, radix);
|
| - Return(result);
|
| - }
|
| -}
|
| -
|
| // ES6 section 20.1.3.2 Number.prototype.toExponential ( fractionDigits )
|
| BUILTIN(NumberPrototypeToExponential) {
|
| HandleScope scope(isolate);
|
| @@ -545,1057 +224,5 @@ BUILTIN(NumberPrototypeToString) {
|
| return *result;
|
| }
|
|
|
| -// ES6 section 20.1.3.7 Number.prototype.valueOf ( )
|
| -TF_BUILTIN(NumberPrototypeValueOf, CodeStubAssembler) {
|
| - Node* receiver = Parameter(0);
|
| - Node* context = Parameter(3);
|
| -
|
| - Node* result = ToThisValue(context, receiver, PrimitiveType::kNumber,
|
| - "Number.prototype.valueOf");
|
| - Return(result);
|
| -}
|
| -
|
| -TF_BUILTIN(Add, CodeStubAssembler) {
|
| - Node* left = Parameter(0);
|
| - Node* right = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - // Shared entry for floating point addition.
|
| - Label do_fadd(this);
|
| - Variable var_fadd_lhs(this, MachineRepresentation::kFloat64),
|
| - var_fadd_rhs(this, MachineRepresentation::kFloat64);
|
| -
|
| - // We might need to loop several times due to ToPrimitive, ToString and/or
|
| - // ToNumber conversions.
|
| - Variable var_lhs(this, MachineRepresentation::kTagged),
|
| - var_rhs(this, MachineRepresentation::kTagged),
|
| - var_result(this, MachineRepresentation::kTagged);
|
| - Variable* loop_vars[2] = {&var_lhs, &var_rhs};
|
| - Label loop(this, 2, loop_vars), end(this),
|
| - string_add_convert_left(this, Label::kDeferred),
|
| - string_add_convert_right(this, Label::kDeferred);
|
| - var_lhs.Bind(left);
|
| - var_rhs.Bind(right);
|
| - Goto(&loop);
|
| - Bind(&loop);
|
| - {
|
| - // Load the current {lhs} and {rhs} values.
|
| - Node* lhs = var_lhs.value();
|
| - Node* rhs = var_rhs.value();
|
| -
|
| - // Check if the {lhs} is a Smi or a HeapObject.
|
| - Label if_lhsissmi(this), if_lhsisnotsmi(this);
|
| - Branch(TaggedIsSmi(lhs), &if_lhsissmi, &if_lhsisnotsmi);
|
| -
|
| - Bind(&if_lhsissmi);
|
| - {
|
| - // Check if the {rhs} is also a Smi.
|
| - Label if_rhsissmi(this), if_rhsisnotsmi(this);
|
| - Branch(TaggedIsSmi(rhs), &if_rhsissmi, &if_rhsisnotsmi);
|
| -
|
| - Bind(&if_rhsissmi);
|
| - {
|
| - // Try fast Smi addition first.
|
| - Node* pair = IntPtrAddWithOverflow(BitcastTaggedToWord(lhs),
|
| - BitcastTaggedToWord(rhs));
|
| - Node* overflow = Projection(1, pair);
|
| -
|
| - // Check if the Smi additon overflowed.
|
| - Label if_overflow(this), if_notoverflow(this);
|
| - Branch(overflow, &if_overflow, &if_notoverflow);
|
| -
|
| - Bind(&if_overflow);
|
| - {
|
| - var_fadd_lhs.Bind(SmiToFloat64(lhs));
|
| - var_fadd_rhs.Bind(SmiToFloat64(rhs));
|
| - Goto(&do_fadd);
|
| - }
|
| -
|
| - Bind(&if_notoverflow);
|
| - var_result.Bind(BitcastWordToTaggedSigned(Projection(0, pair)));
|
| - Goto(&end);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotsmi);
|
| - {
|
| - // Load the map of {rhs}.
|
| - Node* rhs_map = LoadMap(rhs);
|
| -
|
| - // Check if the {rhs} is a HeapNumber.
|
| - Label if_rhsisnumber(this), if_rhsisnotnumber(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(rhs_map), &if_rhsisnumber, &if_rhsisnotnumber);
|
| -
|
| - Bind(&if_rhsisnumber);
|
| - {
|
| - var_fadd_lhs.Bind(SmiToFloat64(lhs));
|
| - var_fadd_rhs.Bind(LoadHeapNumberValue(rhs));
|
| - Goto(&do_fadd);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotnumber);
|
| - {
|
| - // Load the instance type of {rhs}.
|
| - Node* rhs_instance_type = LoadMapInstanceType(rhs_map);
|
| -
|
| - // Check if the {rhs} is a String.
|
| - Label if_rhsisstring(this, Label::kDeferred),
|
| - if_rhsisnotstring(this, Label::kDeferred);
|
| - Branch(IsStringInstanceType(rhs_instance_type), &if_rhsisstring,
|
| - &if_rhsisnotstring);
|
| -
|
| - Bind(&if_rhsisstring);
|
| - {
|
| - var_lhs.Bind(lhs);
|
| - var_rhs.Bind(rhs);
|
| - Goto(&string_add_convert_left);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotstring);
|
| - {
|
| - // Check if {rhs} is a JSReceiver.
|
| - Label if_rhsisreceiver(this, Label::kDeferred),
|
| - if_rhsisnotreceiver(this, Label::kDeferred);
|
| - Branch(IsJSReceiverInstanceType(rhs_instance_type),
|
| - &if_rhsisreceiver, &if_rhsisnotreceiver);
|
| -
|
| - Bind(&if_rhsisreceiver);
|
| - {
|
| - // Convert {rhs} to a primitive first passing no hint.
|
| - Callable callable =
|
| - CodeFactory::NonPrimitiveToPrimitive(isolate());
|
| - var_rhs.Bind(CallStub(callable, context, rhs));
|
| - Goto(&loop);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotreceiver);
|
| - {
|
| - // Convert {rhs} to a Number first.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_rhs.Bind(CallStub(callable, context, rhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&if_lhsisnotsmi);
|
| - {
|
| - // Load the map and instance type of {lhs}.
|
| - Node* lhs_instance_type = LoadInstanceType(lhs);
|
| -
|
| - // Check if {lhs} is a String.
|
| - Label if_lhsisstring(this), if_lhsisnotstring(this);
|
| - Branch(IsStringInstanceType(lhs_instance_type), &if_lhsisstring,
|
| - &if_lhsisnotstring);
|
| -
|
| - Bind(&if_lhsisstring);
|
| - {
|
| - var_lhs.Bind(lhs);
|
| - var_rhs.Bind(rhs);
|
| - Goto(&string_add_convert_right);
|
| - }
|
| -
|
| - Bind(&if_lhsisnotstring);
|
| - {
|
| - // Check if {rhs} is a Smi.
|
| - Label if_rhsissmi(this), if_rhsisnotsmi(this);
|
| - Branch(TaggedIsSmi(rhs), &if_rhsissmi, &if_rhsisnotsmi);
|
| -
|
| - Bind(&if_rhsissmi);
|
| - {
|
| - // Check if {lhs} is a Number.
|
| - Label if_lhsisnumber(this), if_lhsisnotnumber(this, Label::kDeferred);
|
| - Branch(
|
| - Word32Equal(lhs_instance_type, Int32Constant(HEAP_NUMBER_TYPE)),
|
| - &if_lhsisnumber, &if_lhsisnotnumber);
|
| -
|
| - Bind(&if_lhsisnumber);
|
| - {
|
| - // The {lhs} is a HeapNumber, the {rhs} is a Smi, just add them.
|
| - var_fadd_lhs.Bind(LoadHeapNumberValue(lhs));
|
| - var_fadd_rhs.Bind(SmiToFloat64(rhs));
|
| - Goto(&do_fadd);
|
| - }
|
| -
|
| - Bind(&if_lhsisnotnumber);
|
| - {
|
| - // The {lhs} is neither a Number nor a String, and the {rhs} is a
|
| - // Smi.
|
| - Label if_lhsisreceiver(this, Label::kDeferred),
|
| - if_lhsisnotreceiver(this, Label::kDeferred);
|
| - Branch(IsJSReceiverInstanceType(lhs_instance_type),
|
| - &if_lhsisreceiver, &if_lhsisnotreceiver);
|
| -
|
| - Bind(&if_lhsisreceiver);
|
| - {
|
| - // Convert {lhs} to a primitive first passing no hint.
|
| - Callable callable =
|
| - CodeFactory::NonPrimitiveToPrimitive(isolate());
|
| - var_lhs.Bind(CallStub(callable, context, lhs));
|
| - Goto(&loop);
|
| - }
|
| -
|
| - Bind(&if_lhsisnotreceiver);
|
| - {
|
| - // Convert {lhs} to a Number first.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_lhs.Bind(CallStub(callable, context, lhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&if_rhsisnotsmi);
|
| - {
|
| - // Load the instance type of {rhs}.
|
| - Node* rhs_instance_type = LoadInstanceType(rhs);
|
| -
|
| - // Check if {rhs} is a String.
|
| - Label if_rhsisstring(this), if_rhsisnotstring(this);
|
| - Branch(IsStringInstanceType(rhs_instance_type), &if_rhsisstring,
|
| - &if_rhsisnotstring);
|
| -
|
| - Bind(&if_rhsisstring);
|
| - {
|
| - var_lhs.Bind(lhs);
|
| - var_rhs.Bind(rhs);
|
| - Goto(&string_add_convert_left);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotstring);
|
| - {
|
| - // Check if {lhs} is a HeapNumber.
|
| - Label if_lhsisnumber(this), if_lhsisnotnumber(this);
|
| - Branch(
|
| - Word32Equal(lhs_instance_type, Int32Constant(HEAP_NUMBER_TYPE)),
|
| - &if_lhsisnumber, &if_lhsisnotnumber);
|
| -
|
| - Bind(&if_lhsisnumber);
|
| - {
|
| - // Check if {rhs} is also a HeapNumber.
|
| - Label if_rhsisnumber(this),
|
| - if_rhsisnotnumber(this, Label::kDeferred);
|
| - Branch(Word32Equal(rhs_instance_type,
|
| - Int32Constant(HEAP_NUMBER_TYPE)),
|
| - &if_rhsisnumber, &if_rhsisnotnumber);
|
| -
|
| - Bind(&if_rhsisnumber);
|
| - {
|
| - // Perform a floating point addition.
|
| - var_fadd_lhs.Bind(LoadHeapNumberValue(lhs));
|
| - var_fadd_rhs.Bind(LoadHeapNumberValue(rhs));
|
| - Goto(&do_fadd);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotnumber);
|
| - {
|
| - // Check if {rhs} is a JSReceiver.
|
| - Label if_rhsisreceiver(this, Label::kDeferred),
|
| - if_rhsisnotreceiver(this, Label::kDeferred);
|
| - Branch(IsJSReceiverInstanceType(rhs_instance_type),
|
| - &if_rhsisreceiver, &if_rhsisnotreceiver);
|
| -
|
| - Bind(&if_rhsisreceiver);
|
| - {
|
| - // Convert {rhs} to a primitive first passing no hint.
|
| - Callable callable =
|
| - CodeFactory::NonPrimitiveToPrimitive(isolate());
|
| - var_rhs.Bind(CallStub(callable, context, rhs));
|
| - Goto(&loop);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotreceiver);
|
| - {
|
| - // Convert {rhs} to a Number first.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_rhs.Bind(CallStub(callable, context, rhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&if_lhsisnotnumber);
|
| - {
|
| - // Check if {lhs} is a JSReceiver.
|
| - Label if_lhsisreceiver(this, Label::kDeferred),
|
| - if_lhsisnotreceiver(this);
|
| - Branch(IsJSReceiverInstanceType(lhs_instance_type),
|
| - &if_lhsisreceiver, &if_lhsisnotreceiver);
|
| -
|
| - Bind(&if_lhsisreceiver);
|
| - {
|
| - // Convert {lhs} to a primitive first passing no hint.
|
| - Callable callable =
|
| - CodeFactory::NonPrimitiveToPrimitive(isolate());
|
| - var_lhs.Bind(CallStub(callable, context, lhs));
|
| - Goto(&loop);
|
| - }
|
| -
|
| - Bind(&if_lhsisnotreceiver);
|
| - {
|
| - // Check if {rhs} is a JSReceiver.
|
| - Label if_rhsisreceiver(this, Label::kDeferred),
|
| - if_rhsisnotreceiver(this, Label::kDeferred);
|
| - Branch(IsJSReceiverInstanceType(rhs_instance_type),
|
| - &if_rhsisreceiver, &if_rhsisnotreceiver);
|
| -
|
| - Bind(&if_rhsisreceiver);
|
| - {
|
| - // Convert {rhs} to a primitive first passing no hint.
|
| - Callable callable =
|
| - CodeFactory::NonPrimitiveToPrimitive(isolate());
|
| - var_rhs.Bind(CallStub(callable, context, rhs));
|
| - Goto(&loop);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotreceiver);
|
| - {
|
| - // Convert {lhs} to a Number first.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_lhs.Bind(CallStub(callable, context, lhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| - }
|
| - }
|
| - }
|
| - }
|
| - }
|
| - Bind(&string_add_convert_left);
|
| - {
|
| - // Convert {lhs}, which is a Smi, to a String and concatenate the
|
| - // resulting string with the String {rhs}.
|
| - Callable callable =
|
| - CodeFactory::StringAdd(isolate(), STRING_ADD_CONVERT_LEFT, NOT_TENURED);
|
| - var_result.Bind(
|
| - CallStub(callable, context, var_lhs.value(), var_rhs.value()));
|
| - Goto(&end);
|
| - }
|
| -
|
| - Bind(&string_add_convert_right);
|
| - {
|
| - // Convert {lhs}, which is a Smi, to a String and concatenate the
|
| - // resulting string with the String {rhs}.
|
| - Callable callable = CodeFactory::StringAdd(
|
| - isolate(), STRING_ADD_CONVERT_RIGHT, NOT_TENURED);
|
| - var_result.Bind(
|
| - CallStub(callable, context, var_lhs.value(), var_rhs.value()));
|
| - Goto(&end);
|
| - }
|
| -
|
| - Bind(&do_fadd);
|
| - {
|
| - Node* lhs_value = var_fadd_lhs.value();
|
| - Node* rhs_value = var_fadd_rhs.value();
|
| - Node* value = Float64Add(lhs_value, rhs_value);
|
| - Node* result = AllocateHeapNumberWithValue(value);
|
| - var_result.Bind(result);
|
| - Goto(&end);
|
| - }
|
| - Bind(&end);
|
| - Return(var_result.value());
|
| -}
|
| -
|
| -TF_BUILTIN(Subtract, CodeStubAssembler) {
|
| - Node* left = Parameter(0);
|
| - Node* right = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - // Shared entry for floating point subtraction.
|
| - Label do_fsub(this), end(this);
|
| - Variable var_fsub_lhs(this, MachineRepresentation::kFloat64),
|
| - var_fsub_rhs(this, MachineRepresentation::kFloat64);
|
| -
|
| - // We might need to loop several times due to ToPrimitive and/or ToNumber
|
| - // conversions.
|
| - Variable var_lhs(this, MachineRepresentation::kTagged),
|
| - var_rhs(this, MachineRepresentation::kTagged),
|
| - var_result(this, MachineRepresentation::kTagged);
|
| - Variable* loop_vars[2] = {&var_lhs, &var_rhs};
|
| - Label loop(this, 2, loop_vars);
|
| - var_lhs.Bind(left);
|
| - var_rhs.Bind(right);
|
| - Goto(&loop);
|
| - Bind(&loop);
|
| - {
|
| - // Load the current {lhs} and {rhs} values.
|
| - Node* lhs = var_lhs.value();
|
| - Node* rhs = var_rhs.value();
|
| -
|
| - // Check if the {lhs} is a Smi or a HeapObject.
|
| - Label if_lhsissmi(this), if_lhsisnotsmi(this);
|
| - Branch(TaggedIsSmi(lhs), &if_lhsissmi, &if_lhsisnotsmi);
|
| -
|
| - Bind(&if_lhsissmi);
|
| - {
|
| - // Check if the {rhs} is also a Smi.
|
| - Label if_rhsissmi(this), if_rhsisnotsmi(this);
|
| - Branch(TaggedIsSmi(rhs), &if_rhsissmi, &if_rhsisnotsmi);
|
| -
|
| - Bind(&if_rhsissmi);
|
| - {
|
| - // Try a fast Smi subtraction first.
|
| - Node* pair = IntPtrSubWithOverflow(BitcastTaggedToWord(lhs),
|
| - BitcastTaggedToWord(rhs));
|
| - Node* overflow = Projection(1, pair);
|
| -
|
| - // Check if the Smi subtraction overflowed.
|
| - Label if_overflow(this), if_notoverflow(this);
|
| - Branch(overflow, &if_overflow, &if_notoverflow);
|
| -
|
| - Bind(&if_overflow);
|
| - {
|
| - // The result doesn't fit into Smi range.
|
| - var_fsub_lhs.Bind(SmiToFloat64(lhs));
|
| - var_fsub_rhs.Bind(SmiToFloat64(rhs));
|
| - Goto(&do_fsub);
|
| - }
|
| -
|
| - Bind(&if_notoverflow);
|
| - var_result.Bind(BitcastWordToTaggedSigned(Projection(0, pair)));
|
| - Goto(&end);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotsmi);
|
| - {
|
| - // Load the map of the {rhs}.
|
| - Node* rhs_map = LoadMap(rhs);
|
| -
|
| - // Check if {rhs} is a HeapNumber.
|
| - Label if_rhsisnumber(this), if_rhsisnotnumber(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(rhs_map), &if_rhsisnumber, &if_rhsisnotnumber);
|
| -
|
| - Bind(&if_rhsisnumber);
|
| - {
|
| - // Perform a floating point subtraction.
|
| - var_fsub_lhs.Bind(SmiToFloat64(lhs));
|
| - var_fsub_rhs.Bind(LoadHeapNumberValue(rhs));
|
| - Goto(&do_fsub);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotnumber);
|
| - {
|
| - // Convert the {rhs} to a Number first.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_rhs.Bind(CallStub(callable, context, rhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&if_lhsisnotsmi);
|
| - {
|
| - // Load the map of the {lhs}.
|
| - Node* lhs_map = LoadMap(lhs);
|
| -
|
| - // Check if the {lhs} is a HeapNumber.
|
| - Label if_lhsisnumber(this), if_lhsisnotnumber(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(lhs_map), &if_lhsisnumber, &if_lhsisnotnumber);
|
| -
|
| - Bind(&if_lhsisnumber);
|
| - {
|
| - // Check if the {rhs} is a Smi.
|
| - Label if_rhsissmi(this), if_rhsisnotsmi(this);
|
| - Branch(TaggedIsSmi(rhs), &if_rhsissmi, &if_rhsisnotsmi);
|
| -
|
| - Bind(&if_rhsissmi);
|
| - {
|
| - // Perform a floating point subtraction.
|
| - var_fsub_lhs.Bind(LoadHeapNumberValue(lhs));
|
| - var_fsub_rhs.Bind(SmiToFloat64(rhs));
|
| - Goto(&do_fsub);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotsmi);
|
| - {
|
| - // Load the map of the {rhs}.
|
| - Node* rhs_map = LoadMap(rhs);
|
| -
|
| - // Check if the {rhs} is a HeapNumber.
|
| - Label if_rhsisnumber(this), if_rhsisnotnumber(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(rhs_map), &if_rhsisnumber, &if_rhsisnotnumber);
|
| -
|
| - Bind(&if_rhsisnumber);
|
| - {
|
| - // Perform a floating point subtraction.
|
| - var_fsub_lhs.Bind(LoadHeapNumberValue(lhs));
|
| - var_fsub_rhs.Bind(LoadHeapNumberValue(rhs));
|
| - Goto(&do_fsub);
|
| - }
|
| -
|
| - Bind(&if_rhsisnotnumber);
|
| - {
|
| - // Convert the {rhs} to a Number first.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_rhs.Bind(CallStub(callable, context, rhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&if_lhsisnotnumber);
|
| - {
|
| - // Convert the {lhs} to a Number first.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_lhs.Bind(CallStub(callable, context, lhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&do_fsub);
|
| - {
|
| - Node* lhs_value = var_fsub_lhs.value();
|
| - Node* rhs_value = var_fsub_rhs.value();
|
| - Node* value = Float64Sub(lhs_value, rhs_value);
|
| - var_result.Bind(AllocateHeapNumberWithValue(value));
|
| - Goto(&end);
|
| - }
|
| - Bind(&end);
|
| - Return(var_result.value());
|
| -}
|
| -
|
| -TF_BUILTIN(Multiply, CodeStubAssembler) {
|
| - Node* left = Parameter(0);
|
| - Node* right = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - // Shared entry point for floating point multiplication.
|
| - Label do_fmul(this), return_result(this);
|
| - Variable var_lhs_float64(this, MachineRepresentation::kFloat64),
|
| - var_rhs_float64(this, MachineRepresentation::kFloat64);
|
| -
|
| - // We might need to loop one or two times due to ToNumber conversions.
|
| - Variable var_lhs(this, MachineRepresentation::kTagged),
|
| - var_rhs(this, MachineRepresentation::kTagged),
|
| - var_result(this, MachineRepresentation::kTagged);
|
| - Variable* loop_variables[] = {&var_lhs, &var_rhs};
|
| - Label loop(this, 2, loop_variables);
|
| - var_lhs.Bind(left);
|
| - var_rhs.Bind(right);
|
| - Goto(&loop);
|
| - Bind(&loop);
|
| - {
|
| - Node* lhs = var_lhs.value();
|
| - Node* rhs = var_rhs.value();
|
| -
|
| - Label lhs_is_smi(this), lhs_is_not_smi(this);
|
| - Branch(TaggedIsSmi(lhs), &lhs_is_smi, &lhs_is_not_smi);
|
| -
|
| - Bind(&lhs_is_smi);
|
| - {
|
| - Label rhs_is_smi(this), rhs_is_not_smi(this);
|
| - Branch(TaggedIsSmi(rhs), &rhs_is_smi, &rhs_is_not_smi);
|
| -
|
| - Bind(&rhs_is_smi);
|
| - {
|
| - // Both {lhs} and {rhs} are Smis. The result is not necessarily a smi,
|
| - // in case of overflow.
|
| - var_result.Bind(SmiMul(lhs, rhs));
|
| - Goto(&return_result);
|
| - }
|
| -
|
| - Bind(&rhs_is_not_smi);
|
| - {
|
| - Node* rhs_map = LoadMap(rhs);
|
| -
|
| - // Check if {rhs} is a HeapNumber.
|
| - Label rhs_is_number(this), rhs_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(rhs_map), &rhs_is_number, &rhs_is_not_number);
|
| -
|
| - Bind(&rhs_is_number);
|
| - {
|
| - // Convert {lhs} to a double and multiply it with the value of {rhs}.
|
| - var_lhs_float64.Bind(SmiToFloat64(lhs));
|
| - var_rhs_float64.Bind(LoadHeapNumberValue(rhs));
|
| - Goto(&do_fmul);
|
| - }
|
| -
|
| - Bind(&rhs_is_not_number);
|
| - {
|
| - // Multiplication is commutative, swap {lhs} with {rhs} and loop.
|
| - var_lhs.Bind(rhs);
|
| - var_rhs.Bind(lhs);
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&lhs_is_not_smi);
|
| - {
|
| - Node* lhs_map = LoadMap(lhs);
|
| -
|
| - // Check if {lhs} is a HeapNumber.
|
| - Label lhs_is_number(this), lhs_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(lhs_map), &lhs_is_number, &lhs_is_not_number);
|
| -
|
| - Bind(&lhs_is_number);
|
| - {
|
| - // Check if {rhs} is a Smi.
|
| - Label rhs_is_smi(this), rhs_is_not_smi(this);
|
| - Branch(TaggedIsSmi(rhs), &rhs_is_smi, &rhs_is_not_smi);
|
| -
|
| - Bind(&rhs_is_smi);
|
| - {
|
| - // Convert {rhs} to a double and multiply it with the value of {lhs}.
|
| - var_lhs_float64.Bind(LoadHeapNumberValue(lhs));
|
| - var_rhs_float64.Bind(SmiToFloat64(rhs));
|
| - Goto(&do_fmul);
|
| - }
|
| -
|
| - Bind(&rhs_is_not_smi);
|
| - {
|
| - Node* rhs_map = LoadMap(rhs);
|
| -
|
| - // Check if {rhs} is a HeapNumber.
|
| - Label rhs_is_number(this), rhs_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(rhs_map), &rhs_is_number, &rhs_is_not_number);
|
| -
|
| - Bind(&rhs_is_number);
|
| - {
|
| - // Both {lhs} and {rhs} are HeapNumbers. Load their values and
|
| - // multiply them.
|
| - var_lhs_float64.Bind(LoadHeapNumberValue(lhs));
|
| - var_rhs_float64.Bind(LoadHeapNumberValue(rhs));
|
| - Goto(&do_fmul);
|
| - }
|
| -
|
| - Bind(&rhs_is_not_number);
|
| - {
|
| - // Multiplication is commutative, swap {lhs} with {rhs} and loop.
|
| - var_lhs.Bind(rhs);
|
| - var_rhs.Bind(lhs);
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&lhs_is_not_number);
|
| - {
|
| - // Convert {lhs} to a Number and loop.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_lhs.Bind(CallStub(callable, context, lhs));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&do_fmul);
|
| - {
|
| - Node* value = Float64Mul(var_lhs_float64.value(), var_rhs_float64.value());
|
| - Node* result = AllocateHeapNumberWithValue(value);
|
| - var_result.Bind(result);
|
| - Goto(&return_result);
|
| - }
|
| -
|
| - Bind(&return_result);
|
| - Return(var_result.value());
|
| -}
|
| -
|
| -TF_BUILTIN(Divide, CodeStubAssembler) {
|
| - Node* left = Parameter(0);
|
| - Node* right = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - // Shared entry point for floating point division.
|
| - Label do_fdiv(this), end(this);
|
| - Variable var_dividend_float64(this, MachineRepresentation::kFloat64),
|
| - var_divisor_float64(this, MachineRepresentation::kFloat64);
|
| -
|
| - // We might need to loop one or two times due to ToNumber conversions.
|
| - Variable var_dividend(this, MachineRepresentation::kTagged),
|
| - var_divisor(this, MachineRepresentation::kTagged),
|
| - var_result(this, MachineRepresentation::kTagged);
|
| - Variable* loop_variables[] = {&var_dividend, &var_divisor};
|
| - Label loop(this, 2, loop_variables);
|
| - var_dividend.Bind(left);
|
| - var_divisor.Bind(right);
|
| - Goto(&loop);
|
| - Bind(&loop);
|
| - {
|
| - Node* dividend = var_dividend.value();
|
| - Node* divisor = var_divisor.value();
|
| -
|
| - Label dividend_is_smi(this), dividend_is_not_smi(this);
|
| - Branch(TaggedIsSmi(dividend), ÷nd_is_smi, ÷nd_is_not_smi);
|
| -
|
| - Bind(÷nd_is_smi);
|
| - {
|
| - Label divisor_is_smi(this), divisor_is_not_smi(this);
|
| - Branch(TaggedIsSmi(divisor), &divisor_is_smi, &divisor_is_not_smi);
|
| -
|
| - Bind(&divisor_is_smi);
|
| - {
|
| - Label bailout(this);
|
| -
|
| - // Do floating point division if {divisor} is zero.
|
| - GotoIf(SmiEqual(divisor, SmiConstant(0)), &bailout);
|
| -
|
| - // Do floating point division {dividend} is zero and {divisor} is
|
| - // negative.
|
| - Label dividend_is_zero(this), dividend_is_not_zero(this);
|
| - Branch(SmiEqual(dividend, SmiConstant(0)), ÷nd_is_zero,
|
| - ÷nd_is_not_zero);
|
| -
|
| - Bind(÷nd_is_zero);
|
| - {
|
| - GotoIf(SmiLessThan(divisor, SmiConstant(0)), &bailout);
|
| - Goto(÷nd_is_not_zero);
|
| - }
|
| - Bind(÷nd_is_not_zero);
|
| -
|
| - Node* untagged_divisor = SmiToWord32(divisor);
|
| - Node* untagged_dividend = SmiToWord32(dividend);
|
| -
|
| - // Do floating point division if {dividend} is kMinInt (or kMinInt - 1
|
| - // if the Smi size is 31) and {divisor} is -1.
|
| - Label divisor_is_minus_one(this), divisor_is_not_minus_one(this);
|
| - Branch(Word32Equal(untagged_divisor, Int32Constant(-1)),
|
| - &divisor_is_minus_one, &divisor_is_not_minus_one);
|
| -
|
| - Bind(&divisor_is_minus_one);
|
| - {
|
| - GotoIf(
|
| - Word32Equal(untagged_dividend,
|
| - Int32Constant(kSmiValueSize == 32 ? kMinInt
|
| - : (kMinInt >> 1))),
|
| - &bailout);
|
| - Goto(&divisor_is_not_minus_one);
|
| - }
|
| - Bind(&divisor_is_not_minus_one);
|
| -
|
| - // TODO(epertoso): consider adding a machine instruction that returns
|
| - // both the result and the remainder.
|
| - Node* untagged_result = Int32Div(untagged_dividend, untagged_divisor);
|
| - Node* truncated = Int32Mul(untagged_result, untagged_divisor);
|
| - // Do floating point division if the remainder is not 0.
|
| - GotoIf(Word32NotEqual(untagged_dividend, truncated), &bailout);
|
| - var_result.Bind(SmiFromWord32(untagged_result));
|
| - Goto(&end);
|
| -
|
| - // Bailout: convert {dividend} and {divisor} to double and do double
|
| - // division.
|
| - Bind(&bailout);
|
| - {
|
| - var_dividend_float64.Bind(SmiToFloat64(dividend));
|
| - var_divisor_float64.Bind(SmiToFloat64(divisor));
|
| - Goto(&do_fdiv);
|
| - }
|
| - }
|
| -
|
| - Bind(&divisor_is_not_smi);
|
| - {
|
| - Node* divisor_map = LoadMap(divisor);
|
| -
|
| - // Check if {divisor} is a HeapNumber.
|
| - Label divisor_is_number(this),
|
| - divisor_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(divisor_map), &divisor_is_number,
|
| - &divisor_is_not_number);
|
| -
|
| - Bind(&divisor_is_number);
|
| - {
|
| - // Convert {dividend} to a double and divide it with the value of
|
| - // {divisor}.
|
| - var_dividend_float64.Bind(SmiToFloat64(dividend));
|
| - var_divisor_float64.Bind(LoadHeapNumberValue(divisor));
|
| - Goto(&do_fdiv);
|
| - }
|
| -
|
| - Bind(&divisor_is_not_number);
|
| - {
|
| - // Convert {divisor} to a number and loop.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_divisor.Bind(CallStub(callable, context, divisor));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(÷nd_is_not_smi);
|
| - {
|
| - Node* dividend_map = LoadMap(dividend);
|
| -
|
| - // Check if {dividend} is a HeapNumber.
|
| - Label dividend_is_number(this),
|
| - dividend_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(dividend_map), ÷nd_is_number,
|
| - ÷nd_is_not_number);
|
| -
|
| - Bind(÷nd_is_number);
|
| - {
|
| - // Check if {divisor} is a Smi.
|
| - Label divisor_is_smi(this), divisor_is_not_smi(this);
|
| - Branch(TaggedIsSmi(divisor), &divisor_is_smi, &divisor_is_not_smi);
|
| -
|
| - Bind(&divisor_is_smi);
|
| - {
|
| - // Convert {divisor} to a double and use it for a floating point
|
| - // division.
|
| - var_dividend_float64.Bind(LoadHeapNumberValue(dividend));
|
| - var_divisor_float64.Bind(SmiToFloat64(divisor));
|
| - Goto(&do_fdiv);
|
| - }
|
| -
|
| - Bind(&divisor_is_not_smi);
|
| - {
|
| - Node* divisor_map = LoadMap(divisor);
|
| -
|
| - // Check if {divisor} is a HeapNumber.
|
| - Label divisor_is_number(this),
|
| - divisor_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(divisor_map), &divisor_is_number,
|
| - &divisor_is_not_number);
|
| -
|
| - Bind(&divisor_is_number);
|
| - {
|
| - // Both {dividend} and {divisor} are HeapNumbers. Load their values
|
| - // and divide them.
|
| - var_dividend_float64.Bind(LoadHeapNumberValue(dividend));
|
| - var_divisor_float64.Bind(LoadHeapNumberValue(divisor));
|
| - Goto(&do_fdiv);
|
| - }
|
| -
|
| - Bind(&divisor_is_not_number);
|
| - {
|
| - // Convert {divisor} to a number and loop.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_divisor.Bind(CallStub(callable, context, divisor));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(÷nd_is_not_number);
|
| - {
|
| - // Convert {dividend} to a Number and loop.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_dividend.Bind(CallStub(callable, context, dividend));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&do_fdiv);
|
| - {
|
| - Node* value =
|
| - Float64Div(var_dividend_float64.value(), var_divisor_float64.value());
|
| - var_result.Bind(AllocateHeapNumberWithValue(value));
|
| - Goto(&end);
|
| - }
|
| - Bind(&end);
|
| - Return(var_result.value());
|
| -}
|
| -
|
| -TF_BUILTIN(Modulus, CodeStubAssembler) {
|
| - Node* left = Parameter(0);
|
| - Node* right = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - Variable var_result(this, MachineRepresentation::kTagged);
|
| - Label return_result(this, &var_result);
|
| -
|
| - // Shared entry point for floating point modulus.
|
| - Label do_fmod(this);
|
| - Variable var_dividend_float64(this, MachineRepresentation::kFloat64),
|
| - var_divisor_float64(this, MachineRepresentation::kFloat64);
|
| -
|
| - // We might need to loop one or two times due to ToNumber conversions.
|
| - Variable var_dividend(this, MachineRepresentation::kTagged),
|
| - var_divisor(this, MachineRepresentation::kTagged);
|
| - Variable* loop_variables[] = {&var_dividend, &var_divisor};
|
| - Label loop(this, 2, loop_variables);
|
| - var_dividend.Bind(left);
|
| - var_divisor.Bind(right);
|
| - Goto(&loop);
|
| - Bind(&loop);
|
| - {
|
| - Node* dividend = var_dividend.value();
|
| - Node* divisor = var_divisor.value();
|
| -
|
| - Label dividend_is_smi(this), dividend_is_not_smi(this);
|
| - Branch(TaggedIsSmi(dividend), ÷nd_is_smi, ÷nd_is_not_smi);
|
| -
|
| - Bind(÷nd_is_smi);
|
| - {
|
| - Label dividend_is_not_zero(this);
|
| - Label divisor_is_smi(this), divisor_is_not_smi(this);
|
| - Branch(TaggedIsSmi(divisor), &divisor_is_smi, &divisor_is_not_smi);
|
| -
|
| - Bind(&divisor_is_smi);
|
| - {
|
| - // Compute the modulus of two Smis.
|
| - var_result.Bind(SmiMod(dividend, divisor));
|
| - Goto(&return_result);
|
| - }
|
| -
|
| - Bind(&divisor_is_not_smi);
|
| - {
|
| - Node* divisor_map = LoadMap(divisor);
|
| -
|
| - // Check if {divisor} is a HeapNumber.
|
| - Label divisor_is_number(this),
|
| - divisor_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(divisor_map), &divisor_is_number,
|
| - &divisor_is_not_number);
|
| -
|
| - Bind(&divisor_is_number);
|
| - {
|
| - // Convert {dividend} to a double and compute its modulus with the
|
| - // value of {dividend}.
|
| - var_dividend_float64.Bind(SmiToFloat64(dividend));
|
| - var_divisor_float64.Bind(LoadHeapNumberValue(divisor));
|
| - Goto(&do_fmod);
|
| - }
|
| -
|
| - Bind(&divisor_is_not_number);
|
| - {
|
| - // Convert {divisor} to a number and loop.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_divisor.Bind(CallStub(callable, context, divisor));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(÷nd_is_not_smi);
|
| - {
|
| - Node* dividend_map = LoadMap(dividend);
|
| -
|
| - // Check if {dividend} is a HeapNumber.
|
| - Label dividend_is_number(this),
|
| - dividend_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(dividend_map), ÷nd_is_number,
|
| - ÷nd_is_not_number);
|
| -
|
| - Bind(÷nd_is_number);
|
| - {
|
| - // Check if {divisor} is a Smi.
|
| - Label divisor_is_smi(this), divisor_is_not_smi(this);
|
| - Branch(TaggedIsSmi(divisor), &divisor_is_smi, &divisor_is_not_smi);
|
| -
|
| - Bind(&divisor_is_smi);
|
| - {
|
| - // Convert {divisor} to a double and compute {dividend}'s modulus with
|
| - // it.
|
| - var_dividend_float64.Bind(LoadHeapNumberValue(dividend));
|
| - var_divisor_float64.Bind(SmiToFloat64(divisor));
|
| - Goto(&do_fmod);
|
| - }
|
| -
|
| - Bind(&divisor_is_not_smi);
|
| - {
|
| - Node* divisor_map = LoadMap(divisor);
|
| -
|
| - // Check if {divisor} is a HeapNumber.
|
| - Label divisor_is_number(this),
|
| - divisor_is_not_number(this, Label::kDeferred);
|
| - Branch(IsHeapNumberMap(divisor_map), &divisor_is_number,
|
| - &divisor_is_not_number);
|
| -
|
| - Bind(&divisor_is_number);
|
| - {
|
| - // Both {dividend} and {divisor} are HeapNumbers. Load their values
|
| - // and compute their modulus.
|
| - var_dividend_float64.Bind(LoadHeapNumberValue(dividend));
|
| - var_divisor_float64.Bind(LoadHeapNumberValue(divisor));
|
| - Goto(&do_fmod);
|
| - }
|
| -
|
| - Bind(&divisor_is_not_number);
|
| - {
|
| - // Convert {divisor} to a number and loop.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_divisor.Bind(CallStub(callable, context, divisor));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(÷nd_is_not_number);
|
| - {
|
| - // Convert {dividend} to a Number and loop.
|
| - Callable callable = CodeFactory::NonNumberToNumber(isolate());
|
| - var_dividend.Bind(CallStub(callable, context, dividend));
|
| - Goto(&loop);
|
| - }
|
| - }
|
| - }
|
| -
|
| - Bind(&do_fmod);
|
| - {
|
| - Node* value =
|
| - Float64Mod(var_dividend_float64.value(), var_divisor_float64.value());
|
| - var_result.Bind(AllocateHeapNumberWithValue(value));
|
| - Goto(&return_result);
|
| - }
|
| -
|
| - Bind(&return_result);
|
| - Return(var_result.value());
|
| -}
|
| -
|
| -TF_BUILTIN(ShiftLeft, NumberBuiltinsAssembler) {
|
| - BitwiseShiftOp([this](Node* lhs, Node* shift_count) {
|
| - return Word32Shl(lhs, shift_count);
|
| - });
|
| -}
|
| -
|
| -TF_BUILTIN(ShiftRight, NumberBuiltinsAssembler) {
|
| - BitwiseShiftOp([this](Node* lhs, Node* shift_count) {
|
| - return Word32Sar(lhs, shift_count);
|
| - });
|
| -}
|
| -
|
| -TF_BUILTIN(ShiftRightLogical, NumberBuiltinsAssembler) {
|
| - BitwiseShiftOp<kUnsigned>([this](Node* lhs, Node* shift_count) {
|
| - return Word32Shr(lhs, shift_count);
|
| - });
|
| -}
|
| -
|
| -TF_BUILTIN(BitwiseAnd, NumberBuiltinsAssembler) {
|
| - BitwiseOp([this](Node* lhs, Node* rhs) { return Word32And(lhs, rhs); });
|
| -}
|
| -
|
| -TF_BUILTIN(BitwiseOr, NumberBuiltinsAssembler) {
|
| - BitwiseOp([this](Node* lhs, Node* rhs) { return Word32Or(lhs, rhs); });
|
| -}
|
| -
|
| -TF_BUILTIN(BitwiseXor, NumberBuiltinsAssembler) {
|
| - BitwiseOp([this](Node* lhs, Node* rhs) { return Word32Xor(lhs, rhs); });
|
| -}
|
| -
|
| -TF_BUILTIN(LessThan, NumberBuiltinsAssembler) {
|
| - RelationalComparisonBuiltin(kLessThan);
|
| -}
|
| -
|
| -TF_BUILTIN(LessThanOrEqual, NumberBuiltinsAssembler) {
|
| - RelationalComparisonBuiltin(kLessThanOrEqual);
|
| -}
|
| -
|
| -TF_BUILTIN(GreaterThan, NumberBuiltinsAssembler) {
|
| - RelationalComparisonBuiltin(kGreaterThan);
|
| -}
|
| -
|
| -TF_BUILTIN(GreaterThanOrEqual, NumberBuiltinsAssembler) {
|
| - RelationalComparisonBuiltin(kGreaterThanOrEqual);
|
| -}
|
| -
|
| -TF_BUILTIN(Equal, CodeStubAssembler) {
|
| - Node* lhs = Parameter(0);
|
| - Node* rhs = Parameter(1);
|
| - Node* context = Parameter(2);
|
| -
|
| - Return(Equal(lhs, rhs, context));
|
| -}
|
| -
|
| -TF_BUILTIN(StrictEqual, CodeStubAssembler) {
|
| - Node* lhs = Parameter(0);
|
| - Node* rhs = Parameter(1);
|
| -
|
| - Return(StrictEqual(lhs, rhs));
|
| -}
|
| -
|
| } // namespace internal
|
| } // namespace v8
|
|
|