Index: src/x64/lithium-codegen-x64.cc |
diff --git a/src/x64/lithium-codegen-x64.cc b/src/x64/lithium-codegen-x64.cc |
index 9064a266e70b911375bd7b65c39dd314707d8842..fc16e4d10684d357fd47eda9016b1f8c81f00b96 100644 |
--- a/src/x64/lithium-codegen-x64.cc |
+++ b/src/x64/lithium-codegen-x64.cc |
@@ -1752,30 +1752,40 @@ void LCodeGen::EmitClassOfTest(Label* is_true, |
Label* is_false, |
Handle<String> class_name, |
Register input, |
- Register temp) { |
+ Register temp, |
+ Register scratch) { |
__ JumpIfSmi(input, is_false); |
- __ CmpObjectType(input, FIRST_SPEC_OBJECT_TYPE, temp); |
- __ j(below, is_false); |
- // Map is now in temp. |
- // Functions have class 'Function'. |
- __ CmpInstanceType(temp, FIRST_CALLABLE_SPEC_OBJECT_TYPE); |
if (class_name->IsEqualTo(CStrVector("Function"))) { |
- __ j(above_equal, is_true); |
+ // Assuming the following assertions, we can use the same compares to test |
+ // for both being a function type and being in the object type range. |
+ STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); |
+ STATIC_ASSERT(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE == |
+ FIRST_SPEC_OBJECT_TYPE + 1); |
+ STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == |
+ LAST_SPEC_OBJECT_TYPE - 1); |
+ STATIC_ASSERT(LAST_SPEC_OBJECT_TYPE == LAST_TYPE); |
+ __ CmpObjectType(input, FIRST_SPEC_OBJECT_TYPE, temp); |
+ __ j(below, is_false); |
+ __ j(equal, is_true); |
+ __ CmpInstanceType(temp, LAST_SPEC_OBJECT_TYPE); |
+ __ j(equal, is_true); |
} else { |
- __ j(above_equal, is_false); |
+ // Faster code path to avoid two compares: subtract lower bound from the |
+ // actual type and do a signed compare with the width of the type range. |
+ __ movq(temp, FieldOperand(input, HeapObject::kMapOffset)); |
+ __ movq(scratch, FieldOperand(temp, Map::kInstanceTypeOffset)); |
+ __ subb(scratch, Immediate(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE)); |
+ __ cmpb(scratch, |
+ Immediate(static_cast<int8_t>(LAST_NONCALLABLE_SPEC_OBJECT_TYPE - |
+ FIRST_NONCALLABLE_SPEC_OBJECT_TYPE))); |
+ __ j(above, is_false); |
} |
+ // Now we are in the FIRST-LAST_NONCALLABLE_SPEC_OBJECT_TYPE range. |
// Check if the constructor in the map is a function. |
__ movq(temp, FieldOperand(temp, Map::kConstructorOffset)); |
- // As long as LAST_CALLABLE_SPEC_OBJECT_TYPE is the last type and |
- // FIRST_CALLABLE_SPEC_OBJECT_TYPE comes right after |
- // LAST_NONCALLABLE_SPEC_OBJECT_TYPE, we can avoid checking for the latter. |
- STATIC_ASSERT(LAST_TYPE == LAST_CALLABLE_SPEC_OBJECT_TYPE); |
- STATIC_ASSERT(FIRST_CALLABLE_SPEC_OBJECT_TYPE == |
- LAST_NONCALLABLE_SPEC_OBJECT_TYPE + 1); |
- |
// Objects with a non-function constructor have class 'Object'. |
__ CmpObjectType(temp, JS_FUNCTION_TYPE, kScratchRegister); |
if (class_name->IsEqualTo(CStrVector("Object"))) { |
@@ -1804,6 +1814,7 @@ void LCodeGen::EmitClassOfTest(Label* is_true, |
void LCodeGen::DoClassOfTestAndBranch(LClassOfTestAndBranch* instr) { |
Register input = ToRegister(instr->InputAt(0)); |
Register temp = ToRegister(instr->TempAt(0)); |
+ Register temp2 = ToRegister(instr->TempAt(1)); |
Handle<String> class_name = instr->hydrogen()->class_name(); |
int true_block = chunk_->LookupDestination(instr->true_block_id()); |
@@ -1812,7 +1823,7 @@ void LCodeGen::DoClassOfTestAndBranch(LClassOfTestAndBranch* instr) { |
Label* true_label = chunk_->GetAssemblyLabel(true_block); |
Label* false_label = chunk_->GetAssemblyLabel(false_block); |
- EmitClassOfTest(true_label, false_label, class_name, input, temp); |
+ EmitClassOfTest(true_label, false_label, class_name, input, temp, temp2); |
EmitBranch(true_block, false_block, equal); |
} |
@@ -3981,9 +3992,12 @@ Condition LCodeGen::EmitTypeofIs(Label* true_label, |
final_branch_condition = not_zero; |
} else if (type_name->Equals(heap()->function_symbol())) { |
+ STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); |
__ JumpIfSmi(input, false_label); |
- __ CmpObjectType(input, FIRST_CALLABLE_SPEC_OBJECT_TYPE, input); |
- final_branch_condition = above_equal; |
+ __ CmpObjectType(input, JS_FUNCTION_TYPE, input); |
+ __ j(equal, true_label); |
+ __ CmpInstanceType(input, JS_FUNCTION_PROXY_TYPE); |
+ final_branch_condition = equal; |
} else if (type_name->Equals(heap()->object_symbol())) { |
__ JumpIfSmi(input, false_label); |