| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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_ARM64 | 5 #if V8_TARGET_ARCH_ARM64 |
| 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 101 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 112 if (strlen(FLAG_stop_at) > 0 && | 112 if (strlen(FLAG_stop_at) > 0 && |
| 113 info->literal()->name()->IsUtf8EqualTo(CStrVector(FLAG_stop_at))) { | 113 info->literal()->name()->IsUtf8EqualTo(CStrVector(FLAG_stop_at))) { |
| 114 __ Debug("stop-at", __LINE__, BREAK); | 114 __ Debug("stop-at", __LINE__, BREAK); |
| 115 } | 115 } |
| 116 #endif | 116 #endif |
| 117 | 117 |
| 118 if (FLAG_debug_code && info->ExpectsJSReceiverAsReceiver()) { | 118 if (FLAG_debug_code && info->ExpectsJSReceiverAsReceiver()) { |
| 119 int receiver_offset = info->scope()->num_parameters() * kXRegSize; | 119 int receiver_offset = info->scope()->num_parameters() * kXRegSize; |
| 120 __ Peek(x10, receiver_offset); | 120 __ Peek(x10, receiver_offset); |
| 121 __ AssertNotSmi(x10); | 121 __ AssertNotSmi(x10); |
| 122 __ CompareObjectType(x10, x10, x11, FIRST_SPEC_OBJECT_TYPE); | 122 __ CompareObjectType(x10, x10, x11, FIRST_JS_RECEIVER_TYPE); |
| 123 __ Assert(ge, kSloppyFunctionExpectsJSReceiverReceiver); | 123 __ Assert(ge, kSloppyFunctionExpectsJSReceiverReceiver); |
| 124 } | 124 } |
| 125 | 125 |
| 126 // Open a frame scope to indicate that there is a frame on the stack. | 126 // Open a frame scope to indicate that there is a frame on the stack. |
| 127 // The MANUAL indicates that the scope shouldn't actually generate code | 127 // The MANUAL indicates that the scope shouldn't actually generate code |
| 128 // to set up the frame because we do it manually below. | 128 // to set up the frame because we do it manually below. |
| 129 FrameScope frame_scope(masm_, StackFrame::MANUAL); | 129 FrameScope frame_scope(masm_, StackFrame::MANUAL); |
| 130 | 130 |
| 131 // This call emits the following sequence in a way that can be patched for | 131 // This call emits the following sequence in a way that can be patched for |
| 132 // code ageing support: | 132 // code ageing support: |
| (...skipping 907 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1040 Register null_value = x15; | 1040 Register null_value = x15; |
| 1041 __ LoadRoot(null_value, Heap::kNullValueRootIndex); | 1041 __ LoadRoot(null_value, Heap::kNullValueRootIndex); |
| 1042 __ Cmp(x0, null_value); | 1042 __ Cmp(x0, null_value); |
| 1043 __ B(eq, &exit); | 1043 __ B(eq, &exit); |
| 1044 | 1044 |
| 1045 PrepareForBailoutForId(stmt->PrepareId(), TOS_REG); | 1045 PrepareForBailoutForId(stmt->PrepareId(), TOS_REG); |
| 1046 | 1046 |
| 1047 // Convert the object to a JS object. | 1047 // Convert the object to a JS object. |
| 1048 Label convert, done_convert; | 1048 Label convert, done_convert; |
| 1049 __ JumpIfSmi(x0, &convert); | 1049 __ JumpIfSmi(x0, &convert); |
| 1050 __ JumpIfObjectType(x0, x10, x11, FIRST_SPEC_OBJECT_TYPE, &done_convert, ge); | 1050 __ JumpIfObjectType(x0, x10, x11, FIRST_JS_RECEIVER_TYPE, &done_convert, ge); |
| 1051 __ Bind(&convert); | 1051 __ Bind(&convert); |
| 1052 ToObjectStub stub(isolate()); | 1052 ToObjectStub stub(isolate()); |
| 1053 __ CallStub(&stub); | 1053 __ CallStub(&stub); |
| 1054 __ Bind(&done_convert); | 1054 __ Bind(&done_convert); |
| 1055 PrepareForBailoutForId(stmt->ToObjectId(), TOS_REG); | 1055 PrepareForBailoutForId(stmt->ToObjectId(), TOS_REG); |
| 1056 __ Push(x0); | 1056 __ Push(x0); |
| 1057 | 1057 |
| 1058 // Check for proxies. | 1058 // Check for proxies. |
| 1059 Label call_runtime; | 1059 Label call_runtime; |
| 1060 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); | 1060 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_JS_RECEIVER_TYPE); |
| 1061 __ JumpIfObjectType(x0, x10, x11, LAST_JS_PROXY_TYPE, &call_runtime, le); | 1061 __ JumpIfObjectType(x0, x10, x11, LAST_JS_PROXY_TYPE, &call_runtime, le); |
| 1062 | 1062 |
| 1063 // Check cache validity in generated code. This is a fast case for | 1063 // Check cache validity in generated code. This is a fast case for |
| 1064 // the JSObject::IsSimpleEnum cache validity checks. If we cannot | 1064 // the JSObject::IsSimpleEnum cache validity checks. If we cannot |
| 1065 // guarantee cache validity, call the runtime system to check cache | 1065 // guarantee cache validity, call the runtime system to check cache |
| 1066 // validity or get the property names in a fixed array. | 1066 // validity or get the property names in a fixed array. |
| 1067 __ CheckEnumCache(x0, null_value, x10, x11, x12, x13, &call_runtime); | 1067 __ CheckEnumCache(x0, null_value, x10, x11, x12, x13, &call_runtime); |
| 1068 | 1068 |
| 1069 // The enum cache is valid. Load the map of the object being | 1069 // The enum cache is valid. Load the map of the object being |
| 1070 // iterated over and use the cache for the iteration. | 1070 // iterated over and use the cache for the iteration. |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1109 // We got a fixed array in register x0. Iterate through that. | 1109 // We got a fixed array in register x0. Iterate through that. |
| 1110 __ Bind(&fixed_array); | 1110 __ Bind(&fixed_array); |
| 1111 | 1111 |
| 1112 __ EmitLoadTypeFeedbackVector(x1); | 1112 __ EmitLoadTypeFeedbackVector(x1); |
| 1113 __ Mov(x10, Operand(TypeFeedbackVector::MegamorphicSentinel(isolate()))); | 1113 __ Mov(x10, Operand(TypeFeedbackVector::MegamorphicSentinel(isolate()))); |
| 1114 int vector_index = SmiFromSlot(slot)->value(); | 1114 int vector_index = SmiFromSlot(slot)->value(); |
| 1115 __ Str(x10, FieldMemOperand(x1, FixedArray::OffsetOfElementAt(vector_index))); | 1115 __ Str(x10, FieldMemOperand(x1, FixedArray::OffsetOfElementAt(vector_index))); |
| 1116 | 1116 |
| 1117 __ Mov(x1, Smi::FromInt(1)); // Smi indicates slow check. | 1117 __ Mov(x1, Smi::FromInt(1)); // Smi indicates slow check. |
| 1118 __ Peek(x10, 0); // Get enumerated object. | 1118 __ Peek(x10, 0); // Get enumerated object. |
| 1119 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); | 1119 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_JS_RECEIVER_TYPE); |
| 1120 // TODO(all): similar check was done already. Can we avoid it here? | 1120 // TODO(all): similar check was done already. Can we avoid it here? |
| 1121 __ CompareObjectType(x10, x11, x12, LAST_JS_PROXY_TYPE); | 1121 __ CompareObjectType(x10, x11, x12, LAST_JS_PROXY_TYPE); |
| 1122 DCHECK(Smi::FromInt(0) == 0); | 1122 DCHECK(Smi::FromInt(0) == 0); |
| 1123 __ CzeroX(x1, le); // Zero indicates proxy. | 1123 __ CzeroX(x1, le); // Zero indicates proxy. |
| 1124 __ Ldr(x2, FieldMemOperand(x0, FixedArray::kLengthOffset)); | 1124 __ Ldr(x2, FieldMemOperand(x0, FixedArray::kLengthOffset)); |
| 1125 // Smi and array, fixed array length (as smi) and initial index. | 1125 // Smi and array, fixed array length (as smi) and initial index. |
| 1126 __ Push(x1, x0, x2, xzr); | 1126 __ Push(x1, x0, x2, xzr); |
| 1127 | 1127 |
| 1128 // Generate code for doing the condition check. | 1128 // Generate code for doing the condition check. |
| 1129 __ Bind(&loop); | 1129 __ Bind(&loop); |
| (...skipping 1680 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2810 VisitForAccumulatorValue(args->at(0)); | 2810 VisitForAccumulatorValue(args->at(0)); |
| 2811 | 2811 |
| 2812 Label materialize_true, materialize_false; | 2812 Label materialize_true, materialize_false; |
| 2813 Label* if_true = NULL; | 2813 Label* if_true = NULL; |
| 2814 Label* if_false = NULL; | 2814 Label* if_false = NULL; |
| 2815 Label* fall_through = NULL; | 2815 Label* fall_through = NULL; |
| 2816 context()->PrepareTest(&materialize_true, &materialize_false, | 2816 context()->PrepareTest(&materialize_true, &materialize_false, |
| 2817 &if_true, &if_false, &fall_through); | 2817 &if_true, &if_false, &fall_through); |
| 2818 | 2818 |
| 2819 __ JumpIfSmi(x0, if_false); | 2819 __ JumpIfSmi(x0, if_false); |
| 2820 __ CompareObjectType(x0, x10, x11, FIRST_SPEC_OBJECT_TYPE); | 2820 __ CompareObjectType(x0, x10, x11, FIRST_JS_RECEIVER_TYPE); |
| 2821 PrepareForBailoutBeforeSplit(expr, true, if_true, if_false); | 2821 PrepareForBailoutBeforeSplit(expr, true, if_true, if_false); |
| 2822 Split(ge, if_true, if_false, fall_through); | 2822 Split(ge, if_true, if_false, fall_through); |
| 2823 | 2823 |
| 2824 context()->Plug(if_true, if_false); | 2824 context()->Plug(if_true, if_false); |
| 2825 } | 2825 } |
| 2826 | 2826 |
| 2827 | 2827 |
| 2828 void FullCodeGenerator::EmitIsSimdValue(CallRuntime* expr) { | 2828 void FullCodeGenerator::EmitIsSimdValue(CallRuntime* expr) { |
| 2829 ZoneList<Expression*>* args = expr->arguments(); | 2829 ZoneList<Expression*>* args = expr->arguments(); |
| 2830 DCHECK(args->length() == 1); | 2830 DCHECK(args->length() == 1); |
| (...skipping 257 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3088 VisitForAccumulatorValue(args->at(0)); | 3088 VisitForAccumulatorValue(args->at(0)); |
| 3089 | 3089 |
| 3090 // If the object is a smi, we return null. | 3090 // If the object is a smi, we return null. |
| 3091 __ JumpIfSmi(x0, &null); | 3091 __ JumpIfSmi(x0, &null); |
| 3092 | 3092 |
| 3093 // Check that the object is a JS object but take special care of JS | 3093 // Check that the object is a JS object but take special care of JS |
| 3094 // functions to make sure they have 'Function' as their class. | 3094 // functions to make sure they have 'Function' as their class. |
| 3095 // Assume that there are only two callable types, and one of them is at | 3095 // Assume that there are only two callable types, and one of them is at |
| 3096 // either end of the type range for JS object types. Saves extra comparisons. | 3096 // either end of the type range for JS object types. Saves extra comparisons. |
| 3097 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); | 3097 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2); |
| 3098 __ CompareObjectType(x0, x10, x11, FIRST_SPEC_OBJECT_TYPE); | 3098 __ CompareObjectType(x0, x10, x11, FIRST_JS_RECEIVER_TYPE); |
| 3099 // x10: object's map. | 3099 // x10: object's map. |
| 3100 // x11: object's type. | 3100 // x11: object's type. |
| 3101 __ B(lt, &null); | 3101 __ B(lt, &null); |
| 3102 STATIC_ASSERT(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE == | 3102 STATIC_ASSERT(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE == |
| 3103 FIRST_SPEC_OBJECT_TYPE + 1); | 3103 FIRST_JS_RECEIVER_TYPE + 1); |
| 3104 __ B(eq, &function); | 3104 __ B(eq, &function); |
| 3105 | 3105 |
| 3106 __ Cmp(x11, LAST_SPEC_OBJECT_TYPE); | 3106 __ Cmp(x11, LAST_JS_RECEIVER_TYPE); |
| 3107 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == | 3107 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == |
| 3108 LAST_SPEC_OBJECT_TYPE - 1); | 3108 LAST_JS_RECEIVER_TYPE - 1); |
| 3109 __ B(eq, &function); | 3109 __ B(eq, &function); |
| 3110 // Assume that there is no larger type. | 3110 // Assume that there is no larger type. |
| 3111 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == LAST_TYPE - 1); | 3111 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE == LAST_TYPE - 1); |
| 3112 | 3112 |
| 3113 // Check if the constructor in the map is a JS function. | 3113 // Check if the constructor in the map is a JS function. |
| 3114 Register instance_type = x14; | 3114 Register instance_type = x14; |
| 3115 __ GetMapConstructor(x12, x10, x13, instance_type); | 3115 __ GetMapConstructor(x12, x10, x13, instance_type); |
| 3116 __ Cmp(instance_type, JS_FUNCTION_TYPE); | 3116 __ Cmp(instance_type, JS_FUNCTION_TYPE); |
| 3117 __ B(ne, &non_function_constructor); | 3117 __ B(ne, &non_function_constructor); |
| 3118 | 3118 |
| (...skipping 1215 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4334 __ JumpIfSmi(x0, if_false); | 4334 __ JumpIfSmi(x0, if_false); |
| 4335 __ Ldr(x0, FieldMemOperand(x0, HeapObject::kMapOffset)); | 4335 __ Ldr(x0, FieldMemOperand(x0, HeapObject::kMapOffset)); |
| 4336 __ Ldrb(x1, FieldMemOperand(x0, Map::kBitFieldOffset)); | 4336 __ Ldrb(x1, FieldMemOperand(x0, Map::kBitFieldOffset)); |
| 4337 __ And(x1, x1, (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable)); | 4337 __ And(x1, x1, (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable)); |
| 4338 __ CompareAndSplit(x1, Operand(1 << Map::kIsCallable), eq, if_true, | 4338 __ CompareAndSplit(x1, Operand(1 << Map::kIsCallable), eq, if_true, |
| 4339 if_false, fall_through); | 4339 if_false, fall_through); |
| 4340 } else if (String::Equals(check, factory->object_string())) { | 4340 } else if (String::Equals(check, factory->object_string())) { |
| 4341 ASM_LOCATION("FullCodeGenerator::EmitLiteralCompareTypeof object_string"); | 4341 ASM_LOCATION("FullCodeGenerator::EmitLiteralCompareTypeof object_string"); |
| 4342 __ JumpIfSmi(x0, if_false); | 4342 __ JumpIfSmi(x0, if_false); |
| 4343 __ JumpIfRoot(x0, Heap::kNullValueRootIndex, if_true); | 4343 __ JumpIfRoot(x0, Heap::kNullValueRootIndex, if_true); |
| 4344 STATIC_ASSERT(LAST_SPEC_OBJECT_TYPE == LAST_TYPE); | 4344 STATIC_ASSERT(LAST_JS_RECEIVER_TYPE == LAST_TYPE); |
| 4345 __ JumpIfObjectType(x0, x10, x11, FIRST_SPEC_OBJECT_TYPE, if_false, lt); | 4345 __ JumpIfObjectType(x0, x10, x11, FIRST_JS_RECEIVER_TYPE, if_false, lt); |
| 4346 // Check for callable or undetectable objects => false. | 4346 // Check for callable or undetectable objects => false. |
| 4347 __ Ldrb(x10, FieldMemOperand(x10, Map::kBitFieldOffset)); | 4347 __ Ldrb(x10, FieldMemOperand(x10, Map::kBitFieldOffset)); |
| 4348 __ TestAndSplit(x10, (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable), | 4348 __ TestAndSplit(x10, (1 << Map::kIsCallable) | (1 << Map::kIsUndetectable), |
| 4349 if_true, if_false, fall_through); | 4349 if_true, if_false, fall_through); |
| 4350 // clang-format off | 4350 // clang-format off |
| 4351 #define SIMD128_TYPE(TYPE, Type, type, lane_count, lane_type) \ | 4351 #define SIMD128_TYPE(TYPE, Type, type, lane_count, lane_type) \ |
| 4352 } else if (String::Equals(check, factory->type##_string())) { \ | 4352 } else if (String::Equals(check, factory->type##_string())) { \ |
| 4353 ASM_LOCATION("FullCodeGenerator::EmitLiteralCompareTypeof " \ | 4353 ASM_LOCATION("FullCodeGenerator::EmitLiteralCompareTypeof " \ |
| 4354 #type "_string"); \ | 4354 #type "_string"); \ |
| 4355 __ JumpIfSmi(x0, if_true); \ | 4355 __ JumpIfSmi(x0, if_true); \ |
| (...skipping 626 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4982 } | 4982 } |
| 4983 | 4983 |
| 4984 return INTERRUPT; | 4984 return INTERRUPT; |
| 4985 } | 4985 } |
| 4986 | 4986 |
| 4987 | 4987 |
| 4988 } // namespace internal | 4988 } // namespace internal |
| 4989 } // namespace v8 | 4989 } // namespace v8 |
| 4990 | 4990 |
| 4991 #endif // V8_TARGET_ARCH_ARM64 | 4991 #endif // V8_TARGET_ARCH_ARM64 |
| OLD | NEW |