blob: 7d2dad06243c92581f59ee662f5bd56f687eaa36 [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001// Copyright 2014 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
Steve Blocka7e24c12009-10-30 11:49:00 +00004
Ben Murdochb8a8cc12014-11-26 15:28:44 +00005#include "src/factory.h"
Steve Blocka7e24c12009-10-30 11:49:00 +00006
Ben Murdochb8a8cc12014-11-26 15:28:44 +00007#include "src/allocation-site-scopes.h"
8#include "src/base/bits.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00009#include "src/bootstrapper.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000010#include "src/conversions.h"
11#include "src/isolate-inl.h"
12#include "src/macro-assembler.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000013
14namespace v8 {
15namespace internal {
16
17
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000018// Calls the FUNCTION_CALL function and retries it up to three times
19// to guarantee that any allocations performed during the call will
20// succeed if there's enough memory.
21//
22// Warning: Do not use the identifiers __object__, __maybe_object__,
23// __allocation__ or __scope__ in a call to this macro.
24
25#define RETURN_OBJECT_UNLESS_RETRY(ISOLATE, TYPE) \
26 if (__allocation__.To(&__object__)) { \
27 DCHECK(__object__ != (ISOLATE)->heap()->exception()); \
28 return Handle<TYPE>(TYPE::cast(__object__), ISOLATE); \
29 }
30
31#define CALL_HEAP_FUNCTION(ISOLATE, FUNCTION_CALL, TYPE) \
32 do { \
33 AllocationResult __allocation__ = FUNCTION_CALL; \
34 Object* __object__ = NULL; \
35 RETURN_OBJECT_UNLESS_RETRY(ISOLATE, TYPE) \
36 /* Two GCs before panicking. In newspace will almost always succeed. */ \
37 for (int __i__ = 0; __i__ < 2; __i__++) { \
38 (ISOLATE)->heap()->CollectGarbage(__allocation__.RetrySpace(), \
39 "allocation failure"); \
40 __allocation__ = FUNCTION_CALL; \
41 RETURN_OBJECT_UNLESS_RETRY(ISOLATE, TYPE) \
42 } \
43 (ISOLATE)->counters()->gc_last_resort_from_handles()->Increment(); \
44 (ISOLATE)->heap()->CollectAllAvailableGarbage("last resort gc"); \
45 { \
46 AlwaysAllocateScope __scope__(ISOLATE); \
47 __allocation__ = FUNCTION_CALL; \
48 } \
49 RETURN_OBJECT_UNLESS_RETRY(ISOLATE, TYPE) \
50 /* TODO(1181417): Fix this. */ \
51 v8::internal::Heap::FatalProcessOutOfMemory("CALL_AND_RETRY_LAST", true); \
52 return Handle<TYPE>(); \
53 } while (false)
54
55
Ben Murdochb8a8cc12014-11-26 15:28:44 +000056template<typename T>
57Handle<T> Factory::New(Handle<Map> map, AllocationSpace space) {
58 CALL_HEAP_FUNCTION(
59 isolate(),
60 isolate()->heap()->Allocate(*map, space),
61 T);
62}
63
64
65template<typename T>
66Handle<T> Factory::New(Handle<Map> map,
67 AllocationSpace space,
68 Handle<AllocationSite> allocation_site) {
69 CALL_HEAP_FUNCTION(
70 isolate(),
71 isolate()->heap()->Allocate(*map, space, *allocation_site),
72 T);
73}
74
75
76Handle<HeapObject> Factory::NewFillerObject(int size,
77 bool double_align,
78 AllocationSpace space) {
79 CALL_HEAP_FUNCTION(
80 isolate(),
81 isolate()->heap()->AllocateFillerObject(size, double_align, space),
82 HeapObject);
83}
84
85
86Handle<Box> Factory::NewBox(Handle<Object> value) {
87 Handle<Box> result = Handle<Box>::cast(NewStruct(BOX_TYPE));
88 result->set_value(*value);
89 return result;
90}
91
92
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000093Handle<PrototypeInfo> Factory::NewPrototypeInfo() {
94 Handle<PrototypeInfo> result =
95 Handle<PrototypeInfo>::cast(NewStruct(PROTOTYPE_INFO_TYPE));
96 result->set_prototype_users(WeakFixedArray::Empty());
97 result->set_registry_slot(PrototypeInfo::UNREGISTERED);
98 result->set_validity_cell(Smi::FromInt(0));
99 return result;
100}
101
102
103Handle<SloppyBlockWithEvalContextExtension>
104Factory::NewSloppyBlockWithEvalContextExtension(
105 Handle<ScopeInfo> scope_info, Handle<JSObject> extension) {
106 DCHECK(scope_info->is_declaration_scope());
107 Handle<SloppyBlockWithEvalContextExtension> result =
108 Handle<SloppyBlockWithEvalContextExtension>::cast(
109 NewStruct(SLOPPY_BLOCK_WITH_EVAL_CONTEXT_EXTENSION_TYPE));
110 result->set_scope_info(*scope_info);
111 result->set_extension(*extension);
112 return result;
113}
114
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000115Handle<Oddball> Factory::NewOddball(Handle<Map> map, const char* to_string,
Ben Murdochda12d292016-06-02 14:46:10 +0100116 Handle<Object> to_number, bool to_boolean,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000117 const char* type_of, byte kind) {
118 Handle<Oddball> oddball = New<Oddball>(map, OLD_SPACE);
Ben Murdochda12d292016-06-02 14:46:10 +0100119 Oddball::Initialize(isolate(), oddball, to_string, to_number, to_boolean,
120 type_of, kind);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000121 return oddball;
122}
123
124
Steve Blocka7e24c12009-10-30 11:49:00 +0000125Handle<FixedArray> Factory::NewFixedArray(int size, PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000126 DCHECK(0 <= size);
Steve Block44f0eee2011-05-26 01:26:41 +0100127 CALL_HEAP_FUNCTION(
128 isolate(),
129 isolate()->heap()->AllocateFixedArray(size, pretenure),
130 FixedArray);
Steve Blocka7e24c12009-10-30 11:49:00 +0000131}
132
133
Steve Block6ded16b2010-05-10 14:33:55 +0100134Handle<FixedArray> Factory::NewFixedArrayWithHoles(int size,
135 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000136 DCHECK(0 <= size);
Steve Block44f0eee2011-05-26 01:26:41 +0100137 CALL_HEAP_FUNCTION(
138 isolate(),
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000139 isolate()->heap()->AllocateFixedArrayWithFiller(size,
140 pretenure,
141 *the_hole_value()),
Steve Block44f0eee2011-05-26 01:26:41 +0100142 FixedArray);
Steve Blocka7e24c12009-10-30 11:49:00 +0000143}
144
145
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000146Handle<FixedArray> Factory::NewUninitializedFixedArray(int size) {
147 CALL_HEAP_FUNCTION(
148 isolate(),
149 isolate()->heap()->AllocateUninitializedFixedArray(size),
150 FixedArray);
151}
152
153
154Handle<FixedArrayBase> Factory::NewFixedDoubleArray(int size,
155 PretenureFlag pretenure) {
156 DCHECK(0 <= size);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000157 CALL_HEAP_FUNCTION(
158 isolate(),
159 isolate()->heap()->AllocateUninitializedFixedDoubleArray(size, pretenure),
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000160 FixedArrayBase);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000161}
162
163
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000164Handle<FixedArrayBase> Factory::NewFixedDoubleArrayWithHoles(
165 int size,
Ben Murdochb0fe1622011-05-05 13:52:32 +0100166 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000167 DCHECK(0 <= size);
168 Handle<FixedArrayBase> array = NewFixedDoubleArray(size, pretenure);
169 if (size > 0) {
170 Handle<FixedDoubleArray> double_array =
171 Handle<FixedDoubleArray>::cast(array);
172 for (int i = 0; i < size; ++i) {
173 double_array->set_the_hole(i);
174 }
175 }
176 return array;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100177}
178
179
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000180Handle<OrderedHashSet> Factory::NewOrderedHashSet() {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400181 return OrderedHashSet::Allocate(isolate(), OrderedHashSet::kMinCapacity);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000182}
183
184
185Handle<OrderedHashMap> Factory::NewOrderedHashMap() {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400186 return OrderedHashMap::Allocate(isolate(), OrderedHashMap::kMinCapacity);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100187}
188
189
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100190Handle<AccessorPair> Factory::NewAccessorPair() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000191 Handle<AccessorPair> accessors =
192 Handle<AccessorPair>::cast(NewStruct(ACCESSOR_PAIR_TYPE));
Ben Murdochc5610432016-08-08 18:44:38 +0100193 accessors->set_getter(*null_value(), SKIP_WRITE_BARRIER);
194 accessors->set_setter(*null_value(), SKIP_WRITE_BARRIER);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000195 return accessors;
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100196}
197
198
199Handle<TypeFeedbackInfo> Factory::NewTypeFeedbackInfo() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000200 Handle<TypeFeedbackInfo> info =
201 Handle<TypeFeedbackInfo>::cast(NewStruct(TYPE_FEEDBACK_INFO_TYPE));
202 info->initialize_storage();
203 return info;
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100204}
205
206
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000207// Internalized strings are created in the old generation (data space).
208Handle<String> Factory::InternalizeUtf8String(Vector<const char> string) {
209 Utf8StringKey key(string, isolate()->heap()->HashSeed());
210 return InternalizeStringWithKey(&key);
Steve Block9fac8402011-05-12 15:51:54 +0100211}
212
Ben Murdoch257744e2011-11-30 15:57:28 +0000213
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000214Handle<String> Factory::InternalizeOneByteString(Vector<const uint8_t> string) {
215 OneByteStringKey key(string, isolate()->heap()->HashSeed());
216 return InternalizeStringWithKey(&key);
Steve Block9fac8402011-05-12 15:51:54 +0100217}
218
Steve Blocka7e24c12009-10-30 11:49:00 +0000219
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000220Handle<String> Factory::InternalizeOneByteString(
221 Handle<SeqOneByteString> string, int from, int length) {
222 SeqOneByteSubStringKey key(string, from, length);
223 return InternalizeStringWithKey(&key);
Steve Blocka7e24c12009-10-30 11:49:00 +0000224}
225
226
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000227Handle<String> Factory::InternalizeTwoByteString(Vector<const uc16> string) {
228 TwoByteStringKey key(string, isolate()->heap()->HashSeed());
229 return InternalizeStringWithKey(&key);
Steve Blocka7e24c12009-10-30 11:49:00 +0000230}
231
232
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000233template<class StringTableKey>
234Handle<String> Factory::InternalizeStringWithKey(StringTableKey* key) {
235 return StringTable::LookupKey(isolate(), key);
236}
237
238
239MaybeHandle<String> Factory::NewStringFromOneByte(Vector<const uint8_t> string,
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000240 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000241 int length = string.length();
242 if (length == 1) return LookupSingleCharacterStringFromCode(string[0]);
243 Handle<SeqOneByteString> result;
244 ASSIGN_RETURN_ON_EXCEPTION(
Steve Block44f0eee2011-05-26 01:26:41 +0100245 isolate(),
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000246 result,
247 NewRawOneByteString(string.length(), pretenure),
248 String);
249
250 DisallowHeapAllocation no_gc;
251 // Copy the characters into the new object.
252 CopyChars(SeqOneByteString::cast(*result)->GetChars(),
253 string.start(),
254 length);
255 return result;
256}
257
258MaybeHandle<String> Factory::NewStringFromUtf8(Vector<const char> string,
259 PretenureFlag pretenure) {
260 // Check for ASCII first since this is the common case.
261 const char* start = string.start();
262 int length = string.length();
263 int non_ascii_start = String::NonAsciiStart(start, length);
264 if (non_ascii_start >= length) {
265 // If the string is ASCII, we do not need to convert the characters
266 // since UTF8 is backwards compatible with ASCII.
267 return NewStringFromOneByte(Vector<const uint8_t>::cast(string), pretenure);
268 }
269
270 // Non-ASCII and we need to decode.
271 Access<UnicodeCache::Utf8Decoder>
272 decoder(isolate()->unicode_cache()->utf8_decoder());
273 decoder->Reset(string.start() + non_ascii_start,
274 length - non_ascii_start);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000275 int utf16_length = static_cast<int>(decoder->Utf16Length());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000276 DCHECK(utf16_length > 0);
277 // Allocate string.
278 Handle<SeqTwoByteString> result;
279 ASSIGN_RETURN_ON_EXCEPTION(
280 isolate(), result,
281 NewRawTwoByteString(non_ascii_start + utf16_length, pretenure),
282 String);
283 // Copy ASCII portion.
284 uint16_t* data = result->GetChars();
285 const char* ascii_data = string.start();
286 for (int i = 0; i < non_ascii_start; i++) {
287 *data++ = *ascii_data++;
288 }
289 // Now write the remainder.
290 decoder->WriteUtf16(data, utf16_length);
291 return result;
Leon Clarkeac952652010-07-15 11:15:24 +0100292}
293
294
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000295MaybeHandle<String> Factory::NewStringFromTwoByte(Vector<const uc16> string,
296 PretenureFlag pretenure) {
297 int length = string.length();
298 const uc16* start = string.start();
299 if (String::IsOneByte(start, length)) {
300 if (length == 1) return LookupSingleCharacterStringFromCode(string[0]);
301 Handle<SeqOneByteString> result;
302 ASSIGN_RETURN_ON_EXCEPTION(
303 isolate(),
304 result,
305 NewRawOneByteString(length, pretenure),
306 String);
307 CopyChars(result->GetChars(), start, length);
308 return result;
309 } else {
310 Handle<SeqTwoByteString> result;
311 ASSIGN_RETURN_ON_EXCEPTION(
312 isolate(),
313 result,
314 NewRawTwoByteString(length, pretenure),
315 String);
316 CopyChars(result->GetChars(), start, length);
317 return result;
318 }
319}
320
321
322Handle<String> Factory::NewInternalizedStringFromUtf8(Vector<const char> str,
323 int chars,
324 uint32_t hash_field) {
325 CALL_HEAP_FUNCTION(
326 isolate(),
327 isolate()->heap()->AllocateInternalizedStringFromUtf8(
328 str, chars, hash_field),
329 String);
330}
331
332
333MUST_USE_RESULT Handle<String> Factory::NewOneByteInternalizedString(
334 Vector<const uint8_t> str,
335 uint32_t hash_field) {
336 CALL_HEAP_FUNCTION(
337 isolate(),
338 isolate()->heap()->AllocateOneByteInternalizedString(str, hash_field),
339 String);
340}
341
342
343MUST_USE_RESULT Handle<String> Factory::NewOneByteInternalizedSubString(
344 Handle<SeqOneByteString> string, int offset, int length,
345 uint32_t hash_field) {
346 CALL_HEAP_FUNCTION(
347 isolate(), isolate()->heap()->AllocateOneByteInternalizedString(
348 Vector<const uint8_t>(string->GetChars() + offset, length),
349 hash_field),
350 String);
351}
352
353
354MUST_USE_RESULT Handle<String> Factory::NewTwoByteInternalizedString(
355 Vector<const uc16> str,
356 uint32_t hash_field) {
357 CALL_HEAP_FUNCTION(
358 isolate(),
359 isolate()->heap()->AllocateTwoByteInternalizedString(str, hash_field),
360 String);
361}
362
363
364Handle<String> Factory::NewInternalizedStringImpl(
365 Handle<String> string, int chars, uint32_t hash_field) {
366 CALL_HEAP_FUNCTION(
367 isolate(),
368 isolate()->heap()->AllocateInternalizedStringImpl(
369 *string, chars, hash_field),
370 String);
371}
372
373
374MaybeHandle<Map> Factory::InternalizedStringMapForString(
375 Handle<String> string) {
376 // If the string is in new space it cannot be used as internalized.
377 if (isolate()->heap()->InNewSpace(*string)) return MaybeHandle<Map>();
378
379 // Find the corresponding internalized string map for strings.
380 switch (string->map()->instance_type()) {
381 case STRING_TYPE: return internalized_string_map();
382 case ONE_BYTE_STRING_TYPE:
383 return one_byte_internalized_string_map();
384 case EXTERNAL_STRING_TYPE: return external_internalized_string_map();
385 case EXTERNAL_ONE_BYTE_STRING_TYPE:
386 return external_one_byte_internalized_string_map();
387 case EXTERNAL_STRING_WITH_ONE_BYTE_DATA_TYPE:
388 return external_internalized_string_with_one_byte_data_map();
389 case SHORT_EXTERNAL_STRING_TYPE:
390 return short_external_internalized_string_map();
391 case SHORT_EXTERNAL_ONE_BYTE_STRING_TYPE:
392 return short_external_one_byte_internalized_string_map();
393 case SHORT_EXTERNAL_STRING_WITH_ONE_BYTE_DATA_TYPE:
394 return short_external_internalized_string_with_one_byte_data_map();
395 default: return MaybeHandle<Map>(); // No match found.
396 }
397}
398
399
400MaybeHandle<SeqOneByteString> Factory::NewRawOneByteString(
401 int length, PretenureFlag pretenure) {
402 if (length > String::kMaxLength || length < 0) {
403 THROW_NEW_ERROR(isolate(), NewInvalidStringLengthError(), SeqOneByteString);
404 }
405 CALL_HEAP_FUNCTION(
406 isolate(),
407 isolate()->heap()->AllocateRawOneByteString(length, pretenure),
408 SeqOneByteString);
409}
410
411
412MaybeHandle<SeqTwoByteString> Factory::NewRawTwoByteString(
413 int length, PretenureFlag pretenure) {
414 if (length > String::kMaxLength || length < 0) {
415 THROW_NEW_ERROR(isolate(), NewInvalidStringLengthError(), SeqTwoByteString);
416 }
Steve Block44f0eee2011-05-26 01:26:41 +0100417 CALL_HEAP_FUNCTION(
418 isolate(),
419 isolate()->heap()->AllocateRawTwoByteString(length, pretenure),
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000420 SeqTwoByteString);
Steve Blocka7e24c12009-10-30 11:49:00 +0000421}
422
423
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000424Handle<String> Factory::LookupSingleCharacterStringFromCode(uint32_t code) {
425 if (code <= String::kMaxOneByteCharCodeU) {
426 {
427 DisallowHeapAllocation no_allocation;
428 Object* value = single_character_string_cache()->get(code);
429 if (value != *undefined_value()) {
430 return handle(String::cast(value), isolate());
431 }
432 }
433 uint8_t buffer[1];
434 buffer[0] = static_cast<uint8_t>(code);
435 Handle<String> result =
436 InternalizeOneByteString(Vector<const uint8_t>(buffer, 1));
437 single_character_string_cache()->set(code, *result);
438 return result;
439 }
440 DCHECK(code <= String::kMaxUtf16CodeUnitU);
441
442 Handle<SeqTwoByteString> result = NewRawTwoByteString(1).ToHandleChecked();
443 result->SeqTwoByteStringSet(0, static_cast<uint16_t>(code));
444 return result;
Steve Blocka7e24c12009-10-30 11:49:00 +0000445}
446
447
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000448// Returns true for a character in a range. Both limits are inclusive.
449static inline bool Between(uint32_t character, uint32_t from, uint32_t to) {
450 // This makes uses of the the unsigned wraparound.
451 return character - from <= to - from;
452}
453
454
455static inline Handle<String> MakeOrFindTwoCharacterString(Isolate* isolate,
456 uint16_t c1,
457 uint16_t c2) {
458 // Numeric strings have a different hash algorithm not known by
459 // LookupTwoCharsStringIfExists, so we skip this step for such strings.
460 if (!Between(c1, '0', '9') || !Between(c2, '0', '9')) {
461 Handle<String> result;
462 if (StringTable::LookupTwoCharsStringIfExists(isolate, c1, c2).
463 ToHandle(&result)) {
464 return result;
465 }
466 }
467
468 // Now we know the length is 2, we might as well make use of that fact
469 // when building the new string.
470 if (static_cast<unsigned>(c1 | c2) <= String::kMaxOneByteCharCodeU) {
471 // We can do this.
472 DCHECK(base::bits::IsPowerOfTwo32(String::kMaxOneByteCharCodeU +
473 1)); // because of this.
474 Handle<SeqOneByteString> str =
475 isolate->factory()->NewRawOneByteString(2).ToHandleChecked();
476 uint8_t* dest = str->GetChars();
477 dest[0] = static_cast<uint8_t>(c1);
478 dest[1] = static_cast<uint8_t>(c2);
479 return str;
480 } else {
481 Handle<SeqTwoByteString> str =
482 isolate->factory()->NewRawTwoByteString(2).ToHandleChecked();
483 uc16* dest = str->GetChars();
484 dest[0] = c1;
485 dest[1] = c2;
486 return str;
487 }
488}
489
490
491template<typename SinkChar, typename StringType>
492Handle<String> ConcatStringContent(Handle<StringType> result,
493 Handle<String> first,
494 Handle<String> second) {
495 DisallowHeapAllocation pointer_stays_valid;
496 SinkChar* sink = result->GetChars();
497 String::WriteToFlat(*first, sink, 0, first->length());
498 String::WriteToFlat(*second, sink + first->length(), 0, second->length());
499 return result;
500}
501
502
503MaybeHandle<String> Factory::NewConsString(Handle<String> left,
504 Handle<String> right) {
505 int left_length = left->length();
506 if (left_length == 0) return right;
507 int right_length = right->length();
508 if (right_length == 0) return left;
509
510 int length = left_length + right_length;
511
512 if (length == 2) {
513 uint16_t c1 = left->Get(0);
514 uint16_t c2 = right->Get(0);
515 return MakeOrFindTwoCharacterString(isolate(), c1, c2);
516 }
517
518 // Make sure that an out of memory exception is thrown if the length
519 // of the new cons string is too large.
520 if (length > String::kMaxLength || length < 0) {
521 THROW_NEW_ERROR(isolate(), NewInvalidStringLengthError(), String);
522 }
523
524 bool left_is_one_byte = left->IsOneByteRepresentation();
525 bool right_is_one_byte = right->IsOneByteRepresentation();
526 bool is_one_byte = left_is_one_byte && right_is_one_byte;
527 bool is_one_byte_data_in_two_byte_string = false;
528 if (!is_one_byte) {
529 // At least one of the strings uses two-byte representation so we
530 // can't use the fast case code for short one-byte strings below, but
531 // we can try to save memory if all chars actually fit in one-byte.
532 is_one_byte_data_in_two_byte_string =
533 left->HasOnlyOneByteChars() && right->HasOnlyOneByteChars();
534 if (is_one_byte_data_in_two_byte_string) {
535 isolate()->counters()->string_add_runtime_ext_to_one_byte()->Increment();
536 }
537 }
538
539 // If the resulting string is small make a flat string.
540 if (length < ConsString::kMinLength) {
541 // Note that neither of the two inputs can be a slice because:
542 STATIC_ASSERT(ConsString::kMinLength <= SlicedString::kMinLength);
543 DCHECK(left->IsFlat());
544 DCHECK(right->IsFlat());
545
546 STATIC_ASSERT(ConsString::kMinLength <= String::kMaxLength);
547 if (is_one_byte) {
548 Handle<SeqOneByteString> result =
549 NewRawOneByteString(length).ToHandleChecked();
550 DisallowHeapAllocation no_gc;
551 uint8_t* dest = result->GetChars();
552 // Copy left part.
553 const uint8_t* src =
554 left->IsExternalString()
555 ? Handle<ExternalOneByteString>::cast(left)->GetChars()
556 : Handle<SeqOneByteString>::cast(left)->GetChars();
557 for (int i = 0; i < left_length; i++) *dest++ = src[i];
558 // Copy right part.
559 src = right->IsExternalString()
560 ? Handle<ExternalOneByteString>::cast(right)->GetChars()
561 : Handle<SeqOneByteString>::cast(right)->GetChars();
562 for (int i = 0; i < right_length; i++) *dest++ = src[i];
563 return result;
564 }
565
566 return (is_one_byte_data_in_two_byte_string)
567 ? ConcatStringContent<uint8_t>(
568 NewRawOneByteString(length).ToHandleChecked(), left, right)
569 : ConcatStringContent<uc16>(
570 NewRawTwoByteString(length).ToHandleChecked(), left, right);
571 }
572
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000573 Handle<ConsString> result =
574 (is_one_byte || is_one_byte_data_in_two_byte_string)
575 ? New<ConsString>(cons_one_byte_string_map(), NEW_SPACE)
576 : New<ConsString>(cons_string_map(), NEW_SPACE);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000577
578 DisallowHeapAllocation no_gc;
579 WriteBarrierMode mode = result->GetWriteBarrierMode(no_gc);
580
581 result->set_hash_field(String::kEmptyHashField);
582 result->set_length(length);
583 result->set_first(*left, mode);
584 result->set_second(*right, mode);
585 return result;
Steve Blocka7e24c12009-10-30 11:49:00 +0000586}
587
588
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000589Handle<String> Factory::NewProperSubString(Handle<String> str,
590 int begin,
591 int end) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000592#if VERIFY_HEAP
593 if (FLAG_verify_heap) str->StringVerify();
594#endif
595 DCHECK(begin > 0 || end < str->length());
596
597 str = String::Flatten(str);
598
599 int length = end - begin;
600 if (length <= 0) return empty_string();
601 if (length == 1) {
602 return LookupSingleCharacterStringFromCode(str->Get(begin));
603 }
604 if (length == 2) {
605 // Optimization for 2-byte strings often used as keys in a decompression
606 // dictionary. Check whether we already have the string in the string
607 // table to prevent creation of many unnecessary strings.
608 uint16_t c1 = str->Get(begin);
609 uint16_t c2 = str->Get(begin + 1);
610 return MakeOrFindTwoCharacterString(isolate(), c1, c2);
611 }
612
613 if (!FLAG_string_slices || length < SlicedString::kMinLength) {
614 if (str->IsOneByteRepresentation()) {
615 Handle<SeqOneByteString> result =
616 NewRawOneByteString(length).ToHandleChecked();
617 uint8_t* dest = result->GetChars();
618 DisallowHeapAllocation no_gc;
619 String::WriteToFlat(*str, dest, begin, end);
620 return result;
621 } else {
622 Handle<SeqTwoByteString> result =
623 NewRawTwoByteString(length).ToHandleChecked();
624 uc16* dest = result->GetChars();
625 DisallowHeapAllocation no_gc;
626 String::WriteToFlat(*str, dest, begin, end);
627 return result;
628 }
629 }
630
631 int offset = begin;
632
633 if (str->IsSlicedString()) {
634 Handle<SlicedString> slice = Handle<SlicedString>::cast(str);
635 str = Handle<String>(slice->parent(), isolate());
636 offset += slice->offset();
637 }
638
639 DCHECK(str->IsSeqString() || str->IsExternalString());
640 Handle<Map> map = str->IsOneByteRepresentation()
641 ? sliced_one_byte_string_map()
642 : sliced_string_map();
643 Handle<SlicedString> slice = New<SlicedString>(map, NEW_SPACE);
644
645 slice->set_hash_field(String::kEmptyHashField);
646 slice->set_length(length);
647 slice->set_parent(*str);
648 slice->set_offset(offset);
649 return slice;
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000650}
651
652
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000653MaybeHandle<String> Factory::NewExternalStringFromOneByte(
654 const ExternalOneByteString::Resource* resource) {
655 size_t length = resource->length();
656 if (length > static_cast<size_t>(String::kMaxLength)) {
657 THROW_NEW_ERROR(isolate(), NewInvalidStringLengthError(), String);
658 }
659
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000660 Handle<Map> map;
661 if (resource->IsCompressible()) {
662 // TODO(hajimehoshi): Rename this to 'uncached_external_one_byte_string_map'
663 map = short_external_one_byte_string_map();
664 } else {
665 map = external_one_byte_string_map();
666 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000667 Handle<ExternalOneByteString> external_string =
668 New<ExternalOneByteString>(map, NEW_SPACE);
669 external_string->set_length(static_cast<int>(length));
670 external_string->set_hash_field(String::kEmptyHashField);
671 external_string->set_resource(resource);
672
673 return external_string;
Steve Blocka7e24c12009-10-30 11:49:00 +0000674}
675
676
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000677MaybeHandle<String> Factory::NewExternalStringFromTwoByte(
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100678 const ExternalTwoByteString::Resource* resource) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000679 size_t length = resource->length();
680 if (length > static_cast<size_t>(String::kMaxLength)) {
681 THROW_NEW_ERROR(isolate(), NewInvalidStringLengthError(), String);
682 }
683
684 // For small strings we check whether the resource contains only
685 // one byte characters. If yes, we use a different string map.
686 static const size_t kOneByteCheckLengthLimit = 32;
687 bool is_one_byte = length <= kOneByteCheckLengthLimit &&
688 String::IsOneByte(resource->data(), static_cast<int>(length));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000689 Handle<Map> map;
690 if (resource->IsCompressible()) {
691 // TODO(hajimehoshi): Rename these to 'uncached_external_string_...'.
692 map = is_one_byte ? short_external_string_with_one_byte_data_map()
693 : short_external_string_map();
694 } else {
695 map = is_one_byte ? external_string_with_one_byte_data_map()
696 : external_string_map();
697 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000698 Handle<ExternalTwoByteString> external_string =
699 New<ExternalTwoByteString>(map, NEW_SPACE);
700 external_string->set_length(static_cast<int>(length));
701 external_string->set_hash_field(String::kEmptyHashField);
702 external_string->set_resource(resource);
703
704 return external_string;
Steve Blocka7e24c12009-10-30 11:49:00 +0000705}
706
707
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000708Handle<Symbol> Factory::NewSymbol() {
Steve Block44f0eee2011-05-26 01:26:41 +0100709 CALL_HEAP_FUNCTION(
710 isolate(),
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000711 isolate()->heap()->AllocateSymbol(),
712 Symbol);
713}
714
715
716Handle<Symbol> Factory::NewPrivateSymbol() {
717 Handle<Symbol> symbol = NewSymbol();
718 symbol->set_is_private(true);
719 return symbol;
720}
721
722
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000723Handle<Context> Factory::NewNativeContext() {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000724 Handle<FixedArray> array =
725 NewFixedArray(Context::NATIVE_CONTEXT_SLOTS, TENURED);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000726 array->set_map_no_write_barrier(*native_context_map());
727 Handle<Context> context = Handle<Context>::cast(array);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000728 context->set_native_context(*context);
729 context->set_errors_thrown(Smi::FromInt(0));
730 Handle<WeakCell> weak_cell = NewWeakCell(context);
731 context->set_self_weak_cell(*weak_cell);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000732 DCHECK(context->IsNativeContext());
733 return context;
734}
735
736
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400737Handle<Context> Factory::NewScriptContext(Handle<JSFunction> function,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000738 Handle<ScopeInfo> scope_info) {
739 Handle<FixedArray> array =
740 NewFixedArray(scope_info->ContextLength(), TENURED);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400741 array->set_map_no_write_barrier(*script_context_map());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000742 Handle<Context> context = Handle<Context>::cast(array);
743 context->set_closure(*function);
744 context->set_previous(function->context());
745 context->set_extension(*scope_info);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000746 context->set_native_context(function->native_context());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400747 DCHECK(context->IsScriptContext());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000748 return context;
749}
750
751
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400752Handle<ScriptContextTable> Factory::NewScriptContextTable() {
753 Handle<FixedArray> array = NewFixedArray(1);
754 array->set_map_no_write_barrier(*script_context_table_map());
755 Handle<ScriptContextTable> context_table =
756 Handle<ScriptContextTable>::cast(array);
757 context_table->set_used(0);
758 return context_table;
759}
760
761
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000762Handle<Context> Factory::NewModuleContext(Handle<ScopeInfo> scope_info) {
763 Handle<FixedArray> array =
764 NewFixedArray(scope_info->ContextLength(), TENURED);
765 array->set_map_no_write_barrier(*module_context_map());
766 // Instance link will be set later.
767 Handle<Context> context = Handle<Context>::cast(array);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000768 context->set_extension(*the_hole_value());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000769 return context;
Steve Blocka7e24c12009-10-30 11:49:00 +0000770}
771
772
773Handle<Context> Factory::NewFunctionContext(int length,
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000774 Handle<JSFunction> function) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000775 DCHECK(length >= Context::MIN_CONTEXT_SLOTS);
776 Handle<FixedArray> array = NewFixedArray(length);
777 array->set_map_no_write_barrier(*function_context_map());
778 Handle<Context> context = Handle<Context>::cast(array);
779 context->set_closure(*function);
780 context->set_previous(function->context());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000781 context->set_extension(*the_hole_value());
782 context->set_native_context(function->native_context());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000783 return context;
Steve Blocka7e24c12009-10-30 11:49:00 +0000784}
785
786
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000787Handle<Context> Factory::NewCatchContext(Handle<JSFunction> function,
788 Handle<Context> previous,
789 Handle<String> name,
790 Handle<Object> thrown_object) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000791 STATIC_ASSERT(Context::MIN_CONTEXT_SLOTS == Context::THROWN_OBJECT_INDEX);
792 Handle<FixedArray> array = NewFixedArray(Context::MIN_CONTEXT_SLOTS + 1);
793 array->set_map_no_write_barrier(*catch_context_map());
794 Handle<Context> context = Handle<Context>::cast(array);
795 context->set_closure(*function);
796 context->set_previous(*previous);
797 context->set_extension(*name);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000798 context->set_native_context(previous->native_context());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000799 context->set(Context::THROWN_OBJECT_INDEX, *thrown_object);
800 return context;
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000801}
802
Ben Murdochda12d292016-06-02 14:46:10 +0100803Handle<Context> Factory::NewDebugEvaluateContext(Handle<Context> previous,
804 Handle<JSReceiver> extension,
805 Handle<Context> wrapped,
806 Handle<StringSet> whitelist) {
807 STATIC_ASSERT(Context::WHITE_LIST_INDEX == Context::MIN_CONTEXT_SLOTS + 1);
808 Handle<FixedArray> array = NewFixedArray(Context::MIN_CONTEXT_SLOTS + 2);
809 array->set_map_no_write_barrier(*debug_evaluate_context_map());
810 Handle<Context> c = Handle<Context>::cast(array);
811 c->set_closure(wrapped.is_null() ? previous->closure() : wrapped->closure());
812 c->set_previous(*previous);
813 c->set_native_context(previous->native_context());
814 if (!extension.is_null()) c->set(Context::EXTENSION_INDEX, *extension);
815 if (!wrapped.is_null()) c->set(Context::WRAPPED_CONTEXT_INDEX, *wrapped);
816 if (!whitelist.is_null()) c->set(Context::WHITE_LIST_INDEX, *whitelist);
817 return c;
818}
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000819
820Handle<Context> Factory::NewWithContext(Handle<JSFunction> function,
821 Handle<Context> previous,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000822 Handle<JSReceiver> extension) {
823 Handle<FixedArray> array = NewFixedArray(Context::MIN_CONTEXT_SLOTS);
824 array->set_map_no_write_barrier(*with_context_map());
825 Handle<Context> context = Handle<Context>::cast(array);
826 context->set_closure(*function);
827 context->set_previous(*previous);
828 context->set_extension(*extension);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000829 context->set_native_context(previous->native_context());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000830 return context;
Steve Blocka7e24c12009-10-30 11:49:00 +0000831}
832
833
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000834Handle<Context> Factory::NewBlockContext(Handle<JSFunction> function,
835 Handle<Context> previous,
836 Handle<ScopeInfo> scope_info) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000837 Handle<FixedArray> array = NewFixedArray(scope_info->ContextLength());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000838 array->set_map_no_write_barrier(*block_context_map());
839 Handle<Context> context = Handle<Context>::cast(array);
840 context->set_closure(*function);
841 context->set_previous(*previous);
842 context->set_extension(*scope_info);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000843 context->set_native_context(previous->native_context());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000844 return context;
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000845}
846
847
Steve Blocka7e24c12009-10-30 11:49:00 +0000848Handle<Struct> Factory::NewStruct(InstanceType type) {
Steve Block44f0eee2011-05-26 01:26:41 +0100849 CALL_HEAP_FUNCTION(
850 isolate(),
851 isolate()->heap()->AllocateStruct(type),
852 Struct);
Steve Blocka7e24c12009-10-30 11:49:00 +0000853}
854
855
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000856Handle<AliasedArgumentsEntry> Factory::NewAliasedArgumentsEntry(
857 int aliased_context_slot) {
858 Handle<AliasedArgumentsEntry> entry = Handle<AliasedArgumentsEntry>::cast(
859 NewStruct(ALIASED_ARGUMENTS_ENTRY_TYPE));
860 entry->set_aliased_context_slot(aliased_context_slot);
861 return entry;
862}
863
864
Ben Murdoch097c5b22016-05-18 11:27:45 +0100865Handle<AccessorInfo> Factory::NewAccessorInfo() {
866 Handle<AccessorInfo> info =
867 Handle<AccessorInfo>::cast(NewStruct(ACCESSOR_INFO_TYPE));
Steve Blocka7e24c12009-10-30 11:49:00 +0000868 info->set_flag(0); // Must clear the flag, it was initialized as undefined.
Ben Murdochda12d292016-06-02 14:46:10 +0100869 info->set_is_sloppy(true);
Steve Blocka7e24c12009-10-30 11:49:00 +0000870 return info;
871}
872
873
874Handle<Script> Factory::NewScript(Handle<String> source) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000875 // Create and initialize script object.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000876 Heap* heap = isolate()->heap();
Steve Blocka7e24c12009-10-30 11:49:00 +0000877 Handle<Script> script = Handle<Script>::cast(NewStruct(SCRIPT_TYPE));
878 script->set_source(*source);
Steve Block44f0eee2011-05-26 01:26:41 +0100879 script->set_name(heap->undefined_value());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000880 script->set_id(isolate()->heap()->NextScriptId());
881 script->set_line_offset(0);
882 script->set_column_offset(0);
Steve Block44f0eee2011-05-26 01:26:41 +0100883 script->set_context_data(heap->undefined_value());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000884 script->set_type(Script::TYPE_NORMAL);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400885 script->set_wrapper(heap->undefined_value());
Steve Block44f0eee2011-05-26 01:26:41 +0100886 script->set_line_ends(heap->undefined_value());
887 script->set_eval_from_shared(heap->undefined_value());
Ben Murdochc5610432016-08-08 18:44:38 +0100888 script->set_eval_from_position(0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000889 script->set_shared_function_infos(Smi::FromInt(0));
890 script->set_flags(0);
Steve Blocka7e24c12009-10-30 11:49:00 +0000891
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000892 heap->set_script_list(*WeakFixedArray::Add(script_list(), script));
Steve Blocka7e24c12009-10-30 11:49:00 +0000893 return script;
894}
895
896
Ben Murdoch257744e2011-11-30 15:57:28 +0000897Handle<Foreign> Factory::NewForeign(Address addr, PretenureFlag pretenure) {
Steve Block44f0eee2011-05-26 01:26:41 +0100898 CALL_HEAP_FUNCTION(isolate(),
Ben Murdoch257744e2011-11-30 15:57:28 +0000899 isolate()->heap()->AllocateForeign(addr, pretenure),
900 Foreign);
Steve Blocka7e24c12009-10-30 11:49:00 +0000901}
902
903
Ben Murdoch257744e2011-11-30 15:57:28 +0000904Handle<Foreign> Factory::NewForeign(const AccessorDescriptor* desc) {
905 return NewForeign((Address) desc, TENURED);
Steve Blocka7e24c12009-10-30 11:49:00 +0000906}
907
908
909Handle<ByteArray> Factory::NewByteArray(int length, PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000910 DCHECK(0 <= length);
Steve Block44f0eee2011-05-26 01:26:41 +0100911 CALL_HEAP_FUNCTION(
912 isolate(),
913 isolate()->heap()->AllocateByteArray(length, pretenure),
914 ByteArray);
Steve Blocka7e24c12009-10-30 11:49:00 +0000915}
916
917
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000918Handle<BytecodeArray> Factory::NewBytecodeArray(
919 int length, const byte* raw_bytecodes, int frame_size, int parameter_count,
920 Handle<FixedArray> constant_pool) {
921 DCHECK(0 <= length);
922 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->AllocateBytecodeArray(
923 length, raw_bytecodes, frame_size,
924 parameter_count, *constant_pool),
925 BytecodeArray);
926}
927
928
929Handle<FixedTypedArrayBase> Factory::NewFixedTypedArrayWithExternalPointer(
930 int length, ExternalArrayType array_type, void* external_pointer,
931 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000932 DCHECK(0 <= length && length <= Smi::kMaxValue);
Steve Block44f0eee2011-05-26 01:26:41 +0100933 CALL_HEAP_FUNCTION(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000934 isolate(), isolate()->heap()->AllocateFixedTypedArrayWithExternalPointer(
935 length, array_type, external_pointer, pretenure),
936 FixedTypedArrayBase);
Steve Block3ce2e202009-11-05 08:53:23 +0000937}
938
939
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000940Handle<FixedTypedArrayBase> Factory::NewFixedTypedArray(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000941 int length, ExternalArrayType array_type, bool initialize,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000942 PretenureFlag pretenure) {
943 DCHECK(0 <= length && length <= Smi::kMaxValue);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000944 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->AllocateFixedTypedArray(
945 length, array_type, initialize, pretenure),
946 FixedTypedArrayBase);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000947}
948
949
950Handle<Cell> Factory::NewCell(Handle<Object> value) {
951 AllowDeferredHandleDereference convert_to_cell;
952 CALL_HEAP_FUNCTION(
953 isolate(),
954 isolate()->heap()->AllocateCell(*value),
955 Cell);
956}
957
958
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000959Handle<PropertyCell> Factory::NewPropertyCell() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000960 CALL_HEAP_FUNCTION(
961 isolate(),
962 isolate()->heap()->AllocatePropertyCell(),
963 PropertyCell);
964}
965
966
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400967Handle<WeakCell> Factory::NewWeakCell(Handle<HeapObject> value) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000968 // It is safe to dereference the value because we are embedding it
969 // in cell and not inspecting its fields.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400970 AllowDeferredHandleDereference convert_to_cell;
971 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->AllocateWeakCell(*value),
972 WeakCell);
973}
974
975
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000976Handle<TransitionArray> Factory::NewTransitionArray(int capacity) {
977 CALL_HEAP_FUNCTION(isolate(),
978 isolate()->heap()->AllocateTransitionArray(capacity),
979 TransitionArray);
980}
981
982
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000983Handle<AllocationSite> Factory::NewAllocationSite() {
984 Handle<Map> map = allocation_site_map();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000985 Handle<AllocationSite> site = New<AllocationSite>(map, OLD_SPACE);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000986 site->Initialize();
987
988 // Link the site
989 site->set_weak_next(isolate()->heap()->allocation_sites_list());
990 isolate()->heap()->set_allocation_sites_list(*site);
991 return site;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100992}
993
994
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100995Handle<Map> Factory::NewMap(InstanceType type,
996 int instance_size,
997 ElementsKind elements_kind) {
Steve Block44f0eee2011-05-26 01:26:41 +0100998 CALL_HEAP_FUNCTION(
999 isolate(),
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001000 isolate()->heap()->AllocateMap(type, instance_size, elements_kind),
Steve Block44f0eee2011-05-26 01:26:41 +01001001 Map);
Steve Blocka7e24c12009-10-30 11:49:00 +00001002}
1003
1004
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001005Handle<JSObject> Factory::CopyJSObject(Handle<JSObject> object) {
1006 CALL_HEAP_FUNCTION(isolate(),
1007 isolate()->heap()->CopyJSObject(*object, NULL),
1008 JSObject);
Steve Blocka7e24c12009-10-30 11:49:00 +00001009}
1010
1011
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001012Handle<JSObject> Factory::CopyJSObjectWithAllocationSite(
1013 Handle<JSObject> object,
1014 Handle<AllocationSite> site) {
1015 CALL_HEAP_FUNCTION(isolate(),
1016 isolate()->heap()->CopyJSObject(
1017 *object,
1018 site.is_null() ? NULL : *site),
1019 JSObject);
Steve Blocka7e24c12009-10-30 11:49:00 +00001020}
1021
1022
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001023Handle<FixedArray> Factory::CopyFixedArrayWithMap(Handle<FixedArray> array,
1024 Handle<Map> map) {
1025 CALL_HEAP_FUNCTION(isolate(),
1026 isolate()->heap()->CopyFixedArrayWithMap(*array, *map),
1027 FixedArray);
Steve Block1e0659c2011-05-24 12:43:12 +01001028}
1029
1030
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001031Handle<FixedArray> Factory::CopyFixedArrayAndGrow(Handle<FixedArray> array,
1032 int grow_by,
1033 PretenureFlag pretenure) {
1034 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->CopyFixedArrayAndGrow(
1035 *array, grow_by, pretenure),
1036 FixedArray);
1037}
1038
Ben Murdoch097c5b22016-05-18 11:27:45 +01001039Handle<FixedArray> Factory::CopyFixedArrayUpTo(Handle<FixedArray> array,
1040 int new_len,
1041 PretenureFlag pretenure) {
1042 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->CopyFixedArrayUpTo(
1043 *array, new_len, pretenure),
1044 FixedArray);
1045}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001046
Steve Blocka7e24c12009-10-30 11:49:00 +00001047Handle<FixedArray> Factory::CopyFixedArray(Handle<FixedArray> array) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001048 CALL_HEAP_FUNCTION(isolate(),
1049 isolate()->heap()->CopyFixedArray(*array),
1050 FixedArray);
1051}
1052
1053
1054Handle<FixedArray> Factory::CopyAndTenureFixedCOWArray(
1055 Handle<FixedArray> array) {
1056 DCHECK(isolate()->heap()->InNewSpace(*array));
1057 CALL_HEAP_FUNCTION(isolate(),
1058 isolate()->heap()->CopyAndTenureFixedCOWArray(*array),
1059 FixedArray);
Steve Blocka7e24c12009-10-30 11:49:00 +00001060}
1061
1062
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001063Handle<FixedDoubleArray> Factory::CopyFixedDoubleArray(
1064 Handle<FixedDoubleArray> array) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001065 CALL_HEAP_FUNCTION(isolate(),
1066 isolate()->heap()->CopyFixedDoubleArray(*array),
1067 FixedDoubleArray);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001068}
1069
1070
Steve Blocka7e24c12009-10-30 11:49:00 +00001071Handle<Object> Factory::NewNumber(double value,
1072 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001073 // We need to distinguish the minus zero value and this cannot be
1074 // done after conversion to int. Doing this by comparing bit
1075 // patterns is faster than using fpclassify() et al.
1076 if (IsMinusZero(value)) return NewHeapNumber(-0.0, IMMUTABLE, pretenure);
1077
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001078 int int_value = FastD2IChecked(value);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001079 if (value == int_value && Smi::IsValid(int_value)) {
1080 return handle(Smi::FromInt(int_value), isolate());
1081 }
1082
1083 // Materialize the value in the heap.
1084 return NewHeapNumber(value, IMMUTABLE, pretenure);
Steve Blocka7e24c12009-10-30 11:49:00 +00001085}
1086
1087
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001088Handle<Object> Factory::NewNumberFromInt(int32_t value,
1089 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001090 if (Smi::IsValid(value)) return handle(Smi::FromInt(value), isolate());
1091 // Bypass NewNumber to avoid various redundant checks.
1092 return NewHeapNumber(FastI2D(value), IMMUTABLE, pretenure);
Steve Blocka7e24c12009-10-30 11:49:00 +00001093}
1094
1095
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001096Handle<Object> Factory::NewNumberFromUint(uint32_t value,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001097 PretenureFlag pretenure) {
1098 int32_t int32v = static_cast<int32_t>(value);
1099 if (int32v >= 0 && Smi::IsValid(int32v)) {
1100 return handle(Smi::FromInt(int32v), isolate());
1101 }
1102 return NewHeapNumber(FastUI2D(value), IMMUTABLE, pretenure);
1103}
1104
1105
1106Handle<HeapNumber> Factory::NewHeapNumber(double value,
1107 MutableMode mode,
1108 PretenureFlag pretenure) {
Steve Block44f0eee2011-05-26 01:26:41 +01001109 CALL_HEAP_FUNCTION(
1110 isolate(),
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001111 isolate()->heap()->AllocateHeapNumber(value, mode, pretenure),
1112 HeapNumber);
Steve Blocka7e24c12009-10-30 11:49:00 +00001113}
1114
1115
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001116#define SIMD128_NEW_DEF(TYPE, Type, type, lane_count, lane_type) \
1117 Handle<Type> Factory::New##Type(lane_type lanes[lane_count], \
1118 PretenureFlag pretenure) { \
1119 CALL_HEAP_FUNCTION( \
1120 isolate(), isolate()->heap()->Allocate##Type(lanes, pretenure), Type); \
Steve Blocka7e24c12009-10-30 11:49:00 +00001121 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001122SIMD128_TYPES(SIMD128_NEW_DEF)
1123#undef SIMD128_NEW_DEF
Steve Blocka7e24c12009-10-30 11:49:00 +00001124
1125
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001126Handle<Object> Factory::NewError(Handle<JSFunction> constructor,
1127 MessageTemplate::Template template_index,
1128 Handle<Object> arg0, Handle<Object> arg1,
1129 Handle<Object> arg2) {
1130 HandleScope scope(isolate());
1131 if (isolate()->bootstrapper()->IsActive()) {
1132 // During bootstrapping we cannot construct error objects.
1133 return scope.CloseAndEscape(NewStringFromAsciiChecked(
1134 MessageTemplate::TemplateString(template_index)));
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001135 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001136
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001137 Handle<JSFunction> fun = isolate()->make_error_function();
1138 Handle<Object> message_type(Smi::FromInt(template_index), isolate());
1139 if (arg0.is_null()) arg0 = undefined_value();
1140 if (arg1.is_null()) arg1 = undefined_value();
1141 if (arg2.is_null()) arg2 = undefined_value();
1142 Handle<Object> argv[] = {constructor, message_type, arg0, arg1, arg2};
Steve Blocka7e24c12009-10-30 11:49:00 +00001143
1144 // Invoke the JavaScript factory method. If an exception is thrown while
1145 // running the factory method, use the exception as the result.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001146 Handle<Object> result;
1147 MaybeHandle<Object> exception;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001148 if (!Execution::TryCall(isolate(), fun, undefined_value(), arraysize(argv),
1149 argv, &exception)
1150 .ToHandle(&result)) {
1151 Handle<Object> exception_obj;
1152 if (exception.ToHandle(&exception_obj)) {
1153 result = exception_obj;
1154 } else {
1155 result = undefined_value();
1156 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001157 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001158 return scope.CloseAndEscape(result);
Steve Blocka7e24c12009-10-30 11:49:00 +00001159}
1160
1161
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001162Handle<Object> Factory::NewError(Handle<JSFunction> constructor,
1163 Handle<String> message) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001164 Handle<Object> argv[] = { message };
Steve Blocka7e24c12009-10-30 11:49:00 +00001165
1166 // Invoke the JavaScript factory method. If an exception is thrown while
1167 // running the factory method, use the exception as the result.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001168 Handle<Object> result;
1169 MaybeHandle<Object> exception;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001170 if (!Execution::TryCall(isolate(), constructor, undefined_value(),
1171 arraysize(argv), argv, &exception)
1172 .ToHandle(&result)) {
1173 Handle<Object> exception_obj;
1174 if (exception.ToHandle(&exception_obj)) return exception_obj;
1175 return undefined_value();
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001176 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001177 return result;
1178}
1179
1180
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001181#define DEFINE_ERROR(NAME, name) \
1182 Handle<Object> Factory::New##NAME(MessageTemplate::Template template_index, \
1183 Handle<Object> arg0, Handle<Object> arg1, \
1184 Handle<Object> arg2) { \
1185 return NewError(isolate()->name##_function(), template_index, arg0, arg1, \
1186 arg2); \
1187 }
1188DEFINE_ERROR(Error, error)
1189DEFINE_ERROR(EvalError, eval_error)
1190DEFINE_ERROR(RangeError, range_error)
1191DEFINE_ERROR(ReferenceError, reference_error)
1192DEFINE_ERROR(SyntaxError, syntax_error)
1193DEFINE_ERROR(TypeError, type_error)
1194#undef DEFINE_ERROR
Steve Blocka7e24c12009-10-30 11:49:00 +00001195
1196
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001197Handle<JSFunction> Factory::NewFunction(Handle<Map> map,
1198 Handle<SharedFunctionInfo> info,
1199 Handle<Context> context,
1200 PretenureFlag pretenure) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001201 AllocationSpace space = pretenure == TENURED ? OLD_SPACE : NEW_SPACE;
1202 Handle<JSFunction> function = New<JSFunction>(map, space);
1203
1204 function->initialize_properties();
1205 function->initialize_elements();
1206 function->set_shared(*info);
1207 function->set_code(info->code());
1208 function->set_context(*context);
1209 function->set_prototype_or_initial_map(*the_hole_value());
1210 function->set_literals(LiteralsArray::cast(*empty_fixed_array()));
1211 function->set_next_function_link(*undefined_value(), SKIP_WRITE_BARRIER);
1212 isolate()->heap()->InitializeJSObjectBody(*function, *map, JSFunction::kSize);
1213 return function;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001214}
Steve Blocka7e24c12009-10-30 11:49:00 +00001215
Steve Blocka7e24c12009-10-30 11:49:00 +00001216
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001217Handle<JSFunction> Factory::NewFunction(Handle<Map> map,
1218 Handle<String> name,
1219 MaybeHandle<Code> code) {
1220 Handle<Context> context(isolate()->native_context());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001221 Handle<SharedFunctionInfo> info =
1222 NewSharedFunctionInfo(name, code, map->is_constructor());
1223 DCHECK(is_sloppy(info->language_mode()));
1224 DCHECK(!map->IsUndefined());
1225 DCHECK(
1226 map.is_identical_to(isolate()->sloppy_function_map()) ||
1227 map.is_identical_to(isolate()->sloppy_function_without_prototype_map()) ||
1228 map.is_identical_to(
1229 isolate()->sloppy_function_with_readonly_prototype_map()) ||
1230 map.is_identical_to(isolate()->strict_function_map()) ||
Ben Murdochc5610432016-08-08 18:44:38 +01001231 map.is_identical_to(isolate()->strict_function_without_prototype_map()) ||
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001232 // TODO(titzer): wasm_function_map() could be undefined here. ugly.
1233 (*map == context->get(Context::WASM_FUNCTION_MAP_INDEX)) ||
1234 map.is_identical_to(isolate()->proxy_function_map()));
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001235 return NewFunction(map, info, context);
1236}
Steve Blocka7e24c12009-10-30 11:49:00 +00001237
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001238
1239Handle<JSFunction> Factory::NewFunction(Handle<String> name) {
1240 return NewFunction(
1241 isolate()->sloppy_function_map(), name, MaybeHandle<Code>());
Steve Blocka7e24c12009-10-30 11:49:00 +00001242}
1243
1244
Steve Block6ded16b2010-05-10 14:33:55 +01001245Handle<JSFunction> Factory::NewFunctionWithoutPrototype(Handle<String> name,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001246 Handle<Code> code,
1247 bool is_strict) {
1248 Handle<Map> map = is_strict
1249 ? isolate()->strict_function_without_prototype_map()
1250 : isolate()->sloppy_function_without_prototype_map();
1251 return NewFunction(map, name, code);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001252}
1253
1254
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001255Handle<JSFunction> Factory::NewFunction(Handle<String> name, Handle<Code> code,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001256 Handle<Object> prototype,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001257 bool read_only_prototype,
1258 bool is_strict) {
1259 // In strict mode, readonly strict map is only available during bootstrap
1260 DCHECK(!is_strict || !read_only_prototype ||
1261 isolate()->bootstrapper()->IsActive());
1262 Handle<Map> map =
1263 is_strict ? isolate()->strict_function_map()
1264 : read_only_prototype
1265 ? isolate()->sloppy_function_with_readonly_prototype_map()
1266 : isolate()->sloppy_function_map();
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001267 Handle<JSFunction> result = NewFunction(map, name, code);
1268 result->set_prototype_or_initial_map(*prototype);
1269 return result;
1270}
1271
1272
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001273Handle<JSFunction> Factory::NewFunction(Handle<String> name, Handle<Code> code,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001274 Handle<Object> prototype,
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001275 InstanceType type, int instance_size,
1276 bool read_only_prototype,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001277 bool install_constructor,
1278 bool is_strict) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001279 // Allocate the function
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001280 Handle<JSFunction> function =
1281 NewFunction(name, code, prototype, read_only_prototype, is_strict);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001282
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001283 ElementsKind elements_kind =
1284 type == JS_ARRAY_TYPE ? FAST_SMI_ELEMENTS : FAST_HOLEY_SMI_ELEMENTS;
1285 Handle<Map> initial_map = NewMap(type, instance_size, elements_kind);
1286 if (!function->shared()->is_generator()) {
1287 if (prototype->IsTheHole()) {
1288 prototype = NewFunctionPrototype(function);
1289 } else if (install_constructor) {
1290 JSObject::AddProperty(Handle<JSObject>::cast(prototype),
1291 constructor_string(), function, DONT_ENUM);
1292 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001293 }
1294
1295 JSFunction::SetInitialMap(function, initial_map,
1296 Handle<JSReceiver>::cast(prototype));
1297
Steve Block6ded16b2010-05-10 14:33:55 +01001298 return function;
1299}
1300
1301
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001302Handle<JSFunction> Factory::NewFunction(Handle<String> name,
1303 Handle<Code> code,
1304 InstanceType type,
1305 int instance_size) {
1306 return NewFunction(name, code, the_hole_value(), type, instance_size);
1307}
1308
1309
1310Handle<JSObject> Factory::NewFunctionPrototype(Handle<JSFunction> function) {
1311 // Make sure to use globals from the function's context, since the function
1312 // can be from a different context.
1313 Handle<Context> native_context(function->context()->native_context());
1314 Handle<Map> new_map;
1315 if (function->shared()->is_generator()) {
1316 // Generator prototypes can share maps since they don't have "constructor"
1317 // properties.
1318 new_map = handle(native_context->generator_object_prototype_map());
1319 } else {
1320 // Each function prototype gets a fresh map to avoid unwanted sharing of
1321 // maps between prototypes of different constructors.
1322 Handle<JSFunction> object_function(native_context->object_function());
1323 DCHECK(object_function->has_initial_map());
1324 new_map = handle(object_function->initial_map());
1325 }
1326
1327 DCHECK(!new_map->is_prototype_map());
1328 Handle<JSObject> prototype = NewJSObjectFromMap(new_map);
1329
1330 if (!function->shared()->is_generator()) {
1331 JSObject::AddProperty(prototype, constructor_string(), function, DONT_ENUM);
1332 }
1333
1334 return prototype;
1335}
1336
1337
1338Handle<JSFunction> Factory::NewFunctionFromSharedFunctionInfo(
1339 Handle<SharedFunctionInfo> info,
1340 Handle<Context> context,
1341 PretenureFlag pretenure) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001342 int map_index =
1343 Context::FunctionMapIndex(info->language_mode(), info->kind());
1344 Handle<Map> initial_map(Map::cast(context->native_context()->get(map_index)));
1345
1346 return NewFunctionFromSharedFunctionInfo(initial_map, info, context,
1347 pretenure);
1348}
1349
1350
1351Handle<JSFunction> Factory::NewFunctionFromSharedFunctionInfo(
1352 Handle<Map> initial_map, Handle<SharedFunctionInfo> info,
1353 Handle<Context> context, PretenureFlag pretenure) {
1354 DCHECK_EQ(JS_FUNCTION_TYPE, initial_map->instance_type());
1355 Handle<JSFunction> result =
1356 NewFunction(initial_map, info, context, pretenure);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001357
1358 if (info->ic_age() != isolate()->heap()->global_ic_age()) {
1359 info->ResetForNewContext(isolate()->heap()->global_ic_age());
1360 }
1361
Ben Murdochda12d292016-06-02 14:46:10 +01001362 // Give compiler a chance to pre-initialize.
1363 Compiler::PostInstantiation(result, pretenure);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001364
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001365 return result;
1366}
1367
1368
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001369Handle<ScopeInfo> Factory::NewScopeInfo(int length) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001370 Handle<FixedArray> array = NewFixedArray(length, TENURED);
1371 array->set_map_no_write_barrier(*scope_info_map());
1372 Handle<ScopeInfo> scope_info = Handle<ScopeInfo>::cast(array);
1373 return scope_info;
1374}
1375
1376
1377Handle<JSObject> Factory::NewExternal(void* value) {
1378 Handle<Foreign> foreign = NewForeign(static_cast<Address>(value));
1379 Handle<JSObject> external = NewJSObjectFromMap(external_map());
1380 external->SetInternalField(0, *foreign);
1381 return external;
1382}
1383
1384
1385Handle<Code> Factory::NewCodeRaw(int object_size, bool immovable) {
1386 CALL_HEAP_FUNCTION(isolate(),
1387 isolate()->heap()->AllocateCode(object_size, immovable),
1388 Code);
Ben Murdoch69a99ed2011-11-30 16:03:39 +00001389}
1390
1391
Steve Blocka7e24c12009-10-30 11:49:00 +00001392Handle<Code> Factory::NewCode(const CodeDesc& desc,
Steve Blocka7e24c12009-10-30 11:49:00 +00001393 Code::Flags flags,
Steve Block44f0eee2011-05-26 01:26:41 +01001394 Handle<Object> self_ref,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001395 bool immovable,
1396 bool crankshafted,
1397 int prologue_offset,
1398 bool is_debug) {
1399 Handle<ByteArray> reloc_info = NewByteArray(desc.reloc_size, TENURED);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001400
1401 // Compute size.
1402 int body_size = RoundUp(desc.instr_size, kObjectAlignment);
1403 int obj_size = Code::SizeFor(body_size);
1404
1405 Handle<Code> code = NewCodeRaw(obj_size, immovable);
Ben Murdochc5610432016-08-08 18:44:38 +01001406 DCHECK(isolate()->heap()->memory_allocator()->code_range() == NULL ||
1407 !isolate()->heap()->memory_allocator()->code_range()->valid() ||
1408 isolate()->heap()->memory_allocator()->code_range()->contains(
1409 code->address()) ||
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001410 obj_size <= isolate()->heap()->code_space()->AreaSize());
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001411
1412 // The code object has not been fully initialized yet. We rely on the
1413 // fact that no allocation will happen from this point on.
1414 DisallowHeapAllocation no_gc;
1415 code->set_gc_metadata(Smi::FromInt(0));
1416 code->set_ic_age(isolate()->heap()->global_ic_age());
1417 code->set_instruction_size(desc.instr_size);
1418 code->set_relocation_info(*reloc_info);
1419 code->set_flags(flags);
1420 code->set_raw_kind_specific_flags1(0);
1421 code->set_raw_kind_specific_flags2(0);
1422 code->set_is_crankshafted(crankshafted);
1423 code->set_deoptimization_data(*empty_fixed_array(), SKIP_WRITE_BARRIER);
1424 code->set_raw_type_feedback_info(Smi::FromInt(0));
1425 code->set_next_code_link(*undefined_value());
1426 code->set_handler_table(*empty_fixed_array(), SKIP_WRITE_BARRIER);
1427 code->set_prologue_offset(prologue_offset);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001428 code->set_constant_pool_offset(desc.instr_size - desc.constant_pool_size);
1429
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001430 if (code->kind() == Code::OPTIMIZED_FUNCTION) {
1431 code->set_marked_for_deoptimization(false);
1432 }
1433
1434 if (is_debug) {
1435 DCHECK(code->kind() == Code::FUNCTION);
1436 code->set_has_debug_break_slots(true);
1437 }
1438
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001439 // Allow self references to created code object by patching the handle to
1440 // point to the newly allocated Code object.
1441 if (!self_ref.is_null()) *(self_ref.location()) = *code;
1442
1443 // Migrate generated code.
1444 // The generated code can contain Object** values (typically from handles)
1445 // that are dereferenced during the copy to point directly to the actual heap
1446 // objects. These pointers can include references to the code object itself,
1447 // through the self_reference parameter.
1448 code->CopyFrom(desc);
1449
1450#ifdef VERIFY_HEAP
1451 if (FLAG_verify_heap) code->ObjectVerify();
1452#endif
1453 return code;
Steve Blocka7e24c12009-10-30 11:49:00 +00001454}
1455
1456
1457Handle<Code> Factory::CopyCode(Handle<Code> code) {
Steve Block44f0eee2011-05-26 01:26:41 +01001458 CALL_HEAP_FUNCTION(isolate(),
1459 isolate()->heap()->CopyCode(*code),
1460 Code);
Steve Blocka7e24c12009-10-30 11:49:00 +00001461}
1462
1463
Steve Block6ded16b2010-05-10 14:33:55 +01001464Handle<Code> Factory::CopyCode(Handle<Code> code, Vector<byte> reloc_info) {
Steve Block44f0eee2011-05-26 01:26:41 +01001465 CALL_HEAP_FUNCTION(isolate(),
1466 isolate()->heap()->CopyCode(*code, reloc_info),
1467 Code);
Steve Block6ded16b2010-05-10 14:33:55 +01001468}
1469
Ben Murdoch097c5b22016-05-18 11:27:45 +01001470Handle<BytecodeArray> Factory::CopyBytecodeArray(
1471 Handle<BytecodeArray> bytecode_array) {
1472 CALL_HEAP_FUNCTION(isolate(),
1473 isolate()->heap()->CopyBytecodeArray(*bytecode_array),
1474 BytecodeArray);
1475}
Steve Block6ded16b2010-05-10 14:33:55 +01001476
Steve Blocka7e24c12009-10-30 11:49:00 +00001477Handle<JSObject> Factory::NewJSObject(Handle<JSFunction> constructor,
1478 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001479 JSFunction::EnsureHasInitialMap(constructor);
Steve Block44f0eee2011-05-26 01:26:41 +01001480 CALL_HEAP_FUNCTION(
1481 isolate(),
1482 isolate()->heap()->AllocateJSObject(*constructor, pretenure), JSObject);
Steve Blocka7e24c12009-10-30 11:49:00 +00001483}
1484
1485
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001486Handle<JSObject> Factory::NewJSObjectWithMemento(
1487 Handle<JSFunction> constructor,
1488 Handle<AllocationSite> site) {
1489 JSFunction::EnsureHasInitialMap(constructor);
Steve Block44f0eee2011-05-26 01:26:41 +01001490 CALL_HEAP_FUNCTION(
1491 isolate(),
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001492 isolate()->heap()->AllocateJSObject(*constructor, NOT_TENURED, *site),
Steve Block44f0eee2011-05-26 01:26:41 +01001493 JSObject);
Steve Blocka7e24c12009-10-30 11:49:00 +00001494}
1495
Ben Murdochda12d292016-06-02 14:46:10 +01001496Handle<JSObject> Factory::NewJSObjectWithNullProto() {
1497 Handle<JSObject> result = NewJSObject(isolate()->object_function());
1498 Handle<Map> new_map =
1499 Map::Copy(Handle<Map>(result->map()), "ObjectWithNullProto");
1500 Map::SetPrototype(new_map, null_value());
1501 JSObject::MigrateToMap(result, new_map);
1502 return result;
1503}
Steve Blocka7e24c12009-10-30 11:49:00 +00001504
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001505Handle<JSModule> Factory::NewJSModule(Handle<Context> context,
1506 Handle<ScopeInfo> scope_info) {
1507 // Allocate a fresh map. Modules do not have a prototype.
1508 Handle<Map> map = NewMap(JS_MODULE_TYPE, JSModule::kSize);
1509 // Allocate the object based on the map.
1510 Handle<JSModule> module =
1511 Handle<JSModule>::cast(NewJSObjectFromMap(map, TENURED));
1512 module->set_context(*context);
1513 module->set_scope_info(*scope_info);
1514 return module;
1515}
1516
1517
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001518Handle<JSGlobalObject> Factory::NewJSGlobalObject(
1519 Handle<JSFunction> constructor) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001520 DCHECK(constructor->has_initial_map());
1521 Handle<Map> map(constructor->initial_map());
1522 DCHECK(map->is_dictionary_map());
1523
1524 // Make sure no field properties are described in the initial map.
1525 // This guarantees us that normalizing the properties does not
1526 // require us to change property values to PropertyCells.
1527 DCHECK(map->NextFreePropertyIndex() == 0);
1528
1529 // Make sure we don't have a ton of pre-allocated slots in the
1530 // global objects. They will be unused once we normalize the object.
1531 DCHECK(map->unused_property_fields() == 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001532 DCHECK(map->GetInObjectProperties() == 0);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001533
1534 // Initial size of the backing store to avoid resize of the storage during
1535 // bootstrapping. The size differs between the JS global object ad the
1536 // builtins object.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001537 int initial_size = 64;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001538
1539 // Allocate a dictionary object for backing storage.
1540 int at_least_space_for = map->NumberOfOwnDescriptors() * 2 + initial_size;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001541 Handle<GlobalDictionary> dictionary =
1542 GlobalDictionary::New(isolate(), at_least_space_for);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001543
1544 // The global object might be created from an object template with accessors.
1545 // Fill these accessors into the dictionary.
1546 Handle<DescriptorArray> descs(map->instance_descriptors());
1547 for (int i = 0; i < map->NumberOfOwnDescriptors(); i++) {
1548 PropertyDetails details = descs->GetDetails(i);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001549 // Only accessors are expected.
1550 DCHECK_EQ(ACCESSOR_CONSTANT, details.type());
1551 PropertyDetails d(details.attributes(), ACCESSOR_CONSTANT, i + 1,
1552 PropertyCellType::kMutable);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001553 Handle<Name> name(descs->GetKey(i));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001554 Handle<PropertyCell> cell = NewPropertyCell();
1555 cell->set_value(descs->GetCallbacksObject(i));
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001556 // |dictionary| already contains enough space for all properties.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001557 USE(GlobalDictionary::Add(dictionary, name, cell, d));
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001558 }
1559
1560 // Allocate the global object and initialize it with the backing store.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001561 Handle<JSGlobalObject> global = New<JSGlobalObject>(map, OLD_SPACE);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001562 isolate()->heap()->InitializeJSObjectFromMap(*global, *dictionary, *map);
1563
1564 // Create a new map for the global object.
1565 Handle<Map> new_map = Map::CopyDropDescriptors(map);
1566 new_map->set_dictionary_map(true);
1567
1568 // Set up the global object as a normalized object.
1569 global->set_map(*new_map);
1570 global->set_properties(*dictionary);
1571
1572 // Make sure result is a global object with properties in dictionary.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001573 DCHECK(global->IsJSGlobalObject() && !global->HasFastProperties());
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001574 return global;
1575}
1576
1577
1578Handle<JSObject> Factory::NewJSObjectFromMap(
1579 Handle<Map> map,
1580 PretenureFlag pretenure,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001581 Handle<AllocationSite> allocation_site) {
1582 CALL_HEAP_FUNCTION(
1583 isolate(),
1584 isolate()->heap()->AllocateJSObjectFromMap(
1585 *map,
1586 pretenure,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001587 allocation_site.is_null() ? NULL : *allocation_site),
1588 JSObject);
1589}
1590
1591
1592Handle<JSArray> Factory::NewJSArray(ElementsKind elements_kind,
Steve Blocka7e24c12009-10-30 11:49:00 +00001593 PretenureFlag pretenure) {
Ben Murdochda12d292016-06-02 14:46:10 +01001594 Map* map = isolate()->get_initial_js_array_map(elements_kind);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001595 if (map == nullptr) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001596 Context* native_context = isolate()->context()->native_context();
1597 JSFunction* array_function = native_context->array_function();
1598 map = array_function->initial_map();
1599 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001600 return Handle<JSArray>::cast(NewJSObjectFromMap(handle(map), pretenure));
1601}
1602
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001603Handle<JSArray> Factory::NewJSArray(ElementsKind elements_kind, int length,
Ben Murdochda12d292016-06-02 14:46:10 +01001604 int capacity,
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001605 ArrayStorageAllocationMode mode,
1606 PretenureFlag pretenure) {
Ben Murdochda12d292016-06-02 14:46:10 +01001607 Handle<JSArray> array = NewJSArray(elements_kind, pretenure);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001608 NewJSArrayStorage(array, length, capacity, mode);
1609 return array;
Steve Blocka7e24c12009-10-30 11:49:00 +00001610}
1611
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001612Handle<JSArray> Factory::NewJSArrayWithElements(Handle<FixedArrayBase> elements,
1613 ElementsKind elements_kind,
Ben Murdochda12d292016-06-02 14:46:10 +01001614 int length,
Steve Blocka7e24c12009-10-30 11:49:00 +00001615 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001616 DCHECK(length <= elements->length());
Ben Murdochda12d292016-06-02 14:46:10 +01001617 Handle<JSArray> array = NewJSArray(elements_kind, pretenure);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001618
1619 array->set_elements(*elements);
1620 array->set_length(Smi::FromInt(length));
1621 JSObject::ValidateElements(array);
1622 return array;
1623}
1624
1625
1626void Factory::NewJSArrayStorage(Handle<JSArray> array,
1627 int length,
1628 int capacity,
1629 ArrayStorageAllocationMode mode) {
1630 DCHECK(capacity >= length);
1631
1632 if (capacity == 0) {
1633 array->set_length(Smi::FromInt(0));
1634 array->set_elements(*empty_fixed_array());
1635 return;
1636 }
1637
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001638 HandleScope inner_scope(isolate());
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001639 Handle<FixedArrayBase> elms;
1640 ElementsKind elements_kind = array->GetElementsKind();
1641 if (IsFastDoubleElementsKind(elements_kind)) {
1642 if (mode == DONT_INITIALIZE_ARRAY_ELEMENTS) {
1643 elms = NewFixedDoubleArray(capacity);
1644 } else {
1645 DCHECK(mode == INITIALIZE_ARRAY_ELEMENTS_WITH_HOLE);
1646 elms = NewFixedDoubleArrayWithHoles(capacity);
1647 }
1648 } else {
1649 DCHECK(IsFastSmiOrObjectElementsKind(elements_kind));
1650 if (mode == DONT_INITIALIZE_ARRAY_ELEMENTS) {
1651 elms = NewUninitializedFixedArray(capacity);
1652 } else {
1653 DCHECK(mode == INITIALIZE_ARRAY_ELEMENTS_WITH_HOLE);
1654 elms = NewFixedArrayWithHoles(capacity);
1655 }
1656 }
1657
1658 array->set_elements(*elms);
1659 array->set_length(Smi::FromInt(length));
1660}
1661
1662
1663Handle<JSGeneratorObject> Factory::NewJSGeneratorObject(
1664 Handle<JSFunction> function) {
Ben Murdochc5610432016-08-08 18:44:38 +01001665 DCHECK(function->shared()->is_resumable());
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001666 JSFunction::EnsureHasInitialMap(function);
1667 Handle<Map> map(function->initial_map());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001668 DCHECK_EQ(JS_GENERATOR_OBJECT_TYPE, map->instance_type());
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001669 CALL_HEAP_FUNCTION(
1670 isolate(),
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001671 isolate()->heap()->AllocateJSObjectFromMap(*map),
1672 JSGeneratorObject);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001673}
1674
1675
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001676Handle<JSArrayBuffer> Factory::NewJSArrayBuffer(SharedFlag shared,
1677 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001678 Handle<JSFunction> array_buffer_fun(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001679 shared == SharedFlag::kShared
1680 ? isolate()->native_context()->shared_array_buffer_fun()
1681 : isolate()->native_context()->array_buffer_fun());
1682 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->AllocateJSObject(
1683 *array_buffer_fun, pretenure),
1684 JSArrayBuffer);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001685}
1686
1687
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001688Handle<JSDataView> Factory::NewJSDataView() {
1689 Handle<JSFunction> data_view_fun(
1690 isolate()->native_context()->data_view_fun());
1691 CALL_HEAP_FUNCTION(
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001692 isolate(),
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001693 isolate()->heap()->AllocateJSObject(*data_view_fun),
1694 JSDataView);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001695}
1696
1697
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001698Handle<JSMap> Factory::NewJSMap() {
1699 Handle<Map> map(isolate()->native_context()->js_map_map());
1700 Handle<JSMap> js_map = Handle<JSMap>::cast(NewJSObjectFromMap(map));
1701 JSMap::Initialize(js_map, isolate());
1702 return js_map;
1703}
1704
1705
1706Handle<JSSet> Factory::NewJSSet() {
1707 Handle<Map> map(isolate()->native_context()->js_set_map());
1708 Handle<JSSet> js_set = Handle<JSSet>::cast(NewJSObjectFromMap(map));
1709 JSSet::Initialize(js_set, isolate());
1710 return js_set;
1711}
1712
1713
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001714Handle<JSMapIterator> Factory::NewJSMapIterator() {
1715 Handle<Map> map(isolate()->native_context()->map_iterator_map());
1716 CALL_HEAP_FUNCTION(isolate(),
1717 isolate()->heap()->AllocateJSObjectFromMap(*map),
1718 JSMapIterator);
1719}
1720
1721
1722Handle<JSSetIterator> Factory::NewJSSetIterator() {
1723 Handle<Map> map(isolate()->native_context()->set_iterator_map());
1724 CALL_HEAP_FUNCTION(isolate(),
1725 isolate()->heap()->AllocateJSObjectFromMap(*map),
1726 JSSetIterator);
1727}
1728
1729
1730namespace {
1731
1732ElementsKind GetExternalArrayElementsKind(ExternalArrayType type) {
1733 switch (type) {
1734#define TYPED_ARRAY_CASE(Type, type, TYPE, ctype, size) \
1735 case kExternal##Type##Array: \
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001736 return TYPE##_ELEMENTS;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001737 TYPED_ARRAYS(TYPED_ARRAY_CASE)
1738 }
1739 UNREACHABLE();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001740 return FIRST_FIXED_TYPED_ARRAY_ELEMENTS_KIND;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001741#undef TYPED_ARRAY_CASE
1742}
1743
1744
1745size_t GetExternalArrayElementSize(ExternalArrayType type) {
1746 switch (type) {
1747#define TYPED_ARRAY_CASE(Type, type, TYPE, ctype, size) \
1748 case kExternal##Type##Array: \
1749 return size;
1750 TYPED_ARRAYS(TYPED_ARRAY_CASE)
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001751 default:
1752 UNREACHABLE();
1753 return 0;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001754 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001755#undef TYPED_ARRAY_CASE
1756}
1757
1758
1759size_t GetFixedTypedArraysElementSize(ElementsKind kind) {
1760 switch (kind) {
1761#define TYPED_ARRAY_CASE(Type, type, TYPE, ctype, size) \
1762 case TYPE##_ELEMENTS: \
1763 return size;
1764 TYPED_ARRAYS(TYPED_ARRAY_CASE)
1765 default:
1766 UNREACHABLE();
1767 return 0;
1768 }
1769#undef TYPED_ARRAY_CASE
1770}
1771
1772
1773ExternalArrayType GetArrayTypeFromElementsKind(ElementsKind kind) {
1774 switch (kind) {
1775#define TYPED_ARRAY_CASE(Type, type, TYPE, ctype, size) \
1776 case TYPE##_ELEMENTS: \
1777 return kExternal##Type##Array;
1778 TYPED_ARRAYS(TYPED_ARRAY_CASE)
1779 default:
1780 UNREACHABLE();
1781 return kExternalInt8Array;
1782 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001783#undef TYPED_ARRAY_CASE
1784}
1785
1786
1787JSFunction* GetTypedArrayFun(ExternalArrayType type, Isolate* isolate) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001788 Context* native_context = isolate->context()->native_context();
1789 switch (type) {
1790#define TYPED_ARRAY_FUN(Type, type, TYPE, ctype, size) \
1791 case kExternal##Type##Array: \
1792 return native_context->type##_array_fun();
1793
1794 TYPED_ARRAYS(TYPED_ARRAY_FUN)
1795#undef TYPED_ARRAY_FUN
1796
1797 default:
1798 UNREACHABLE();
1799 return NULL;
1800 }
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001801}
1802
1803
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001804JSFunction* GetTypedArrayFun(ElementsKind elements_kind, Isolate* isolate) {
1805 Context* native_context = isolate->context()->native_context();
1806 switch (elements_kind) {
1807#define TYPED_ARRAY_FUN(Type, type, TYPE, ctype, size) \
1808 case TYPE##_ELEMENTS: \
1809 return native_context->type##_array_fun();
1810
1811 TYPED_ARRAYS(TYPED_ARRAY_FUN)
1812#undef TYPED_ARRAY_FUN
1813
1814 default:
1815 UNREACHABLE();
1816 return NULL;
1817 }
1818}
1819
1820
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001821void SetupArrayBufferView(i::Isolate* isolate,
1822 i::Handle<i::JSArrayBufferView> obj,
1823 i::Handle<i::JSArrayBuffer> buffer,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001824 size_t byte_offset, size_t byte_length,
1825 PretenureFlag pretenure = NOT_TENURED) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001826 DCHECK(byte_offset + byte_length <=
1827 static_cast<size_t>(buffer->byte_length()->Number()));
1828
1829 obj->set_buffer(*buffer);
1830
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001831 i::Handle<i::Object> byte_offset_object =
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001832 isolate->factory()->NewNumberFromSize(byte_offset, pretenure);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001833 obj->set_byte_offset(*byte_offset_object);
1834
1835 i::Handle<i::Object> byte_length_object =
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001836 isolate->factory()->NewNumberFromSize(byte_length, pretenure);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001837 obj->set_byte_length(*byte_length_object);
1838}
1839
1840
1841} // namespace
1842
1843
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001844Handle<JSTypedArray> Factory::NewJSTypedArray(ExternalArrayType type,
1845 PretenureFlag pretenure) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001846 Handle<JSFunction> typed_array_fun_handle(GetTypedArrayFun(type, isolate()));
1847
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001848 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->AllocateJSObject(
1849 *typed_array_fun_handle, pretenure),
1850 JSTypedArray);
1851}
1852
1853
1854Handle<JSTypedArray> Factory::NewJSTypedArray(ElementsKind elements_kind,
1855 PretenureFlag pretenure) {
1856 Handle<JSFunction> typed_array_fun_handle(
1857 GetTypedArrayFun(elements_kind, isolate()));
1858
1859 CALL_HEAP_FUNCTION(isolate(), isolate()->heap()->AllocateJSObject(
1860 *typed_array_fun_handle, pretenure),
1861 JSTypedArray);
Ben Murdoch592a9fc2012-03-05 11:04:45 +00001862}
1863
1864
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001865Handle<JSTypedArray> Factory::NewJSTypedArray(ExternalArrayType type,
1866 Handle<JSArrayBuffer> buffer,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001867 size_t byte_offset, size_t length,
1868 PretenureFlag pretenure) {
1869 Handle<JSTypedArray> obj = NewJSTypedArray(type, pretenure);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001870
1871 size_t element_size = GetExternalArrayElementSize(type);
1872 ElementsKind elements_kind = GetExternalArrayElementsKind(type);
1873
1874 CHECK(byte_offset % element_size == 0);
1875
1876 CHECK(length <= (std::numeric_limits<size_t>::max() / element_size));
1877 CHECK(length <= static_cast<size_t>(Smi::kMaxValue));
1878 size_t byte_length = length * element_size;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001879 SetupArrayBufferView(isolate(), obj, buffer, byte_offset, byte_length,
1880 pretenure);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001881
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001882 Handle<Object> length_object = NewNumberFromSize(length, pretenure);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001883 obj->set_length(*length_object);
1884
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001885 Handle<FixedTypedArrayBase> elements = NewFixedTypedArrayWithExternalPointer(
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001886 static_cast<int>(length), type,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001887 static_cast<uint8_t*>(buffer->backing_store()) + byte_offset, pretenure);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001888 Handle<Map> map = JSObject::GetElementsTransitionMap(obj, elements_kind);
1889 JSObject::SetMapAndElements(obj, map, elements);
1890 return obj;
1891}
1892
1893
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001894Handle<JSTypedArray> Factory::NewJSTypedArray(ElementsKind elements_kind,
1895 size_t number_of_elements,
1896 PretenureFlag pretenure) {
1897 Handle<JSTypedArray> obj = NewJSTypedArray(elements_kind, pretenure);
1898
1899 size_t element_size = GetFixedTypedArraysElementSize(elements_kind);
1900 ExternalArrayType array_type = GetArrayTypeFromElementsKind(elements_kind);
1901
1902 CHECK(number_of_elements <=
1903 (std::numeric_limits<size_t>::max() / element_size));
1904 CHECK(number_of_elements <= static_cast<size_t>(Smi::kMaxValue));
1905 size_t byte_length = number_of_elements * element_size;
1906
1907 obj->set_byte_offset(Smi::FromInt(0));
1908 i::Handle<i::Object> byte_length_object =
1909 NewNumberFromSize(byte_length, pretenure);
1910 obj->set_byte_length(*byte_length_object);
1911 Handle<Object> length_object =
1912 NewNumberFromSize(number_of_elements, pretenure);
1913 obj->set_length(*length_object);
1914
1915 Handle<JSArrayBuffer> buffer =
1916 NewJSArrayBuffer(SharedFlag::kNotShared, pretenure);
1917 JSArrayBuffer::Setup(buffer, isolate(), true, NULL, byte_length,
1918 SharedFlag::kNotShared);
1919 obj->set_buffer(*buffer);
1920 Handle<FixedTypedArrayBase> elements = NewFixedTypedArray(
1921 static_cast<int>(number_of_elements), array_type, true, pretenure);
1922 obj->set_elements(*elements);
1923 return obj;
1924}
1925
1926
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001927Handle<JSDataView> Factory::NewJSDataView(Handle<JSArrayBuffer> buffer,
1928 size_t byte_offset,
1929 size_t byte_length) {
1930 Handle<JSDataView> obj = NewJSDataView();
1931 SetupArrayBufferView(isolate(), obj, buffer, byte_offset, byte_length);
1932 return obj;
1933}
1934
1935
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001936MaybeHandle<JSBoundFunction> Factory::NewJSBoundFunction(
1937 Handle<JSReceiver> target_function, Handle<Object> bound_this,
1938 Vector<Handle<Object>> bound_args) {
1939 DCHECK(target_function->IsCallable());
1940 STATIC_ASSERT(Code::kMaxArguments <= FixedArray::kMaxLength);
1941 if (bound_args.length() >= Code::kMaxArguments) {
1942 THROW_NEW_ERROR(isolate(),
1943 NewRangeError(MessageTemplate::kTooManyArguments),
1944 JSBoundFunction);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001945 }
1946
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001947 // Determine the prototype of the {target_function}.
1948 Handle<Object> prototype;
Ben Murdoch097c5b22016-05-18 11:27:45 +01001949 ASSIGN_RETURN_ON_EXCEPTION(
1950 isolate(), prototype,
1951 JSReceiver::GetPrototype(isolate(), target_function), JSBoundFunction);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001952
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001953 // Create the [[BoundArguments]] for the result.
1954 Handle<FixedArray> bound_arguments;
1955 if (bound_args.length() == 0) {
1956 bound_arguments = empty_fixed_array();
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001957 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001958 bound_arguments = NewFixedArray(bound_args.length());
1959 for (int i = 0; i < bound_args.length(); ++i) {
1960 bound_arguments->set(i, *bound_args[i]);
1961 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001962 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001963
1964 // Setup the map for the JSBoundFunction instance.
Ben Murdochc5610432016-08-08 18:44:38 +01001965 Handle<Map> map = target_function->IsConstructor()
1966 ? isolate()->bound_function_with_constructor_map()
1967 : isolate()->bound_function_without_constructor_map();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001968 if (map->prototype() != *prototype) {
1969 map = Map::TransitionToPrototype(map, prototype, REGULAR_PROTOTYPE);
1970 }
1971 DCHECK_EQ(target_function->IsConstructor(), map->is_constructor());
1972
1973 // Setup the JSBoundFunction instance.
1974 Handle<JSBoundFunction> result =
1975 Handle<JSBoundFunction>::cast(NewJSObjectFromMap(map));
1976 result->set_bound_target_function(*target_function);
1977 result->set_bound_this(*bound_this);
1978 result->set_bound_arguments(*bound_arguments);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001979 return result;
1980}
1981
1982
1983// ES6 section 9.5.15 ProxyCreate (target, handler)
1984Handle<JSProxy> Factory::NewJSProxy(Handle<JSReceiver> target,
1985 Handle<JSReceiver> handler) {
1986 // Allocate the proxy object.
1987 Handle<Map> map;
1988 if (target->IsCallable()) {
1989 if (target->IsConstructor()) {
1990 map = Handle<Map>(isolate()->proxy_constructor_map());
1991 } else {
1992 map = Handle<Map>(isolate()->proxy_callable_map());
1993 }
1994 } else {
1995 map = Handle<Map>(isolate()->proxy_map());
1996 }
1997 DCHECK(map->prototype()->IsNull());
1998 Handle<JSProxy> result = New<JSProxy>(map, NEW_SPACE);
1999 result->initialize_properties();
2000 result->set_target(*target);
2001 result->set_handler(*handler);
2002 result->set_hash(*undefined_value(), SKIP_WRITE_BARRIER);
2003 return result;
2004}
2005
2006
2007Handle<JSGlobalProxy> Factory::NewUninitializedJSGlobalProxy() {
2008 // Create an empty shell of a JSGlobalProxy that needs to be reinitialized
2009 // via ReinitializeJSGlobalProxy later.
2010 Handle<Map> map = NewMap(JS_GLOBAL_PROXY_TYPE, JSGlobalProxy::kSize);
2011 // Maintain invariant expected from any JSGlobalProxy.
2012 map->set_is_access_check_needed(true);
2013 CALL_HEAP_FUNCTION(
2014 isolate(), isolate()->heap()->AllocateJSObjectFromMap(*map, NOT_TENURED),
2015 JSGlobalProxy);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00002016}
2017
2018
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002019void Factory::ReinitializeJSGlobalProxy(Handle<JSGlobalProxy> object,
2020 Handle<JSFunction> constructor) {
2021 DCHECK(constructor->has_initial_map());
2022 Handle<Map> map(constructor->initial_map(), isolate());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002023 Handle<Map> old_map(object->map(), isolate());
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002024
2025 // The proxy's hash should be retained across reinitialization.
2026 Handle<Object> hash(object->hash(), isolate());
2027
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002028 JSObject::InvalidatePrototypeChains(*old_map);
2029 if (old_map->is_prototype_map()) {
2030 map = Map::Copy(map, "CopyAsPrototypeForJSGlobalProxy");
2031 map->set_is_prototype_map(true);
2032 }
2033 JSObject::UpdatePrototypeUserRegistration(old_map, map, isolate());
2034
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002035 // Check that the already allocated object has the same size and type as
2036 // objects allocated using the constructor.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002037 DCHECK(map->instance_size() == old_map->instance_size());
2038 DCHECK(map->instance_type() == old_map->instance_type());
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002039
2040 // Allocate the backing storage for the properties.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002041 Handle<FixedArray> properties = empty_fixed_array();
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002042
2043 // In order to keep heap in consistent state there must be no allocations
2044 // before object re-initialization is finished.
2045 DisallowHeapAllocation no_allocation;
2046
2047 // Reset the map for the object.
2048 object->synchronized_set_map(*map);
2049
2050 Heap* heap = isolate()->heap();
2051 // Reinitialize the object from the constructor map.
2052 heap->InitializeJSObjectFromMap(*object, *properties, *map);
2053
2054 // Restore the saved hash.
2055 object->set_hash(*hash);
2056}
2057
Steve Block6ded16b2010-05-10 14:33:55 +01002058Handle<SharedFunctionInfo> Factory::NewSharedFunctionInfo(
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002059 Handle<String> name, int number_of_literals, FunctionKind kind,
Ben Murdochda12d292016-06-02 14:46:10 +01002060 Handle<Code> code, Handle<ScopeInfo> scope_info) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002061 DCHECK(IsValidFunctionKind(kind));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002062 Handle<SharedFunctionInfo> shared = NewSharedFunctionInfo(
2063 name, code, IsConstructable(kind, scope_info->language_mode()));
Ben Murdoch3bec4d22010-07-22 14:51:16 +01002064 shared->set_scope_info(*scope_info);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002065 shared->set_kind(kind);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002066 shared->set_num_literals(number_of_literals);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002067 if (IsGeneratorFunction(kind)) {
2068 shared->set_instance_class_name(isolate()->heap()->Generator_string());
2069 shared->DisableOptimization(kGenerator);
2070 }
Ben Murdochc5610432016-08-08 18:44:38 +01002071 if (IsAsyncFunction(kind)) {
2072 // TODO(caitp): Enable optimization of async functions when they are enabled
2073 // for generators functions.
2074 shared->DisableOptimization(kGenerator);
2075 }
Steve Block6ded16b2010-05-10 14:33:55 +01002076 return shared;
2077}
2078
2079
Steve Block1e0659c2011-05-24 12:43:12 +01002080Handle<JSMessageObject> Factory::NewJSMessageObject(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002081 MessageTemplate::Template message, Handle<Object> argument,
2082 int start_position, int end_position, Handle<Object> script,
Steve Block1e0659c2011-05-24 12:43:12 +01002083 Handle<Object> stack_frames) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002084 Handle<Map> map = message_object_map();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002085 Handle<JSMessageObject> message_obj = New<JSMessageObject>(map, NEW_SPACE);
2086 message_obj->set_properties(*empty_fixed_array(), SKIP_WRITE_BARRIER);
2087 message_obj->initialize_elements();
2088 message_obj->set_elements(*empty_fixed_array(), SKIP_WRITE_BARRIER);
2089 message_obj->set_type(message);
2090 message_obj->set_argument(*argument);
2091 message_obj->set_start_position(start_position);
2092 message_obj->set_end_position(end_position);
2093 message_obj->set_script(*script);
2094 message_obj->set_stack_frames(*stack_frames);
2095 return message_obj;
Steve Blocka7e24c12009-10-30 11:49:00 +00002096}
2097
2098
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002099Handle<SharedFunctionInfo> Factory::NewSharedFunctionInfo(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002100 Handle<String> name, MaybeHandle<Code> maybe_code, bool is_constructor) {
Ben Murdoch097c5b22016-05-18 11:27:45 +01002101 // Function names are assumed to be flat elsewhere. Must flatten before
2102 // allocating SharedFunctionInfo to avoid GC seeing the uninitialized SFI.
2103 name = String::Flatten(name, TENURED);
2104
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002105 Handle<Map> map = shared_function_info_map();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002106 Handle<SharedFunctionInfo> share = New<SharedFunctionInfo>(map, OLD_SPACE);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002107
2108 // Set pointer fields.
2109 share->set_name(*name);
2110 Handle<Code> code;
2111 if (!maybe_code.ToHandle(&code)) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002112 code = isolate()->builtins()->Illegal();
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002113 }
2114 share->set_code(*code);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002115 share->set_optimized_code_map(*cleared_optimized_code_map());
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002116 share->set_scope_info(ScopeInfo::Empty(isolate()));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002117 Handle<Code> construct_stub =
2118 is_constructor ? isolate()->builtins()->JSConstructStubGeneric()
2119 : isolate()->builtins()->ConstructedNonConstructable();
2120 share->set_construct_stub(*construct_stub);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002121 share->set_instance_class_name(*Object_string());
2122 share->set_function_data(*undefined_value(), SKIP_WRITE_BARRIER);
2123 share->set_script(*undefined_value(), SKIP_WRITE_BARRIER);
Ben Murdoch097c5b22016-05-18 11:27:45 +01002124 share->set_debug_info(DebugInfo::uninitialized(), SKIP_WRITE_BARRIER);
Ben Murdochda12d292016-06-02 14:46:10 +01002125 share->set_function_identifier(*undefined_value(), SKIP_WRITE_BARRIER);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002126 StaticFeedbackVectorSpec empty_spec;
2127 Handle<TypeFeedbackMetadata> feedback_metadata =
2128 TypeFeedbackMetadata::New(isolate(), &empty_spec);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002129 Handle<TypeFeedbackVector> feedback_vector =
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002130 TypeFeedbackVector::New(isolate(), feedback_metadata);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002131 share->set_feedback_vector(*feedback_vector, SKIP_WRITE_BARRIER);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002132#if TRACE_MAPS
2133 share->set_unique_id(isolate()->GetNextUniqueSharedFunctionInfoId());
2134#endif
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002135 share->set_profiler_ticks(0);
2136 share->set_ast_node_count(0);
2137 share->set_counters(0);
2138
2139 // Set integer fields (smi or int, depending on the architecture).
2140 share->set_length(0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002141 share->set_internal_formal_parameter_count(0);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002142 share->set_expected_nof_properties(0);
2143 share->set_num_literals(0);
2144 share->set_start_position_and_type(0);
2145 share->set_end_position(0);
2146 share->set_function_token_position(0);
2147 // All compiler hints default to false or 0.
2148 share->set_compiler_hints(0);
2149 share->set_opt_count_and_bailout_reason(0);
2150
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002151 // Link into the list.
2152 Handle<Object> new_noscript_list =
2153 WeakFixedArray::Add(noscript_shared_function_infos(), share);
2154 isolate()->heap()->set_noscript_shared_function_infos(*new_noscript_list);
2155
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002156 return share;
Steve Block6ded16b2010-05-10 14:33:55 +01002157}
2158
2159
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002160static inline int NumberCacheHash(Handle<FixedArray> cache,
2161 Handle<Object> number) {
2162 int mask = (cache->length() >> 1) - 1;
2163 if (number->IsSmi()) {
2164 return Handle<Smi>::cast(number)->value() & mask;
2165 } else {
2166 DoubleRepresentation rep(number->Number());
2167 return
2168 (static_cast<int>(rep.bits) ^ static_cast<int>(rep.bits >> 32)) & mask;
2169 }
Steve Block6ded16b2010-05-10 14:33:55 +01002170}
2171
2172
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002173Handle<Object> Factory::GetNumberStringCache(Handle<Object> number) {
2174 DisallowHeapAllocation no_gc;
2175 int hash = NumberCacheHash(number_string_cache(), number);
2176 Object* key = number_string_cache()->get(hash * 2);
2177 if (key == *number || (key->IsHeapNumber() && number->IsHeapNumber() &&
2178 key->Number() == number->Number())) {
2179 return Handle<String>(
2180 String::cast(number_string_cache()->get(hash * 2 + 1)), isolate());
2181 }
2182 return undefined_value();
Leon Clarkee46be812010-01-19 14:06:41 +00002183}
2184
2185
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002186void Factory::SetNumberStringCache(Handle<Object> number,
2187 Handle<String> string) {
2188 int hash = NumberCacheHash(number_string_cache(), number);
2189 if (number_string_cache()->get(hash * 2) != *undefined_value()) {
2190 int full_size = isolate()->heap()->FullSizeNumberStringCacheLength();
2191 if (number_string_cache()->length() != full_size) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002192 Handle<FixedArray> new_cache = NewFixedArray(full_size, TENURED);
2193 isolate()->heap()->set_number_string_cache(*new_cache);
2194 return;
2195 }
2196 }
2197 number_string_cache()->set(hash * 2, *number);
2198 number_string_cache()->set(hash * 2 + 1, *string);
Steve Blocka7e24c12009-10-30 11:49:00 +00002199}
2200
2201
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002202Handle<String> Factory::NumberToString(Handle<Object> number,
2203 bool check_number_string_cache) {
2204 isolate()->counters()->number_to_string_runtime()->Increment();
2205 if (check_number_string_cache) {
2206 Handle<Object> cached = GetNumberStringCache(number);
2207 if (!cached->IsUndefined()) return Handle<String>::cast(cached);
2208 }
2209
2210 char arr[100];
2211 Vector<char> buffer(arr, arraysize(arr));
2212 const char* str;
2213 if (number->IsSmi()) {
2214 int num = Handle<Smi>::cast(number)->value();
2215 str = IntToCString(num, buffer);
2216 } else {
2217 double num = Handle<HeapNumber>::cast(number)->value();
2218 str = DoubleToCString(num, buffer);
2219 }
2220
2221 // We tenure the allocated string since it is referenced from the
2222 // number-string cache which lives in the old space.
2223 Handle<String> js_string = NewStringFromAsciiChecked(str, TENURED);
2224 SetNumberStringCache(number, js_string);
2225 return js_string;
2226}
2227
2228
Steve Blocka7e24c12009-10-30 11:49:00 +00002229Handle<DebugInfo> Factory::NewDebugInfo(Handle<SharedFunctionInfo> shared) {
Steve Blocka7e24c12009-10-30 11:49:00 +00002230 // Allocate initial fixed array for active break points before allocating the
2231 // debug info object to avoid allocation while setting up the debug info
2232 // object.
2233 Handle<FixedArray> break_points(
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002234 NewFixedArray(DebugInfo::kEstimatedNofBreakPointsInFunction));
Steve Blocka7e24c12009-10-30 11:49:00 +00002235
2236 // Create and set up the debug info object. Debug info contains function, a
2237 // copy of the original code, the executing code and initial fixed array for
2238 // active break points.
2239 Handle<DebugInfo> debug_info =
Steve Block44f0eee2011-05-26 01:26:41 +01002240 Handle<DebugInfo>::cast(NewStruct(DEBUG_INFO_TYPE));
Steve Blocka7e24c12009-10-30 11:49:00 +00002241 debug_info->set_shared(*shared);
Ben Murdoch097c5b22016-05-18 11:27:45 +01002242 if (shared->HasBytecodeArray()) {
Ben Murdochc5610432016-08-08 18:44:38 +01002243 // We need to create a copy, but delay since this may cause heap
2244 // verification.
2245 debug_info->set_abstract_code(AbstractCode::cast(shared->bytecode_array()));
Ben Murdoch097c5b22016-05-18 11:27:45 +01002246 } else {
2247 debug_info->set_abstract_code(AbstractCode::cast(shared->code()));
2248 }
Steve Blocka7e24c12009-10-30 11:49:00 +00002249 debug_info->set_break_points(*break_points);
Ben Murdochc5610432016-08-08 18:44:38 +01002250 if (shared->HasBytecodeArray()) {
2251 // Create a copy for debugging.
2252 Handle<BytecodeArray> original(shared->bytecode_array());
2253 Handle<BytecodeArray> copy = CopyBytecodeArray(original);
2254 debug_info->set_abstract_code(AbstractCode::cast(*copy));
2255 }
Steve Blocka7e24c12009-10-30 11:49:00 +00002256
2257 // Link debug info to function.
2258 shared->set_debug_info(*debug_info);
2259
2260 return debug_info;
2261}
Steve Blocka7e24c12009-10-30 11:49:00 +00002262
2263
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002264Handle<JSObject> Factory::NewArgumentsObject(Handle<JSFunction> callee,
Steve Blocka7e24c12009-10-30 11:49:00 +00002265 int length) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002266 bool strict_mode_callee = is_strict(callee->shared()->language_mode()) ||
2267 !callee->shared()->has_simple_parameters();
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002268 Handle<Map> map = strict_mode_callee ? isolate()->strict_arguments_map()
2269 : isolate()->sloppy_arguments_map();
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002270 AllocationSiteUsageContext context(isolate(), Handle<AllocationSite>(),
2271 false);
2272 DCHECK(!isolate()->has_pending_exception());
2273 Handle<JSObject> result = NewJSObjectFromMap(map);
2274 Handle<Smi> value(Smi::FromInt(length), isolate());
2275 Object::SetProperty(result, length_string(), value, STRICT).Assert();
2276 if (!strict_mode_callee) {
2277 Object::SetProperty(result, callee_string(), callee, STRICT).Assert();
2278 }
2279 return result;
Steve Blocka7e24c12009-10-30 11:49:00 +00002280}
2281
2282
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002283Handle<JSWeakMap> Factory::NewJSWeakMap() {
2284 // TODO(adamk): Currently the map is only created three times per
2285 // isolate. If it's created more often, the map should be moved into the
2286 // strong root list.
2287 Handle<Map> map = NewMap(JS_WEAK_MAP_TYPE, JSWeakMap::kSize);
2288 return Handle<JSWeakMap>::cast(NewJSObjectFromMap(map));
Steve Blocka7e24c12009-10-30 11:49:00 +00002289}
2290
2291
Steve Blocka7e24c12009-10-30 11:49:00 +00002292Handle<Map> Factory::ObjectLiteralMapFromCache(Handle<Context> context,
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002293 int number_of_properties,
2294 bool* is_result_from_cache) {
2295 const int kMapCacheSize = 128;
2296
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002297 // We do not cache maps for too many properties or when running builtin code.
2298 if (number_of_properties > kMapCacheSize ||
2299 isolate()->bootstrapper()->IsActive()) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002300 *is_result_from_cache = false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002301 Handle<Map> map = Map::Create(isolate(), number_of_properties);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002302 return map;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002303 }
2304 *is_result_from_cache = true;
2305 if (number_of_properties == 0) {
2306 // Reuse the initial map of the Object function if the literal has no
Ben Murdochda12d292016-06-02 14:46:10 +01002307 // predeclared properties.
2308 return handle(context->object_function()->initial_map(), isolate());
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002309 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002310
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002311 int cache_index = number_of_properties - 1;
Ben Murdochda12d292016-06-02 14:46:10 +01002312 Handle<Object> maybe_cache(context->map_cache(), isolate());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002313 if (maybe_cache->IsUndefined()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002314 // Allocate the new map cache for the native context.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002315 maybe_cache = NewFixedArray(kMapCacheSize, TENURED);
Ben Murdochda12d292016-06-02 14:46:10 +01002316 context->set_map_cache(*maybe_cache);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002317 } else {
2318 // Check to see whether there is a matching element in the cache.
2319 Handle<FixedArray> cache = Handle<FixedArray>::cast(maybe_cache);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002320 Object* result = cache->get(cache_index);
2321 if (result->IsWeakCell()) {
2322 WeakCell* cell = WeakCell::cast(result);
2323 if (!cell->cleared()) {
2324 return handle(Map::cast(cell->value()), isolate());
2325 }
2326 }
2327 }
2328 // Create a new map and add it to the cache.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002329 Handle<FixedArray> cache = Handle<FixedArray>::cast(maybe_cache);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002330 Handle<Map> map = Map::Create(isolate(), number_of_properties);
2331 Handle<WeakCell> cell = NewWeakCell(map);
2332 cache->set(cache_index, *cell);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002333 return map;
Steve Blocka7e24c12009-10-30 11:49:00 +00002334}
2335
2336
2337void Factory::SetRegExpAtomData(Handle<JSRegExp> regexp,
2338 JSRegExp::Type type,
2339 Handle<String> source,
2340 JSRegExp::Flags flags,
2341 Handle<Object> data) {
2342 Handle<FixedArray> store = NewFixedArray(JSRegExp::kAtomDataSize);
2343
2344 store->set(JSRegExp::kTagIndex, Smi::FromInt(type));
2345 store->set(JSRegExp::kSourceIndex, *source);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002346 store->set(JSRegExp::kFlagsIndex, Smi::FromInt(flags));
Steve Blocka7e24c12009-10-30 11:49:00 +00002347 store->set(JSRegExp::kAtomPatternIndex, *data);
2348 regexp->set_data(*store);
2349}
2350
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002351
Steve Blocka7e24c12009-10-30 11:49:00 +00002352void Factory::SetRegExpIrregexpData(Handle<JSRegExp> regexp,
2353 JSRegExp::Type type,
2354 Handle<String> source,
2355 JSRegExp::Flags flags,
2356 int capture_count) {
2357 Handle<FixedArray> store = NewFixedArray(JSRegExp::kIrregexpDataSize);
Ben Murdoch257744e2011-11-30 15:57:28 +00002358 Smi* uninitialized = Smi::FromInt(JSRegExp::kUninitializedValue);
Steve Blocka7e24c12009-10-30 11:49:00 +00002359 store->set(JSRegExp::kTagIndex, Smi::FromInt(type));
2360 store->set(JSRegExp::kSourceIndex, *source);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002361 store->set(JSRegExp::kFlagsIndex, Smi::FromInt(flags));
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002362 store->set(JSRegExp::kIrregexpLatin1CodeIndex, uninitialized);
Ben Murdoch257744e2011-11-30 15:57:28 +00002363 store->set(JSRegExp::kIrregexpUC16CodeIndex, uninitialized);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002364 store->set(JSRegExp::kIrregexpLatin1CodeSavedIndex, uninitialized);
Ben Murdoch257744e2011-11-30 15:57:28 +00002365 store->set(JSRegExp::kIrregexpUC16CodeSavedIndex, uninitialized);
Steve Blocka7e24c12009-10-30 11:49:00 +00002366 store->set(JSRegExp::kIrregexpMaxRegisterCountIndex, Smi::FromInt(0));
2367 store->set(JSRegExp::kIrregexpCaptureCountIndex,
2368 Smi::FromInt(capture_count));
2369 regexp->set_data(*store);
2370}
2371
2372
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002373Handle<Object> Factory::GlobalConstantFor(Handle<Name> name) {
2374 if (Name::Equals(name, undefined_string())) return undefined_value();
2375 if (Name::Equals(name, nan_string())) return nan_value();
2376 if (Name::Equals(name, infinity_string())) return infinity_value();
Ben Murdoch3ef787d2012-04-12 10:51:47 +01002377 return Handle<Object>::null();
2378}
2379
2380
2381Handle<Object> Factory::ToBoolean(bool value) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002382 return value ? true_value() : false_value();
Ben Murdoch3ef787d2012-04-12 10:51:47 +01002383}
2384
2385
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002386} // namespace internal
2387} // namespace v8