OLD | NEW |
---|---|
1 // Copyright 2017 the V8 project authors. All rights reserved. | 1 // Copyright 2017 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 #include "src/builtins/builtins-call-gen.h" | |
6 | |
7 #include "src/builtins/builtins-utils-gen.h" | |
5 #include "src/builtins/builtins.h" | 8 #include "src/builtins/builtins.h" |
6 #include "src/globals.h" | 9 #include "src/globals.h" |
7 #include "src/isolate.h" | 10 #include "src/isolate.h" |
8 #include "src/macro-assembler.h" | 11 #include "src/macro-assembler.h" |
9 | 12 |
10 namespace v8 { | 13 namespace v8 { |
11 namespace internal { | 14 namespace internal { |
12 | 15 |
13 void Builtins::Generate_CallFunction_ReceiverIsNullOrUndefined( | 16 void Builtins::Generate_CallFunction_ReceiverIsNullOrUndefined( |
14 MacroAssembler* masm) { | 17 MacroAssembler* masm) { |
(...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
75 void Builtins::Generate_TailCall_ReceiverIsNotNullOrUndefined( | 78 void Builtins::Generate_TailCall_ReceiverIsNotNullOrUndefined( |
76 MacroAssembler* masm) { | 79 MacroAssembler* masm) { |
77 Generate_Call(masm, ConvertReceiverMode::kNotNullOrUndefined, | 80 Generate_Call(masm, ConvertReceiverMode::kNotNullOrUndefined, |
78 TailCallMode::kAllow); | 81 TailCallMode::kAllow); |
79 } | 82 } |
80 | 83 |
81 void Builtins::Generate_TailCall_ReceiverIsAny(MacroAssembler* masm) { | 84 void Builtins::Generate_TailCall_ReceiverIsAny(MacroAssembler* masm) { |
82 Generate_Call(masm, ConvertReceiverMode::kAny, TailCallMode::kAllow); | 85 Generate_Call(masm, ConvertReceiverMode::kAny, TailCallMode::kAllow); |
83 } | 86 } |
84 | 87 |
88 void Builtins::Generate_CallVarargs(MacroAssembler* masm) { | |
89 Generate_Varargs(masm, masm->isolate()->builtins()->Call()); | |
90 } | |
91 | |
85 void Builtins::Generate_CallForwardVarargs(MacroAssembler* masm) { | 92 void Builtins::Generate_CallForwardVarargs(MacroAssembler* masm) { |
86 Generate_ForwardVarargs(masm, masm->isolate()->builtins()->Call()); | 93 Generate_ForwardVarargs(masm, masm->isolate()->builtins()->Call()); |
87 } | 94 } |
88 | 95 |
89 void Builtins::Generate_CallFunctionForwardVarargs(MacroAssembler* masm) { | 96 void Builtins::Generate_CallFunctionForwardVarargs(MacroAssembler* masm) { |
90 Generate_ForwardVarargs(masm, masm->isolate()->builtins()->CallFunction()); | 97 Generate_ForwardVarargs(masm, masm->isolate()->builtins()->CallFunction()); |
91 } | 98 } |
92 | 99 |
100 void CallOrConstructBuiltinsAssembler::CallOrConstructWithArrayLike( | |
101 Node* target, Node* new_target, Node* arguments_list, Node* context) { | |
102 Variable var_elements(this, MachineRepresentation::kTagged); | |
103 Variable var_length(this, MachineRepresentation::kWord32); | |
104 Label if_done(this), if_arguments(this), if_array(this), | |
105 if_holey_array(this, Label::kDeferred), | |
106 if_runtime(this, Label::kDeferred); | |
107 | |
108 GotoIf(TaggedIsSmi(arguments_list), &if_runtime); | |
109 Node* arguments_list_map = LoadMap(arguments_list); | |
110 Node* native_context = LoadNativeContext(context); | |
111 | |
112 // Check if {arguments_list} is an (unmodified) arguments object. | |
113 Node* sloppy_arguments_map = | |
114 LoadContextElement(native_context, Context::SLOPPY_ARGUMENTS_MAP_INDEX); | |
115 GotoIf(WordEqual(arguments_list_map, sloppy_arguments_map), &if_arguments); | |
116 Node* strict_arguments_map = | |
117 LoadContextElement(native_context, Context::STRICT_ARGUMENTS_MAP_INDEX); | |
118 GotoIf(WordEqual(arguments_list_map, strict_arguments_map), &if_arguments); | |
119 | |
120 // Check if {arguments_list} is a fast JSArray. | |
121 Branch(IsJSArrayMap(arguments_list_map), &if_array, &if_runtime); | |
122 | |
123 BIND(&if_array); | |
124 { | |
125 // Try to extract the elements from a JSArray object. | |
126 var_elements.Bind( | |
127 LoadObjectField(arguments_list, JSArray::kElementsOffset)); | |
128 var_length.Bind(LoadAndUntagToWord32ObjectField(arguments_list, | |
petermarshall
2017/06/08 08:49:04
You can use LoadJSArrayLength
Benedikt Meurer
2017/06/08 18:02:58
That doesn't untag.
| |
129 JSArray::kLengthOffset)); | |
130 | |
131 // Holey arrays and double backing stores need special treatment. | |
132 Node* kind = LoadMapElementsKind(arguments_list_map); | |
133 STATIC_ASSERT(FAST_SMI_ELEMENTS == 0); | |
134 STATIC_ASSERT(FAST_HOLEY_SMI_ELEMENTS == 1); | |
135 STATIC_ASSERT(FAST_ELEMENTS == 2); | |
136 STATIC_ASSERT(FAST_HOLEY_ELEMENTS == 3); | |
137 GotoIf(Word32Equal(kind, Int32Constant(FAST_HOLEY_SMI_ELEMENTS)), | |
138 &if_holey_array); | |
139 GotoIf(Word32Equal(kind, Int32Constant(FAST_HOLEY_ELEMENTS)), | |
140 &if_holey_array); | |
141 Branch(Uint32LessThanOrEqual(kind, Int32Constant(FAST_HOLEY_ELEMENTS)), | |
142 &if_done, &if_runtime); | |
143 } | |
144 | |
145 BIND(&if_holey_array); | |
146 { | |
147 // For holey JSArrays we need to check that the array prototype chain | |
148 // protector is intact and our prototype is the Array.prototype actually. | |
149 Node* arguments_list_prototype = | |
petermarshall
2017/06/08 08:49:04
LoadMapPrototype =]
Benedikt Meurer
2017/06/08 18:02:58
Done.
| |
150 LoadObjectField(arguments_list_map, Map::kPrototypeOffset); | |
151 Node* initial_array_prototype = LoadContextElement( | |
152 native_context, Context::INITIAL_ARRAY_PROTOTYPE_INDEX); | |
153 GotoIfNot(WordEqual(arguments_list_prototype, initial_array_prototype), | |
154 &if_runtime); | |
155 Node* protector_cell = LoadRoot(Heap::kArrayProtectorRootIndex); | |
petermarshall
2017/06/08 08:49:04
Might be worth adding
DCHECK(isolate()->heap()->a
Benedikt Meurer
2017/06/08 18:02:58
Done.
| |
156 Branch( | |
157 WordEqual(LoadObjectField(protector_cell, PropertyCell::kValueOffset), | |
158 SmiConstant(Smi::FromInt(Isolate::kProtectorValid))), | |
159 &if_done, &if_runtime); | |
160 } | |
161 | |
162 BIND(&if_arguments); | |
163 { | |
164 // Try to extract the elements from an JSArgumentsObject. | |
165 Node* length = | |
166 LoadObjectField(arguments_list, JSArgumentsObject::kLengthOffset); | |
167 Node* elements = | |
168 LoadObjectField(arguments_list, JSArgumentsObject::kElementsOffset); | |
169 Node* elements_length = | |
170 LoadObjectField(elements, FixedArray::kLengthOffset); | |
171 GotoIfNot(WordEqual(length, elements_length), &if_runtime); | |
172 var_elements.Bind(elements); | |
173 var_length.Bind(SmiToWord32(length)); | |
174 Goto(&if_done); | |
175 } | |
176 | |
177 BIND(&if_runtime); | |
178 { | |
179 // Ask the runtime to create the list (actually a FixedArray). | |
180 Node* elements = | |
181 CallRuntime(Runtime::kCreateListFromArrayLike, context, arguments_list); | |
182 var_elements.Bind(elements); | |
183 var_length.Bind( | |
184 LoadAndUntagToWord32ObjectField(elements, FixedArray::kLengthOffset)); | |
185 Goto(&if_done); | |
186 } | |
187 | |
188 // Tail call to the appropriate builtin (depending on whether we have | |
189 // a {new_target} passed). | |
190 BIND(&if_done); | |
191 { | |
192 Node* elements = var_elements.value(); | |
193 Node* length = var_length.value(); | |
194 if (new_target == nullptr) { | |
195 Callable callable = CodeFactory::CallVarargs(isolate()); | |
196 TailCallStub(callable, context, target, Int32Constant(0), elements, | |
197 length); | |
198 } else { | |
199 Callable callable = CodeFactory::ConstructVarargs(isolate()); | |
200 TailCallStub(callable, context, target, new_target, Int32Constant(0), | |
201 elements, length); | |
202 } | |
203 } | |
204 } | |
205 | |
206 TF_BUILTIN(CallWithArrayLike, CallOrConstructBuiltinsAssembler) { | |
207 Node* target = Parameter(CallWithArrayLikeDescriptor::kTarget); | |
208 Node* new_target = nullptr; | |
209 Node* arguments_list = Parameter(CallWithArrayLikeDescriptor::kArgumentsList); | |
210 Node* context = Parameter(CallWithArrayLikeDescriptor::kContext); | |
211 CallOrConstructWithArrayLike(target, new_target, arguments_list, context); | |
212 } | |
213 | |
93 } // namespace internal | 214 } // namespace internal |
94 } // namespace v8 | 215 } // namespace v8 |
OLD | NEW |