Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 1 | // 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 Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 5 | #include "src/runtime/runtime-utils.h" |
| 6 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 7 | #include <stdlib.h> |
| 8 | #include <limits> |
| 9 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 10 | #include "src/arguments.h" |
| 11 | #include "src/debug/debug.h" |
| 12 | #include "src/frames-inl.h" |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 13 | #include "src/isolate-inl.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 14 | #include "src/messages.h" |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 15 | #include "src/runtime/runtime.h" |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 16 | |
| 17 | namespace v8 { |
| 18 | namespace internal { |
| 19 | |
| 20 | |
| 21 | RUNTIME_FUNCTION(Runtime_ThrowNonMethodError) { |
| 22 | HandleScope scope(isolate); |
| 23 | DCHECK(args.length() == 0); |
| 24 | THROW_NEW_ERROR_RETURN_FAILURE( |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 25 | isolate, NewReferenceError(MessageTemplate::kNonMethod)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 26 | } |
| 27 | |
| 28 | |
| 29 | RUNTIME_FUNCTION(Runtime_ThrowUnsupportedSuperError) { |
| 30 | HandleScope scope(isolate); |
| 31 | DCHECK(args.length() == 0); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 32 | THROW_NEW_ERROR_RETURN_FAILURE( |
| 33 | isolate, NewReferenceError(MessageTemplate::kUnsupportedSuper)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 34 | } |
| 35 | |
| 36 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 37 | RUNTIME_FUNCTION(Runtime_ThrowConstructorNonCallableError) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 38 | HandleScope scope(isolate); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 39 | DCHECK(args.length() == 1); |
| 40 | CONVERT_ARG_HANDLE_CHECKED(JSFunction, constructor, 0); |
| 41 | Handle<Object> name(constructor->shared()->name(), isolate); |
| 42 | THROW_NEW_ERROR_RETURN_FAILURE( |
| 43 | isolate, NewTypeError(MessageTemplate::kConstructorNonCallable, name)); |
| 44 | } |
| 45 | |
| 46 | |
| 47 | RUNTIME_FUNCTION(Runtime_ThrowArrayNotSubclassableError) { |
| 48 | HandleScope scope(isolate); |
| 49 | DCHECK(args.length() == 0); |
| 50 | THROW_NEW_ERROR_RETURN_FAILURE( |
| 51 | isolate, NewTypeError(MessageTemplate::kArrayNotSubclassable)); |
| 52 | } |
| 53 | |
| 54 | |
| 55 | static Object* ThrowStaticPrototypeError(Isolate* isolate) { |
| 56 | THROW_NEW_ERROR_RETURN_FAILURE( |
| 57 | isolate, NewTypeError(MessageTemplate::kStaticPrototype)); |
| 58 | } |
| 59 | |
| 60 | |
| 61 | RUNTIME_FUNCTION(Runtime_ThrowStaticPrototypeError) { |
| 62 | HandleScope scope(isolate); |
| 63 | DCHECK(args.length() == 0); |
| 64 | return ThrowStaticPrototypeError(isolate); |
| 65 | } |
| 66 | |
| 67 | |
| 68 | RUNTIME_FUNCTION(Runtime_ThrowIfStaticPrototype) { |
| 69 | HandleScope scope(isolate); |
| 70 | DCHECK(args.length() == 1); |
| 71 | CONVERT_ARG_HANDLE_CHECKED(Name, name, 0); |
| 72 | if (Name::Equals(name, isolate->factory()->prototype_string())) { |
| 73 | return ThrowStaticPrototypeError(isolate); |
| 74 | } |
| 75 | return *name; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 76 | } |
| 77 | |
| 78 | |
| 79 | RUNTIME_FUNCTION(Runtime_HomeObjectSymbol) { |
| 80 | DCHECK(args.length() == 0); |
| 81 | return isolate->heap()->home_object_symbol(); |
| 82 | } |
| 83 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 84 | static MaybeHandle<Object> DefineClass(Isolate* isolate, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 85 | Handle<Object> super_class, |
| 86 | Handle<JSFunction> constructor, |
| 87 | int start_position, int end_position) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 88 | Handle<Object> prototype_parent; |
| 89 | Handle<Object> constructor_parent; |
| 90 | |
| 91 | if (super_class->IsTheHole()) { |
| 92 | prototype_parent = isolate->initial_object_prototype(); |
| 93 | } else { |
| 94 | if (super_class->IsNull()) { |
| 95 | prototype_parent = isolate->factory()->null_value(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 96 | } else if (super_class->IsConstructor()) { |
| 97 | if (super_class->IsJSFunction() && |
| 98 | Handle<JSFunction>::cast(super_class)->shared()->is_generator()) { |
| 99 | THROW_NEW_ERROR( |
| 100 | isolate, |
| 101 | NewTypeError(MessageTemplate::kExtendsValueGenerator, super_class), |
| 102 | Object); |
| 103 | } |
| 104 | ASSIGN_RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 105 | isolate, prototype_parent, |
| 106 | Runtime::GetObjectProperty(isolate, super_class, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 107 | isolate->factory()->prototype_string()), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 108 | Object); |
| 109 | if (!prototype_parent->IsNull() && !prototype_parent->IsJSReceiver()) { |
| 110 | THROW_NEW_ERROR( |
| 111 | isolate, NewTypeError(MessageTemplate::kPrototypeParentNotAnObject, |
| 112 | prototype_parent), |
| 113 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 114 | } |
| 115 | constructor_parent = super_class; |
| 116 | } else { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 117 | THROW_NEW_ERROR( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 118 | isolate, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 119 | NewTypeError(MessageTemplate::kExtendsValueNotFunction, super_class), |
| 120 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 121 | } |
| 122 | } |
| 123 | |
| 124 | Handle<Map> map = |
| 125 | isolate->factory()->NewMap(JS_OBJECT_TYPE, JSObject::kHeaderSize); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 126 | map->set_is_prototype_map(true); |
| 127 | if (constructor->map()->is_strong()) { |
| 128 | map->set_is_strong(); |
| 129 | if (super_class->IsNull()) { |
| 130 | // Strong class is not permitted to extend null. |
| 131 | THROW_NEW_ERROR(isolate, NewTypeError(MessageTemplate::kStrongExtendNull), |
| 132 | Object); |
| 133 | } |
| 134 | } |
| 135 | Map::SetPrototype(map, prototype_parent); |
| 136 | map->SetConstructor(*constructor); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 137 | Handle<JSObject> prototype = isolate->factory()->NewJSObjectFromMap(map); |
| 138 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 139 | if (!super_class->IsTheHole()) { |
| 140 | // Derived classes, just like builtins, don't create implicit receivers in |
| 141 | // [[construct]]. Instead they just set up new.target and call into the |
| 142 | // constructor. Hence we can reuse the builtins construct stub for derived |
| 143 | // classes. |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 144 | Handle<Code> stub(isolate->builtins()->JSBuiltinsConstructStubForDerived()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 145 | constructor->shared()->set_construct_stub(*stub); |
| 146 | } |
| 147 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 148 | JSFunction::SetPrototype(constructor, prototype); |
| 149 | PropertyAttributes attribs = |
| 150 | static_cast<PropertyAttributes>(DONT_ENUM | DONT_DELETE | READ_ONLY); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 151 | RETURN_ON_EXCEPTION(isolate, |
| 152 | JSObject::SetOwnPropertyIgnoreAttributes( |
| 153 | constructor, isolate->factory()->prototype_string(), |
| 154 | prototype, attribs), |
| 155 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 156 | |
| 157 | // TODO(arv): Only do this conditionally. |
| 158 | Handle<Symbol> home_object_symbol(isolate->heap()->home_object_symbol()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 159 | RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 160 | isolate, JSObject::SetOwnPropertyIgnoreAttributes( |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 161 | constructor, home_object_symbol, prototype, DONT_ENUM), |
| 162 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 163 | |
| 164 | if (!constructor_parent.is_null()) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 165 | MAYBE_RETURN_NULL(JSObject::SetPrototype(constructor, constructor_parent, |
| 166 | false, Object::THROW_ON_ERROR)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 167 | } |
| 168 | |
| 169 | JSObject::AddProperty(prototype, isolate->factory()->constructor_string(), |
| 170 | constructor, DONT_ENUM); |
| 171 | |
| 172 | // Install private properties that are used to construct the FunctionToString. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 173 | RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 174 | isolate, |
| 175 | Object::SetProperty( |
| 176 | constructor, isolate->factory()->class_start_position_symbol(), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 177 | handle(Smi::FromInt(start_position), isolate), STRICT), |
| 178 | Object); |
| 179 | RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 180 | isolate, Object::SetProperty( |
| 181 | constructor, isolate->factory()->class_end_position_symbol(), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 182 | handle(Smi::FromInt(end_position), isolate), STRICT), |
| 183 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 184 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 185 | return constructor; |
| 186 | } |
| 187 | |
| 188 | |
| 189 | RUNTIME_FUNCTION(Runtime_DefineClass) { |
| 190 | HandleScope scope(isolate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 191 | DCHECK(args.length() == 4); |
| 192 | CONVERT_ARG_HANDLE_CHECKED(Object, super_class, 0); |
| 193 | CONVERT_ARG_HANDLE_CHECKED(JSFunction, constructor, 1); |
| 194 | CONVERT_SMI_ARG_CHECKED(start_position, 2); |
| 195 | CONVERT_SMI_ARG_CHECKED(end_position, 3); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 196 | |
| 197 | Handle<Object> result; |
| 198 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 199 | isolate, result, DefineClass(isolate, super_class, constructor, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 200 | start_position, end_position)); |
| 201 | return *result; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 202 | } |
| 203 | |
| 204 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 205 | RUNTIME_FUNCTION(Runtime_FinalizeClassDefinition) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 206 | HandleScope scope(isolate); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 207 | DCHECK(args.length() == 2); |
| 208 | CONVERT_ARG_HANDLE_CHECKED(JSObject, constructor, 0); |
| 209 | CONVERT_ARG_HANDLE_CHECKED(JSObject, prototype, 1); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 210 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 211 | JSObject::MigrateSlowToFast(constructor, 0, "RuntimeToFastProperties"); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 212 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 213 | if (constructor->map()->is_strong()) { |
| 214 | DCHECK(prototype->map()->is_strong()); |
| 215 | MAYBE_RETURN(JSReceiver::SetIntegrityLevel(prototype, FROZEN, |
| 216 | Object::THROW_ON_ERROR), |
| 217 | isolate->heap()->exception()); |
| 218 | MAYBE_RETURN(JSReceiver::SetIntegrityLevel(constructor, FROZEN, |
| 219 | Object::THROW_ON_ERROR), |
| 220 | isolate->heap()->exception()); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 221 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 222 | return *constructor; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 223 | } |
| 224 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 225 | static MaybeHandle<Object> LoadFromSuper(Isolate* isolate, |
| 226 | Handle<Object> receiver, |
| 227 | Handle<JSObject> home_object, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 228 | Handle<Name> name) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 229 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 230 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 231 | isolate->ReportFailedAccessCheck(home_object); |
| 232 | RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(isolate, Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 233 | } |
| 234 | |
| 235 | PrototypeIterator iter(isolate, home_object); |
| 236 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 237 | if (!proto->IsJSReceiver()) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 238 | return Object::ReadAbsentProperty(isolate, proto, name); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 239 | } |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 240 | |
| 241 | LookupIterator it(receiver, name, Handle<JSReceiver>::cast(proto)); |
| 242 | Handle<Object> result; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 243 | ASSIGN_RETURN_ON_EXCEPTION(isolate, result, Object::GetProperty(&it), Object); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 244 | return result; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 245 | } |
| 246 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 247 | static MaybeHandle<Object> LoadElementFromSuper(Isolate* isolate, |
| 248 | Handle<Object> receiver, |
| 249 | Handle<JSObject> home_object, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 250 | uint32_t index) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 251 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 252 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 253 | isolate->ReportFailedAccessCheck(home_object); |
| 254 | RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(isolate, Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 255 | } |
| 256 | |
| 257 | PrototypeIterator iter(isolate, home_object); |
| 258 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 259 | if (!proto->IsJSReceiver()) { |
| 260 | Handle<Object> name = isolate->factory()->NewNumberFromUint(index); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 261 | return Object::ReadAbsentProperty(isolate, proto, name); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 262 | } |
| 263 | |
| 264 | LookupIterator it(isolate, receiver, index, Handle<JSReceiver>::cast(proto)); |
| 265 | Handle<Object> result; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 266 | ASSIGN_RETURN_ON_EXCEPTION(isolate, result, Object::GetProperty(&it), Object); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 267 | return result; |
| 268 | } |
| 269 | |
| 270 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 271 | RUNTIME_FUNCTION(Runtime_LoadFromSuper) { |
| 272 | HandleScope scope(isolate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 273 | DCHECK_EQ(3, args.length()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 274 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 275 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 276 | CONVERT_ARG_HANDLE_CHECKED(Name, name, 2); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 277 | |
| 278 | Handle<Object> result; |
| 279 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 280 | isolate, result, LoadFromSuper(isolate, receiver, home_object, name)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 281 | return *result; |
| 282 | } |
| 283 | |
| 284 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 285 | RUNTIME_FUNCTION(Runtime_LoadKeyedFromSuper) { |
| 286 | HandleScope scope(isolate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 287 | DCHECK_EQ(3, args.length()); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 288 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 289 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 290 | CONVERT_ARG_HANDLE_CHECKED(Object, key, 2); |
| 291 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 292 | uint32_t index = 0; |
| 293 | Handle<Object> result; |
| 294 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 295 | if (key->ToArrayIndex(&index)) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 296 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 297 | isolate, result, |
| 298 | LoadElementFromSuper(isolate, receiver, home_object, index)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 299 | return *result; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 300 | } |
| 301 | |
| 302 | Handle<Name> name; |
| 303 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 304 | Object::ToName(isolate, key)); |
| 305 | // TODO(verwaest): Unify using LookupIterator. |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 306 | if (name->AsArrayIndex(&index)) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 307 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 308 | isolate, result, |
| 309 | LoadElementFromSuper(isolate, receiver, home_object, index)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 310 | return *result; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 311 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 312 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION( |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 313 | isolate, result, LoadFromSuper(isolate, receiver, home_object, name)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 314 | return *result; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 315 | } |
| 316 | |
| 317 | |
| 318 | static Object* StoreToSuper(Isolate* isolate, Handle<JSObject> home_object, |
| 319 | Handle<Object> receiver, Handle<Name> name, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 320 | Handle<Object> value, LanguageMode language_mode) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 321 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 322 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 323 | isolate->ReportFailedAccessCheck(home_object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 324 | RETURN_FAILURE_IF_SCHEDULED_EXCEPTION(isolate); |
| 325 | } |
| 326 | |
| 327 | PrototypeIterator iter(isolate, home_object); |
| 328 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
| 329 | if (!proto->IsJSReceiver()) return isolate->heap()->undefined_value(); |
| 330 | |
| 331 | LookupIterator it(receiver, name, Handle<JSReceiver>::cast(proto)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 332 | MAYBE_RETURN(Object::SetSuperProperty(&it, value, language_mode, |
| 333 | Object::CERTAINLY_NOT_STORE_FROM_KEYED), |
| 334 | isolate->heap()->exception()); |
| 335 | return *value; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 336 | } |
| 337 | |
| 338 | |
| 339 | static Object* StoreElementToSuper(Isolate* isolate, |
| 340 | Handle<JSObject> home_object, |
| 341 | Handle<Object> receiver, uint32_t index, |
| 342 | Handle<Object> value, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 343 | LanguageMode language_mode) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 344 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 345 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 346 | isolate->ReportFailedAccessCheck(home_object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 347 | RETURN_FAILURE_IF_SCHEDULED_EXCEPTION(isolate); |
| 348 | } |
| 349 | |
| 350 | PrototypeIterator iter(isolate, home_object); |
| 351 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
| 352 | if (!proto->IsJSReceiver()) return isolate->heap()->undefined_value(); |
| 353 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 354 | LookupIterator it(isolate, receiver, index, Handle<JSReceiver>::cast(proto)); |
| 355 | MAYBE_RETURN(Object::SetSuperProperty(&it, value, language_mode, |
| 356 | Object::MAY_BE_STORE_FROM_KEYED), |
| 357 | isolate->heap()->exception()); |
| 358 | return *value; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 359 | } |
| 360 | |
| 361 | |
| 362 | RUNTIME_FUNCTION(Runtime_StoreToSuper_Strict) { |
| 363 | HandleScope scope(isolate); |
| 364 | DCHECK(args.length() == 4); |
| 365 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 366 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 367 | CONVERT_ARG_HANDLE_CHECKED(Name, name, 2); |
| 368 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 369 | |
| 370 | return StoreToSuper(isolate, home_object, receiver, name, value, STRICT); |
| 371 | } |
| 372 | |
| 373 | |
| 374 | RUNTIME_FUNCTION(Runtime_StoreToSuper_Sloppy) { |
| 375 | HandleScope scope(isolate); |
| 376 | DCHECK(args.length() == 4); |
| 377 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 378 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 379 | CONVERT_ARG_HANDLE_CHECKED(Name, name, 2); |
| 380 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 381 | |
| 382 | return StoreToSuper(isolate, home_object, receiver, name, value, SLOPPY); |
| 383 | } |
| 384 | |
| 385 | |
| 386 | static Object* StoreKeyedToSuper(Isolate* isolate, Handle<JSObject> home_object, |
| 387 | Handle<Object> receiver, Handle<Object> key, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 388 | Handle<Object> value, |
| 389 | LanguageMode language_mode) { |
| 390 | uint32_t index = 0; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 391 | |
| 392 | if (key->ToArrayIndex(&index)) { |
| 393 | return StoreElementToSuper(isolate, home_object, receiver, index, value, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 394 | language_mode); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 395 | } |
| 396 | Handle<Name> name; |
| 397 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 398 | Object::ToName(isolate, key)); |
| 399 | // TODO(verwaest): Unify using LookupIterator. |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 400 | if (name->AsArrayIndex(&index)) { |
| 401 | return StoreElementToSuper(isolate, home_object, receiver, index, value, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 402 | language_mode); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 403 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 404 | return StoreToSuper(isolate, home_object, receiver, name, value, |
| 405 | language_mode); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 406 | } |
| 407 | |
| 408 | |
| 409 | RUNTIME_FUNCTION(Runtime_StoreKeyedToSuper_Strict) { |
| 410 | HandleScope scope(isolate); |
| 411 | DCHECK(args.length() == 4); |
| 412 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 413 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 414 | CONVERT_ARG_HANDLE_CHECKED(Object, key, 2); |
| 415 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 416 | |
| 417 | return StoreKeyedToSuper(isolate, home_object, receiver, key, value, STRICT); |
| 418 | } |
| 419 | |
| 420 | |
| 421 | RUNTIME_FUNCTION(Runtime_StoreKeyedToSuper_Sloppy) { |
| 422 | HandleScope scope(isolate); |
| 423 | DCHECK(args.length() == 4); |
| 424 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 425 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 426 | CONVERT_ARG_HANDLE_CHECKED(Object, key, 2); |
| 427 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 428 | |
| 429 | return StoreKeyedToSuper(isolate, home_object, receiver, key, value, SLOPPY); |
| 430 | } |
| 431 | |
| 432 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 433 | RUNTIME_FUNCTION(Runtime_GetSuperConstructor) { |
| 434 | SealHandleScope shs(isolate); |
| 435 | DCHECK_EQ(1, args.length()); |
| 436 | CONVERT_ARG_CHECKED(JSFunction, active_function, 0); |
| 437 | return active_function->map()->prototype(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 438 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 439 | |
| 440 | } // namespace internal |
| 441 | } // namespace v8 |