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_X64 | 5 #if V8_TARGET_ARCH_X64 |
6 | 6 |
7 #include "src/code-factory.h" | 7 #include "src/code-factory.h" |
8 #include "src/codegen.h" | 8 #include "src/codegen.h" |
9 #include "src/deoptimizer.h" | 9 #include "src/deoptimizer.h" |
10 #include "src/full-codegen/full-codegen.h" | 10 #include "src/full-codegen/full-codegen.h" |
(...skipping 991 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1002 __ j(not_zero, &loop); // While non-zero. | 1002 __ j(not_zero, &loop); // While non-zero. |
1003 __ DropUnderReturnAddress(1, rbx); // Drop one slot under return address. | 1003 __ DropUnderReturnAddress(1, rbx); // Drop one slot under return address. |
1004 __ decp(rax); // One fewer argument (first argument is new receiver). | 1004 __ decp(rax); // One fewer argument (first argument is new receiver). |
1005 } | 1005 } |
1006 | 1006 |
1007 // 4. Call the callable. | 1007 // 4. Call the callable. |
1008 __ Jump(masm->isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); | 1008 __ Jump(masm->isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); |
1009 } | 1009 } |
1010 | 1010 |
1011 | 1011 |
| 1012 static void Generate_PushAppliedArguments(MacroAssembler* masm, |
| 1013 const int vectorOffset, |
| 1014 const int argumentsOffset, |
| 1015 const int indexOffset, |
| 1016 const int limitOffset) { |
| 1017 Register receiver = LoadDescriptor::ReceiverRegister(); |
| 1018 Register key = LoadDescriptor::NameRegister(); |
| 1019 Register slot = LoadDescriptor::SlotRegister(); |
| 1020 Register vector = LoadWithVectorDescriptor::VectorRegister(); |
| 1021 |
| 1022 // Copy all arguments from the array to the stack. |
| 1023 Label entry, loop; |
| 1024 __ movp(key, Operand(rbp, indexOffset)); |
| 1025 __ jmp(&entry); |
| 1026 __ bind(&loop); |
| 1027 __ movp(receiver, Operand(rbp, argumentsOffset)); // load arguments |
| 1028 |
| 1029 // Use inline caching to speed up access to arguments. |
| 1030 int slot_index = TypeFeedbackVector::PushAppliedArgumentsIndex(); |
| 1031 __ Move(slot, Smi::FromInt(slot_index)); |
| 1032 __ movp(vector, Operand(rbp, vectorOffset)); |
| 1033 Handle<Code> ic = |
| 1034 KeyedLoadICStub(masm->isolate(), LoadICState(kNoExtraICState)).GetCode(); |
| 1035 __ Call(ic, RelocInfo::CODE_TARGET); |
| 1036 // It is important that we do not have a test instruction after the |
| 1037 // call. A test instruction after the call is used to indicate that |
| 1038 // we have generated an inline version of the keyed load. In this |
| 1039 // case, we know that we are not generating a test instruction next. |
| 1040 |
| 1041 // Push the nth argument. |
| 1042 __ Push(rax); |
| 1043 |
| 1044 // Update the index on the stack and in register key. |
| 1045 __ movp(key, Operand(rbp, indexOffset)); |
| 1046 __ SmiAddConstant(key, key, Smi::FromInt(1)); |
| 1047 __ movp(Operand(rbp, indexOffset), key); |
| 1048 |
| 1049 __ bind(&entry); |
| 1050 __ cmpp(key, Operand(rbp, limitOffset)); |
| 1051 __ j(not_equal, &loop); |
| 1052 |
| 1053 // On exit, the pushed arguments count is in rax, untagged |
| 1054 __ SmiToInteger64(rax, key); |
| 1055 } |
| 1056 |
| 1057 |
| 1058 // Used by FunctionApply and ReflectApply |
| 1059 static void Generate_ApplyHelper(MacroAssembler* masm, bool targetIsArgument) { |
| 1060 const int kFormalParameters = targetIsArgument ? 3 : 2; |
| 1061 const int kStackSize = kFormalParameters + 1; |
| 1062 |
| 1063 // Stack at entry: |
| 1064 // rsp : return address |
| 1065 // rsp[8] : arguments |
| 1066 // rsp[16] : receiver ("this") |
| 1067 // rsp[24] : function |
| 1068 { |
| 1069 FrameScope frame_scope(masm, StackFrame::INTERNAL); |
| 1070 // Stack frame: |
| 1071 // rbp : Old base pointer |
| 1072 // rbp[8] : return address |
| 1073 // rbp[16] : function arguments |
| 1074 // rbp[24] : receiver |
| 1075 // rbp[32] : function |
| 1076 static const int kArgumentsOffset = kFPOnStackSize + kPCOnStackSize; |
| 1077 static const int kReceiverOffset = kArgumentsOffset + kPointerSize; |
| 1078 static const int kFunctionOffset = kReceiverOffset + kPointerSize; |
| 1079 static const int kVectorOffset = |
| 1080 InternalFrameConstants::kCodeOffset - 1 * kPointerSize; |
| 1081 |
| 1082 // Push the vector. |
| 1083 __ movp(rdi, FieldOperand(rdi, JSFunction::kSharedFunctionInfoOffset)); |
| 1084 __ movp(rdi, FieldOperand(rdi, SharedFunctionInfo::kFeedbackVectorOffset)); |
| 1085 __ Push(rdi); |
| 1086 |
| 1087 __ Push(Operand(rbp, kFunctionOffset)); |
| 1088 __ Push(Operand(rbp, kArgumentsOffset)); |
| 1089 if (targetIsArgument) { |
| 1090 __ InvokeBuiltin(Context::REFLECT_APPLY_PREPARE_BUILTIN_INDEX, |
| 1091 CALL_FUNCTION); |
| 1092 } else { |
| 1093 __ InvokeBuiltin(Context::APPLY_PREPARE_BUILTIN_INDEX, CALL_FUNCTION); |
| 1094 } |
| 1095 |
| 1096 Generate_CheckStackOverflow(masm, kRaxIsSmiTagged); |
| 1097 |
| 1098 // Push current index and limit, and receiver. |
| 1099 const int kLimitOffset = kVectorOffset - 1 * kPointerSize; |
| 1100 const int kIndexOffset = kLimitOffset - 1 * kPointerSize; |
| 1101 __ Push(rax); // limit |
| 1102 __ Push(Immediate(0)); // index |
| 1103 __ Push(Operand(rbp, kReceiverOffset)); // receiver |
| 1104 |
| 1105 // Loop over the arguments array, pushing each value to the stack |
| 1106 Generate_PushAppliedArguments(masm, kVectorOffset, kArgumentsOffset, |
| 1107 kIndexOffset, kLimitOffset); |
| 1108 |
| 1109 // Call the callable. |
| 1110 // TODO(bmeurer): This should be a tail call according to ES6. |
| 1111 __ movp(rdi, Operand(rbp, kFunctionOffset)); |
| 1112 __ Call(masm->isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); |
| 1113 |
| 1114 // Leave internal frame. |
| 1115 } |
| 1116 __ ret(kStackSize * kPointerSize); // remove this, receiver, and arguments |
| 1117 } |
| 1118 |
| 1119 |
| 1120 // Used by ReflectConstruct |
| 1121 static void Generate_ConstructHelper(MacroAssembler* masm) { |
| 1122 const int kFormalParameters = 3; |
| 1123 const int kStackSize = kFormalParameters + 1; |
| 1124 |
| 1125 // Stack at entry: |
| 1126 // rsp : return address |
| 1127 // rsp[8] : new target |
| 1128 // rsp[16] : arguments |
| 1129 // rsp[24] : constructor |
| 1130 { |
| 1131 FrameScope frame_scope(masm, StackFrame::INTERNAL); |
| 1132 // Stack frame: |
| 1133 // rbp : Old base pointer |
| 1134 // rbp[8] : return address |
| 1135 // rbp[16] : new target |
| 1136 // rbp[24] : arguments |
| 1137 // rbp[32] : constructor |
| 1138 static const int kNewTargetOffset = kFPOnStackSize + kPCOnStackSize; |
| 1139 static const int kArgumentsOffset = kNewTargetOffset + kPointerSize; |
| 1140 static const int kFunctionOffset = kArgumentsOffset + kPointerSize; |
| 1141 |
| 1142 static const int kVectorOffset = |
| 1143 InternalFrameConstants::kCodeOffset - 1 * kPointerSize; |
| 1144 |
| 1145 // Push the vector. |
| 1146 __ movp(rdi, FieldOperand(rdi, JSFunction::kSharedFunctionInfoOffset)); |
| 1147 __ movp(rdi, FieldOperand(rdi, SharedFunctionInfo::kFeedbackVectorOffset)); |
| 1148 __ Push(rdi); |
| 1149 |
| 1150 // If newTarget is not supplied, set it to constructor |
| 1151 Label validate_arguments; |
| 1152 __ movp(rax, Operand(rbp, kNewTargetOffset)); |
| 1153 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); |
| 1154 __ j(not_equal, &validate_arguments, Label::kNear); |
| 1155 __ movp(rax, Operand(rbp, kFunctionOffset)); |
| 1156 __ movp(Operand(rbp, kNewTargetOffset), rax); |
| 1157 |
| 1158 // Validate arguments |
| 1159 __ bind(&validate_arguments); |
| 1160 __ Push(Operand(rbp, kFunctionOffset)); |
| 1161 __ Push(Operand(rbp, kArgumentsOffset)); |
| 1162 __ Push(Operand(rbp, kNewTargetOffset)); |
| 1163 __ InvokeBuiltin(Context::REFLECT_CONSTRUCT_PREPARE_BUILTIN_INDEX, |
| 1164 CALL_FUNCTION); |
| 1165 |
| 1166 Generate_CheckStackOverflow(masm, kRaxIsSmiTagged); |
| 1167 |
| 1168 // Push current index and limit. |
| 1169 const int kLimitOffset = kVectorOffset - 1 * kPointerSize; |
| 1170 const int kIndexOffset = kLimitOffset - 1 * kPointerSize; |
| 1171 __ Push(rax); // limit |
| 1172 __ Push(Immediate(0)); // index |
| 1173 // Push the constructor function as callee. |
| 1174 __ Push(Operand(rbp, kFunctionOffset)); |
| 1175 |
| 1176 // Loop over the arguments array, pushing each value to the stack |
| 1177 Generate_PushAppliedArguments(masm, kVectorOffset, kArgumentsOffset, |
| 1178 kIndexOffset, kLimitOffset); |
| 1179 |
| 1180 // Use undefined feedback vector |
| 1181 __ LoadRoot(rbx, Heap::kUndefinedValueRootIndex); |
| 1182 __ movp(rdi, Operand(rbp, kFunctionOffset)); |
| 1183 __ movp(rdx, Operand(rbp, kNewTargetOffset)); |
| 1184 |
| 1185 // Call the function. |
| 1186 __ Call(masm->isolate()->builtins()->Construct(), RelocInfo::CODE_TARGET); |
| 1187 |
| 1188 // Leave internal frame. |
| 1189 } |
| 1190 // remove this, target, arguments and newTarget |
| 1191 __ ret(kStackSize * kPointerSize); |
| 1192 } |
| 1193 |
| 1194 |
1012 void Builtins::Generate_FunctionApply(MacroAssembler* masm) { | 1195 void Builtins::Generate_FunctionApply(MacroAssembler* masm) { |
1013 // ----------- S t a t e ------------- | 1196 Generate_ApplyHelper(masm, false); |
1014 // -- rax : argc | |
1015 // -- rsp[0] : return address | |
1016 // -- rsp[8] : argArray | |
1017 // -- rsp[16] : thisArg | |
1018 // -- rsp[24] : receiver | |
1019 // ----------------------------------- | |
1020 | |
1021 // 1. Load receiver into rdi, argArray into rax (if present), remove all | |
1022 // arguments from the stack (including the receiver), and push thisArg (if | |
1023 // present) instead. | |
1024 { | |
1025 Label no_arg_array, no_this_arg; | |
1026 StackArgumentsAccessor args(rsp, rax); | |
1027 __ LoadRoot(rdx, Heap::kUndefinedValueRootIndex); | |
1028 __ movp(rbx, rdx); | |
1029 __ movp(rdi, args.GetReceiverOperand()); | |
1030 __ testp(rax, rax); | |
1031 __ j(zero, &no_this_arg, Label::kNear); | |
1032 { | |
1033 __ movp(rdx, args.GetArgumentOperand(1)); | |
1034 __ cmpp(rax, Immediate(1)); | |
1035 __ j(equal, &no_arg_array, Label::kNear); | |
1036 __ movp(rbx, args.GetArgumentOperand(2)); | |
1037 __ bind(&no_arg_array); | |
1038 } | |
1039 __ bind(&no_this_arg); | |
1040 __ PopReturnAddressTo(rcx); | |
1041 __ leap(rsp, Operand(rsp, rax, times_pointer_size, kPointerSize)); | |
1042 __ Push(rdx); | |
1043 __ PushReturnAddressFrom(rcx); | |
1044 __ movp(rax, rbx); | |
1045 } | |
1046 | |
1047 // ----------- S t a t e ------------- | |
1048 // -- rax : argArray | |
1049 // -- rdi : receiver | |
1050 // -- rsp[0] : return address | |
1051 // -- rsp[8] : thisArg | |
1052 // ----------------------------------- | |
1053 | |
1054 // 2. Make sure the receiver is actually callable. | |
1055 Label receiver_not_callable; | |
1056 __ JumpIfSmi(rdi, &receiver_not_callable, Label::kNear); | |
1057 __ movp(rcx, FieldOperand(rdi, HeapObject::kMapOffset)); | |
1058 __ testb(FieldOperand(rcx, Map::kBitFieldOffset), | |
1059 Immediate(1 << Map::kIsCallable)); | |
1060 __ j(zero, &receiver_not_callable, Label::kNear); | |
1061 | |
1062 // 3. Tail call with no arguments if argArray is null or undefined. | |
1063 Label no_arguments; | |
1064 __ JumpIfRoot(rax, Heap::kNullValueRootIndex, &no_arguments, Label::kNear); | |
1065 __ JumpIfRoot(rax, Heap::kUndefinedValueRootIndex, &no_arguments, | |
1066 Label::kNear); | |
1067 | |
1068 // 4a. Apply the receiver to the given argArray (passing undefined for | |
1069 // new.target). | |
1070 __ LoadRoot(rdx, Heap::kUndefinedValueRootIndex); | |
1071 __ Jump(masm->isolate()->builtins()->Apply(), RelocInfo::CODE_TARGET); | |
1072 | |
1073 // 4b. The argArray is either null or undefined, so we tail call without any | |
1074 // arguments to the receiver. | |
1075 __ bind(&no_arguments); | |
1076 { | |
1077 __ Set(rax, 0); | |
1078 __ Jump(masm->isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); | |
1079 } | |
1080 | |
1081 // 4c. The receiver is not callable, throw an appropriate TypeError. | |
1082 __ bind(&receiver_not_callable); | |
1083 { | |
1084 StackArgumentsAccessor args(rsp, 0); | |
1085 __ movp(args.GetReceiverOperand(), rdi); | |
1086 __ TailCallRuntime(Runtime::kThrowApplyNonFunction, 1, 1); | |
1087 } | |
1088 } | 1197 } |
1089 | 1198 |
1090 | 1199 |
1091 void Builtins::Generate_ReflectApply(MacroAssembler* masm) { | 1200 void Builtins::Generate_ReflectApply(MacroAssembler* masm) { |
1092 // ----------- S t a t e ------------- | 1201 Generate_ApplyHelper(masm, true); |
1093 // -- rax : argc | |
1094 // -- rsp[0] : return address | |
1095 // -- rsp[8] : argumentsList | |
1096 // -- rsp[16] : thisArgument | |
1097 // -- rsp[24] : target | |
1098 // -- rsp[32] : receiver | |
1099 // ----------------------------------- | |
1100 | |
1101 // 1. Load target into rdi (if present), argumentsList into rax (if present), | |
1102 // remove all arguments from the stack (including the receiver), and push | |
1103 // thisArgument (if present) instead. | |
1104 { | |
1105 Label done; | |
1106 StackArgumentsAccessor args(rsp, rax); | |
1107 __ LoadRoot(rdi, Heap::kUndefinedValueRootIndex); | |
1108 __ movp(rdx, rdi); | |
1109 __ movp(rbx, rdi); | |
1110 __ cmpp(rax, Immediate(1)); | |
1111 __ j(below, &done, Label::kNear); | |
1112 __ movp(rdi, args.GetArgumentOperand(1)); // target | |
1113 __ j(equal, &done, Label::kNear); | |
1114 __ movp(rdx, args.GetArgumentOperand(2)); // thisArgument | |
1115 __ cmpp(rax, Immediate(3)); | |
1116 __ j(below, &done, Label::kNear); | |
1117 __ movp(rbx, args.GetArgumentOperand(3)); // argumentsList | |
1118 __ bind(&done); | |
1119 __ PopReturnAddressTo(rcx); | |
1120 __ leap(rsp, Operand(rsp, rax, times_pointer_size, kPointerSize)); | |
1121 __ Push(rdx); | |
1122 __ PushReturnAddressFrom(rcx); | |
1123 __ movp(rax, rbx); | |
1124 } | |
1125 | |
1126 // ----------- S t a t e ------------- | |
1127 // -- rax : argumentsList | |
1128 // -- rdi : target | |
1129 // -- rsp[0] : return address | |
1130 // -- rsp[8] : thisArgument | |
1131 // ----------------------------------- | |
1132 | |
1133 // 2. Make sure the target is actually callable. | |
1134 Label target_not_callable; | |
1135 __ JumpIfSmi(rdi, &target_not_callable, Label::kNear); | |
1136 __ movp(rcx, FieldOperand(rdi, HeapObject::kMapOffset)); | |
1137 __ testb(FieldOperand(rcx, Map::kBitFieldOffset), | |
1138 Immediate(1 << Map::kIsCallable)); | |
1139 __ j(zero, &target_not_callable, Label::kNear); | |
1140 | |
1141 // 3a. Apply the target to the given argumentsList (passing undefined for | |
1142 // new.target). | |
1143 __ LoadRoot(rdx, Heap::kUndefinedValueRootIndex); | |
1144 __ Jump(masm->isolate()->builtins()->Apply(), RelocInfo::CODE_TARGET); | |
1145 | |
1146 // 3b. The target is not callable, throw an appropriate TypeError. | |
1147 __ bind(&target_not_callable); | |
1148 { | |
1149 StackArgumentsAccessor args(rsp, 0); | |
1150 __ movp(args.GetReceiverOperand(), rdi); | |
1151 __ TailCallRuntime(Runtime::kThrowApplyNonFunction, 1, 1); | |
1152 } | |
1153 } | 1202 } |
1154 | 1203 |
1155 | 1204 |
1156 void Builtins::Generate_ReflectConstruct(MacroAssembler* masm) { | 1205 void Builtins::Generate_ReflectConstruct(MacroAssembler* masm) { |
1157 // ----------- S t a t e ------------- | 1206 Generate_ConstructHelper(masm); |
1158 // -- rax : argc | 1207 } |
1159 // -- rsp[0] : return address | 1208 |
1160 // -- rsp[8] : new.target (optional) | 1209 |
1161 // -- rsp[16] : argumentsList | |
1162 // -- rsp[24] : target | |
1163 // -- rsp[32] : receiver | |
1164 // ----------------------------------- | |
1165 | |
1166 // 1. Load target into rdi (if present), argumentsList into rax (if present), | |
1167 // new.target into rdx (if present, otherwise use target), remove all | |
1168 // arguments from the stack (including the receiver), and push thisArgument | |
1169 // (if present) instead. | |
1170 { | |
1171 Label done; | |
1172 StackArgumentsAccessor args(rsp, rax); | |
1173 __ LoadRoot(rdi, Heap::kUndefinedValueRootIndex); | |
1174 __ movp(rdx, rdi); | |
1175 __ movp(rbx, rdi); | |
1176 __ cmpp(rax, Immediate(1)); | |
1177 __ j(below, &done, Label::kNear); | |
1178 __ movp(rdi, args.GetArgumentOperand(1)); // target | |
1179 __ movp(rdx, rdi); // new.target defaults to target | |
1180 __ j(equal, &done, Label::kNear); | |
1181 __ movp(rbx, args.GetArgumentOperand(2)); // argumentsList | |
1182 __ cmpp(rax, Immediate(3)); | |
1183 __ j(below, &done, Label::kNear); | |
1184 __ movp(rdx, args.GetArgumentOperand(3)); // new.target | |
1185 __ bind(&done); | |
1186 __ PopReturnAddressTo(rcx); | |
1187 __ leap(rsp, Operand(rsp, rax, times_pointer_size, kPointerSize)); | |
1188 __ PushRoot(Heap::kUndefinedValueRootIndex); | |
1189 __ PushReturnAddressFrom(rcx); | |
1190 __ movp(rax, rbx); | |
1191 } | |
1192 | |
1193 // ----------- S t a t e ------------- | |
1194 // -- rax : argumentsList | |
1195 // -- rdx : new.target | |
1196 // -- rdi : target | |
1197 // -- rsp[0] : return address | |
1198 // -- rsp[8] : receiver (undefined) | |
1199 // ----------------------------------- | |
1200 | |
1201 // 2. Make sure the target is actually a constructor. | |
1202 Label target_not_constructor; | |
1203 __ JumpIfSmi(rdi, &target_not_constructor, Label::kNear); | |
1204 __ movp(rcx, FieldOperand(rdi, HeapObject::kMapOffset)); | |
1205 __ testb(FieldOperand(rcx, Map::kBitFieldOffset), | |
1206 Immediate(1 << Map::kIsConstructor)); | |
1207 __ j(zero, &target_not_constructor, Label::kNear); | |
1208 | |
1209 // 3. Make sure the target is actually a constructor. | |
1210 Label new_target_not_constructor; | |
1211 __ JumpIfSmi(rdx, &new_target_not_constructor, Label::kNear); | |
1212 __ movp(rcx, FieldOperand(rdx, HeapObject::kMapOffset)); | |
1213 __ testb(FieldOperand(rcx, Map::kBitFieldOffset), | |
1214 Immediate(1 << Map::kIsConstructor)); | |
1215 __ j(zero, &new_target_not_constructor, Label::kNear); | |
1216 | |
1217 // 4a. Construct the target with the given new.target and argumentsList. | |
1218 __ Jump(masm->isolate()->builtins()->Apply(), RelocInfo::CODE_TARGET); | |
1219 | |
1220 // 4b. The target is not a constructor, throw an appropriate TypeError. | |
1221 __ bind(&target_not_constructor); | |
1222 { | |
1223 StackArgumentsAccessor args(rsp, 0); | |
1224 __ movp(args.GetReceiverOperand(), rdi); | |
1225 __ TailCallRuntime(Runtime::kThrowCalledNonCallable, 1, 1); | |
1226 } | |
1227 | |
1228 // 4c. The new.target is not a constructor, throw an appropriate TypeError. | |
1229 __ bind(&new_target_not_constructor); | |
1230 { | |
1231 StackArgumentsAccessor args(rsp, 0); | |
1232 __ movp(args.GetReceiverOperand(), rdx); | |
1233 __ TailCallRuntime(Runtime::kThrowCalledNonCallable, 1, 1); | |
1234 } | |
1235 } | |
1236 | |
1237 | |
1238 void Builtins::Generate_InternalArrayCode(MacroAssembler* masm) { | 1210 void Builtins::Generate_InternalArrayCode(MacroAssembler* masm) { |
1239 // ----------- S t a t e ------------- | 1211 // ----------- S t a t e ------------- |
1240 // -- rax : argc | 1212 // -- rax : argc |
1241 // -- rsp[0] : return address | 1213 // -- rsp[0] : return address |
1242 // -- rsp[8] : last argument | 1214 // -- rsp[8] : last argument |
1243 // ----------------------------------- | 1215 // ----------------------------------- |
1244 Label generic_array_code; | 1216 Label generic_array_code; |
1245 | 1217 |
1246 // Get the InternalArray function. | 1218 // Get the InternalArray function. |
1247 __ LoadNativeContextSlot(Context::INTERNAL_ARRAY_FUNCTION_INDEX, rdi); | 1219 __ LoadNativeContextSlot(Context::INTERNAL_ARRAY_FUNCTION_INDEX, rdi); |
(...skipping 386 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1634 __ jmp(rcx); | 1606 __ jmp(rcx); |
1635 | 1607 |
1636 __ bind(&stack_overflow); | 1608 __ bind(&stack_overflow); |
1637 { | 1609 { |
1638 FrameScope frame(masm, StackFrame::MANUAL); | 1610 FrameScope frame(masm, StackFrame::MANUAL); |
1639 __ CallRuntime(Runtime::kThrowStackOverflow, 0); | 1611 __ CallRuntime(Runtime::kThrowStackOverflow, 0); |
1640 __ int3(); | 1612 __ int3(); |
1641 } | 1613 } |
1642 } | 1614 } |
1643 | 1615 |
1644 | |
1645 // static | |
1646 void Builtins::Generate_Apply(MacroAssembler* masm) { | |
1647 // ----------- S t a t e ------------- | |
1648 // -- rax : argumentsList | |
1649 // -- rdi : target | |
1650 // -- rdx : new.target (checked to be constructor or undefined) | |
1651 // -- rsp[0] : return address. | |
1652 // -- rsp[8] : thisArgument | |
1653 // ----------------------------------- | |
1654 | |
1655 // Create the list of arguments from the array-like argumentsList. | |
1656 { | |
1657 Label create_arguments, create_array, create_runtime, done_create; | |
1658 __ JumpIfSmi(rax, &create_runtime); | |
1659 | |
1660 // Load the map of argumentsList into rcx. | |
1661 __ movp(rcx, FieldOperand(rax, HeapObject::kMapOffset)); | |
1662 | |
1663 // Load native context into rbx. | |
1664 __ movp(rbx, NativeContextOperand()); | |
1665 | |
1666 // Check if argumentsList is an (unmodified) arguments object. | |
1667 __ cmpp(rcx, ContextOperand(rbx, Context::SLOPPY_ARGUMENTS_MAP_INDEX)); | |
1668 __ j(equal, &create_arguments); | |
1669 __ cmpp(rcx, ContextOperand(rbx, Context::STRICT_ARGUMENTS_MAP_INDEX)); | |
1670 __ j(equal, &create_arguments); | |
1671 | |
1672 // Check if argumentsList is a fast JSArray. | |
1673 __ CmpInstanceType(rcx, JS_ARRAY_TYPE); | |
1674 __ j(equal, &create_array); | |
1675 | |
1676 // Ask the runtime to create the list (actually a FixedArray). | |
1677 __ bind(&create_runtime); | |
1678 { | |
1679 FrameScope scope(masm, StackFrame::INTERNAL); | |
1680 __ Push(rdi); | |
1681 __ Push(rdx); | |
1682 __ Push(rax); | |
1683 __ CallRuntime(Runtime::kCreateListFromArrayLike, 1); | |
1684 __ Pop(rdx); | |
1685 __ Pop(rdi); | |
1686 __ SmiToInteger32(rbx, FieldOperand(rax, FixedArray::kLengthOffset)); | |
1687 } | |
1688 __ jmp(&done_create); | |
1689 | |
1690 // Try to create the list from an arguments object. | |
1691 __ bind(&create_arguments); | |
1692 __ movp(rbx, | |
1693 FieldOperand(rax, JSObject::kHeaderSize + | |
1694 Heap::kArgumentsLengthIndex * kPointerSize)); | |
1695 __ movp(rcx, FieldOperand(rax, JSObject::kElementsOffset)); | |
1696 __ cmpp(rbx, FieldOperand(rcx, FixedArray::kLengthOffset)); | |
1697 __ j(not_equal, &create_runtime); | |
1698 __ SmiToInteger32(rbx, rbx); | |
1699 __ movp(rax, rcx); | |
1700 __ jmp(&done_create); | |
1701 | |
1702 // Try to create the list from a JSArray object. | |
1703 __ bind(&create_array); | |
1704 __ movzxbp(rcx, FieldOperand(rcx, Map::kBitField2Offset)); | |
1705 __ DecodeField<Map::ElementsKindBits>(rcx); | |
1706 STATIC_ASSERT(FAST_SMI_ELEMENTS == 0); | |
1707 STATIC_ASSERT(FAST_HOLEY_SMI_ELEMENTS == 1); | |
1708 STATIC_ASSERT(FAST_ELEMENTS == 2); | |
1709 __ cmpl(rcx, Immediate(FAST_ELEMENTS)); | |
1710 __ j(above, &create_runtime); | |
1711 __ cmpl(rcx, Immediate(FAST_HOLEY_SMI_ELEMENTS)); | |
1712 __ j(equal, &create_runtime); | |
1713 __ SmiToInteger32(rbx, FieldOperand(rax, JSArray::kLengthOffset)); | |
1714 __ movp(rax, FieldOperand(rax, JSArray::kElementsOffset)); | |
1715 | |
1716 __ bind(&done_create); | |
1717 } | |
1718 | |
1719 // Check for stack overflow. | |
1720 { | |
1721 // Check the stack for overflow. We are not trying to catch interruptions | |
1722 // (i.e. debug break and preemption) here, so check the "real stack limit". | |
1723 Label done; | |
1724 __ LoadRoot(kScratchRegister, Heap::kRealStackLimitRootIndex); | |
1725 __ movp(rcx, rsp); | |
1726 // Make rcx the space we have left. The stack might already be overflowed | |
1727 // here which will cause rcx to become negative. | |
1728 __ subp(rcx, kScratchRegister); | |
1729 __ sarp(rcx, Immediate(kPointerSizeLog2)); | |
1730 // Check if the arguments will overflow the stack. | |
1731 __ cmpp(rcx, rbx); | |
1732 __ j(greater, &done, Label::kNear); // Signed comparison. | |
1733 __ TailCallRuntime(Runtime::kThrowStackOverflow, 1, 1); | |
1734 __ bind(&done); | |
1735 } | |
1736 | |
1737 // ----------- S t a t e ------------- | |
1738 // -- rdi : target | |
1739 // -- rax : args (a FixedArray built from argumentsList) | |
1740 // -- rbx : len (number of elements to push from args) | |
1741 // -- rdx : new.target (checked to be constructor or undefined) | |
1742 // -- rsp[0] : return address. | |
1743 // -- rsp[8] : thisArgument | |
1744 // ----------------------------------- | |
1745 | |
1746 // Push arguments onto the stack (thisArgument is already on the stack). | |
1747 { | |
1748 __ PopReturnAddressTo(r8); | |
1749 __ Set(rcx, 0); | |
1750 Label done, loop; | |
1751 __ bind(&loop); | |
1752 __ cmpl(rcx, rbx); | |
1753 __ j(equal, &done, Label::kNear); | |
1754 __ Push( | |
1755 FieldOperand(rax, rcx, times_pointer_size, FixedArray::kHeaderSize)); | |
1756 __ incl(rcx); | |
1757 __ jmp(&loop); | |
1758 __ bind(&done); | |
1759 __ PushReturnAddressFrom(r8); | |
1760 __ Move(rax, rcx); | |
1761 } | |
1762 | |
1763 // Dispatch to Call or Construct depending on whether new.target is undefined. | |
1764 { | |
1765 __ CompareRoot(rdx, Heap::kUndefinedValueRootIndex); | |
1766 __ j(equal, masm->isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); | |
1767 __ Jump(masm->isolate()->builtins()->Construct(), RelocInfo::CODE_TARGET); | |
1768 } | |
1769 } | |
1770 | |
1771 | 1616 |
1772 // static | 1617 // static |
1773 void Builtins::Generate_CallFunction(MacroAssembler* masm, | 1618 void Builtins::Generate_CallFunction(MacroAssembler* masm, |
1774 ConvertReceiverMode mode) { | 1619 ConvertReceiverMode mode) { |
1775 // ----------- S t a t e ------------- | 1620 // ----------- S t a t e ------------- |
1776 // -- rax : the number of arguments (not including the receiver) | 1621 // -- rax : the number of arguments (not including the receiver) |
1777 // -- rdi : the function to call (checked to be a JSFunction) | 1622 // -- rdi : the function to call (checked to be a JSFunction) |
1778 // ----------------------------------- | 1623 // ----------------------------------- |
1779 StackArgumentsAccessor args(rsp, rax); | 1624 StackArgumentsAccessor args(rsp, rax); |
1780 __ AssertFunction(rdi); | 1625 __ AssertFunction(rdi); |
(...skipping 427 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2208 __ ret(0); | 2053 __ ret(0); |
2209 } | 2054 } |
2210 | 2055 |
2211 | 2056 |
2212 #undef __ | 2057 #undef __ |
2213 | 2058 |
2214 } // namespace internal | 2059 } // namespace internal |
2215 } // namespace v8 | 2060 } // namespace v8 |
2216 | 2061 |
2217 #endif // V8_TARGET_ARCH_X64 | 2062 #endif // V8_TARGET_ARCH_X64 |
OLD | NEW |