Index: src/builtins/builtins-arguments.cc |
diff --git a/src/builtins/builtins-arguments.cc b/src/builtins/builtins-arguments.cc |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f9a30c09ecf3d45e5c50d8c1db0939e723d86a7c |
--- /dev/null |
+++ b/src/builtins/builtins-arguments.cc |
@@ -0,0 +1,424 @@ |
+// Copyright 2017 the V8 project authors. All rights reserved. |
+// Use of this source code is governed by a BSD-style license that can be |
+// found in the LICENSE file. |
+ |
+#include "src/builtins/builtins-arguments.h" |
+#include "src/builtins/builtins-utils.h" |
+#include "src/builtins/builtins.h" |
+#include "src/code-factory.h" |
+#include "src/code-stub-assembler.h" |
+#include "src/interface-descriptors.h" |
+ |
+namespace v8 { |
+namespace internal { |
+ |
+typedef compiler::Node Node; |
+ |
+std::tuple<Node*, Node*, Node*> |
+ArgumentsBuiltinsAssembler::GetArgumentsFrameAndCount(Node* function, |
+ ParameterMode mode) { |
+ CSA_ASSERT(this, HasInstanceType(function, JS_FUNCTION_TYPE)); |
+ |
+ Variable frame_ptr(this, MachineType::PointerRepresentation()); |
+ frame_ptr.Bind(LoadParentFramePointer()); |
+ CSA_ASSERT(this, |
+ WordEqual(function, |
+ LoadBufferObject(frame_ptr.value(), |
+ StandardFrameConstants::kFunctionOffset, |
+ MachineType::Pointer()))); |
+ Variable argument_count(this, ParameterRepresentation(mode)); |
+ VariableList list({&frame_ptr, &argument_count}, zone()); |
+ Label done_argument_count(this, list); |
+ |
+ // Determine the number of passed parameters, which is either the count stored |
+ // in an arguments adapter frame or fetched from the shared function info. |
+ Node* frame_ptr_above = LoadBufferObject( |
+ frame_ptr.value(), StandardFrameConstants::kCallerFPOffset, |
+ MachineType::Pointer()); |
+ Node* shared = |
+ LoadObjectField(function, JSFunction::kSharedFunctionInfoOffset); |
+ Node* formal_parameter_count = LoadSharedFunctionInfoSpecialField( |
+ shared, SharedFunctionInfo::kFormalParameterCountOffset, mode); |
+ argument_count.Bind(formal_parameter_count); |
+ Node* marker_or_function = LoadBufferObject( |
+ frame_ptr_above, CommonFrameConstants::kContextOrFrameTypeOffset); |
+ GotoIf(SmiNotEqual(marker_or_function, |
+ SmiConstant(StackFrame::ARGUMENTS_ADAPTOR)), |
+ &done_argument_count); |
+ Node* adapted_parameter_count = LoadBufferObject( |
+ frame_ptr_above, ArgumentsAdaptorFrameConstants::kLengthOffset); |
+ frame_ptr.Bind(frame_ptr_above); |
+ argument_count.Bind(TaggedToParameter(adapted_parameter_count, mode)); |
+ Goto(&done_argument_count); |
+ |
+ Bind(&done_argument_count); |
+ return std::tuple<Node*, Node*, Node*>( |
+ frame_ptr.value(), argument_count.value(), formal_parameter_count); |
+} |
+ |
+std::tuple<Node*, Node*, Node*> |
+ArgumentsBuiltinsAssembler::AllocateArgumentsObject(Node* map, |
+ Node* arguments_count, |
+ Node* parameter_map_count, |
+ ParameterMode mode, |
+ int base_size) { |
+ // Allocate the parameter object (either a Rest parameter object, a strict |
+ // argument object or a sloppy arguments object) and the elements/mapped |
+ // arguments together. |
+ int elements_offset = base_size; |
+ Node* element_count = arguments_count; |
+ if (parameter_map_count != nullptr) { |
+ base_size += FixedArray::kHeaderSize; |
+ element_count = IntPtrOrSmiAdd(element_count, parameter_map_count, mode); |
+ } |
+ bool empty = IsIntPtrOrSmiConstantZero(arguments_count); |
+ DCHECK_IMPLIES(empty, parameter_map_count == nullptr); |
+ Node* size = |
+ empty ? IntPtrConstant(base_size) |
+ : ElementOffsetFromIndex(element_count, FAST_ELEMENTS, mode, |
+ base_size + FixedArray::kHeaderSize); |
+ Node* result = Allocate(size); |
+ Comment("Initialize arguments object"); |
+ StoreMapNoWriteBarrier(result, map); |
+ Node* empty_fixed_array = LoadRoot(Heap::kEmptyFixedArrayRootIndex); |
+ StoreObjectField(result, JSArray::kPropertiesOffset, empty_fixed_array); |
+ Node* smi_arguments_count = ParameterToTagged(arguments_count, mode); |
+ StoreObjectFieldNoWriteBarrier(result, JSArray::kLengthOffset, |
+ smi_arguments_count); |
+ Node* arguments = nullptr; |
+ if (!empty) { |
+ arguments = InnerAllocate(result, elements_offset); |
+ StoreObjectFieldNoWriteBarrier(arguments, FixedArray::kLengthOffset, |
+ smi_arguments_count); |
+ Node* fixed_array_map = LoadRoot(Heap::kFixedArrayMapRootIndex); |
+ StoreMapNoWriteBarrier(arguments, fixed_array_map); |
+ } |
+ Node* parameter_map = nullptr; |
+ if (parameter_map_count != nullptr) { |
+ Node* parameter_map_offset = ElementOffsetFromIndex( |
+ arguments_count, FAST_ELEMENTS, mode, FixedArray::kHeaderSize); |
+ parameter_map = InnerAllocate(arguments, parameter_map_offset); |
+ StoreObjectFieldNoWriteBarrier(result, JSArray::kElementsOffset, |
+ parameter_map); |
+ Node* sloppy_elements_map = |
+ LoadRoot(Heap::kSloppyArgumentsElementsMapRootIndex); |
+ StoreMapNoWriteBarrier(parameter_map, sloppy_elements_map); |
+ parameter_map_count = ParameterToTagged(parameter_map_count, mode); |
+ StoreObjectFieldNoWriteBarrier(parameter_map, FixedArray::kLengthOffset, |
+ parameter_map_count); |
+ } else { |
+ if (empty) { |
+ StoreObjectFieldNoWriteBarrier(result, JSArray::kElementsOffset, |
+ empty_fixed_array); |
+ } else { |
+ StoreObjectFieldNoWriteBarrier(result, JSArray::kElementsOffset, |
+ arguments); |
+ } |
+ } |
+ return std::tuple<Node*, Node*, Node*>(result, arguments, parameter_map); |
+} |
+ |
+Node* ArgumentsBuiltinsAssembler::ConstructParametersObjectFromArgs( |
+ Node* map, Node* frame_ptr, Node* arg_count, Node* first_arg, |
+ Node* rest_count, ParameterMode param_mode, int base_size) { |
+ // Allocate the parameter object (either a Rest parameter object, a strict |
+ // argument object or a sloppy arguments object) and the elements together and |
+ // fill in the contents with the arguments above |formal_parameter_count|. |
+ Node* result; |
+ Node* elements; |
+ Node* unused; |
+ std::tie(result, elements, unused) = |
+ AllocateArgumentsObject(map, rest_count, nullptr, param_mode, base_size); |
+ DCHECK(unused == nullptr); |
+ CodeStubArguments arguments(this, arg_count, frame_ptr, param_mode); |
+ Variable offset(this, MachineType::PointerRepresentation()); |
+ offset.Bind(IntPtrConstant(FixedArrayBase::kHeaderSize - kHeapObjectTag)); |
+ VariableList list({&offset}, zone()); |
+ arguments.ForEach(list, |
+ [this, elements, &offset](Node* arg) { |
+ StoreNoWriteBarrier(MachineRepresentation::kTagged, |
+ elements, offset.value(), arg); |
+ Increment(offset, kPointerSize); |
+ }, |
+ first_arg, nullptr, param_mode); |
+ return result; |
+} |
+ |
+Node* ArgumentsBuiltinsAssembler::EmitFastNewRestParameter(Node* context, |
+ Node* function) { |
+ Node* frame_ptr; |
+ Node* argument_count; |
+ Node* formal_parameter_count; |
+ |
+ ParameterMode mode = OptimalParameterMode(); |
+ Node* zero = IntPtrOrSmiConstant(0, mode); |
+ |
+ std::tie(frame_ptr, argument_count, formal_parameter_count) = |
+ GetArgumentsFrameAndCount(function, mode); |
+ |
+ Variable result(this, MachineRepresentation::kTagged); |
+ Label no_rest_parameters(this), runtime(this, Label::kDeferred), |
+ done(this, &result); |
+ |
+ Node* rest_count = |
+ IntPtrOrSmiSub(argument_count, formal_parameter_count, mode); |
+ Node* const native_context = LoadNativeContext(context); |
+ Node* const array_map = LoadJSArrayElementsMap(FAST_ELEMENTS, native_context); |
+ GotoIf(IntPtrOrSmiLessThanOrEqual(rest_count, zero, mode), |
+ &no_rest_parameters); |
+ |
+ GotoIfFixedArraySizeDoesntFitInNewSpace( |
+ rest_count, &runtime, JSArray::kSize + FixedArray::kHeaderSize, mode); |
+ |
+ // Allocate the Rest JSArray and the elements together and fill in the |
+ // contents with the arguments above |formal_parameter_count|. |
+ result.Bind(ConstructParametersObjectFromArgs( |
+ array_map, frame_ptr, argument_count, formal_parameter_count, rest_count, |
+ mode, JSArray::kSize)); |
+ Goto(&done); |
+ |
+ Bind(&no_rest_parameters); |
+ { |
+ Node* arguments; |
+ Node* elements; |
+ Node* unused; |
+ std::tie(arguments, elements, unused) = |
+ AllocateArgumentsObject(array_map, zero, nullptr, mode, JSArray::kSize); |
+ result.Bind(arguments); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&runtime); |
+ { |
+ result.Bind(CallRuntime(Runtime::kNewRestParameter, context, function)); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&done); |
+ return result.value(); |
+} |
+ |
+TF_BUILTIN(FastNewRestParameter, ArgumentsBuiltinsAssembler) { |
+ Node* function = Parameter(FastNewArgumentsDescriptor::kFunction); |
+ Node* context = Parameter(FastNewArgumentsDescriptor::kContext); |
+ Return(EmitFastNewRestParameter(context, function)); |
+} |
+ |
+Node* ArgumentsBuiltinsAssembler::EmitFastNewStrictArguments(Node* context, |
+ Node* function) { |
+ Variable result(this, MachineRepresentation::kTagged); |
+ Label done(this, &result), empty(this), runtime(this, Label::kDeferred); |
+ |
+ Node* frame_ptr; |
+ Node* argument_count; |
+ Node* formal_parameter_count; |
+ |
+ ParameterMode mode = OptimalParameterMode(); |
+ Node* zero = IntPtrOrSmiConstant(0, mode); |
+ |
+ std::tie(frame_ptr, argument_count, formal_parameter_count) = |
+ GetArgumentsFrameAndCount(function, mode); |
+ |
+ GotoIfFixedArraySizeDoesntFitInNewSpace( |
+ argument_count, &runtime, |
+ JSStrictArgumentsObject::kSize + FixedArray::kHeaderSize, mode); |
+ |
+ Node* const native_context = LoadNativeContext(context); |
+ Node* const map = |
+ LoadContextElement(native_context, Context::STRICT_ARGUMENTS_MAP_INDEX); |
+ GotoIf(WordEqual(argument_count, zero), &empty); |
+ |
+ result.Bind(ConstructParametersObjectFromArgs( |
+ map, frame_ptr, argument_count, zero, argument_count, mode, |
+ JSStrictArgumentsObject::kSize)); |
+ Goto(&done); |
+ |
+ Bind(&empty); |
+ { |
+ Node* arguments; |
+ Node* elements; |
+ Node* unused; |
+ std::tie(arguments, elements, unused) = AllocateArgumentsObject( |
+ map, zero, nullptr, mode, JSStrictArgumentsObject::kSize); |
+ result.Bind(arguments); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&runtime); |
+ { |
+ result.Bind(CallRuntime(Runtime::kNewStrictArguments, context, function)); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&done); |
+ return result.value(); |
+} |
+ |
+TF_BUILTIN(FastNewStrictArguments, ArgumentsBuiltinsAssembler) { |
+ Node* function = Parameter(FastNewArgumentsDescriptor::kFunction); |
+ Node* context = Parameter(FastNewArgumentsDescriptor::kContext); |
+ Return(EmitFastNewStrictArguments(context, function)); |
+} |
+ |
+Node* ArgumentsBuiltinsAssembler::EmitFastNewSloppyArguments(Node* context, |
+ Node* function) { |
+ Node* frame_ptr; |
+ Node* argument_count; |
+ Node* formal_parameter_count; |
+ Variable result(this, MachineRepresentation::kTagged); |
+ |
+ ParameterMode mode = OptimalParameterMode(); |
+ Node* zero = IntPtrOrSmiConstant(0, mode); |
+ |
+ Label done(this, &result), empty(this), no_parameters(this), |
+ runtime(this, Label::kDeferred); |
+ |
+ std::tie(frame_ptr, argument_count, formal_parameter_count) = |
+ GetArgumentsFrameAndCount(function, mode); |
+ |
+ GotoIf(WordEqual(argument_count, zero), &empty); |
+ |
+ GotoIf(WordEqual(formal_parameter_count, zero), &no_parameters); |
+ |
+ { |
+ Comment("Mapped parameter JSSloppyArgumentsObject"); |
+ |
+ Node* mapped_count = |
+ IntPtrOrSmiMin(argument_count, formal_parameter_count, mode); |
+ |
+ Node* parameter_map_size = |
+ IntPtrOrSmiAdd(mapped_count, IntPtrOrSmiConstant(2, mode), mode); |
+ |
+ // Verify that the overall allocation will fit in new space. |
+ Node* elements_allocated = |
+ IntPtrOrSmiAdd(argument_count, parameter_map_size, mode); |
+ GotoIfFixedArraySizeDoesntFitInNewSpace( |
+ elements_allocated, &runtime, |
+ JSSloppyArgumentsObject::kSize + FixedArray::kHeaderSize * 2, mode); |
+ |
+ Node* const native_context = LoadNativeContext(context); |
+ Node* const map = LoadContextElement( |
+ native_context, Context::FAST_ALIASED_ARGUMENTS_MAP_INDEX); |
+ Node* argument_object; |
+ Node* elements; |
+ Node* map_array; |
+ std::tie(argument_object, elements, map_array) = |
+ AllocateArgumentsObject(map, argument_count, parameter_map_size, mode, |
+ JSSloppyArgumentsObject::kSize); |
+ StoreObjectFieldNoWriteBarrier( |
+ argument_object, JSSloppyArgumentsObject::kCalleeOffset, function); |
+ StoreFixedArrayElement(map_array, 0, context, SKIP_WRITE_BARRIER); |
+ StoreFixedArrayElement(map_array, 1, elements, SKIP_WRITE_BARRIER); |
+ |
+ Comment("Fill in non-mapped parameters"); |
+ Node* argument_offset = |
+ ElementOffsetFromIndex(argument_count, FAST_ELEMENTS, mode, |
+ FixedArray::kHeaderSize - kHeapObjectTag); |
+ Node* mapped_offset = |
+ ElementOffsetFromIndex(mapped_count, FAST_ELEMENTS, mode, |
+ FixedArray::kHeaderSize - kHeapObjectTag); |
+ CodeStubArguments arguments(this, argument_count, frame_ptr, mode); |
+ Variable current_argument(this, MachineType::PointerRepresentation()); |
+ current_argument.Bind(arguments.AtIndexPtr(argument_count, mode)); |
+ VariableList var_list1({¤t_argument}, zone()); |
+ mapped_offset = BuildFastLoop( |
+ var_list1, argument_offset, mapped_offset, |
+ [this, elements, ¤t_argument](Node* offset) { |
+ Increment(current_argument, kPointerSize); |
+ Node* arg = LoadBufferObject(current_argument.value(), 0); |
+ StoreNoWriteBarrier(MachineRepresentation::kTagged, elements, offset, |
+ arg); |
+ }, |
+ -kPointerSize, INTPTR_PARAMETERS); |
+ |
+ // Copy the parameter slots and the holes in the arguments. |
+ // We need to fill in mapped_count slots. They index the context, |
+ // where parameters are stored in reverse order, at |
+ // MIN_CONTEXT_SLOTS .. MIN_CONTEXT_SLOTS+argument_count-1 |
+ // The mapped parameter thus need to get indices |
+ // MIN_CONTEXT_SLOTS+parameter_count-1 .. |
+ // MIN_CONTEXT_SLOTS+argument_count-mapped_count |
+ // We loop from right to left. |
+ Comment("Fill in mapped parameters"); |
+ Variable context_index(this, OptimalParameterRepresentation()); |
+ context_index.Bind(IntPtrOrSmiSub( |
+ IntPtrOrSmiAdd(IntPtrOrSmiConstant(Context::MIN_CONTEXT_SLOTS, mode), |
+ formal_parameter_count, mode), |
+ mapped_count, mode)); |
+ Node* the_hole = TheHoleConstant(); |
+ VariableList var_list2({&context_index}, zone()); |
+ const int kParameterMapHeaderSize = |
+ FixedArray::kHeaderSize + 2 * kPointerSize; |
+ Node* adjusted_map_array = IntPtrAdd( |
+ BitcastTaggedToWord(map_array), |
+ IntPtrConstant(kParameterMapHeaderSize - FixedArray::kHeaderSize)); |
+ Node* zero_offset = ElementOffsetFromIndex( |
+ zero, FAST_ELEMENTS, mode, FixedArray::kHeaderSize - kHeapObjectTag); |
+ BuildFastLoop(var_list2, mapped_offset, zero_offset, |
+ [this, the_hole, elements, adjusted_map_array, &context_index, |
+ mode](Node* offset) { |
+ StoreNoWriteBarrier(MachineRepresentation::kTagged, |
+ elements, offset, the_hole); |
+ StoreNoWriteBarrier( |
+ MachineRepresentation::kTagged, adjusted_map_array, |
+ offset, ParameterToTagged(context_index.value(), mode)); |
+ Increment(context_index, 1, mode); |
+ }, |
+ -kPointerSize, INTPTR_PARAMETERS); |
+ |
+ result.Bind(argument_object); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&no_parameters); |
+ { |
+ Comment("No parameters JSSloppyArgumentsObject"); |
+ GotoIfFixedArraySizeDoesntFitInNewSpace( |
+ argument_count, &runtime, |
+ JSSloppyArgumentsObject::kSize + FixedArray::kHeaderSize, mode); |
+ Node* const native_context = LoadNativeContext(context); |
+ Node* const map = |
+ LoadContextElement(native_context, Context::SLOPPY_ARGUMENTS_MAP_INDEX); |
+ result.Bind(ConstructParametersObjectFromArgs( |
+ map, frame_ptr, argument_count, zero, argument_count, mode, |
+ JSSloppyArgumentsObject::kSize)); |
+ StoreObjectFieldNoWriteBarrier( |
+ result.value(), JSSloppyArgumentsObject::kCalleeOffset, function); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&empty); |
+ { |
+ Comment("Empty JSSloppyArgumentsObject"); |
+ Node* const native_context = LoadNativeContext(context); |
+ Node* const map = |
+ LoadContextElement(native_context, Context::SLOPPY_ARGUMENTS_MAP_INDEX); |
+ Node* arguments; |
+ Node* elements; |
+ Node* unused; |
+ std::tie(arguments, elements, unused) = AllocateArgumentsObject( |
+ map, zero, nullptr, mode, JSSloppyArgumentsObject::kSize); |
+ result.Bind(arguments); |
+ StoreObjectFieldNoWriteBarrier( |
+ result.value(), JSSloppyArgumentsObject::kCalleeOffset, function); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&runtime); |
+ { |
+ result.Bind(CallRuntime(Runtime::kNewSloppyArguments, context, function)); |
+ Goto(&done); |
+ } |
+ |
+ Bind(&done); |
+ return result.value(); |
+} |
+ |
+TF_BUILTIN(FastNewSloppyArguments, ArgumentsBuiltinsAssembler) { |
+ Node* function = Parameter(FastNewArgumentsDescriptor::kFunction); |
+ Node* context = Parameter(FastNewArgumentsDescriptor::kContext); |
+ Return(EmitFastNewSloppyArguments(context, function)); |
+} |
+ |
+} // namespace internal |
+} // namespace v8 |