blob: 45a49925bd248e076a1f0a855f7cd4db8a3cf634 [file] [log] [blame]
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001// 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.
4
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00005#include "src/runtime/runtime-utils.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -04006
7#include "src/arguments.h"
8#include "src/bootstrapper.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00009#include "src/debug/debug.h"
10#include "src/isolate-inl.h"
11#include "src/messages.h"
12#include "src/property-descriptor.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -040013#include "src/runtime/runtime.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -040014
15namespace v8 {
16namespace internal {
17
Emily Bernierd0a1eb72015-03-24 16:35:39 -040018MaybeHandle<Object> Runtime::GetObjectProperty(Isolate* isolate,
19 Handle<Object> object,
Ben Murdoch097c5b22016-05-18 11:27:45 +010020 Handle<Object> key) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -040021 if (object->IsUndefined() || object->IsNull()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000022 THROW_NEW_ERROR(
23 isolate,
24 NewTypeError(MessageTemplate::kNonObjectPropertyLoad, key, object),
25 Object);
Emily Bernierd0a1eb72015-03-24 16:35:39 -040026 }
27
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000028 bool success = false;
29 LookupIterator it =
30 LookupIterator::PropertyOrElement(isolate, object, key, &success);
31 if (!success) return MaybeHandle<Object>();
32
Ben Murdoch097c5b22016-05-18 11:27:45 +010033 return Object::GetProperty(&it);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000034}
35
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000036static MaybeHandle<Object> KeyedGetObjectProperty(Isolate* isolate,
37 Handle<Object> receiver_obj,
Ben Murdoch097c5b22016-05-18 11:27:45 +010038 Handle<Object> key_obj) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000039 // Fast cases for getting named properties of the receiver JSObject
40 // itself.
41 //
42 // The global proxy objects has to be excluded since LookupOwn on
43 // the global proxy object can return a valid result even though the
44 // global proxy object never has properties. This is the case
45 // because the global proxy object forwards everything to its hidden
46 // prototype including own lookups.
47 //
48 // Additionally, we need to make sure that we do not cache results
49 // for objects that require access checks.
50 if (receiver_obj->IsJSObject()) {
51 if (!receiver_obj->IsJSGlobalProxy() &&
52 !receiver_obj->IsAccessCheckNeeded() && key_obj->IsName()) {
53 DisallowHeapAllocation no_allocation;
54 Handle<JSObject> receiver = Handle<JSObject>::cast(receiver_obj);
55 Handle<Name> key = Handle<Name>::cast(key_obj);
56 if (receiver->IsJSGlobalObject()) {
57 // Attempt dictionary lookup.
58 GlobalDictionary* dictionary = receiver->global_dictionary();
59 int entry = dictionary->FindEntry(key);
60 if (entry != GlobalDictionary::kNotFound) {
61 DCHECK(dictionary->ValueAt(entry)->IsPropertyCell());
62 PropertyCell* cell = PropertyCell::cast(dictionary->ValueAt(entry));
63 if (cell->property_details().type() == DATA) {
64 Object* value = cell->value();
65 if (!value->IsTheHole()) return Handle<Object>(value, isolate);
66 // If value is the hole (meaning, absent) do the general lookup.
67 }
68 }
69 } else if (!receiver->HasFastProperties()) {
70 // Attempt dictionary lookup.
71 NameDictionary* dictionary = receiver->property_dictionary();
72 int entry = dictionary->FindEntry(key);
73 if ((entry != NameDictionary::kNotFound) &&
74 (dictionary->DetailsAt(entry).type() == DATA)) {
75 Object* value = dictionary->ValueAt(entry);
76 return Handle<Object>(value, isolate);
77 }
78 }
79 } else if (key_obj->IsSmi()) {
80 // JSObject without a name key. If the key is a Smi, check for a
81 // definite out-of-bounds access to elements, which is a strong indicator
82 // that subsequent accesses will also call the runtime. Proactively
83 // transition elements to FAST_*_ELEMENTS to avoid excessive boxing of
84 // doubles for those future calls in the case that the elements would
85 // become FAST_DOUBLE_ELEMENTS.
86 Handle<JSObject> js_object = Handle<JSObject>::cast(receiver_obj);
87 ElementsKind elements_kind = js_object->GetElementsKind();
88 if (IsFastDoubleElementsKind(elements_kind)) {
89 if (Smi::cast(*key_obj)->value() >= js_object->elements()->length()) {
90 elements_kind = IsFastHoleyElementsKind(elements_kind)
91 ? FAST_HOLEY_ELEMENTS
92 : FAST_ELEMENTS;
93 JSObject::TransitionElementsKind(js_object, elements_kind);
94 }
95 } else {
96 DCHECK(IsFastSmiOrObjectElementsKind(elements_kind) ||
97 !IsFastElementsKind(elements_kind));
98 }
99 }
100 } else if (receiver_obj->IsString() && key_obj->IsSmi()) {
101 // Fast case for string indexing using [] with a smi index.
102 Handle<String> str = Handle<String>::cast(receiver_obj);
103 int index = Handle<Smi>::cast(key_obj)->value();
104 if (index >= 0 && index < str->length()) {
105 Factory* factory = isolate->factory();
106 return factory->LookupSingleCharacterStringFromCode(
107 String::Flatten(str)->Get(index));
108 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400109 }
110
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000111 // Fall back to GetObjectProperty.
Ben Murdoch097c5b22016-05-18 11:27:45 +0100112 return Runtime::GetObjectProperty(isolate, receiver_obj, key_obj);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000113}
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400114
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000115
116Maybe<bool> Runtime::DeleteObjectProperty(Isolate* isolate,
117 Handle<JSReceiver> receiver,
118 Handle<Object> key,
119 LanguageMode language_mode) {
120 bool success = false;
121 LookupIterator it = LookupIterator::PropertyOrElement(
122 isolate, receiver, key, &success, LookupIterator::HIDDEN);
123 if (!success) return Nothing<bool>();
124
125 return JSReceiver::DeleteProperty(&it, language_mode);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400126}
127
128
129MaybeHandle<Object> Runtime::SetObjectProperty(Isolate* isolate,
130 Handle<Object> object,
131 Handle<Object> key,
132 Handle<Object> value,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000133 LanguageMode language_mode) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400134 if (object->IsUndefined() || object->IsNull()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000135 THROW_NEW_ERROR(
136 isolate,
137 NewTypeError(MessageTemplate::kNonObjectPropertyStore, key, object),
138 Object);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400139 }
140
141 // Check if the given key is an array index.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000142 bool success = false;
143 LookupIterator it =
144 LookupIterator::PropertyOrElement(isolate, object, key, &success);
145 if (!success) return MaybeHandle<Object>();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400146
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000147 MAYBE_RETURN_NULL(Object::SetProperty(&it, value, language_mode,
148 Object::MAY_BE_STORE_FROM_KEYED));
149 return value;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400150}
151
152
153RUNTIME_FUNCTION(Runtime_GetPrototype) {
154 HandleScope scope(isolate);
155 DCHECK(args.length() == 1);
Ben Murdoch097c5b22016-05-18 11:27:45 +0100156 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, obj, 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000157 Handle<Object> prototype;
158 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, prototype,
Ben Murdoch097c5b22016-05-18 11:27:45 +0100159 JSReceiver::GetPrototype(isolate, obj));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000160 return *prototype;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400161}
162
163
164RUNTIME_FUNCTION(Runtime_InternalSetPrototype) {
165 HandleScope scope(isolate);
166 DCHECK(args.length() == 2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000167 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, obj, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400168 CONVERT_ARG_HANDLE_CHECKED(Object, prototype, 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000169 MAYBE_RETURN(
170 JSReceiver::SetPrototype(obj, prototype, false, Object::THROW_ON_ERROR),
171 isolate->heap()->exception());
172 return *obj;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400173}
174
175
176RUNTIME_FUNCTION(Runtime_SetPrototype) {
177 HandleScope scope(isolate);
178 DCHECK(args.length() == 2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000179 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, obj, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400180 CONVERT_ARG_HANDLE_CHECKED(Object, prototype, 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000181 MAYBE_RETURN(
182 JSReceiver::SetPrototype(obj, prototype, true, Object::THROW_ON_ERROR),
183 isolate->heap()->exception());
184 return *obj;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400185}
186
187
188// Enumerator used as indices into the array returned from GetOwnProperty
189enum PropertyDescriptorIndices {
190 IS_ACCESSOR_INDEX,
191 VALUE_INDEX,
192 GETTER_INDEX,
193 SETTER_INDEX,
194 WRITABLE_INDEX,
195 ENUMERABLE_INDEX,
196 CONFIGURABLE_INDEX,
197 DESCRIPTOR_SIZE
198};
199
200
201MUST_USE_RESULT static MaybeHandle<Object> GetOwnProperty(Isolate* isolate,
202 Handle<JSObject> obj,
203 Handle<Name> name) {
204 Heap* heap = isolate->heap();
205 Factory* factory = isolate->factory();
206
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000207 // Get attributes.
208 LookupIterator it = LookupIterator::PropertyOrElement(isolate, obj, name,
209 LookupIterator::HIDDEN);
210 Maybe<PropertyAttributes> maybe = JSObject::GetPropertyAttributes(&it);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400211
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000212 if (!maybe.IsJust()) return MaybeHandle<Object>();
213 PropertyAttributes attrs = maybe.FromJust();
214 if (attrs == ABSENT) return factory->undefined_value();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400215
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400216 DCHECK(!isolate->has_pending_exception());
217 Handle<FixedArray> elms = factory->NewFixedArray(DESCRIPTOR_SIZE);
218 elms->set(ENUMERABLE_INDEX, heap->ToBoolean((attrs & DONT_ENUM) == 0));
219 elms->set(CONFIGURABLE_INDEX, heap->ToBoolean((attrs & DONT_DELETE) == 0));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400220
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000221 bool is_accessor_pair = it.state() == LookupIterator::ACCESSOR &&
222 it.GetAccessors()->IsAccessorPair();
223 elms->set(IS_ACCESSOR_INDEX, heap->ToBoolean(is_accessor_pair));
224
225 if (is_accessor_pair) {
226 Handle<AccessorPair> accessors =
227 Handle<AccessorPair>::cast(it.GetAccessors());
Ben Murdoch097c5b22016-05-18 11:27:45 +0100228 Handle<Object> getter =
229 AccessorPair::GetComponent(accessors, ACCESSOR_GETTER);
230 Handle<Object> setter =
231 AccessorPair::GetComponent(accessors, ACCESSOR_SETTER);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400232 elms->set(GETTER_INDEX, *getter);
233 elms->set(SETTER_INDEX, *setter);
234 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000235 Handle<Object> value;
236 ASSIGN_RETURN_ON_EXCEPTION(isolate, value, Object::GetProperty(&it),
237 Object);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400238 elms->set(WRITABLE_INDEX, heap->ToBoolean((attrs & READ_ONLY) == 0));
239 elms->set(VALUE_INDEX, *value);
240 }
241
242 return factory->NewJSArrayWithElements(elms);
243}
244
245
246// Returns an array with the property description:
247// if args[1] is not a property on args[0]
248// returns undefined
249// if args[1] is a data property on args[0]
250// [false, value, Writeable, Enumerable, Configurable]
251// if args[1] is an accessor on args[0]
252// [true, GetFunction, SetFunction, Enumerable, Configurable]
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000253// TODO(jkummerow): Deprecated. Remove all callers and delete.
254RUNTIME_FUNCTION(Runtime_GetOwnProperty_Legacy) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400255 HandleScope scope(isolate);
256 DCHECK(args.length() == 2);
257 CONVERT_ARG_HANDLE_CHECKED(JSObject, obj, 0);
258 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
259 Handle<Object> result;
260 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result,
261 GetOwnProperty(isolate, obj, name));
262 return *result;
263}
264
265
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400266RUNTIME_FUNCTION(Runtime_OptimizeObjectForAddingMultipleProperties) {
267 HandleScope scope(isolate);
268 DCHECK(args.length() == 2);
269 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
270 CONVERT_SMI_ARG_CHECKED(properties, 1);
271 // Conservative upper limit to prevent fuzz tests from going OOM.
272 RUNTIME_ASSERT(properties <= 100000);
273 if (object->HasFastProperties() && !object->IsJSGlobalProxy()) {
274 JSObject::NormalizeProperties(object, KEEP_INOBJECT_PROPERTIES, properties,
275 "OptimizeForAdding");
276 }
277 return *object;
278}
279
280
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000281RUNTIME_FUNCTION(Runtime_LoadGlobalViaContext) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400282 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000283 DCHECK_EQ(1, args.length());
284 CONVERT_SMI_ARG_CHECKED(slot, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400285
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000286 // Go up context chain to the script context.
287 Handle<Context> script_context(isolate->context()->script_context(), isolate);
288 DCHECK(script_context->IsScriptContext());
289 DCHECK(script_context->get(slot)->IsPropertyCell());
290
291 // Lookup the named property on the global object.
292 Handle<ScopeInfo> scope_info(script_context->scope_info(), isolate);
293 Handle<Name> name(scope_info->ContextSlotName(slot), isolate);
294 Handle<JSGlobalObject> global_object(script_context->global_object(),
295 isolate);
296 LookupIterator it(global_object, name, LookupIterator::HIDDEN);
297
298 // Switch to fast mode only if there is a data property and it's not on
299 // a hidden prototype.
300 if (it.state() == LookupIterator::DATA &&
301 it.GetHolder<Object>().is_identical_to(global_object)) {
302 // Now update the cell in the script context.
303 Handle<PropertyCell> cell = it.GetPropertyCell();
304 script_context->set(slot, *cell);
305 } else {
306 // This is not a fast case, so keep this access in a slow mode.
307 // Store empty_property_cell here to release the outdated property cell.
308 script_context->set(slot, isolate->heap()->empty_property_cell());
309 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400310
311 Handle<Object> result;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000312 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result, Object::GetProperty(&it));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400313 return *result;
314}
315
316
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000317namespace {
318
319Object* StoreGlobalViaContext(Isolate* isolate, int slot, Handle<Object> value,
320 LanguageMode language_mode) {
321 // Go up context chain to the script context.
322 Handle<Context> script_context(isolate->context()->script_context(), isolate);
323 DCHECK(script_context->IsScriptContext());
324 DCHECK(script_context->get(slot)->IsPropertyCell());
325
326 // Lookup the named property on the global object.
327 Handle<ScopeInfo> scope_info(script_context->scope_info(), isolate);
328 Handle<Name> name(scope_info->ContextSlotName(slot), isolate);
329 Handle<JSGlobalObject> global_object(script_context->global_object(),
330 isolate);
331 LookupIterator it(global_object, name, LookupIterator::HIDDEN);
332
333 // Switch to fast mode only if there is a data property and it's not on
334 // a hidden prototype.
335 if (it.state() == LookupIterator::DATA &&
336 it.GetHolder<Object>().is_identical_to(global_object)) {
337 // Now update cell in the script context.
338 Handle<PropertyCell> cell = it.GetPropertyCell();
339 script_context->set(slot, *cell);
340 } else {
341 // This is not a fast case, so keep this access in a slow mode.
342 // Store empty_property_cell here to release the outdated property cell.
343 script_context->set(slot, isolate->heap()->empty_property_cell());
344 }
345
346 MAYBE_RETURN(Object::SetProperty(&it, value, language_mode,
347 Object::CERTAINLY_NOT_STORE_FROM_KEYED),
348 isolate->heap()->exception());
349 return *value;
350}
351
352} // namespace
353
354
355RUNTIME_FUNCTION(Runtime_StoreGlobalViaContext_Sloppy) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400356 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000357 DCHECK_EQ(2, args.length());
358 CONVERT_SMI_ARG_CHECKED(slot, 0);
359 CONVERT_ARG_HANDLE_CHECKED(Object, value, 1);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400360
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000361 return StoreGlobalViaContext(isolate, slot, value, SLOPPY);
362}
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400363
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000364
365RUNTIME_FUNCTION(Runtime_StoreGlobalViaContext_Strict) {
366 HandleScope scope(isolate);
367 DCHECK_EQ(2, args.length());
368 CONVERT_SMI_ARG_CHECKED(slot, 0);
369 CONVERT_ARG_HANDLE_CHECKED(Object, value, 1);
370
371 return StoreGlobalViaContext(isolate, slot, value, STRICT);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400372}
373
374
375RUNTIME_FUNCTION(Runtime_GetProperty) {
376 HandleScope scope(isolate);
377 DCHECK(args.length() == 2);
378
379 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
380 CONVERT_ARG_HANDLE_CHECKED(Object, key, 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000381
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400382 Handle<Object> result;
383 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100384 isolate, result, Runtime::GetObjectProperty(isolate, object, key));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000385 return *result;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400386}
387
388
389// KeyedGetProperty is called from KeyedLoadIC::GenerateGeneric.
390RUNTIME_FUNCTION(Runtime_KeyedGetProperty) {
391 HandleScope scope(isolate);
392 DCHECK(args.length() == 2);
393
394 CONVERT_ARG_HANDLE_CHECKED(Object, receiver_obj, 0);
395 CONVERT_ARG_HANDLE_CHECKED(Object, key_obj, 1);
396
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400397 Handle<Object> result;
398 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100399 isolate, result, KeyedGetObjectProperty(isolate, receiver_obj, key_obj));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400400 return *result;
401}
402
403
404RUNTIME_FUNCTION(Runtime_AddNamedProperty) {
405 HandleScope scope(isolate);
406 RUNTIME_ASSERT(args.length() == 4);
407
408 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000409 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400410 CONVERT_ARG_HANDLE_CHECKED(Object, value, 2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000411 CONVERT_PROPERTY_ATTRIBUTES_CHECKED(attrs, 3);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400412
413#ifdef DEBUG
414 uint32_t index = 0;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000415 DCHECK(!name->ToArrayIndex(&index));
416 LookupIterator it(object, name, LookupIterator::OWN_SKIP_INTERCEPTOR);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400417 Maybe<PropertyAttributes> maybe = JSReceiver::GetPropertyAttributes(&it);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000418 if (!maybe.IsJust()) return isolate->heap()->exception();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400419 RUNTIME_ASSERT(!it.IsFound());
420#endif
421
422 Handle<Object> result;
423 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
424 isolate, result,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000425 JSObject::SetOwnPropertyIgnoreAttributes(object, name, value, attrs));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400426 return *result;
427}
428
429
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000430// Adds an element to an array.
431// This is used to create an indexed data property into an array.
432RUNTIME_FUNCTION(Runtime_AddElement) {
433 HandleScope scope(isolate);
434 RUNTIME_ASSERT(args.length() == 3);
435
436 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
437 CONVERT_ARG_HANDLE_CHECKED(Object, key, 1);
438 CONVERT_ARG_HANDLE_CHECKED(Object, value, 2);
439
440 uint32_t index = 0;
441 CHECK(key->ToArrayIndex(&index));
442
443#ifdef DEBUG
444 LookupIterator it(isolate, object, index,
445 LookupIterator::OWN_SKIP_INTERCEPTOR);
446 Maybe<PropertyAttributes> maybe = JSReceiver::GetPropertyAttributes(&it);
447 if (!maybe.IsJust()) return isolate->heap()->exception();
448 RUNTIME_ASSERT(!it.IsFound());
449
450 if (object->IsJSArray()) {
451 Handle<JSArray> array = Handle<JSArray>::cast(object);
452 RUNTIME_ASSERT(!JSArray::WouldChangeReadOnlyLength(array, index));
453 }
454#endif
455
456 Handle<Object> result;
457 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
458 isolate, result,
459 JSObject::SetOwnElementIgnoreAttributes(object, index, value, NONE));
460 return *result;
461}
462
463
464RUNTIME_FUNCTION(Runtime_AppendElement) {
465 HandleScope scope(isolate);
466 RUNTIME_ASSERT(args.length() == 2);
467
468 CONVERT_ARG_HANDLE_CHECKED(JSArray, array, 0);
469 CONVERT_ARG_HANDLE_CHECKED(Object, value, 1);
470
471 uint32_t index;
472 CHECK(array->length()->ToArrayIndex(&index));
473
474 Handle<Object> result;
475 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
476 isolate, result, JSObject::AddDataElement(array, index, value, NONE));
477 JSObject::ValidateElements(array);
478 return *array;
479}
480
481
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400482RUNTIME_FUNCTION(Runtime_SetProperty) {
483 HandleScope scope(isolate);
484 RUNTIME_ASSERT(args.length() == 4);
485
486 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
487 CONVERT_ARG_HANDLE_CHECKED(Object, key, 1);
488 CONVERT_ARG_HANDLE_CHECKED(Object, value, 2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000489 CONVERT_LANGUAGE_MODE_ARG_CHECKED(language_mode_arg, 3);
490 LanguageMode language_mode = language_mode_arg;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400491
492 Handle<Object> result;
493 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
494 isolate, result,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000495 Runtime::SetObjectProperty(isolate, object, key, value, language_mode));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400496 return *result;
497}
498
499
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000500namespace {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400501
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000502// ES6 section 12.5.4.
503Object* DeleteProperty(Isolate* isolate, Handle<Object> object,
504 Handle<Object> key, LanguageMode language_mode) {
505 Handle<JSReceiver> receiver;
Ben Murdoch097c5b22016-05-18 11:27:45 +0100506 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver,
507 Object::ToObject(isolate, object));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000508 Maybe<bool> result =
509 Runtime::DeleteObjectProperty(isolate, receiver, key, language_mode);
510 MAYBE_RETURN(result, isolate->heap()->exception());
511 return isolate->heap()->ToBoolean(result.FromJust());
512}
513
514} // namespace
515
516
517RUNTIME_FUNCTION(Runtime_DeleteProperty_Sloppy) {
518 HandleScope scope(isolate);
519 DCHECK_EQ(2, args.length());
520 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400521 CONVERT_ARG_HANDLE_CHECKED(Object, key, 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000522 return DeleteProperty(isolate, object, key, SLOPPY);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400523}
524
525
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000526RUNTIME_FUNCTION(Runtime_DeleteProperty_Strict) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400527 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000528 DCHECK_EQ(2, args.length());
529 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
530 CONVERT_ARG_HANDLE_CHECKED(Object, key, 1);
531 return DeleteProperty(isolate, object, key, STRICT);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400532}
533
534
535static Object* HasOwnPropertyImplementation(Isolate* isolate,
536 Handle<JSObject> object,
537 Handle<Name> key) {
538 Maybe<bool> maybe = JSReceiver::HasOwnProperty(object, key);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000539 if (!maybe.IsJust()) return isolate->heap()->exception();
540 if (maybe.FromJust()) return isolate->heap()->true_value();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400541 // Handle hidden prototypes. If there's a hidden prototype above this thing
542 // then we have to check it for properties, because they are supposed to
543 // look like they are on this object.
Ben Murdoch097c5b22016-05-18 11:27:45 +0100544 if (object->map()->has_hidden_prototype()) {
545 PrototypeIterator iter(isolate, object);
546 DCHECK(!iter.IsAtEnd());
547
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400548 // TODO(verwaest): The recursion is not necessary for keys that are array
549 // indices. Removing this.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000550 // Casting to JSObject is fine because JSProxies are never used as
551 // hidden prototypes.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400552 return HasOwnPropertyImplementation(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000553 isolate, PrototypeIterator::GetCurrent<JSObject>(iter), key);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400554 }
555 RETURN_FAILURE_IF_SCHEDULED_EXCEPTION(isolate);
556 return isolate->heap()->false_value();
557}
558
559
560RUNTIME_FUNCTION(Runtime_HasOwnProperty) {
561 HandleScope scope(isolate);
562 DCHECK(args.length() == 2);
563 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0)
564 CONVERT_ARG_HANDLE_CHECKED(Name, key, 1);
565
566 uint32_t index;
567 const bool key_is_array_index = key->AsArrayIndex(&index);
568
569 // Only JS objects can have properties.
570 if (object->IsJSObject()) {
571 Handle<JSObject> js_obj = Handle<JSObject>::cast(object);
572 // Fast case: either the key is a real named property or it is not
573 // an array index and there are no interceptors or hidden
574 // prototypes.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000575 // TODO(jkummerow): Make JSReceiver::HasOwnProperty fast enough to
576 // handle all cases directly (without this custom fast path).
577 Maybe<bool> maybe = Nothing<bool>();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400578 if (key_is_array_index) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000579 LookupIterator it(js_obj->GetIsolate(), js_obj, index,
580 LookupIterator::HIDDEN);
581 maybe = JSReceiver::HasProperty(&it);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400582 } else {
583 maybe = JSObject::HasRealNamedProperty(js_obj, key);
584 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000585 if (!maybe.IsJust()) return isolate->heap()->exception();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400586 DCHECK(!isolate->has_pending_exception());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000587 if (maybe.FromJust()) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400588 return isolate->heap()->true_value();
589 }
590 Map* map = js_obj->map();
591 if (!key_is_array_index && !map->has_named_interceptor() &&
Ben Murdoch097c5b22016-05-18 11:27:45 +0100592 !map->has_hidden_prototype()) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400593 return isolate->heap()->false_value();
594 }
595 // Slow case.
596 return HasOwnPropertyImplementation(isolate, Handle<JSObject>(js_obj),
597 Handle<Name>(key));
598 } else if (object->IsString() && key_is_array_index) {
599 // Well, there is one exception: Handle [] on strings.
600 Handle<String> string = Handle<String>::cast(object);
601 if (index < static_cast<uint32_t>(string->length())) {
602 return isolate->heap()->true_value();
603 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000604 } else if (object->IsJSProxy()) {
605 Maybe<bool> result =
606 JSReceiver::HasOwnProperty(Handle<JSProxy>::cast(object), key);
607 if (!result.IsJust()) return isolate->heap()->exception();
608 return isolate->heap()->ToBoolean(result.FromJust());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400609 }
610 return isolate->heap()->false_value();
611}
612
613
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000614// ES6 section 12.9.3, operator in.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400615RUNTIME_FUNCTION(Runtime_HasProperty) {
616 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000617 DCHECK_EQ(2, args.length());
618 CONVERT_ARG_HANDLE_CHECKED(Object, key, 0);
619 CONVERT_ARG_HANDLE_CHECKED(Object, object, 1);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400620
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000621 // Check that {object} is actually a receiver.
622 if (!object->IsJSReceiver()) {
623 THROW_NEW_ERROR_RETURN_FAILURE(
624 isolate,
625 NewTypeError(MessageTemplate::kInvalidInOperatorUse, key, object));
626 }
627 Handle<JSReceiver> receiver = Handle<JSReceiver>::cast(object);
628
629 // Convert the {key} to a name.
630 Handle<Name> name;
631 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name,
632 Object::ToName(isolate, key));
633
634 // Lookup the {name} on {receiver}.
635 Maybe<bool> maybe = JSReceiver::HasProperty(receiver, name);
636 if (!maybe.IsJust()) return isolate->heap()->exception();
637 return isolate->heap()->ToBoolean(maybe.FromJust());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400638}
639
640
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000641RUNTIME_FUNCTION(Runtime_PropertyIsEnumerable) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400642 HandleScope scope(isolate);
643 DCHECK(args.length() == 2);
644
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000645 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, object, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400646 CONVERT_ARG_HANDLE_CHECKED(Name, key, 1);
647
648 Maybe<PropertyAttributes> maybe =
649 JSReceiver::GetOwnPropertyAttributes(object, key);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000650 if (!maybe.IsJust()) return isolate->heap()->exception();
651 if (maybe.FromJust() == ABSENT) return isolate->heap()->false_value();
652 return isolate->heap()->ToBoolean((maybe.FromJust() & DONT_ENUM) == 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400653}
654
655
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000656RUNTIME_FUNCTION(Runtime_GetOwnPropertyKeys) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400657 HandleScope scope(isolate);
658 DCHECK(args.length() == 2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000659 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, object, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400660 CONVERT_SMI_ARG_CHECKED(filter_value, 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000661 PropertyFilter filter = static_cast<PropertyFilter>(filter_value);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400662
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000663 Handle<FixedArray> keys;
664 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100665 isolate, keys,
666 JSReceiver::GetKeys(object, OWN_ONLY, filter, CONVERT_TO_STRING));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400667
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000668 return *isolate->factory()->NewJSArrayWithElements(keys);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400669}
670
671
672// Return information on whether an object has a named or indexed interceptor.
673// args[0]: object
674RUNTIME_FUNCTION(Runtime_GetInterceptorInfo) {
675 HandleScope scope(isolate);
676 DCHECK(args.length() == 1);
677 if (!args[0]->IsJSObject()) {
678 return Smi::FromInt(0);
679 }
680 CONVERT_ARG_HANDLE_CHECKED(JSObject, obj, 0);
681
682 int result = 0;
683 if (obj->HasNamedInterceptor()) result |= 2;
684 if (obj->HasIndexedInterceptor()) result |= 1;
685
686 return Smi::FromInt(result);
687}
688
689
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400690RUNTIME_FUNCTION(Runtime_ToFastProperties) {
691 HandleScope scope(isolate);
692 DCHECK(args.length() == 1);
693 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000694 if (object->IsJSObject() && !object->IsJSGlobalObject()) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400695 JSObject::MigrateSlowToFast(Handle<JSObject>::cast(object), 0,
696 "RuntimeToFastProperties");
697 }
698 return *object;
699}
700
701
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400702RUNTIME_FUNCTION(Runtime_AllocateHeapNumber) {
703 HandleScope scope(isolate);
704 DCHECK(args.length() == 0);
705 return *isolate->factory()->NewHeapNumber(0);
706}
707
708
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400709RUNTIME_FUNCTION(Runtime_NewObject) {
710 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000711 DCHECK_EQ(2, args.length());
712 CONVERT_ARG_HANDLE_CHECKED(JSFunction, target, 0);
713 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, new_target, 1);
714 Handle<JSObject> result;
715 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result,
716 JSObject::New(target, new_target));
717 return *result;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400718}
719
720
721RUNTIME_FUNCTION(Runtime_FinalizeInstanceSize) {
722 HandleScope scope(isolate);
723 DCHECK(args.length() == 1);
724
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000725 CONVERT_ARG_HANDLE_CHECKED(Map, initial_map, 0);
726 initial_map->CompleteInobjectSlackTracking();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400727
728 return isolate->heap()->undefined_value();
729}
730
731
732RUNTIME_FUNCTION(Runtime_GlobalProxy) {
733 SealHandleScope shs(isolate);
734 DCHECK(args.length() == 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000735 CONVERT_ARG_CHECKED(JSFunction, function, 0);
736 return function->context()->global_proxy();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400737}
738
739
740RUNTIME_FUNCTION(Runtime_LookupAccessor) {
741 HandleScope scope(isolate);
742 DCHECK(args.length() == 3);
743 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, receiver, 0);
744 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
745 CONVERT_SMI_ARG_CHECKED(flag, 2);
746 AccessorComponent component = flag == 0 ? ACCESSOR_GETTER : ACCESSOR_SETTER;
747 if (!receiver->IsJSObject()) return isolate->heap()->undefined_value();
748 Handle<Object> result;
749 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
750 isolate, result,
751 JSObject::GetAccessor(Handle<JSObject>::cast(receiver), name, component));
752 return *result;
753}
754
755
756RUNTIME_FUNCTION(Runtime_LoadMutableDouble) {
757 HandleScope scope(isolate);
758 DCHECK(args.length() == 2);
759 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
760 CONVERT_ARG_HANDLE_CHECKED(Smi, index, 1);
761 RUNTIME_ASSERT((index->value() & 1) == 1);
762 FieldIndex field_index =
763 FieldIndex::ForLoadByFieldIndex(object->map(), index->value());
764 if (field_index.is_inobject()) {
765 RUNTIME_ASSERT(field_index.property_index() <
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000766 object->map()->GetInObjectProperties());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400767 } else {
768 RUNTIME_ASSERT(field_index.outobject_array_index() <
769 object->properties()->length());
770 }
771 return *JSObject::FastPropertyAt(object, Representation::Double(),
772 field_index);
773}
774
775
776RUNTIME_FUNCTION(Runtime_TryMigrateInstance) {
777 HandleScope scope(isolate);
778 DCHECK(args.length() == 1);
779 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
780 if (!object->IsJSObject()) return Smi::FromInt(0);
781 Handle<JSObject> js_object = Handle<JSObject>::cast(object);
782 if (!js_object->map()->is_deprecated()) return Smi::FromInt(0);
783 // This call must not cause lazy deopts, because it's called from deferred
784 // code where we can't handle lazy deopts for lack of a suitable bailout
785 // ID. So we just try migration and signal failure if necessary,
786 // which will also trigger a deopt.
787 if (!JSObject::TryMigrateInstance(js_object)) return Smi::FromInt(0);
788 return *object;
789}
790
791
792RUNTIME_FUNCTION(Runtime_IsJSGlobalProxy) {
793 SealHandleScope shs(isolate);
794 DCHECK(args.length() == 1);
795 CONVERT_ARG_CHECKED(Object, obj, 0);
796 return isolate->heap()->ToBoolean(obj->IsJSGlobalProxy());
797}
798
799
800static bool IsValidAccessor(Handle<Object> obj) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000801 return obj->IsUndefined() || obj->IsCallable() || obj->IsNull();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400802}
803
804
805// Implements part of 8.12.9 DefineOwnProperty.
806// There are 3 cases that lead here:
807// Step 4b - define a new accessor property.
808// Steps 9c & 12 - replace an existing data property with an accessor property.
809// Step 12 - update an existing accessor property with an accessor or generic
810// descriptor.
811RUNTIME_FUNCTION(Runtime_DefineAccessorPropertyUnchecked) {
812 HandleScope scope(isolate);
813 DCHECK(args.length() == 5);
814 CONVERT_ARG_HANDLE_CHECKED(JSObject, obj, 0);
815 RUNTIME_ASSERT(!obj->IsNull());
816 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
817 CONVERT_ARG_HANDLE_CHECKED(Object, getter, 2);
818 RUNTIME_ASSERT(IsValidAccessor(getter));
819 CONVERT_ARG_HANDLE_CHECKED(Object, setter, 3);
820 RUNTIME_ASSERT(IsValidAccessor(setter));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000821 CONVERT_PROPERTY_ATTRIBUTES_CHECKED(attrs, 4);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400822
823 RETURN_FAILURE_ON_EXCEPTION(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000824 isolate, JSObject::DefineAccessor(obj, name, getter, setter, attrs));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400825 return isolate->heap()->undefined_value();
826}
827
828
829// Implements part of 8.12.9 DefineOwnProperty.
830// There are 3 cases that lead here:
831// Step 4a - define a new data property.
832// Steps 9b & 12 - replace an existing accessor property with a data property.
833// Step 12 - update an existing data property with a data or generic
834// descriptor.
835RUNTIME_FUNCTION(Runtime_DefineDataPropertyUnchecked) {
836 HandleScope scope(isolate);
837 DCHECK(args.length() == 4);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000838 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400839 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000840 CONVERT_ARG_HANDLE_CHECKED(Object, value, 2);
841 CONVERT_PROPERTY_ATTRIBUTES_CHECKED(attrs, 3);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400842
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000843 LookupIterator it = LookupIterator::PropertyOrElement(isolate, object, name,
844 LookupIterator::OWN);
845 if (it.state() == LookupIterator::ACCESS_CHECK && !it.HasAccess()) {
846 return isolate->heap()->undefined_value();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400847 }
848
849 Handle<Object> result;
850 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000851 isolate, result, JSObject::DefineOwnPropertyIgnoreAttributes(
852 &it, value, attrs, JSObject::DONT_FORCE_FIELD));
853
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400854 return *result;
855}
856
Ben Murdoch097c5b22016-05-18 11:27:45 +0100857RUNTIME_FUNCTION(Runtime_DefineDataPropertyInLiteral) {
858 HandleScope scope(isolate);
859 DCHECK(args.length() == 5);
860 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
861 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
862 CONVERT_ARG_HANDLE_CHECKED(Object, value, 2);
863 CONVERT_PROPERTY_ATTRIBUTES_CHECKED(attrs, 3);
864 CONVERT_SMI_ARG_CHECKED(set_function_name, 4);
865
866 if (FLAG_harmony_function_name && set_function_name) {
867 DCHECK(value->IsJSFunction());
868 JSFunction::SetName(Handle<JSFunction>::cast(value), name,
869 isolate->factory()->empty_string());
870 }
871
872 LookupIterator it = LookupIterator::PropertyOrElement(isolate, object, name,
873 LookupIterator::OWN);
874 // Cannot fail since this should only be called when
875 // creating an object literal.
876 CHECK(JSObject::DefineOwnPropertyIgnoreAttributes(&it, value, attrs,
877 Object::DONT_THROW)
878 .IsJust());
879 return *object;
880}
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400881
882// Return property without being observable by accessors or interceptors.
883RUNTIME_FUNCTION(Runtime_GetDataProperty) {
884 HandleScope scope(isolate);
885 DCHECK(args.length() == 2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000886 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, object, 0);
887 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
888 return *JSReceiver::GetDataProperty(object, name);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400889}
890
891
892RUNTIME_FUNCTION(Runtime_HasFastPackedElements) {
893 SealHandleScope shs(isolate);
894 DCHECK(args.length() == 1);
895 CONVERT_ARG_CHECKED(HeapObject, obj, 0);
896 return isolate->heap()->ToBoolean(
897 IsFastPackedElementsKind(obj->map()->elements_kind()));
898}
899
900
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000901RUNTIME_FUNCTION(Runtime_ValueOf) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400902 SealHandleScope shs(isolate);
903 DCHECK(args.length() == 1);
904 CONVERT_ARG_CHECKED(Object, obj, 0);
905 if (!obj->IsJSValue()) return obj;
906 return JSValue::cast(obj)->value();
907}
908
909
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000910RUNTIME_FUNCTION(Runtime_IsJSReceiver) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400911 SealHandleScope shs(isolate);
912 DCHECK(args.length() == 1);
913 CONVERT_ARG_CHECKED(Object, obj, 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000914 return isolate->heap()->ToBoolean(obj->IsJSReceiver());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400915}
916
917
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000918RUNTIME_FUNCTION(Runtime_IsStrong) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400919 SealHandleScope shs(isolate);
920 DCHECK(args.length() == 1);
921 CONVERT_ARG_CHECKED(Object, obj, 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000922 return isolate->heap()->ToBoolean(obj->IsJSReceiver() &&
923 JSReceiver::cast(obj)->map()->is_strong());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400924}
925
926
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000927RUNTIME_FUNCTION(Runtime_ClassOf) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400928 SealHandleScope shs(isolate);
929 DCHECK(args.length() == 1);
930 CONVERT_ARG_CHECKED(Object, obj, 0);
931 if (!obj->IsJSReceiver()) return isolate->heap()->null_value();
932 return JSReceiver::cast(obj)->class_name();
933}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000934
935
936RUNTIME_FUNCTION(Runtime_DefineGetterPropertyUnchecked) {
937 HandleScope scope(isolate);
938 DCHECK(args.length() == 4);
939 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
940 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
941 CONVERT_ARG_HANDLE_CHECKED(JSFunction, getter, 2);
942 CONVERT_PROPERTY_ATTRIBUTES_CHECKED(attrs, 3);
943
Ben Murdoch097c5b22016-05-18 11:27:45 +0100944 if (FLAG_harmony_function_name &&
945 String::cast(getter->shared()->name())->length() == 0) {
946 JSFunction::SetName(getter, name, isolate->factory()->get_string());
947 }
948
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000949 RETURN_FAILURE_ON_EXCEPTION(
950 isolate,
951 JSObject::DefineAccessor(object, name, getter,
952 isolate->factory()->null_value(), attrs));
953 return isolate->heap()->undefined_value();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400954}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000955
956
957RUNTIME_FUNCTION(Runtime_DefineSetterPropertyUnchecked) {
958 HandleScope scope(isolate);
959 DCHECK(args.length() == 4);
960 CONVERT_ARG_HANDLE_CHECKED(JSObject, object, 0);
961 CONVERT_ARG_HANDLE_CHECKED(Name, name, 1);
962 CONVERT_ARG_HANDLE_CHECKED(JSFunction, setter, 2);
963 CONVERT_PROPERTY_ATTRIBUTES_CHECKED(attrs, 3);
964
Ben Murdoch097c5b22016-05-18 11:27:45 +0100965 if (FLAG_harmony_function_name &&
966 String::cast(setter->shared()->name())->length() == 0) {
967 JSFunction::SetName(setter, name, isolate->factory()->set_string());
968 }
969
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000970 RETURN_FAILURE_ON_EXCEPTION(
971 isolate,
972 JSObject::DefineAccessor(object, name, isolate->factory()->null_value(),
973 setter, attrs));
974 return isolate->heap()->undefined_value();
975}
976
977
978RUNTIME_FUNCTION(Runtime_ToObject) {
979 HandleScope scope(isolate);
980 DCHECK_EQ(1, args.length());
981 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
982 Handle<JSReceiver> receiver;
Ben Murdoch097c5b22016-05-18 11:27:45 +0100983 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, receiver,
984 Object::ToObject(isolate, object));
985 return *receiver;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000986}
987
988
989RUNTIME_FUNCTION(Runtime_ToPrimitive) {
990 HandleScope scope(isolate);
991 DCHECK_EQ(1, args.length());
992 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
993 Handle<Object> result;
994 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result,
995 Object::ToPrimitive(input));
996 return *result;
997}
998
999
1000RUNTIME_FUNCTION(Runtime_ToPrimitive_Number) {
1001 HandleScope scope(isolate);
1002 DCHECK_EQ(1, args.length());
1003 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
1004 Handle<Object> result;
1005 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
1006 isolate, result, Object::ToPrimitive(input, ToPrimitiveHint::kNumber));
1007 return *result;
1008}
1009
1010
1011RUNTIME_FUNCTION(Runtime_ToPrimitive_String) {
1012 HandleScope scope(isolate);
1013 DCHECK_EQ(1, args.length());
1014 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
1015 Handle<Object> result;
1016 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
1017 isolate, result, Object::ToPrimitive(input, ToPrimitiveHint::kString));
1018 return *result;
1019}
1020
1021
1022RUNTIME_FUNCTION(Runtime_ToNumber) {
1023 HandleScope scope(isolate);
1024 DCHECK_EQ(1, args.length());
1025 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
1026 Handle<Object> result;
1027 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result, Object::ToNumber(input));
1028 return *result;
1029}
1030
1031
1032RUNTIME_FUNCTION(Runtime_ToInteger) {
1033 HandleScope scope(isolate);
1034 DCHECK_EQ(1, args.length());
1035 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
1036 Handle<Object> result;
1037 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result,
1038 Object::ToInteger(isolate, input));
1039 return *result;
1040}
1041
1042
1043RUNTIME_FUNCTION(Runtime_ToLength) {
1044 HandleScope scope(isolate);
1045 DCHECK_EQ(1, args.length());
1046 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
1047 Handle<Object> result;
1048 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result,
1049 Object::ToLength(isolate, input));
1050 return *result;
1051}
1052
1053
1054RUNTIME_FUNCTION(Runtime_ToString) {
1055 HandleScope scope(isolate);
1056 DCHECK_EQ(1, args.length());
1057 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
1058 Handle<Object> result;
1059 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result,
1060 Object::ToString(isolate, input));
1061 return *result;
1062}
1063
1064
1065RUNTIME_FUNCTION(Runtime_ToName) {
1066 HandleScope scope(isolate);
1067 DCHECK_EQ(1, args.length());
1068 CONVERT_ARG_HANDLE_CHECKED(Object, input, 0);
1069 Handle<Object> result;
1070 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, result,
1071 Object::ToName(isolate, input));
1072 return *result;
1073}
1074
1075
Ben Murdoch097c5b22016-05-18 11:27:45 +01001076RUNTIME_FUNCTION(Runtime_SameValue) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001077 SealHandleScope scope(isolate);
1078 DCHECK_EQ(2, args.length());
1079 CONVERT_ARG_CHECKED(Object, x, 0);
1080 CONVERT_ARG_CHECKED(Object, y, 1);
Ben Murdoch097c5b22016-05-18 11:27:45 +01001081 return isolate->heap()->ToBoolean(x->SameValue(y));
1082}
1083
1084
1085RUNTIME_FUNCTION(Runtime_SameValueZero) {
1086 SealHandleScope scope(isolate);
1087 DCHECK_EQ(2, args.length());
1088 CONVERT_ARG_CHECKED(Object, x, 0);
1089 CONVERT_ARG_CHECKED(Object, y, 1);
1090 return isolate->heap()->ToBoolean(x->SameValueZero(y));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001091}
1092
1093
1094// TODO(bmeurer): Kill this special wrapper and use TF compatible LessThan,
1095// GreaterThan, etc. which return true or false.
1096RUNTIME_FUNCTION(Runtime_Compare) {
1097 HandleScope scope(isolate);
1098 DCHECK_EQ(3, args.length());
1099 CONVERT_ARG_HANDLE_CHECKED(Object, x, 0);
1100 CONVERT_ARG_HANDLE_CHECKED(Object, y, 1);
1101 CONVERT_ARG_HANDLE_CHECKED(Object, ncr, 2);
1102 Maybe<ComparisonResult> result = Object::Compare(x, y);
1103 if (result.IsJust()) {
1104 switch (result.FromJust()) {
1105 case ComparisonResult::kLessThan:
1106 return Smi::FromInt(LESS);
1107 case ComparisonResult::kEqual:
1108 return Smi::FromInt(EQUAL);
1109 case ComparisonResult::kGreaterThan:
1110 return Smi::FromInt(GREATER);
1111 case ComparisonResult::kUndefined:
1112 return *ncr;
1113 }
1114 UNREACHABLE();
1115 }
1116 return isolate->heap()->exception();
1117}
1118
1119
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001120RUNTIME_FUNCTION(Runtime_InstanceOf) {
1121 // ECMA-262, section 11.8.6, page 54.
1122 HandleScope shs(isolate);
1123 DCHECK_EQ(2, args.length());
1124 DCHECK(args.length() == 2);
1125 CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
1126 CONVERT_ARG_HANDLE_CHECKED(Object, callable, 1);
1127 // {callable} must have a [[Call]] internal method.
1128 if (!callable->IsCallable()) {
1129 THROW_NEW_ERROR_RETURN_FAILURE(
1130 isolate,
1131 NewTypeError(MessageTemplate::kInstanceofFunctionExpected, callable));
1132 }
1133 // If {object} is not a receiver, return false.
1134 if (!object->IsJSReceiver()) {
1135 return isolate->heap()->false_value();
1136 }
1137 // Check if {callable} is bound, if so, get [[BoundTargetFunction]] from it
1138 // and use that instead of {callable}.
1139 while (callable->IsJSBoundFunction()) {
1140 callable =
1141 handle(Handle<JSBoundFunction>::cast(callable)->bound_target_function(),
1142 isolate);
1143 }
1144 DCHECK(callable->IsCallable());
1145 // Get the "prototype" of {callable}; raise an error if it's not a receiver.
1146 Handle<Object> prototype;
1147 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
1148 isolate, prototype,
1149 Object::GetProperty(callable, isolate->factory()->prototype_string()));
1150 if (!prototype->IsJSReceiver()) {
1151 THROW_NEW_ERROR_RETURN_FAILURE(
1152 isolate,
1153 NewTypeError(MessageTemplate::kInstanceofNonobjectProto, prototype));
1154 }
1155 // Return whether or not {prototype} is in the prototype chain of {object}.
Ben Murdoch097c5b22016-05-18 11:27:45 +01001156 Handle<JSReceiver> receiver = Handle<JSReceiver>::cast(object);
1157 Maybe<bool> result =
1158 JSReceiver::HasInPrototypeChain(isolate, receiver, prototype);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001159 MAYBE_RETURN(result, isolate->heap()->exception());
1160 return isolate->heap()->ToBoolean(result.FromJust());
1161}
1162
1163
1164RUNTIME_FUNCTION(Runtime_HasInPrototypeChain) {
1165 HandleScope scope(isolate);
1166 DCHECK_EQ(2, args.length());
Ben Murdoch097c5b22016-05-18 11:27:45 +01001167 CONVERT_ARG_HANDLE_CHECKED(JSReceiver, object, 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001168 CONVERT_ARG_HANDLE_CHECKED(Object, prototype, 1);
Ben Murdoch097c5b22016-05-18 11:27:45 +01001169 Maybe<bool> result =
1170 JSReceiver::HasInPrototypeChain(isolate, object, prototype);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001171 MAYBE_RETURN(result, isolate->heap()->exception());
1172 return isolate->heap()->ToBoolean(result.FromJust());
1173}
1174
1175
1176// ES6 section 7.4.7 CreateIterResultObject ( value, done )
1177RUNTIME_FUNCTION(Runtime_CreateIterResultObject) {
1178 HandleScope scope(isolate);
1179 DCHECK_EQ(2, args.length());
1180 CONVERT_ARG_HANDLE_CHECKED(Object, value, 0);
1181 CONVERT_ARG_HANDLE_CHECKED(Object, done, 1);
Ben Murdoch097c5b22016-05-18 11:27:45 +01001182 Handle<JSObject> result =
1183 isolate->factory()->NewJSObjectFromMap(isolate->iterator_result_map());
1184 result->InObjectPropertyAtPut(JSIteratorResult::kValueIndex, *value);
1185 result->InObjectPropertyAtPut(JSIteratorResult::kDoneIndex, *done);
1186 return *result;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001187}
1188
1189
1190RUNTIME_FUNCTION(Runtime_IsAccessCheckNeeded) {
1191 SealHandleScope shs(isolate);
1192 DCHECK_EQ(1, args.length());
1193 CONVERT_ARG_CHECKED(Object, object, 0);
1194 return isolate->heap()->ToBoolean(object->IsAccessCheckNeeded());
1195}
1196
1197
1198RUNTIME_FUNCTION(Runtime_ObjectDefineProperty) {
1199 HandleScope scope(isolate);
1200 DCHECK(args.length() == 3);
1201 CONVERT_ARG_HANDLE_CHECKED(Object, o, 0);
1202 CONVERT_ARG_HANDLE_CHECKED(Object, name, 1);
1203 CONVERT_ARG_HANDLE_CHECKED(Object, attributes, 2);
1204 return JSReceiver::DefineProperty(isolate, o, name, attributes);
1205}
1206
1207
1208RUNTIME_FUNCTION(Runtime_ObjectDefineProperties) {
1209 HandleScope scope(isolate);
1210 DCHECK(args.length() == 2);
1211 CONVERT_ARG_HANDLE_CHECKED(Object, o, 0);
1212 CONVERT_ARG_HANDLE_CHECKED(Object, properties, 1);
1213 ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
1214 isolate, o, JSReceiver::DefineProperties(isolate, o, properties));
1215 return *o;
1216}
1217
1218} // namespace internal
1219} // namespace v8