blob: e460a8f39300beb9ef5963c3833f9ca27c6b5321 [file] [log] [blame]
danno@chromium.orgfa458e42012-02-01 10:48:36 +00001// Copyright 2012 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#include "v8.h"
29
30#include "api.h"
ager@chromium.org18ad94b2009-09-02 08:22:29 +000031#include "arguments.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000032#include "bootstrapper.h"
33#include "builtins.h"
machenbach@chromium.orgc1789ee2013-07-05 07:09:57 +000034#include "cpu-profiler.h"
erik.corry@gmail.com0511e242011-01-19 11:11:08 +000035#include "gdb-jit.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036#include "ic-inl.h"
ulan@chromium.org6ff65142012-03-21 09:52:17 +000037#include "heap-profiler.h"
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000038#include "mark-compact.h"
yangguo@chromium.org46839fb2012-08-28 09:06:19 +000039#include "stub-cache.h"
kasperl@chromium.orga5551262010-12-07 12:49:48 +000040#include "vm-state-inl.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000041
kasperl@chromium.org71affb52009-05-26 05:44:31 +000042namespace v8 {
43namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000044
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +000045namespace {
46
47// Arguments object passed to C++ builtins.
48template <BuiltinExtraArguments extra_args>
49class BuiltinArguments : public Arguments {
50 public:
51 BuiltinArguments(int length, Object** arguments)
52 : Arguments(length, arguments) { }
53
54 Object*& operator[] (int index) {
55 ASSERT(index < length());
56 return Arguments::operator[](index);
57 }
58
59 template <class S> Handle<S> at(int index) {
60 ASSERT(index < length());
61 return Arguments::at<S>(index);
62 }
63
64 Handle<Object> receiver() {
65 return Arguments::at<Object>(0);
66 }
67
68 Handle<JSFunction> called_function() {
69 STATIC_ASSERT(extra_args == NEEDS_CALLED_FUNCTION);
70 return Arguments::at<JSFunction>(Arguments::length() - 1);
71 }
72
73 // Gets the total number of arguments including the receiver (but
74 // excluding extra arguments).
75 int length() const {
76 STATIC_ASSERT(extra_args == NO_EXTRA_ARGUMENTS);
77 return Arguments::length();
78 }
79
80#ifdef DEBUG
81 void Verify() {
82 // Check we have at least the receiver.
83 ASSERT(Arguments::length() >= 1);
84 }
85#endif
86};
87
88
89// Specialize BuiltinArguments for the called function extra argument.
90
91template <>
92int BuiltinArguments<NEEDS_CALLED_FUNCTION>::length() const {
93 return Arguments::length() - 1;
94}
95
96#ifdef DEBUG
97template <>
98void BuiltinArguments<NEEDS_CALLED_FUNCTION>::Verify() {
99 // Check we have at least the receiver and the called function.
100 ASSERT(Arguments::length() >= 2);
101 // Make sure cast to JSFunction succeeds.
102 called_function();
103}
104#endif
105
106
107#define DEF_ARG_TYPE(name, spec) \
108 typedef BuiltinArguments<spec> name##ArgumentsType;
109BUILTIN_LIST_C(DEF_ARG_TYPE)
110#undef DEF_ARG_TYPE
111
112} // namespace
113
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000114// ----------------------------------------------------------------------------
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000115// Support macro for defining builtins in C++.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000116// ----------------------------------------------------------------------------
117//
118// A builtin function is defined by writing:
119//
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000120// BUILTIN(name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000121// ...
122// }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000123//
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000124// In the body of the builtin function the arguments can be accessed
125// through the BuiltinArguments object args.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000126
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000127#ifdef DEBUG
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000128
danno@chromium.orgf005df62013-04-30 16:36:45 +0000129#define BUILTIN(name) \
130 MUST_USE_RESULT static MaybeObject* Builtin_Impl_##name( \
131 name##ArgumentsType args, Isolate* isolate); \
132 MUST_USE_RESULT static MaybeObject* Builtin_##name( \
133 int args_length, Object** args_object, Isolate* isolate) { \
134 name##ArgumentsType args(args_length, args_object); \
danno@chromium.orgf005df62013-04-30 16:36:45 +0000135 args.Verify(); \
136 return Builtin_Impl_##name(args, isolate); \
137 } \
138 MUST_USE_RESULT static MaybeObject* Builtin_Impl_##name( \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000139 name##ArgumentsType args, Isolate* isolate)
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000140
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000141#else // For release mode.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000142
danno@chromium.orgf005df62013-04-30 16:36:45 +0000143#define BUILTIN(name) \
144 static MaybeObject* Builtin_impl##name( \
145 name##ArgumentsType args, Isolate* isolate); \
146 static MaybeObject* Builtin_##name( \
147 int args_length, Object** args_object, Isolate* isolate) { \
148 name##ArgumentsType args(args_length, args_object); \
149 return Builtin_impl##name(args, isolate); \
150 } \
151 static MaybeObject* Builtin_impl##name( \
152 name##ArgumentsType args, Isolate* isolate)
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000153#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000154
155
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000156#ifdef DEBUG
machenbach@chromium.orgafbdadc2013-12-09 16:12:18 +0000157static inline bool CalledAsConstructor(Isolate* isolate) {
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000158 // Calculate the result using a full stack frame iterator and check
159 // that the state of the stack is as we assume it to be in the
160 // code below.
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000161 StackFrameIterator it(isolate);
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000162 ASSERT(it.frame()->is_exit());
163 it.Advance();
164 StackFrame* frame = it.frame();
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000165 bool reference_result = frame->is_construct();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000166 Address fp = Isolate::c_entry_fp(isolate->thread_local_top());
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000167 // Because we know fp points to an exit frame we can use the relevant
168 // part of ExitFrame::ComputeCallerState directly.
169 const int kCallerOffset = ExitFrameConstants::kCallerFPOffset;
170 Address caller_fp = Memory::Address_at(fp + kCallerOffset);
171 // This inlines the part of StackFrame::ComputeType that grabs the
172 // type of the current frame. Note that StackFrame::ComputeType
173 // has been specialized for each architecture so if any one of them
174 // changes this code has to be changed as well.
175 const int kMarkerOffset = StandardFrameConstants::kMarkerOffset;
176 const Smi* kConstructMarker = Smi::FromInt(StackFrame::CONSTRUCT);
177 Object* marker = Memory::Object_at(caller_fp + kMarkerOffset);
178 bool result = (marker == kConstructMarker);
179 ASSERT_EQ(result, reference_result);
180 return result;
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000181}
machenbach@chromium.orgafbdadc2013-12-09 16:12:18 +0000182#endif
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000183
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +0000184
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000185// ----------------------------------------------------------------------------
186
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000187BUILTIN(Illegal) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000188 UNREACHABLE();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000189 return isolate->heap()->undefined_value(); // Make compiler happy.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000190}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000191
192
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000193BUILTIN(EmptyFunction) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000194 return isolate->heap()->undefined_value();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000195}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000196
197
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000198static void MoveDoubleElements(FixedDoubleArray* dst,
199 int dst_index,
200 FixedDoubleArray* src,
201 int src_index,
202 int len) {
203 if (len == 0) return;
mstarzinger@chromium.orge27d6172013-04-17 11:51:44 +0000204 OS::MemMove(dst->data_start() + dst_index,
205 src->data_start() + src_index,
206 len * kDoubleSize);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000207}
208
209
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000210static void FillWithHoles(Heap* heap, FixedArray* dst, int from, int to) {
211 ASSERT(dst->map() != heap->fixed_cow_array_map());
212 MemsetPointer(dst->data_start() + from, heap->the_hole_value(), to - from);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000213}
214
215
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000216static void FillWithHoles(FixedDoubleArray* dst, int from, int to) {
217 for (int i = from; i < to; i++) {
218 dst->set_the_hole(i);
219 }
220}
221
222
223static FixedArrayBase* LeftTrimFixedArray(Heap* heap,
224 FixedArrayBase* elms,
225 int to_trim) {
226 Map* map = elms->map();
227 int entry_size;
228 if (elms->IsFixedArray()) {
229 entry_size = kPointerSize;
230 } else {
231 entry_size = kDoubleSize;
232 }
hpayer@chromium.orgc5d49712013-09-11 08:25:48 +0000233 ASSERT(elms->map() != heap->fixed_cow_array_map());
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000234 // For now this trick is only applied to fixed arrays in new and paged space.
lrn@chromium.org25156de2010-04-06 13:10:27 +0000235 // In large object space the object's start must coincide with chunk
236 // and thus the trick is just not applicable.
hpayer@chromium.orgc5d49712013-09-11 08:25:48 +0000237 ASSERT(!heap->lo_space()->Contains(elms));
lrn@chromium.org25156de2010-04-06 13:10:27 +0000238
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000239 STATIC_ASSERT(FixedArrayBase::kMapOffset == 0);
240 STATIC_ASSERT(FixedArrayBase::kLengthOffset == kPointerSize);
241 STATIC_ASSERT(FixedArrayBase::kHeaderSize == 2 * kPointerSize);
lrn@chromium.org25156de2010-04-06 13:10:27 +0000242
243 Object** former_start = HeapObject::RawField(elms, 0);
244
245 const int len = elms->length();
246
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000247 if (to_trim * entry_size > FixedArrayBase::kHeaderSize &&
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000248 elms->IsFixedArray() &&
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000249 !heap->new_space()->Contains(elms)) {
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000250 // If we are doing a big trim in old space then we zap the space that was
251 // formerly part of the array so that the GC (aided by the card-based
252 // remembered set) won't find pointers to new-space there.
253 Object** zap = reinterpret_cast<Object**>(elms->address());
254 zap++; // Header of filler must be at least one word so skip that.
255 for (int i = 1; i < to_trim; i++) {
256 *zap++ = Smi::FromInt(0);
257 }
258 }
lrn@chromium.org25156de2010-04-06 13:10:27 +0000259 // Technically in new space this write might be omitted (except for
260 // debug mode which iterates through the heap), but to play safer
261 // we still do it.
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000262 heap->CreateFillerObjectAt(elms->address(), to_trim * entry_size);
lrn@chromium.org25156de2010-04-06 13:10:27 +0000263
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000264 int new_start_index = to_trim * (entry_size / kPointerSize);
265 former_start[new_start_index] = map;
266 former_start[new_start_index + 1] = Smi::FromInt(len - to_trim);
lrn@chromium.org25156de2010-04-06 13:10:27 +0000267
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000268 // Maintain marking consistency for HeapObjectIterator and
269 // IncrementalMarking.
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000270 int size_delta = to_trim * entry_size;
machenbach@chromium.org56971442014-03-19 13:13:40 +0000271 Address new_start = elms->address() + size_delta;
272 heap->marking()->TransferMark(elms->address(), new_start);
273 heap->AdjustLiveBytes(new_start, -size_delta, Heap::FROM_MUTATOR);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000274
machenbach@chromium.org56971442014-03-19 13:13:40 +0000275 FixedArrayBase* new_elms =
276 FixedArrayBase::cast(HeapObject::FromAddress(new_start));
mstarzinger@chromium.org2ed0d022013-10-17 08:06:21 +0000277 HeapProfiler* profiler = heap->isolate()->heap_profiler();
yangguo@chromium.orgcc536052013-11-29 11:43:20 +0000278 if (profiler->is_tracking_object_moves()) {
mstarzinger@chromium.org2ed0d022013-10-17 08:06:21 +0000279 profiler->ObjectMoveEvent(elms->address(),
bmeurer@chromium.org0fdb2a62013-10-21 07:19:36 +0000280 new_elms->address(),
281 new_elms->Size());
mstarzinger@chromium.org2ed0d022013-10-17 08:06:21 +0000282 }
bmeurer@chromium.org0fdb2a62013-10-21 07:19:36 +0000283 return new_elms;
lrn@chromium.org25156de2010-04-06 13:10:27 +0000284}
285
286
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000287static bool ArrayPrototypeHasNoElements(Heap* heap,
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000288 Context* native_context,
vegorov@chromium.orgdff694e2010-05-17 09:10:26 +0000289 JSObject* array_proto) {
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000290 // This method depends on non writability of Object and Array prototype
291 // fields.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000292 if (array_proto->elements() != heap->empty_fixed_array()) return false;
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000293 // Object.prototype
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000294 Object* proto = array_proto->GetPrototype();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000295 if (proto == heap->null_value()) return false;
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000296 array_proto = JSObject::cast(proto);
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000297 if (array_proto != native_context->initial_object_prototype()) return false;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000298 if (array_proto->elements() != heap->empty_fixed_array()) return false;
danno@chromium.org40cb8782011-05-25 07:58:50 +0000299 return array_proto->GetPrototype()->IsNull();
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000300}
301
302
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000303// Returns empty handle if not applicable.
lrn@chromium.org303ada72010-10-27 09:33:13 +0000304MUST_USE_RESULT
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000305static inline Handle<FixedArrayBase> EnsureJSArrayWithWritableFastElements(
306 Isolate* isolate,
307 Handle<Object> receiver,
308 Arguments* args,
309 int first_added_arg) {
310 if (!receiver->IsJSArray()) return Handle<FixedArrayBase>::null();
311 Handle<JSArray> array = Handle<JSArray>::cast(receiver);
312 if (array->map()->is_observed()) return Handle<FixedArrayBase>::null();
313 if (!array->map()->is_extensible()) return Handle<FixedArrayBase>::null();
314 Handle<FixedArrayBase> elms(array->elements());
315 Heap* heap = isolate->heap();
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000316 Map* map = elms->map();
317 if (map == heap->fixed_array_map()) {
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +0000318 if (args == NULL || array->HasFastObjectElements()) return elms;
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000319 } else if (map == heap->fixed_cow_array_map()) {
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000320 elms = JSObject::EnsureWritableFastElements(array);
321 if (args == NULL || array->HasFastObjectElements()) return elms;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000322 } else if (map == heap->fixed_double_array_map()) {
323 if (args == NULL) return elms;
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000324 } else {
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000325 return Handle<FixedArrayBase>::null();
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000326 }
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000327
328 // Need to ensure that the arguments passed in args can be contained in
329 // the array.
330 int args_length = args->length();
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000331 if (first_added_arg >= args_length) return handle(array->elements());
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000332
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000333 ElementsKind origin_kind = array->map()->elements_kind();
334 ASSERT(!IsFastObjectElementsKind(origin_kind));
335 ElementsKind target_kind = origin_kind;
336 int arg_count = args->length() - first_added_arg;
337 Object** arguments = args->arguments() - first_added_arg - (arg_count - 1);
338 for (int i = 0; i < arg_count; i++) {
339 Object* arg = arguments[i];
340 if (arg->IsHeapObject()) {
341 if (arg->IsHeapNumber()) {
342 target_kind = FAST_DOUBLE_ELEMENTS;
343 } else {
344 target_kind = FAST_ELEMENTS;
345 break;
346 }
347 }
348 }
349 if (target_kind != origin_kind) {
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000350 JSObject::TransitionElementsKind(array, target_kind);
351 return handle(array->elements());
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000352 }
353 return elms;
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000354}
355
356
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000357// TODO(ishell): Handlify when all Array* builtins are handlified.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000358static inline bool IsJSArrayFastElementMovingAllowed(Heap* heap,
359 JSArray* receiver) {
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +0000360 if (!FLAG_clever_optimizations) return false;
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000361 Context* native_context = heap->isolate()->context()->native_context();
vegorov@chromium.orgdff694e2010-05-17 09:10:26 +0000362 JSObject* array_proto =
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000363 JSObject::cast(native_context->array_function()->prototype());
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000364 return receiver->GetPrototype() == array_proto &&
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000365 ArrayPrototypeHasNoElements(heap, native_context, array_proto);
vegorov@chromium.orgdff694e2010-05-17 09:10:26 +0000366}
367
368
lrn@chromium.org303ada72010-10-27 09:33:13 +0000369MUST_USE_RESULT static MaybeObject* CallJsBuiltin(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000370 Isolate* isolate,
lrn@chromium.org303ada72010-10-27 09:33:13 +0000371 const char* name,
372 BuiltinArguments<NO_EXTRA_ARGUMENTS> args) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000373 HandleScope handleScope(isolate);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000374
375 Handle<Object> js_builtin =
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000376 GetProperty(Handle<JSObject>(isolate->native_context()->builtins()),
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000377 name);
378 Handle<JSFunction> function = Handle<JSFunction>::cast(js_builtin);
379 int argc = args.length() - 1;
380 ScopedVector<Handle<Object> > argv(argc);
381 for (int i = 0; i < argc; ++i) {
382 argv[i] = args.at<Object>(i + 1);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000383 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000384 bool pending_exception;
jkummerow@chromium.org2c9426b2013-09-05 16:31:13 +0000385 Handle<Object> result = Execution::Call(isolate,
386 function,
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000387 args.receiver(),
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000388 argc,
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000389 argv.start(),
390 &pending_exception);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000391 if (pending_exception) return Failure::Exception();
392 return *result;
393}
394
395
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000396BUILTIN(ArrayPush) {
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000397 HandleScope scope(isolate);
398 Handle<Object> receiver = args.receiver();
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000399 Handle<FixedArrayBase> elms_obj =
400 EnsureJSArrayWithWritableFastElements(isolate, receiver, &args, 1);
401 if (elms_obj.is_null()) return CallJsBuiltin(isolate, "ArrayPush", args);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000402
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000403 Handle<JSArray> array = Handle<JSArray>::cast(receiver);
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +0000404 ASSERT(!array->map()->is_observed());
405
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000406 ElementsKind kind = array->GetElementsKind();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000407
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000408 if (IsFastSmiOrObjectElementsKind(kind)) {
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000409 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000410
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000411 int len = Smi::cast(array->length())->value();
412 int to_add = args.length() - 1;
413 if (to_add == 0) {
414 return Smi::FromInt(len);
lrn@chromium.org303ada72010-10-27 09:33:13 +0000415 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000416 // Currently fixed arrays cannot grow too big, so
417 // we should never hit this case.
418 ASSERT(to_add <= (Smi::kMaxValue - len));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000419
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000420 int new_length = len + to_add;
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000421
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000422 if (new_length > elms->length()) {
423 // New backing storage is needed.
424 int capacity = new_length + (new_length >> 1) + 16;
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000425 Handle<FixedArray> new_elms =
426 isolate->factory()->NewUninitializedFixedArray(capacity);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000427
svenpanne@chromium.org83130cf2012-11-30 10:13:25 +0000428 ElementsAccessor* accessor = array->GetElementsAccessor();
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000429 accessor->CopyElements(
430 Handle<JSObject>::null(), 0, kind, new_elms, 0,
431 ElementsAccessor::kCopyToEndAndInitializeToHole, elms_obj);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000432
433 elms = new_elms;
434 }
435
436 // Add the provided values.
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000437 DisallowHeapAllocation no_gc;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000438 WriteBarrierMode mode = elms->GetWriteBarrierMode(no_gc);
439 for (int index = 0; index < to_add; index++) {
440 elms->set(index + len, args[index + 1], mode);
441 }
442
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000443 if (*elms != array->elements()) {
444 array->set_elements(*elms);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000445 }
446
447 // Set the length.
448 array->set_length(Smi::FromInt(new_length));
449 return Smi::FromInt(new_length);
450 } else {
451 int len = Smi::cast(array->length())->value();
452 int elms_len = elms_obj->length();
453
454 int to_add = args.length() - 1;
455 if (to_add == 0) {
456 return Smi::FromInt(len);
457 }
458 // Currently fixed arrays cannot grow too big, so
459 // we should never hit this case.
460 ASSERT(to_add <= (Smi::kMaxValue - len));
461
462 int new_length = len + to_add;
463
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000464 Handle<FixedDoubleArray> new_elms;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000465
466 if (new_length > elms_len) {
467 // New backing storage is needed.
468 int capacity = new_length + (new_length >> 1) + 16;
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000469 new_elms = isolate->factory()->NewFixedDoubleArray(capacity);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000470
svenpanne@chromium.org83130cf2012-11-30 10:13:25 +0000471 ElementsAccessor* accessor = array->GetElementsAccessor();
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000472 accessor->CopyElements(
473 Handle<JSObject>::null(), 0, kind, new_elms, 0,
474 ElementsAccessor::kCopyToEndAndInitializeToHole, elms_obj);
475
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000476 } else {
477 // to_add is > 0 and new_length <= elms_len, so elms_obj cannot be the
478 // empty_fixed_array.
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000479 new_elms = Handle<FixedDoubleArray>::cast(elms_obj);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000480 }
481
482 // Add the provided values.
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000483 DisallowHeapAllocation no_gc;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000484 int index;
485 for (index = 0; index < to_add; index++) {
486 Object* arg = args[index + 1];
487 new_elms->set(index + len, arg->Number());
488 }
489
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000490 if (*new_elms != array->elements()) {
491 array->set_elements(*new_elms);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000492 }
493
494 // Set the length.
495 array->set_length(Smi::FromInt(new_length));
496 return Smi::FromInt(new_length);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000497 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000498}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000499
500
machenbach@chromium.org69f64b12014-03-20 01:04:55 +0000501// TODO(ishell): Temporary wrapper until handlified.
502static bool ElementsAccessorHasElementWrapper(
503 ElementsAccessor* accessor,
504 Handle<Object> receiver,
505 Handle<JSObject> holder,
506 uint32_t key,
507 Handle<FixedArrayBase> backing_store = Handle<FixedArrayBase>::null()) {
508 return accessor->HasElement(*receiver, *holder, key,
machenbach@chromium.orgb5ed9302014-03-25 13:44:35 +0000509 backing_store.is_null() ? NULL : *backing_store);
machenbach@chromium.org4452a492014-03-18 13:03:00 +0000510}
511
512
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000513BUILTIN(ArrayPop) {
machenbach@chromium.org69f64b12014-03-20 01:04:55 +0000514 HandleScope scope(isolate);
515 Handle<Object> receiver = args.receiver();
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000516 Handle<FixedArrayBase> elms_obj =
517 EnsureJSArrayWithWritableFastElements(isolate, receiver, NULL, 0);
518 if (elms_obj.is_null()) return CallJsBuiltin(isolate, "ArrayPop", args);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000519
machenbach@chromium.org69f64b12014-03-20 01:04:55 +0000520 Handle<JSArray> array = Handle<JSArray>::cast(receiver);
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +0000521 ASSERT(!array->map()->is_observed());
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000522
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000523 int len = Smi::cast(array->length())->value();
machenbach@chromium.org69f64b12014-03-20 01:04:55 +0000524 if (len == 0) return isolate->heap()->undefined_value();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000525
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000526 ElementsAccessor* accessor = array->GetElementsAccessor();
527 int new_length = len - 1;
machenbach@chromium.org69f64b12014-03-20 01:04:55 +0000528 Handle<Object> element;
529 if (ElementsAccessorHasElementWrapper(
530 accessor, array, array, new_length, elms_obj)) {
machenbach@chromium.orgb5ed9302014-03-25 13:44:35 +0000531 element = accessor->Get(
532 array, array, new_length, elms_obj);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000533 } else {
machenbach@chromium.org4452a492014-03-18 13:03:00 +0000534 Handle<Object> proto(array->GetPrototype(), isolate);
machenbach@chromium.org69f64b12014-03-20 01:04:55 +0000535 element = Object::GetElement(isolate, proto, len - 1);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000536 }
machenbach@chromium.org69f64b12014-03-20 01:04:55 +0000537 RETURN_IF_EMPTY_HANDLE(isolate, element);
538 RETURN_IF_EMPTY_HANDLE(isolate,
539 accessor->SetLength(
540 array, handle(Smi::FromInt(new_length), isolate)));
541 return *element;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000542}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000543
544
ager@chromium.org5c838252010-02-19 08:53:10 +0000545BUILTIN(ArrayShift) {
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000546 HandleScope scope(isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000547 Heap* heap = isolate->heap();
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000548 Handle<Object> receiver = args.receiver();
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000549 Handle<FixedArrayBase> elms_obj =
550 EnsureJSArrayWithWritableFastElements(isolate, receiver, NULL, 0);
551 if (elms_obj.is_null() ||
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000552 !IsJSArrayFastElementMovingAllowed(heap,
553 *Handle<JSArray>::cast(receiver))) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000554 return CallJsBuiltin(isolate, "ArrayShift", args);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000555 }
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000556 Handle<JSArray> array = Handle<JSArray>::cast(receiver);
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +0000557 ASSERT(!array->map()->is_observed());
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000558
ager@chromium.org5c838252010-02-19 08:53:10 +0000559 int len = Smi::cast(array->length())->value();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000560 if (len == 0) return heap->undefined_value();
ager@chromium.org5c838252010-02-19 08:53:10 +0000561
ager@chromium.org5c838252010-02-19 08:53:10 +0000562 // Get first element
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000563 ElementsAccessor* accessor = array->GetElementsAccessor();
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000564 Handle<Object> first = accessor->Get(receiver, array, 0, elms_obj);
machenbach@chromium.orgb5ed9302014-03-25 13:44:35 +0000565 RETURN_IF_EMPTY_HANDLE(isolate, first);
ager@chromium.org5c838252010-02-19 08:53:10 +0000566 if (first->IsTheHole()) {
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000567 first = isolate->factory()->undefined_value();
ager@chromium.org5c838252010-02-19 08:53:10 +0000568 }
569
machenbach@chromium.orgb5ed9302014-03-25 13:44:35 +0000570 if (!heap->CanMoveObjectStart(*elms_obj)) {
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000571 array->set_elements(LeftTrimFixedArray(heap, *elms_obj, 1));
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000572 } else {
573 // Shift the elements.
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000574 if (elms_obj->IsFixedArray()) {
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000575 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000576 DisallowHeapAllocation no_gc;
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000577 heap->MoveElements(*elms, 0, 1, len - 1);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000578 elms->set(len - 1, heap->the_hole_value());
579 } else {
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000580 Handle<FixedDoubleArray> elms = Handle<FixedDoubleArray>::cast(elms_obj);
581 MoveDoubleElements(*elms, 0, *elms, 1, len - 1);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000582 elms->set_the_hole(len - 1);
583 }
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000584 }
ager@chromium.org5c838252010-02-19 08:53:10 +0000585
586 // Set the length.
587 array->set_length(Smi::FromInt(len - 1));
588
machenbach@chromium.org7010a2d2014-03-20 15:46:12 +0000589 return *first;
ager@chromium.org5c838252010-02-19 08:53:10 +0000590}
591
592
593BUILTIN(ArrayUnshift) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000594 HandleScope scope(isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000595 Heap* heap = isolate->heap();
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000596 Handle<Object> receiver = args.receiver();
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000597 Handle<FixedArrayBase> elms_obj =
598 EnsureJSArrayWithWritableFastElements(isolate, receiver, NULL, 0);
599 if (elms_obj.is_null() ||
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000600 !IsJSArrayFastElementMovingAllowed(heap,
601 *Handle<JSArray>::cast(receiver))) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000602 return CallJsBuiltin(isolate, "ArrayUnshift", args);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000603 }
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000604 Handle<JSArray> array = Handle<JSArray>::cast(receiver);
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +0000605 ASSERT(!array->map()->is_observed());
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000606 if (!array->HasFastSmiOrObjectElements()) {
607 return CallJsBuiltin(isolate, "ArrayUnshift", args);
608 }
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000609 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
ager@chromium.org5c838252010-02-19 08:53:10 +0000610
611 int len = Smi::cast(array->length())->value();
612 int to_add = args.length() - 1;
ager@chromium.org5c838252010-02-19 08:53:10 +0000613 int new_length = len + to_add;
614 // Currently fixed arrays cannot grow too big, so
615 // we should never hit this case.
616 ASSERT(to_add <= (Smi::kMaxValue - len));
617
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000618 JSObject::EnsureCanContainElements(array, &args, 1, to_add,
619 DONT_ALLOW_DOUBLE_ELEMENTS);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000620
ager@chromium.org5c838252010-02-19 08:53:10 +0000621 if (new_length > elms->length()) {
622 // New backing storage is needed.
623 int capacity = new_length + (new_length >> 1) + 16;
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000624 Handle<FixedArray> new_elms =
625 isolate->factory()->NewUninitializedFixedArray(capacity);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000626
svenpanne@chromium.org83130cf2012-11-30 10:13:25 +0000627 ElementsKind kind = array->GetElementsKind();
628 ElementsAccessor* accessor = array->GetElementsAccessor();
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000629 accessor->CopyElements(
630 Handle<JSObject>::null(), 0, kind, new_elms, to_add,
631 ElementsAccessor::kCopyToEndAndInitializeToHole, elms);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000632
ager@chromium.org5c838252010-02-19 08:53:10 +0000633 elms = new_elms;
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000634 array->set_elements(*elms);
ager@chromium.org5c838252010-02-19 08:53:10 +0000635 } else {
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000636 DisallowHeapAllocation no_gc;
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000637 heap->MoveElements(*elms, to_add, 0, len);
ager@chromium.org5c838252010-02-19 08:53:10 +0000638 }
639
640 // Add the provided values.
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000641 DisallowHeapAllocation no_gc;
ager@chromium.org5c838252010-02-19 08:53:10 +0000642 WriteBarrierMode mode = elms->GetWriteBarrierMode(no_gc);
643 for (int i = 0; i < to_add; i++) {
644 elms->set(i, args[i + 1], mode);
645 }
646
647 // Set the length.
648 array->set_length(Smi::FromInt(new_length));
649 return Smi::FromInt(new_length);
650}
651
652
ager@chromium.org5c838252010-02-19 08:53:10 +0000653BUILTIN(ArraySlice) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000654 Heap* heap = isolate->heap();
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000655 Object* receiver = *args.receiver();
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000656 FixedArrayBase* elms;
whesse@chromium.org023421e2010-12-21 12:19:12 +0000657 int len = -1;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000658 if (receiver->IsJSArray()) {
659 JSArray* array = JSArray::cast(receiver);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000660 if (!IsJSArrayFastElementMovingAllowed(heap, array)) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000661 return CallJsBuiltin(isolate, "ArraySlice", args);
whesse@chromium.org023421e2010-12-21 12:19:12 +0000662 }
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000663
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000664 if (array->HasFastElements()) {
665 elms = array->elements();
666 } else {
667 return CallJsBuiltin(isolate, "ArraySlice", args);
668 }
669
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000670 len = Smi::cast(array->length())->value();
671 } else {
672 // Array.slice(arguments, ...) is quite a common idiom (notably more
673 // than 50% of invocations in Web apps). Treat it in C++ as well.
dslomov@chromium.org486536d2014-03-12 13:09:18 +0000674 Map* arguments_map = isolate->context()->native_context()->
675 sloppy_arguments_boilerplate()->map();
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000676
677 bool is_arguments_object_with_fast_elements =
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000678 receiver->IsJSObject() &&
679 JSObject::cast(receiver)->map() == arguments_map;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000680 if (!is_arguments_object_with_fast_elements) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000681 return CallJsBuiltin(isolate, "ArraySlice", args);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000682 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000683 JSObject* object = JSObject::cast(receiver);
684
685 if (object->HasFastElements()) {
686 elms = object->elements();
687 } else {
688 return CallJsBuiltin(isolate, "ArraySlice", args);
689 }
690 Object* len_obj = object->InObjectPropertyAt(Heap::kArgumentsLengthIndex);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000691 if (!len_obj->IsSmi()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000692 return CallJsBuiltin(isolate, "ArraySlice", args);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000693 }
694 len = Smi::cast(len_obj)->value();
695 if (len > elms->length()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000696 return CallJsBuiltin(isolate, "ArraySlice", args);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000697 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000698 }
699
700 JSObject* object = JSObject::cast(receiver);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000701
whesse@chromium.org023421e2010-12-21 12:19:12 +0000702 ASSERT(len >= 0);
ager@chromium.org5c838252010-02-19 08:53:10 +0000703 int n_arguments = args.length() - 1;
704
705 // Note carefully choosen defaults---if argument is missing,
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000706 // it's undefined which gets converted to 0 for relative_start
707 // and to len for relative_end.
708 int relative_start = 0;
709 int relative_end = len;
ager@chromium.org5c838252010-02-19 08:53:10 +0000710 if (n_arguments > 0) {
711 Object* arg1 = args[1];
712 if (arg1->IsSmi()) {
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000713 relative_start = Smi::cast(arg1)->value();
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000714 } else if (arg1->IsHeapNumber()) {
715 double start = HeapNumber::cast(arg1)->value();
716 if (start < kMinInt || start > kMaxInt) {
717 return CallJsBuiltin(isolate, "ArraySlice", args);
718 }
ulan@chromium.org906e2fb2013-05-14 08:14:38 +0000719 relative_start = std::isnan(start) ? 0 : static_cast<int>(start);
ager@chromium.org5c838252010-02-19 08:53:10 +0000720 } else if (!arg1->IsUndefined()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000721 return CallJsBuiltin(isolate, "ArraySlice", args);
ager@chromium.org5c838252010-02-19 08:53:10 +0000722 }
723 if (n_arguments > 1) {
724 Object* arg2 = args[2];
725 if (arg2->IsSmi()) {
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000726 relative_end = Smi::cast(arg2)->value();
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000727 } else if (arg2->IsHeapNumber()) {
728 double end = HeapNumber::cast(arg2)->value();
729 if (end < kMinInt || end > kMaxInt) {
730 return CallJsBuiltin(isolate, "ArraySlice", args);
731 }
ulan@chromium.org906e2fb2013-05-14 08:14:38 +0000732 relative_end = std::isnan(end) ? 0 : static_cast<int>(end);
ager@chromium.org5c838252010-02-19 08:53:10 +0000733 } else if (!arg2->IsUndefined()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000734 return CallJsBuiltin(isolate, "ArraySlice", args);
ager@chromium.org5c838252010-02-19 08:53:10 +0000735 }
736 }
737 }
738
739 // ECMAScript 232, 3rd Edition, Section 15.4.4.10, step 6.
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000740 int k = (relative_start < 0) ? Max(len + relative_start, 0)
741 : Min(relative_start, len);
ager@chromium.org5c838252010-02-19 08:53:10 +0000742
743 // ECMAScript 232, 3rd Edition, Section 15.4.4.10, step 8.
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000744 int final = (relative_end < 0) ? Max(len + relative_end, 0)
745 : Min(relative_end, len);
ager@chromium.org5c838252010-02-19 08:53:10 +0000746
747 // Calculate the length of result array.
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000748 int result_len = Max(final - k, 0);
ager@chromium.org5c838252010-02-19 08:53:10 +0000749
yangguo@chromium.orga6bbcc82012-12-21 12:35:02 +0000750 ElementsKind kind = object->GetElementsKind();
751 if (IsHoleyElementsKind(kind)) {
752 bool packed = true;
753 ElementsAccessor* accessor = ElementsAccessor::ForKind(kind);
754 for (int i = k; i < final; i++) {
755 if (!accessor->HasElement(object, object, i, elms)) {
756 packed = false;
757 break;
758 }
759 }
760 if (packed) {
761 kind = GetPackedElementsKind(kind);
762 } else if (!receiver->IsJSArray()) {
763 return CallJsBuiltin(isolate, "ArraySlice", args);
764 }
765 }
766
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000767 JSArray* result_array;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000768 MaybeObject* maybe_array = heap->AllocateJSArrayAndStorage(kind,
769 result_len,
770 result_len);
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000771
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000772 DisallowHeapAllocation no_gc;
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000773 if (result_len == 0) return maybe_array;
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000774 if (!maybe_array->To(&result_array)) return maybe_array;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000775
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000776 ElementsAccessor* accessor = object->GetElementsAccessor();
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +0000777 MaybeObject* maybe_failure = accessor->CopyElements(
778 NULL, k, kind, result_array->elements(), 0, result_len, elms);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000779 ASSERT(!maybe_failure->IsFailure());
780 USE(maybe_failure);
ager@chromium.org5c838252010-02-19 08:53:10 +0000781
ager@chromium.org5c838252010-02-19 08:53:10 +0000782 return result_array;
783}
784
785
786BUILTIN(ArraySplice) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000787 HandleScope scope(isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000788 Heap* heap = isolate->heap();
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000789 Handle<Object> receiver = args.receiver();
machenbach@chromium.orga2218802014-03-25 07:30:47 +0000790 Handle<FixedArrayBase> elms_obj =
791 EnsureJSArrayWithWritableFastElements(isolate, receiver, &args, 3);
792 if (elms_obj.is_null() ||
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000793 !IsJSArrayFastElementMovingAllowed(heap,
794 *Handle<JSArray>::cast(receiver))) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000795 return CallJsBuiltin(isolate, "ArraySplice", args);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000796 }
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000797 Handle<JSArray> array = Handle<JSArray>::cast(receiver);
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +0000798 ASSERT(!array->map()->is_observed());
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +0000799
ager@chromium.org5c838252010-02-19 08:53:10 +0000800 int len = Smi::cast(array->length())->value();
801
802 int n_arguments = args.length() - 1;
803
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000804 int relative_start = 0;
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000805 if (n_arguments > 0) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000806 Handle<Object> arg1 = args.at<Object>(1);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000807 if (arg1->IsSmi()) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000808 relative_start = Handle<Smi>::cast(arg1)->value();
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000809 } else if (arg1->IsHeapNumber()) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000810 double start = Handle<HeapNumber>::cast(arg1)->value();
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000811 if (start < kMinInt || start > kMaxInt) {
812 return CallJsBuiltin(isolate, "ArraySplice", args);
813 }
danno@chromium.orgca29dd82013-04-26 11:59:48 +0000814 relative_start = std::isnan(start) ? 0 : static_cast<int>(start);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000815 } else if (!arg1->IsUndefined()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000816 return CallJsBuiltin(isolate, "ArraySplice", args);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000817 }
ager@chromium.org5c838252010-02-19 08:53:10 +0000818 }
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000819 int actual_start = (relative_start < 0) ? Max(len + relative_start, 0)
820 : Min(relative_start, len);
ager@chromium.org5c838252010-02-19 08:53:10 +0000821
822 // SpiderMonkey, TraceMonkey and JSC treat the case where no delete count is
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000823 // given as a request to delete all the elements from the start.
824 // And it differs from the case of undefined delete count.
ager@chromium.org5c838252010-02-19 08:53:10 +0000825 // This does not follow ECMA-262, but we do the same for
826 // compatibility.
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000827 int actual_delete_count;
828 if (n_arguments == 1) {
829 ASSERT(len - actual_start >= 0);
830 actual_delete_count = len - actual_start;
831 } else {
832 int value = 0; // ToInteger(undefined) == 0
833 if (n_arguments > 1) {
834 Object* arg2 = args[2];
835 if (arg2->IsSmi()) {
836 value = Smi::cast(arg2)->value();
837 } else {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000838 return CallJsBuiltin(isolate, "ArraySplice", args);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000839 }
ager@chromium.org5c838252010-02-19 08:53:10 +0000840 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000841 actual_delete_count = Min(Max(value, 0), len - actual_start);
ager@chromium.org5c838252010-02-19 08:53:10 +0000842 }
ager@chromium.org5c838252010-02-19 08:53:10 +0000843
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000844 ElementsKind elements_kind = array->GetElementsKind();
845
846 int item_count = (n_arguments > 1) ? (n_arguments - 2) : 0;
847 int new_length = len - actual_delete_count + item_count;
848
849 // For double mode we do not support changing the length.
850 if (new_length > len && IsFastDoubleElementsKind(elements_kind)) {
851 return CallJsBuiltin(isolate, "ArraySplice", args);
852 }
853
854 if (new_length == 0) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000855 Handle<JSArray> result = isolate->factory()->NewJSArrayWithElements(
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000856 elms_obj, elements_kind, actual_delete_count);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000857 array->set_elements(heap->empty_fixed_array());
858 array->set_length(Smi::FromInt(0));
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000859 return *result;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000860 }
861
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000862 Handle<JSArray> result_array =
863 isolate->factory()->NewJSArray(elements_kind,
864 actual_delete_count,
865 actual_delete_count);
ager@chromium.org5c838252010-02-19 08:53:10 +0000866
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000867 if (actual_delete_count > 0) {
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000868 DisallowHeapAllocation no_gc;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000869 ElementsAccessor* accessor = array->GetElementsAccessor();
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000870 accessor->CopyElements(
871 Handle<JSObject>::null(), actual_start, elements_kind,
872 handle(result_array->elements()), 0, actual_delete_count, elms_obj);
ager@chromium.org5c838252010-02-19 08:53:10 +0000873 }
874
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000875 bool elms_changed = false;
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000876 if (item_count < actual_delete_count) {
ager@chromium.org5c838252010-02-19 08:53:10 +0000877 // Shrink the array.
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000878 const bool trim_array = !heap->lo_space()->Contains(*elms_obj) &&
lrn@chromium.org25156de2010-04-06 13:10:27 +0000879 ((actual_start + item_count) <
880 (len - actual_delete_count - actual_start));
881 if (trim_array) {
882 const int delta = actual_delete_count - item_count;
883
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000884 if (elms_obj->IsFixedDoubleArray()) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000885 Handle<FixedDoubleArray> elms =
886 Handle<FixedDoubleArray>::cast(elms_obj);
887 MoveDoubleElements(*elms, delta, *elms, 0, actual_start);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000888 } else {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000889 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000890 DisallowHeapAllocation no_gc;
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000891 heap->MoveElements(*elms, delta, 0, actual_start);
lrn@chromium.org25156de2010-04-06 13:10:27 +0000892 }
893
machenbach@chromium.orgb5ed9302014-03-25 13:44:35 +0000894 if (heap->CanMoveObjectStart(*elms_obj)) {
895 // On the fast path we move the start of the object in memory.
896 elms_obj = handle(LeftTrimFixedArray(heap, *elms_obj, delta));
897 } else {
898 // This is the slow path. We are going to move the elements to the left
899 // by copying them. For trimmed values we store the hole.
900 if (elms_obj->IsFixedDoubleArray()) {
901 Handle<FixedDoubleArray> elms =
902 Handle<FixedDoubleArray>::cast(elms_obj);
903 MoveDoubleElements(*elms, 0, *elms, delta, len - delta);
904 FillWithHoles(*elms, len - delta, len);
905 } else {
906 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
907 DisallowHeapAllocation no_gc;
908 heap->MoveElements(*elms, 0, delta, len - delta);
909 FillWithHoles(heap, *elms, len - delta, len);
910 }
911 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000912 elms_changed = true;
lrn@chromium.org25156de2010-04-06 13:10:27 +0000913 } else {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000914 if (elms_obj->IsFixedDoubleArray()) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000915 Handle<FixedDoubleArray> elms =
916 Handle<FixedDoubleArray>::cast(elms_obj);
917 MoveDoubleElements(*elms, actual_start + item_count,
918 *elms, actual_start + actual_delete_count,
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000919 (len - actual_delete_count - actual_start));
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000920 FillWithHoles(*elms, new_length, len);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000921 } else {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000922 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000923 DisallowHeapAllocation no_gc;
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000924 heap->MoveElements(*elms, actual_start + item_count,
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000925 actual_start + actual_delete_count,
926 (len - actual_delete_count - actual_start));
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000927 FillWithHoles(heap, *elms, new_length, len);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000928 }
lrn@chromium.org25156de2010-04-06 13:10:27 +0000929 }
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000930 } else if (item_count > actual_delete_count) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000931 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
ager@chromium.org5c838252010-02-19 08:53:10 +0000932 // Currently fixed arrays cannot grow too big, so
933 // we should never hit this case.
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000934 ASSERT((item_count - actual_delete_count) <= (Smi::kMaxValue - len));
ager@chromium.org5c838252010-02-19 08:53:10 +0000935
936 // Check if array need to grow.
937 if (new_length > elms->length()) {
938 // New backing storage is needed.
939 int capacity = new_length + (new_length >> 1) + 16;
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000940 Handle<FixedArray> new_elms =
941 isolate->factory()->NewUninitializedFixedArray(capacity);
ager@chromium.org5c838252010-02-19 08:53:10 +0000942
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000943 DisallowHeapAllocation no_gc;
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000944
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000945 ElementsKind kind = array->GetElementsKind();
946 ElementsAccessor* accessor = array->GetElementsAccessor();
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000947 if (actual_start > 0) {
948 // Copy the part before actual_start as is.
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000949 accessor->CopyElements(
950 Handle<JSObject>::null(), 0, kind, new_elms, 0, actual_start, elms);
ulan@chromium.org8e8d8822012-11-23 14:36:46 +0000951 }
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000952 accessor->CopyElements(
953 Handle<JSObject>::null(), actual_start + actual_delete_count, kind,
954 new_elms, actual_start + item_count,
svenpanne@chromium.org83130cf2012-11-30 10:13:25 +0000955 ElementsAccessor::kCopyToEndAndInitializeToHole, elms);
ager@chromium.org5c838252010-02-19 08:53:10 +0000956
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000957 elms_obj = new_elms;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000958 elms_changed = true;
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000959 } else {
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000960 DisallowHeapAllocation no_gc;
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000961 heap->MoveElements(*elms, actual_start + item_count,
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000962 actual_start + actual_delete_count,
963 (len - actual_delete_count - actual_start));
ager@chromium.org5c838252010-02-19 08:53:10 +0000964 }
965 }
966
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000967 if (IsFastDoubleElementsKind(elements_kind)) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000968 Handle<FixedDoubleArray> elms = Handle<FixedDoubleArray>::cast(elms_obj);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000969 for (int k = actual_start; k < actual_start + item_count; k++) {
970 Object* arg = args[3 + k - actual_start];
971 if (arg->IsSmi()) {
972 elms->set(k, Smi::cast(arg)->value());
973 } else {
974 elms->set(k, HeapNumber::cast(arg)->value());
975 }
976 }
977 } else {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000978 Handle<FixedArray> elms = Handle<FixedArray>::cast(elms_obj);
rossberg@chromium.org79e79022013-06-03 15:43:46 +0000979 DisallowHeapAllocation no_gc;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000980 WriteBarrierMode mode = elms->GetWriteBarrierMode(no_gc);
981 for (int k = actual_start; k < actual_start + item_count; k++) {
982 elms->set(k, args[3 + k - actual_start], mode);
983 }
ager@chromium.org5c838252010-02-19 08:53:10 +0000984 }
985
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000986 if (elms_changed) {
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000987 array->set_elements(*elms_obj);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000988 }
ager@chromium.org5c838252010-02-19 08:53:10 +0000989 // Set the length.
990 array->set_length(Smi::FromInt(new_length));
991
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +0000992 return *result_array;
ager@chromium.org5c838252010-02-19 08:53:10 +0000993}
994
995
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000996BUILTIN(ArrayConcat) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000997 Heap* heap = isolate->heap();
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000998 Context* native_context = isolate->context()->native_context();
vegorov@chromium.orgdff694e2010-05-17 09:10:26 +0000999 JSObject* array_proto =
yangguo@chromium.org46839fb2012-08-28 09:06:19 +00001000 JSObject::cast(native_context->array_function()->prototype());
1001 if (!ArrayPrototypeHasNoElements(heap, native_context, array_proto)) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001002 return CallJsBuiltin(isolate, "ArrayConcat", args);
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001003 }
1004
1005 // Iterate through all the arguments performing checks
1006 // and calculating total length.
1007 int n_arguments = args.length();
1008 int result_len = 0;
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001009 ElementsKind elements_kind = GetInitialFastElementsKind();
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00001010 bool has_double = false;
1011 bool is_holey = false;
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001012 for (int i = 0; i < n_arguments; i++) {
1013 Object* arg = args[i];
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001014 if (!arg->IsJSArray() ||
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00001015 !JSArray::cast(arg)->HasFastElements() ||
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001016 JSArray::cast(arg)->GetPrototype() != array_proto) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001017 return CallJsBuiltin(isolate, "ArrayConcat", args);
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001018 }
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001019 int len = Smi::cast(JSArray::cast(arg)->length())->value();
1020
1021 // We shouldn't overflow when adding another len.
1022 const int kHalfOfMaxInt = 1 << (kBitsPerInt - 2);
1023 STATIC_ASSERT(FixedArray::kMaxLength < kHalfOfMaxInt);
1024 USE(kHalfOfMaxInt);
1025 result_len += len;
1026 ASSERT(result_len >= 0);
1027
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00001028 if (result_len > FixedDoubleArray::kMaxLength) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001029 return CallJsBuiltin(isolate, "ArrayConcat", args);
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001030 }
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001031
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00001032 ElementsKind arg_kind = JSArray::cast(arg)->map()->elements_kind();
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00001033 has_double = has_double || IsFastDoubleElementsKind(arg_kind);
1034 is_holey = is_holey || IsFastHoleyElementsKind(arg_kind);
1035 if (IsMoreGeneralElementsKindTransition(elements_kind, arg_kind)) {
1036 elements_kind = arg_kind;
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001037 }
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001038 }
1039
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00001040 if (is_holey) elements_kind = GetHoleyElementsKind(elements_kind);
1041
1042 // If a double array is concatted into a fast elements array, the fast
1043 // elements array needs to be initialized to contain proper holes, since
1044 // boxing doubles may cause incremental marking.
1045 ArrayStorageAllocationMode mode =
1046 has_double && IsFastObjectElementsKind(elements_kind)
1047 ? INITIALIZE_ARRAY_ELEMENTS_WITH_HOLE : DONT_INITIALIZE_ARRAY_ELEMENTS;
danno@chromium.orgfa458e42012-02-01 10:48:36 +00001048 JSArray* result_array;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00001049 // Allocate result.
danno@chromium.orgfa458e42012-02-01 10:48:36 +00001050 MaybeObject* maybe_array =
1051 heap->AllocateJSArrayAndStorage(elements_kind,
1052 result_len,
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00001053 result_len,
1054 mode);
danno@chromium.orgfa458e42012-02-01 10:48:36 +00001055 if (!maybe_array->To(&result_array)) return maybe_array;
1056 if (result_len == 0) return result_array;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001057
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00001058 int j = 0;
1059 FixedArrayBase* storage = result_array->elements();
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +00001060 ElementsAccessor* accessor = ElementsAccessor::ForKind(elements_kind);
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001061 for (int i = 0; i < n_arguments; i++) {
1062 JSArray* array = JSArray::cast(args[i]);
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001063 int len = Smi::cast(array->length())->value();
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +00001064 ElementsKind from_kind = array->GetElementsKind();
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00001065 if (len > 0) {
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00001066 MaybeObject* maybe_failure =
yangguo@chromium.org4cd70b42013-01-04 08:57:54 +00001067 accessor->CopyElements(array, 0, from_kind, storage, j, len);
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00001068 if (maybe_failure->IsFailure()) return maybe_failure;
1069 j += len;
1070 }
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001071 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00001072
1073 ASSERT(j == result_len);
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001074
fschneider@chromium.org086aac62010-03-17 13:18:24 +00001075 return result_array;
1076}
1077
1078
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001079// -----------------------------------------------------------------------------
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001080// Strict mode poison pills
1081
1082
danno@chromium.org40cb8782011-05-25 07:58:50 +00001083BUILTIN(StrictModePoisonPill) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001084 HandleScope scope(isolate);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001085 return isolate->Throw(*isolate->factory()->NewTypeError(
danno@chromium.org40cb8782011-05-25 07:58:50 +00001086 "strict_poison_pill", HandleVector<Object>(NULL, 0)));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001087}
1088
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001089
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001090// -----------------------------------------------------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001091//
1092
1093
mmassi@chromium.org49a44672012-12-04 13:52:03 +00001094// Searches the hidden prototype chain of the given object for the first
1095// object that is an instance of the given type. If no such object can
1096// be found then Heap::null_value() is returned.
1097static inline Object* FindHidden(Heap* heap,
1098 Object* object,
1099 FunctionTemplateInfo* type) {
machenbach@chromium.org9af454f2013-11-20 09:25:57 +00001100 if (type->IsTemplateFor(object)) return object;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00001101 Object* proto = object->GetPrototype(heap->isolate());
mmassi@chromium.org49a44672012-12-04 13:52:03 +00001102 if (proto->IsJSObject() &&
1103 JSObject::cast(proto)->map()->is_hidden_prototype()) {
1104 return FindHidden(heap, proto, type);
1105 }
1106 return heap->null_value();
1107}
1108
1109
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001110// Returns the holder JSObject if the function can legally be called
1111// with this receiver. Returns Heap::null_value() if the call is
1112// illegal. Any arguments that don't fit the expected type is
mmassi@chromium.org49a44672012-12-04 13:52:03 +00001113// overwritten with undefined. Note that holder and the arguments are
1114// implicitly rewritten with the first object in the hidden prototype
1115// chain that actually has the expected type.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001116static inline Object* TypeCheck(Heap* heap,
1117 int argc,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001118 Object** argv,
1119 FunctionTemplateInfo* info) {
1120 Object* recv = argv[0];
lrn@chromium.org1c092762011-05-09 09:42:16 +00001121 // API calls are only supported with JSObject receivers.
1122 if (!recv->IsJSObject()) return heap->null_value();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001123 Object* sig_obj = info->signature();
1124 if (sig_obj->IsUndefined()) return recv;
1125 SignatureInfo* sig = SignatureInfo::cast(sig_obj);
1126 // If necessary, check the receiver
1127 Object* recv_type = sig->receiver();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001128 Object* holder = recv;
1129 if (!recv_type->IsUndefined()) {
mmassi@chromium.org49a44672012-12-04 13:52:03 +00001130 holder = FindHidden(heap, holder, FunctionTemplateInfo::cast(recv_type));
1131 if (holder == heap->null_value()) return heap->null_value();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001132 }
1133 Object* args_obj = sig->args();
1134 // If there is no argument signature we're done
1135 if (args_obj->IsUndefined()) return holder;
1136 FixedArray* args = FixedArray::cast(args_obj);
1137 int length = args->length();
mads.s.ager31e71382008-08-13 09:32:07 +00001138 if (argc <= length) length = argc - 1;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001139 for (int i = 0; i < length; i++) {
1140 Object* argtype = args->get(i);
1141 if (argtype->IsUndefined()) continue;
1142 Object** arg = &argv[-1 - i];
1143 Object* current = *arg;
mmassi@chromium.org49a44672012-12-04 13:52:03 +00001144 current = FindHidden(heap, current, FunctionTemplateInfo::cast(argtype));
1145 if (current == heap->null_value()) current = heap->undefined_value();
1146 *arg = current;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001147 }
1148 return holder;
1149}
1150
1151
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001152template <bool is_construct>
lrn@chromium.org303ada72010-10-27 09:33:13 +00001153MUST_USE_RESULT static MaybeObject* HandleApiCallHelper(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001154 BuiltinArguments<NEEDS_CALLED_FUNCTION> args, Isolate* isolate) {
1155 ASSERT(is_construct == CalledAsConstructor(isolate));
1156 Heap* heap = isolate->heap();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001157
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001158 HandleScope scope(isolate);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001159 Handle<JSFunction> function = args.called_function();
vegorov@chromium.orgf8372902010-03-15 10:26:20 +00001160 ASSERT(function->shared()->IsApiFunction());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001161
vegorov@chromium.orgf8372902010-03-15 10:26:20 +00001162 FunctionTemplateInfo* fun_data = function->shared()->get_api_func_data();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001163 if (is_construct) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001164 Handle<FunctionTemplateInfo> desc(fun_data, isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001165 bool pending_exception = false;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001166 isolate->factory()->ConfigureInstance(
1167 desc, Handle<JSObject>::cast(args.receiver()), &pending_exception);
1168 ASSERT(isolate->has_pending_exception() == pending_exception);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001169 if (pending_exception) return Failure::Exception();
vegorov@chromium.orgf8372902010-03-15 10:26:20 +00001170 fun_data = *desc;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001171 }
1172
machenbach@chromium.orge31286d2014-01-15 10:29:52 +00001173 SharedFunctionInfo* shared = function->shared();
dslomov@chromium.org486536d2014-03-12 13:09:18 +00001174 if (shared->strict_mode() == SLOPPY && !shared->native()) {
machenbach@chromium.orge31286d2014-01-15 10:29:52 +00001175 Object* recv = args[0];
1176 ASSERT(!recv->IsNull());
1177 if (recv->IsUndefined()) {
1178 args[0] = function->context()->global_object()->global_receiver();
1179 }
1180 }
1181
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001182 Object* raw_holder = TypeCheck(heap, args.length(), &args[0], fun_data);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001183
1184 if (raw_holder->IsNull()) {
1185 // This function cannot be called with the given receiver. Abort!
1186 Handle<Object> obj =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001187 isolate->factory()->NewTypeError(
1188 "illegal_invocation", HandleVector(&function, 1));
1189 return isolate->Throw(*obj);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001190 }
1191
1192 Object* raw_call_data = fun_data->call_code();
1193 if (!raw_call_data->IsUndefined()) {
1194 CallHandlerInfo* call_data = CallHandlerInfo::cast(raw_call_data);
1195 Object* callback_obj = call_data->callback();
verwaest@chromium.org662436e2013-08-28 08:41:27 +00001196 v8::FunctionCallback callback =
1197 v8::ToCData<v8::FunctionCallback>(callback_obj);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001198 Object* data_obj = call_data->data();
1199 Object* result;
1200
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001201 LOG(isolate, ApiObjectAccess("call", JSObject::cast(*args.receiver())));
fschneider@chromium.orge03fb642010-11-01 12:34:09 +00001202 ASSERT(raw_holder->IsJSObject());
1203
ulan@chromium.orgbf9432e2013-05-22 14:05:23 +00001204 FunctionCallbackArguments custom(isolate,
1205 data_obj,
1206 *function,
1207 raw_holder,
1208 &args[0] - 1,
1209 args.length() - 1,
1210 is_construct);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001211
mstarzinger@chromium.org1510d582013-06-28 14:00:48 +00001212 v8::Handle<v8::Value> value = custom.Call(callback);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001213 if (value.IsEmpty()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001214 result = heap->undefined_value();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001215 } else {
1216 result = *reinterpret_cast<Object**>(*value);
mstarzinger@chromium.orgde886792012-09-11 13:22:37 +00001217 result->VerifyApiCallResultType();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001218 }
1219
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001220 RETURN_IF_SCHEDULED_EXCEPTION(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001221 if (!is_construct || result->IsJSObject()) return result;
1222 }
1223
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001224 return *args.receiver();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001225}
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001226
1227
1228BUILTIN(HandleApiCall) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001229 return HandleApiCallHelper<false>(args, isolate);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001230}
1231
1232
1233BUILTIN(HandleApiCallConstruct) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001234 return HandleApiCallHelper<true>(args, isolate);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001235}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001236
1237
sgjesse@chromium.org05521fc2009-05-21 07:37:44 +00001238// Helper function to handle calls to non-function objects created through the
1239// API. The object can be called as either a constructor (using new) or just as
1240// a function (without new).
lrn@chromium.org303ada72010-10-27 09:33:13 +00001241MUST_USE_RESULT static MaybeObject* HandleApiCallAsFunctionOrConstructor(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001242 Isolate* isolate,
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001243 bool is_construct_call,
1244 BuiltinArguments<NO_EXTRA_ARGUMENTS> args) {
sgjesse@chromium.org05521fc2009-05-21 07:37:44 +00001245 // Non-functions are never called as constructors. Even if this is an object
1246 // called as a constructor the delegate call is not a construct call.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001247 ASSERT(!CalledAsConstructor(isolate));
1248 Heap* heap = isolate->heap();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001249
rossberg@chromium.org717967f2011-07-20 13:44:42 +00001250 Handle<Object> receiver = args.receiver();
sgjesse@chromium.org05521fc2009-05-21 07:37:44 +00001251
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001252 // Get the object called.
rossberg@chromium.org717967f2011-07-20 13:44:42 +00001253 JSObject* obj = JSObject::cast(*receiver);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001254
1255 // Get the invocation callback from the function descriptor that was
1256 // used to create the called object.
1257 ASSERT(obj->map()->has_instance_call_handler());
1258 JSFunction* constructor = JSFunction::cast(obj->map()->constructor());
vegorov@chromium.orgf8372902010-03-15 10:26:20 +00001259 ASSERT(constructor->shared()->IsApiFunction());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001260 Object* handler =
vegorov@chromium.orgf8372902010-03-15 10:26:20 +00001261 constructor->shared()->get_api_func_data()->instance_call_handler();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001262 ASSERT(!handler->IsUndefined());
1263 CallHandlerInfo* call_data = CallHandlerInfo::cast(handler);
1264 Object* callback_obj = call_data->callback();
verwaest@chromium.org662436e2013-08-28 08:41:27 +00001265 v8::FunctionCallback callback =
1266 v8::ToCData<v8::FunctionCallback>(callback_obj);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001267
1268 // Get the data for the call and perform the callback.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001269 Object* result;
fschneider@chromium.orge03fb642010-11-01 12:34:09 +00001270 {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001271 HandleScope scope(isolate);
1272 LOG(isolate, ApiObjectAccess("call non-function", obj));
fschneider@chromium.orge03fb642010-11-01 12:34:09 +00001273
ulan@chromium.orgbf9432e2013-05-22 14:05:23 +00001274 FunctionCallbackArguments custom(isolate,
1275 call_data->data(),
1276 constructor,
1277 obj,
1278 &args[0] - 1,
1279 args.length() - 1,
1280 is_construct_call);
mstarzinger@chromium.org1510d582013-06-28 14:00:48 +00001281 v8::Handle<v8::Value> value = custom.Call(callback);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001282 if (value.IsEmpty()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001283 result = heap->undefined_value();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001284 } else {
1285 result = *reinterpret_cast<Object**>(*value);
mstarzinger@chromium.orgde886792012-09-11 13:22:37 +00001286 result->VerifyApiCallResultType();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001287 }
1288 }
1289 // Check for exceptions and return result.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001290 RETURN_IF_SCHEDULED_EXCEPTION(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001291 return result;
1292}
sgjesse@chromium.org05521fc2009-05-21 07:37:44 +00001293
1294
1295// Handle calls to non-function objects created through the API. This delegate
1296// function is used when the call is a normal function call.
1297BUILTIN(HandleApiCallAsFunction) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001298 return HandleApiCallAsFunctionOrConstructor(isolate, false, args);
sgjesse@chromium.org05521fc2009-05-21 07:37:44 +00001299}
sgjesse@chromium.org05521fc2009-05-21 07:37:44 +00001300
1301
1302// Handle calls to non-function objects created through the API. This delegate
1303// function is used when the call is a construct call.
1304BUILTIN(HandleApiCallAsConstructor) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001305 return HandleApiCallAsFunctionOrConstructor(isolate, true, args);
sgjesse@chromium.org05521fc2009-05-21 07:37:44 +00001306}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001307
1308
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001309static void Generate_LoadIC_Miss(MacroAssembler* masm) {
1310 LoadIC::GenerateMiss(masm);
1311}
1312
1313
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001314static void Generate_LoadIC_Normal(MacroAssembler* masm) {
1315 LoadIC::GenerateNormal(masm);
1316}
1317
1318
mstarzinger@chromium.orgde886792012-09-11 13:22:37 +00001319static void Generate_LoadIC_Getter_ForDeopt(MacroAssembler* masm) {
machenbach@chromium.orgca2f2042014-03-10 10:03:12 +00001320 LoadStubCompiler::GenerateLoadViaGetterForDeopt(masm);
mstarzinger@chromium.orgde886792012-09-11 13:22:37 +00001321}
1322
1323
verwaest@chromium.orgd4be0f02013-06-05 13:39:03 +00001324static void Generate_LoadIC_Slow(MacroAssembler* masm) {
1325 LoadIC::GenerateRuntimeGetProperty(masm);
1326}
1327
1328
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001329static void Generate_KeyedLoadIC_Initialize(MacroAssembler* masm) {
1330 KeyedLoadIC::GenerateInitialize(masm);
1331}
1332
1333
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001334static void Generate_KeyedLoadIC_Slow(MacroAssembler* masm) {
1335 KeyedLoadIC::GenerateRuntimeGetProperty(masm);
1336}
1337
1338
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001339static void Generate_KeyedLoadIC_Miss(MacroAssembler* masm) {
machenbach@chromium.orgaf9cfcb2013-11-19 11:05:18 +00001340 KeyedLoadIC::GenerateMiss(masm);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001341}
1342
1343
1344static void Generate_KeyedLoadIC_Generic(MacroAssembler* masm) {
1345 KeyedLoadIC::GenerateGeneric(masm);
1346}
1347
1348
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001349static void Generate_KeyedLoadIC_String(MacroAssembler* masm) {
1350 KeyedLoadIC::GenerateString(masm);
1351}
1352
1353
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001354static void Generate_KeyedLoadIC_PreMonomorphic(MacroAssembler* masm) {
1355 KeyedLoadIC::GeneratePreMonomorphic(masm);
1356}
1357
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001358
ager@chromium.org5c838252010-02-19 08:53:10 +00001359static void Generate_KeyedLoadIC_IndexedInterceptor(MacroAssembler* masm) {
1360 KeyedLoadIC::GenerateIndexedInterceptor(masm);
1361}
1362
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001363
dslomov@chromium.org486536d2014-03-12 13:09:18 +00001364static void Generate_KeyedLoadIC_SloppyArguments(MacroAssembler* masm) {
1365 KeyedLoadIC::GenerateSloppyArguments(masm);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001366}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001367
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001368
ulan@chromium.org57ff8812013-05-10 08:16:55 +00001369static void Generate_StoreIC_Slow(MacroAssembler* masm) {
1370 StoreIC::GenerateSlow(masm);
1371}
1372
1373
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001374static void Generate_StoreIC_Miss(MacroAssembler* masm) {
1375 StoreIC::GenerateMiss(masm);
1376}
1377
1378
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001379static void Generate_StoreIC_Normal(MacroAssembler* masm) {
1380 StoreIC::GenerateNormal(masm);
1381}
1382
1383
yangguo@chromium.org46839fb2012-08-28 09:06:19 +00001384static void Generate_StoreIC_Setter_ForDeopt(MacroAssembler* masm) {
machenbach@chromium.orgca2f2042014-03-10 10:03:12 +00001385 StoreStubCompiler::GenerateStoreViaSetterForDeopt(masm);
yangguo@chromium.org46839fb2012-08-28 09:06:19 +00001386}
1387
1388
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001389static void Generate_KeyedStoreIC_Generic(MacroAssembler* masm) {
dslomov@chromium.org486536d2014-03-12 13:09:18 +00001390 KeyedStoreIC::GenerateGeneric(masm, SLOPPY);
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00001391}
1392
1393
1394static void Generate_KeyedStoreIC_Generic_Strict(MacroAssembler* masm) {
dslomov@chromium.org486536d2014-03-12 13:09:18 +00001395 KeyedStoreIC::GenerateGeneric(masm, STRICT);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001396}
1397
1398
1399static void Generate_KeyedStoreIC_Miss(MacroAssembler* masm) {
machenbach@chromium.orgaf9cfcb2013-11-19 11:05:18 +00001400 KeyedStoreIC::GenerateMiss(masm);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001401}
1402
1403
1404static void Generate_KeyedStoreIC_Slow(MacroAssembler* masm) {
1405 KeyedStoreIC::GenerateSlow(masm);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001406}
1407
1408
1409static void Generate_KeyedStoreIC_Initialize(MacroAssembler* masm) {
1410 KeyedStoreIC::GenerateInitialize(masm);
1411}
1412
1413
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00001414static void Generate_KeyedStoreIC_Initialize_Strict(MacroAssembler* masm) {
1415 KeyedStoreIC::GenerateInitialize(masm);
1416}
1417
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001418
jkummerow@chromium.org3d00d0a2013-09-04 13:57:32 +00001419static void Generate_KeyedStoreIC_PreMonomorphic(MacroAssembler* masm) {
1420 KeyedStoreIC::GeneratePreMonomorphic(masm);
1421}
1422
1423
1424static void Generate_KeyedStoreIC_PreMonomorphic_Strict(MacroAssembler* masm) {
1425 KeyedStoreIC::GeneratePreMonomorphic(masm);
1426}
1427
1428
dslomov@chromium.org486536d2014-03-12 13:09:18 +00001429static void Generate_KeyedStoreIC_SloppyArguments(MacroAssembler* masm) {
1430 KeyedStoreIC::GenerateSloppyArguments(masm);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001431}
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00001432
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001433
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001434#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org8bb60582008-12-11 12:02:20 +00001435static void Generate_LoadIC_DebugBreak(MacroAssembler* masm) {
1436 Debug::GenerateLoadICDebugBreak(masm);
1437}
1438
1439
1440static void Generate_StoreIC_DebugBreak(MacroAssembler* masm) {
1441 Debug::GenerateStoreICDebugBreak(masm);
1442}
1443
1444
1445static void Generate_KeyedLoadIC_DebugBreak(MacroAssembler* masm) {
1446 Debug::GenerateKeyedLoadICDebugBreak(masm);
1447}
1448
1449
1450static void Generate_KeyedStoreIC_DebugBreak(MacroAssembler* masm) {
1451 Debug::GenerateKeyedStoreICDebugBreak(masm);
1452}
1453
1454
danno@chromium.orgf005df62013-04-30 16:36:45 +00001455static void Generate_CompareNilIC_DebugBreak(MacroAssembler* masm) {
1456 Debug::GenerateCompareNilICDebugBreak(masm);
1457}
1458
1459
ager@chromium.org8bb60582008-12-11 12:02:20 +00001460static void Generate_Return_DebugBreak(MacroAssembler* masm) {
1461 Debug::GenerateReturnDebugBreak(masm);
1462}
1463
1464
danno@chromium.orgc612e022011-11-10 11:38:15 +00001465static void Generate_CallFunctionStub_DebugBreak(MacroAssembler* masm) {
1466 Debug::GenerateCallFunctionStubDebugBreak(masm);
ager@chromium.org8bb60582008-12-11 12:02:20 +00001467}
ager@chromium.org357bf652010-04-12 11:30:10 +00001468
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +00001469
danno@chromium.orgfa458e42012-02-01 10:48:36 +00001470static void Generate_CallFunctionStub_Recording_DebugBreak(
1471 MacroAssembler* masm) {
1472 Debug::GenerateCallFunctionStubRecordDebugBreak(masm);
1473}
1474
1475
1476static void Generate_CallConstructStub_DebugBreak(MacroAssembler* masm) {
1477 Debug::GenerateCallConstructStubDebugBreak(masm);
1478}
1479
1480
1481static void Generate_CallConstructStub_Recording_DebugBreak(
1482 MacroAssembler* masm) {
1483 Debug::GenerateCallConstructStubRecordDebugBreak(masm);
1484}
1485
1486
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +00001487static void Generate_Slot_DebugBreak(MacroAssembler* masm) {
1488 Debug::GenerateSlotDebugBreak(masm);
1489}
1490
1491
ager@chromium.org357bf652010-04-12 11:30:10 +00001492static void Generate_PlainReturn_LiveEdit(MacroAssembler* masm) {
1493 Debug::GeneratePlainReturnLiveEdit(masm);
1494}
1495
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +00001496
ager@chromium.org357bf652010-04-12 11:30:10 +00001497static void Generate_FrameDropper_LiveEdit(MacroAssembler* masm) {
1498 Debug::GenerateFrameDropperLiveEdit(masm);
1499}
ager@chromium.org65dad4b2009-04-23 08:48:43 +00001500#endif
ager@chromium.org8bb60582008-12-11 12:02:20 +00001501
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001502
1503Builtins::Builtins() : initialized_(false) {
1504 memset(builtins_, 0, sizeof(builtins_[0]) * builtin_count);
1505 memset(names_, 0, sizeof(names_[0]) * builtin_count);
1506}
1507
1508
1509Builtins::~Builtins() {
1510}
1511
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001512
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001513#define DEF_ENUM_C(name, ignore) FUNCTION_ADDR(Builtin_##name),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001514Address const Builtins::c_functions_[cfunction_count] = {
1515 BUILTIN_LIST_C(DEF_ENUM_C)
1516};
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001517#undef DEF_ENUM_C
1518
1519#define DEF_JS_NAME(name, ignore) #name,
1520#define DEF_JS_ARGC(ignore, argc) argc,
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001521const char* const Builtins::javascript_names_[id_count] = {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001522 BUILTINS_LIST_JS(DEF_JS_NAME)
1523};
1524
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001525int const Builtins::javascript_argc_[id_count] = {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001526 BUILTINS_LIST_JS(DEF_JS_ARGC)
1527};
1528#undef DEF_JS_NAME
1529#undef DEF_JS_ARGC
1530
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001531struct BuiltinDesc {
1532 byte* generator;
1533 byte* c_code;
1534 const char* s_name; // name is only used for generating log information.
1535 int name;
1536 Code::Flags flags;
1537 BuiltinExtraArguments extra_args;
1538};
1539
jkummerow@chromium.org1456e702012-03-30 08:38:13 +00001540#define BUILTIN_FUNCTION_TABLE_INIT { V8_ONCE_INIT, {} }
1541
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001542class BuiltinFunctionTable {
1543 public:
jkummerow@chromium.org1456e702012-03-30 08:38:13 +00001544 BuiltinDesc* functions() {
1545 CallOnce(&once_, &Builtins::InitBuiltinFunctionTable);
1546 return functions_;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001547 }
1548
jkummerow@chromium.org1456e702012-03-30 08:38:13 +00001549 OnceType once_;
1550 BuiltinDesc functions_[Builtins::builtin_count + 1];
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001551
1552 friend class Builtins;
1553};
1554
jkummerow@chromium.org1456e702012-03-30 08:38:13 +00001555static BuiltinFunctionTable builtin_function_table =
1556 BUILTIN_FUNCTION_TABLE_INIT;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001557
1558// Define array of pointers to generators and C builtin functions.
1559// We do this in a sort of roundabout way so that we can do the initialization
1560// within the lexical scope of Builtins:: and within a context where
1561// Code::Flags names a non-abstract type.
1562void Builtins::InitBuiltinFunctionTable() {
jkummerow@chromium.org1456e702012-03-30 08:38:13 +00001563 BuiltinDesc* functions = builtin_function_table.functions_;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001564 functions[builtin_count].generator = NULL;
1565 functions[builtin_count].c_code = NULL;
1566 functions[builtin_count].s_name = NULL;
1567 functions[builtin_count].name = builtin_count;
1568 functions[builtin_count].flags = static_cast<Code::Flags>(0);
1569 functions[builtin_count].extra_args = NO_EXTRA_ARGUMENTS;
1570
1571#define DEF_FUNCTION_PTR_C(aname, aextra_args) \
1572 functions->generator = FUNCTION_ADDR(Generate_Adaptor); \
1573 functions->c_code = FUNCTION_ADDR(Builtin_##aname); \
1574 functions->s_name = #aname; \
1575 functions->name = c_##aname; \
1576 functions->flags = Code::ComputeFlags(Code::BUILTIN); \
1577 functions->extra_args = aextra_args; \
1578 ++functions;
1579
1580#define DEF_FUNCTION_PTR_A(aname, kind, state, extra) \
1581 functions->generator = FUNCTION_ADDR(Generate_##aname); \
1582 functions->c_code = NULL; \
1583 functions->s_name = #aname; \
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001584 functions->name = k##aname; \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001585 functions->flags = Code::ComputeFlags(Code::kind, \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001586 state, \
1587 extra); \
1588 functions->extra_args = NO_EXTRA_ARGUMENTS; \
1589 ++functions;
1590
machenbach@chromium.orgc86e8c22013-11-27 15:11:04 +00001591#define DEF_FUNCTION_PTR_H(aname, kind) \
jkummerow@chromium.org32aa03c2013-10-01 08:21:50 +00001592 functions->generator = FUNCTION_ADDR(Generate_##aname); \
1593 functions->c_code = NULL; \
1594 functions->s_name = #aname; \
1595 functions->name = k##aname; \
titzer@chromium.orgf5a24542014-03-04 09:06:17 +00001596 functions->flags = Code::ComputeHandlerFlags(Code::kind); \
jkummerow@chromium.org32aa03c2013-10-01 08:21:50 +00001597 functions->extra_args = NO_EXTRA_ARGUMENTS; \
1598 ++functions;
1599
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001600 BUILTIN_LIST_C(DEF_FUNCTION_PTR_C)
1601 BUILTIN_LIST_A(DEF_FUNCTION_PTR_A)
jkummerow@chromium.org32aa03c2013-10-01 08:21:50 +00001602 BUILTIN_LIST_H(DEF_FUNCTION_PTR_H)
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001603 BUILTIN_LIST_DEBUG_A(DEF_FUNCTION_PTR_A)
1604
1605#undef DEF_FUNCTION_PTR_C
1606#undef DEF_FUNCTION_PTR_A
1607}
1608
mstarzinger@chromium.orge0e1b0d2013-07-08 08:38:06 +00001609
mstarzinger@chromium.orge9000182013-09-03 11:25:39 +00001610void Builtins::SetUp(Isolate* isolate, bool create_heap_objects) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001611 ASSERT(!initialized_);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001612 Heap* heap = isolate->heap();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001613
1614 // Create a scope for the handles in the builtins.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001615 HandleScope scope(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001616
jkummerow@chromium.org1456e702012-03-30 08:38:13 +00001617 const BuiltinDesc* functions = builtin_function_table.functions();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001618
1619 // For now we generate builtin adaptor code into a stack-allocated
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001620 // buffer, before copying it into individual code objects. Be careful
1621 // with alignment, some platforms don't like unaligned code.
titzer@chromium.orgf5a24542014-03-04 09:06:17 +00001622 // TODO(jbramley): I had to increase the size of this buffer from 8KB because
machenbach@chromium.orgfa0c3c62014-03-24 08:11:09 +00001623 // we can generate a lot of debug code on ARM64.
titzer@chromium.orgf5a24542014-03-04 09:06:17 +00001624 union { int force_alignment; byte buffer[16*KB]; } u;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001625
1626 // Traverse the list of builtins and generate an adaptor in a
1627 // separate code object for each one.
1628 for (int i = 0; i < builtin_count; i++) {
1629 if (create_heap_objects) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001630 MacroAssembler masm(isolate, u.buffer, sizeof u.buffer);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001631 // Generate the code/adaptor.
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001632 typedef void (*Generator)(MacroAssembler*, int, BuiltinExtraArguments);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001633 Generator g = FUNCTION_CAST<Generator>(functions[i].generator);
1634 // We pass all arguments to the generator, but it may not use all of
1635 // them. This works because the first arguments are on top of the
1636 // stack.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001637 ASSERT(!masm.has_frame());
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001638 g(&masm, functions[i].name, functions[i].extra_args);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001639 // Move the code into the object heap.
1640 CodeDesc desc;
1641 masm.GetCode(&desc);
1642 Code::Flags flags = functions[i].flags;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001643 Object* code = NULL;
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +00001644 {
1645 // During startup it's OK to always allocate and defer GC to later.
1646 // This simplifies things because we don't need to retry.
machenbach@chromium.org56971442014-03-19 13:13:40 +00001647 AlwaysAllocateScope __scope__(isolate);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001648 { MaybeObject* maybe_code =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001649 heap->CreateCode(desc, flags, masm.CodeObject());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001650 if (!maybe_code->ToObject(&code)) {
1651 v8::internal::V8::FatalProcessOutOfMemory("CreateCode");
1652 }
ager@chromium.org7c537e22008-10-16 08:43:32 +00001653 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001654 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001655 // Log the event and add the code to the builtins array.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001656 PROFILE(isolate,
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001657 CodeCreateEvent(Logger::BUILTIN_TAG,
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001658 Code::cast(code),
1659 functions[i].s_name));
1660 GDBJIT(AddCode(GDBJITInterface::BUILTIN,
1661 functions[i].s_name,
1662 Code::cast(code)));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001663 builtins_[i] = code;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001664#ifdef ENABLE_DISASSEMBLER
mads.s.ager31e71382008-08-13 09:32:07 +00001665 if (FLAG_print_builtin_code) {
machenbach@chromium.orge8412be2013-11-08 10:23:52 +00001666 CodeTracer::Scope trace_scope(isolate->GetCodeTracer());
1667 PrintF(trace_scope.file(), "Builtin: %s\n", functions[i].s_name);
1668 Code::cast(code)->Disassemble(functions[i].s_name, trace_scope.file());
1669 PrintF(trace_scope.file(), "\n");
mads.s.ager31e71382008-08-13 09:32:07 +00001670 }
1671#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001672 } else {
1673 // Deserializing. The values will be filled in during IterateBuiltins.
1674 builtins_[i] = NULL;
1675 }
1676 names_[i] = functions[i].s_name;
1677 }
1678
1679 // Mark as initialized.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001680 initialized_ = true;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001681}
1682
1683
1684void Builtins::TearDown() {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001685 initialized_ = false;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001686}
1687
1688
1689void Builtins::IterateBuiltins(ObjectVisitor* v) {
1690 v->VisitPointers(&builtins_[0], &builtins_[0] + builtin_count);
1691}
1692
1693
1694const char* Builtins::Lookup(byte* pc) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001695 // may be called during initialization (disassembler!)
1696 if (initialized_) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001697 for (int i = 0; i < builtin_count; i++) {
1698 Code* entry = Code::cast(builtins_[i]);
1699 if (entry->contains(pc)) {
1700 return names_[i];
1701 }
1702 }
1703 }
1704 return NULL;
1705}
1706
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001707
jkummerow@chromium.orgdc94e192013-08-30 11:35:42 +00001708void Builtins::Generate_InterruptCheck(MacroAssembler* masm) {
1709 masm->TailCallRuntime(Runtime::kInterrupt, 0, 1);
1710}
1711
1712
1713void Builtins::Generate_StackCheck(MacroAssembler* masm) {
1714 masm->TailCallRuntime(Runtime::kStackGuard, 0, 1);
1715}
1716
1717
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001718#define DEFINE_BUILTIN_ACCESSOR_C(name, ignore) \
1719Handle<Code> Builtins::name() { \
1720 Code** code_address = \
1721 reinterpret_cast<Code**>(builtin_address(k##name)); \
1722 return Handle<Code>(code_address); \
1723}
1724#define DEFINE_BUILTIN_ACCESSOR_A(name, kind, state, extra) \
1725Handle<Code> Builtins::name() { \
1726 Code** code_address = \
1727 reinterpret_cast<Code**>(builtin_address(k##name)); \
1728 return Handle<Code>(code_address); \
1729}
machenbach@chromium.orgc86e8c22013-11-27 15:11:04 +00001730#define DEFINE_BUILTIN_ACCESSOR_H(name, kind) \
jkummerow@chromium.org32aa03c2013-10-01 08:21:50 +00001731Handle<Code> Builtins::name() { \
1732 Code** code_address = \
1733 reinterpret_cast<Code**>(builtin_address(k##name)); \
1734 return Handle<Code>(code_address); \
1735}
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001736BUILTIN_LIST_C(DEFINE_BUILTIN_ACCESSOR_C)
1737BUILTIN_LIST_A(DEFINE_BUILTIN_ACCESSOR_A)
jkummerow@chromium.org32aa03c2013-10-01 08:21:50 +00001738BUILTIN_LIST_H(DEFINE_BUILTIN_ACCESSOR_H)
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001739BUILTIN_LIST_DEBUG_A(DEFINE_BUILTIN_ACCESSOR_A)
1740#undef DEFINE_BUILTIN_ACCESSOR_C
1741#undef DEFINE_BUILTIN_ACCESSOR_A
1742
1743
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001744} } // namespace v8::internal