| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #if V8_TARGET_ARCH_IA32 | 5 #if V8_TARGET_ARCH_IA32 |
| 6 | 6 |
| 7 #include "src/ast/scopes.h" | 7 #include "src/ast/scopes.h" |
| 8 #include "src/code-factory.h" | 8 #include "src/code-factory.h" |
| 9 #include "src/code-stubs.h" | 9 #include "src/code-stubs.h" |
| 10 #include "src/codegen.h" | 10 #include "src/codegen.h" |
| (...skipping 91 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 102 if (strlen(FLAG_stop_at) > 0 && | 102 if (strlen(FLAG_stop_at) > 0 && |
| 103 literal()->name()->IsUtf8EqualTo(CStrVector(FLAG_stop_at))) { | 103 literal()->name()->IsUtf8EqualTo(CStrVector(FLAG_stop_at))) { |
| 104 __ int3(); | 104 __ int3(); |
| 105 } | 105 } |
| 106 #endif | 106 #endif |
| 107 | 107 |
| 108 if (FLAG_debug_code && info->ExpectsJSReceiverAsReceiver()) { | 108 if (FLAG_debug_code && info->ExpectsJSReceiverAsReceiver()) { |
| 109 int receiver_offset = (info->scope()->num_parameters() + 1) * kPointerSize; | 109 int receiver_offset = (info->scope()->num_parameters() + 1) * kPointerSize; |
| 110 __ mov(ecx, Operand(esp, receiver_offset)); | 110 __ mov(ecx, Operand(esp, receiver_offset)); |
| 111 __ AssertNotSmi(ecx); | 111 __ AssertNotSmi(ecx); |
| 112 __ CmpObjectType(ecx, FIRST_SPEC_OBJECT_TYPE, ecx); | 112 __ CmpObjectType(ecx, FIRST_JS_RECEIVER_TYPE, ecx); |
| 113 __ Assert(above_equal, kSloppyFunctionExpectsJSReceiverReceiver); | 113 __ Assert(above_equal, kSloppyFunctionExpectsJSReceiverReceiver); |
| 114 } | 114 } |
| 115 | 115 |
| 116 // Open a frame scope to indicate that there is a frame on the stack. The | 116 // Open a frame scope to indicate that there is a frame on the stack. The |
| 117 // MANUAL indicates that the scope shouldn't actually generate code to set up | 117 // MANUAL indicates that the scope shouldn't actually generate code to set up |
| 118 // the frame (that is done below). | 118 // the frame (that is done below). |
| 119 FrameScope frame_scope(masm_, StackFrame::MANUAL); | 119 FrameScope frame_scope(masm_, StackFrame::MANUAL); |
| 120 | 120 |
| 121 info->set_prologue_offset(masm_->pc_offset()); | 121 info->set_prologue_offset(masm_->pc_offset()); |
| 122 __ Prologue(info->IsCodePreAgingActive()); | 122 __ Prologue(info->IsCodePreAgingActive()); |
| (...skipping 851 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 974 __ cmp(eax, isolate()->factory()->undefined_value()); | 974 __ cmp(eax, isolate()->factory()->undefined_value()); |
| 975 __ j(equal, &exit); | 975 __ j(equal, &exit); |
| 976 __ cmp(eax, isolate()->factory()->null_value()); | 976 __ cmp(eax, isolate()->factory()->null_value()); |
| 977 __ j(equal, &exit); | 977 __ j(equal, &exit); |
| 978 | 978 |
| 979 PrepareForBailoutForId(stmt->PrepareId(), TOS_REG); | 979 PrepareForBailoutForId(stmt->PrepareId(), TOS_REG); |
| 980 | 980 |
| 981 // Convert the object to a JS object. | 981 // Convert the object to a JS object. |
| 982 Label convert, done_convert; | 982 Label convert, done_convert; |
| 983 __ JumpIfSmi(eax, &convert, Label::kNear); | 983 __ JumpIfSmi(eax, &convert, Label::kNear); |
| 984 __ CmpObjectType(eax, FIRST_SPEC_OBJECT_TYPE, ecx); | 984 __ CmpObjectType(eax, FIRST_JS_RECEIVER_TYPE, ecx); |
| 985 __ j(above_equal, &done_convert, Label::kNear); | 985 __ j(above_equal, &done_convert, Label::kNear); |
| 986 __ bind(&convert); | 986 __ bind(&convert); |
| 987 ToObjectStub stub(isolate()); | 987 ToObjectStub stub(isolate()); |
| 988 __ CallStub(&stub); | 988 __ CallStub(&stub); |
| 989 __ bind(&done_convert); | 989 __ bind(&done_convert); |
| 990 PrepareForBailoutForId(stmt->ToObjectId(), TOS_REG); | 990 PrepareForBailoutForId(stmt->ToObjectId(), TOS_REG); |
| 991 __ push(eax); | 991 __ push(eax); |
| 992 | 992 |
| 993 // Check for proxies. | 993 // Check for proxies. |
| 994 Label call_runtime, use_cache, fixed_array; | 994 Label call_runtime, use_cache, fixed_array; |
| 995 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); | 995 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_JS_RECEIVER_TYPE); |
| 996 __ CmpObjectType(eax, LAST_JS_PROXY_TYPE, ecx); | 996 __ CmpObjectType(eax, LAST_JS_PROXY_TYPE, ecx); |
| 997 __ j(below_equal, &call_runtime); | 997 __ j(below_equal, &call_runtime); |
| 998 | 998 |
| 999 // Check cache validity in generated code. This is a fast case for | 999 // Check cache validity in generated code. This is a fast case for |
| 1000 // the JSObject::IsSimpleEnum cache validity checks. If we cannot | 1000 // the JSObject::IsSimpleEnum cache validity checks. If we cannot |
| 1001 // guarantee cache validity, call the runtime system to check cache | 1001 // guarantee cache validity, call the runtime system to check cache |
| 1002 // validity or get the property names in a fixed array. | 1002 // validity or get the property names in a fixed array. |
| 1003 __ CheckEnumCache(&call_runtime); | 1003 __ CheckEnumCache(&call_runtime); |
| 1004 | 1004 |
| 1005 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); | 1005 __ mov(eax, FieldOperand(eax, HeapObject::kMapOffset)); |
| (...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1043 __ bind(&fixed_array); | 1043 __ bind(&fixed_array); |
| 1044 | 1044 |
| 1045 // No need for a write barrier, we are storing a Smi in the feedback vector. | 1045 // No need for a write barrier, we are storing a Smi in the feedback vector. |
| 1046 __ EmitLoadTypeFeedbackVector(ebx); | 1046 __ EmitLoadTypeFeedbackVector(ebx); |
| 1047 int vector_index = SmiFromSlot(slot)->value(); | 1047 int vector_index = SmiFromSlot(slot)->value(); |
| 1048 __ mov(FieldOperand(ebx, FixedArray::OffsetOfElementAt(vector_index)), | 1048 __ mov(FieldOperand(ebx, FixedArray::OffsetOfElementAt(vector_index)), |
| 1049 Immediate(TypeFeedbackVector::MegamorphicSentinel(isolate()))); | 1049 Immediate(TypeFeedbackVector::MegamorphicSentinel(isolate()))); |
| 1050 | 1050 |
| 1051 __ mov(ebx, Immediate(Smi::FromInt(1))); // Smi indicates slow check | 1051 __ mov(ebx, Immediate(Smi::FromInt(1))); // Smi indicates slow check |
| 1052 __ mov(ecx, Operand(esp, 0 * kPointerSize)); // Get enumerated object | 1052 __ mov(ecx, Operand(esp, 0 * kPointerSize)); // Get enumerated object |
| 1053 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); | 1053 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_JS_RECEIVER_TYPE); |
| 1054 __ CmpObjectType(ecx, LAST_JS_PROXY_TYPE, ecx); | 1054 __ CmpObjectType(ecx, LAST_JS_PROXY_TYPE, ecx); |
| 1055 __ j(above, &non_proxy); | 1055 __ j(above, &non_proxy); |
| 1056 __ Move(ebx, Immediate(Smi::FromInt(0))); // Zero indicates proxy | 1056 __ Move(ebx, Immediate(Smi::FromInt(0))); // Zero indicates proxy |
| 1057 __ bind(&non_proxy); | 1057 __ bind(&non_proxy); |
| 1058 __ push(ebx); // Smi | 1058 __ push(ebx); // Smi |
| 1059 __ push(eax); // Array | 1059 __ push(eax); // Array |
| 1060 __ mov(eax, FieldOperand(eax, FixedArray::kLengthOffset)); | 1060 __ mov(eax, FieldOperand(eax, FixedArray::kLengthOffset)); |
| 1061 __ push(eax); // Fixed array length (as smi). | 1061 __ push(eax); // Fixed array length (as smi). |
| 1062 __ push(Immediate(Smi::FromInt(0))); // Initial index. | 1062 __ push(Immediate(Smi::FromInt(0))); // Initial index. |
| 1063 | 1063 |
| (...skipping 1921 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2985 VisitForAccumulatorValue(args->at(0)); | 2985 VisitForAccumulatorValue(args->at(0)); |
| 2986 | 2986 |
| 2987 Label materialize_true, materialize_false; | 2987 Label materialize_true, materialize_false; |
| 2988 Label* if_true = NULL; | 2988 Label* if_true = NULL; |
| 2989 Label* if_false = NULL; | 2989 Label* if_false = NULL; |
| 2990 Label* fall_through = NULL; | 2990 Label* fall_through = NULL; |
| 2991 context()->PrepareTest(&materialize_true, &materialize_false, | 2991 context()->PrepareTest(&materialize_true, &materialize_false, |
| 2992 &if_true, &if_false, &fall_through); | 2992 &if_true, &if_false, &fall_through); |
| 2993 | 2993 |
| 2994 __ JumpIfSmi(eax, if_false); | 2994 __ JumpIfSmi(eax, if_false); |
| 2995 __ CmpObjectType(eax, FIRST_SPEC_OBJECT_TYPE, ebx); | 2995 __ CmpObjectType(eax, FIRST_JS_RECEIVER_TYPE, ebx); |
| 2996 PrepareForBailoutBeforeSplit(expr, true, if_true, if_false); | 2996 PrepareForBailoutBeforeSplit(expr, true, if_true, if_false); |
| 2997 Split(above_equal, if_true, if_false, fall_through); | 2997 Split(above_equal, if_true, if_false, fall_through); |
| 2998 | 2998 |
| 2999 context()->Plug(if_true, if_false); | 2999 context()->Plug(if_true, if_false); |
| 3000 } | 3000 } |
| 3001 | 3001 |
| 3002 | 3002 |
| 3003 void FullCodeGenerator::EmitIsSimdValue(CallRuntime* expr) { | 3003 void FullCodeGenerator::EmitIsSimdValue(CallRuntime* expr) { |
| 3004 ZoneList<Expression*>* args = expr->arguments(); | 3004 ZoneList<Expression*>* args = expr->arguments(); |
| 3005 DCHECK(args->length() == 1); | 3005 DCHECK(args->length() == 1); |
| (...skipping 258 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3264 VisitForAccumulatorValue(args->at(0)); | 3264 VisitForAccumulatorValue(args->at(0)); |
| 3265 | 3265 |
| 3266 // If the object is a smi, we return null. | 3266 // If the object is a smi, we return null. |
| 3267 __ JumpIfSmi(eax, &null); | 3267 __ JumpIfSmi(eax, &null); |
| 3268 | 3268 |
| 3269 // Check that the object is a JS object but take special care of JS | 3269 // Check that the object is a JS object but take special care of JS |
| 3270 // functions to make sure they have 'Function' as their class. | 3270 // functions to make sure they have 'Function' as their class. |
| 3271 // Assume that there are only two callable types, and one of them is at | 3271 // Assume that there are only two callable types, and one of them is at |
| 3272 // either end of the type range for JS object types. Saves extra comparisons. | 3272 // either end of the type range for JS object types. Saves extra comparisons. |
| 3273 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); | 3273 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); |
| 3274 __ CmpObjectType(eax, FIRST_SPEC_OBJECT_TYPE, eax); | 3274 __ CmpObjectType(eax, FIRST_JS_RECEIVER_TYPE, eax); |
| 3275 // Map is now in eax. | 3275 // Map is now in eax. |
| 3276 __ j(below, &null); | 3276 __ j(below, &null); |
| 3277 STATIC_ASSERT(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE == | 3277 STATIC_ASSERT(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE == |
| 3278 FIRST_SPEC_OBJECT_TYPE + 1); | 3278 FIRST_JS_RECEIVER_TYPE + 1); |
| 3279 __ j(equal, &function); | 3279 __ j(equal, &function); |
| 3280 | 3280 |
| 3281 __ CmpInstanceType(eax, LAST_SPEC_OBJECT_TYPE); | 3281 __ CmpInstanceType(eax, LAST_JS_RECEIVER_TYPE); |
| 3282 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == | 3282 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == |
| 3283 LAST_SPEC_OBJECT_TYPE - 1); | 3283 LAST_JS_RECEIVER_TYPE - 1); |
| 3284 __ j(equal, &function); | 3284 __ j(equal, &function); |
| 3285 // Assume that there is no larger type. | 3285 // Assume that there is no larger type. |
| 3286 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == LAST_TYPE - 1); | 3286 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == LAST_TYPE - 1); |
| 3287 | 3287 |
| 3288 // Check if the constructor in the map is a JS function. | 3288 // Check if the constructor in the map is a JS function. |
| 3289 __ GetMapConstructor(eax, eax, ebx); | 3289 __ GetMapConstructor(eax, eax, ebx); |
| 3290 __ CmpInstanceType(ebx, JS_FUNCTION_TYPE); | 3290 __ CmpInstanceType(ebx, JS_FUNCTION_TYPE); |
| 3291 __ j(not_equal, &non_function_constructor); | 3291 __ j(not_equal, &non_function_constructor); |
| 3292 | 3292 |
| 3293 // eax now contains the constructor function. Grab the | 3293 // eax now contains the constructor function. Grab the |
| (...skipping 1261 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4555 // Check for callable and not undetectable objects => true. | 4555 // Check for callable and not undetectable objects => true. |
| 4556 __ mov(edx, FieldOperand(eax, HeapObject::kMapOffset)); | 4556 __ mov(edx, FieldOperand(eax, HeapObject::kMapOffset)); |
| 4557 __ movzx_b(ecx, FieldOperand(edx, Map::kBitFieldOffset)); | 4557 __ movzx_b(ecx, FieldOperand(edx, Map::kBitFieldOffset)); |
| 4558 __ and_(ecx, (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable)); | 4558 __ and_(ecx, (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable)); |
| 4559 __ cmp(ecx, 1 << Map::kIsCallable); | 4559 __ cmp(ecx, 1 << Map::kIsCallable); |
| 4560 Split(equal, if_true, if_false, fall_through); | 4560 Split(equal, if_true, if_false, fall_through); |
| 4561 } else if (String::Equals(check, factory->object_string())) { | 4561 } else if (String::Equals(check, factory->object_string())) { |
| 4562 __ JumpIfSmi(eax, if_false); | 4562 __ JumpIfSmi(eax, if_false); |
| 4563 __ cmp(eax, isolate()->factory()->null_value()); | 4563 __ cmp(eax, isolate()->factory()->null_value()); |
| 4564 __ j(equal, if_true); | 4564 __ j(equal, if_true); |
| 4565 STATIC_ASSERT(LAST_SPEC_OBJECT_TYPE == LAST_TYPE); | 4565 STATIC_ASSERT(LAST_JS_RECEIVER_TYPE == LAST_TYPE); |
| 4566 __ CmpObjectType(eax, FIRST_SPEC_OBJECT_TYPE, edx); | 4566 __ CmpObjectType(eax, FIRST_JS_RECEIVER_TYPE, edx); |
| 4567 __ j(below, if_false); | 4567 __ j(below, if_false); |
| 4568 // Check for callable or undetectable objects => false. | 4568 // Check for callable or undetectable objects => false. |
| 4569 __ test_b(FieldOperand(edx, Map::kBitFieldOffset), | 4569 __ test_b(FieldOperand(edx, Map::kBitFieldOffset), |
| 4570 (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable)); | 4570 (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable)); |
| 4571 Split(zero, if_true, if_false, fall_through); | 4571 Split(zero, if_true, if_false, fall_through); |
| 4572 // clang-format off | 4572 // clang-format off |
| 4573 #define SIMD128_TYPE(TYPE, Type, type, lane_count, lane_type) \ | 4573 #define SIMD128_TYPE(TYPE, Type, type, lane_count, lane_type) \ |
| 4574 } else if (String::Equals(check, factory->type##_string())) { \ | 4574 } else if (String::Equals(check, factory->type##_string())) { \ |
| 4575 __ JumpIfSmi(eax, if_false); \ | 4575 __ JumpIfSmi(eax, if_false); \ |
| 4576 __ cmp(FieldOperand(eax, HeapObject::kMapOffset), \ | 4576 __ cmp(FieldOperand(eax, HeapObject::kMapOffset), \ |
| (...skipping 297 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4874 Assembler::target_address_at(call_target_address, | 4874 Assembler::target_address_at(call_target_address, |
| 4875 unoptimized_code)); | 4875 unoptimized_code)); |
| 4876 return OSR_AFTER_STACK_CHECK; | 4876 return OSR_AFTER_STACK_CHECK; |
| 4877 } | 4877 } |
| 4878 | 4878 |
| 4879 | 4879 |
| 4880 } // namespace internal | 4880 } // namespace internal |
| 4881 } // namespace v8 | 4881 } // namespace v8 |
| 4882 | 4882 |
| 4883 #endif // V8_TARGET_ARCH_IA32 | 4883 #endif // V8_TARGET_ARCH_IA32 |
| OLD | NEW |