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 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 91 | if (super_class->IsTheHole(isolate)) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 92 | prototype_parent = isolate->initial_object_prototype(); |
| 93 | } else { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 94 | if (super_class->IsNull(isolate)) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 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()) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 97 | DCHECK(!super_class->IsJSFunction() || |
| 98 | !Handle<JSFunction>::cast(super_class)->shared()->is_resumable()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 99 | ASSIGN_RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 100 | isolate, prototype_parent, |
| 101 | Runtime::GetObjectProperty(isolate, super_class, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 102 | isolate->factory()->prototype_string()), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 103 | Object); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 104 | if (!prototype_parent->IsNull(isolate) && |
| 105 | !prototype_parent->IsJSReceiver()) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 106 | THROW_NEW_ERROR( |
| 107 | isolate, NewTypeError(MessageTemplate::kPrototypeParentNotAnObject, |
| 108 | prototype_parent), |
| 109 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 110 | } |
| 111 | constructor_parent = super_class; |
| 112 | } else { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 113 | THROW_NEW_ERROR(isolate, |
| 114 | NewTypeError(MessageTemplate::kExtendsValueNotConstructor, |
| 115 | super_class), |
| 116 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 117 | } |
| 118 | } |
| 119 | |
| 120 | Handle<Map> map = |
| 121 | isolate->factory()->NewMap(JS_OBJECT_TYPE, JSObject::kHeaderSize); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 122 | map->set_is_prototype_map(true); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 123 | Map::SetPrototype(map, prototype_parent); |
| 124 | map->SetConstructor(*constructor); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 125 | Handle<JSObject> prototype = isolate->factory()->NewJSObjectFromMap(map); |
| 126 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 127 | if (!super_class->IsTheHole(isolate)) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 128 | // Derived classes, just like builtins, don't create implicit receivers in |
| 129 | // [[construct]]. Instead they just set up new.target and call into the |
| 130 | // constructor. Hence we can reuse the builtins construct stub for derived |
| 131 | // classes. |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 132 | Handle<Code> stub(isolate->builtins()->JSBuiltinsConstructStubForDerived()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 133 | constructor->shared()->set_construct_stub(*stub); |
| 134 | } |
| 135 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 136 | JSFunction::SetPrototype(constructor, prototype); |
| 137 | PropertyAttributes attribs = |
| 138 | static_cast<PropertyAttributes>(DONT_ENUM | DONT_DELETE | READ_ONLY); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 139 | RETURN_ON_EXCEPTION(isolate, |
| 140 | JSObject::SetOwnPropertyIgnoreAttributes( |
| 141 | constructor, isolate->factory()->prototype_string(), |
| 142 | prototype, attribs), |
| 143 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 144 | |
| 145 | // TODO(arv): Only do this conditionally. |
| 146 | Handle<Symbol> home_object_symbol(isolate->heap()->home_object_symbol()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 147 | RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 148 | isolate, JSObject::SetOwnPropertyIgnoreAttributes( |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 149 | constructor, home_object_symbol, prototype, DONT_ENUM), |
| 150 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 151 | |
| 152 | if (!constructor_parent.is_null()) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 153 | MAYBE_RETURN_NULL(JSObject::SetPrototype(constructor, constructor_parent, |
| 154 | false, Object::THROW_ON_ERROR)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 155 | } |
| 156 | |
| 157 | JSObject::AddProperty(prototype, isolate->factory()->constructor_string(), |
| 158 | constructor, DONT_ENUM); |
| 159 | |
| 160 | // Install private properties that are used to construct the FunctionToString. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 161 | RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 162 | isolate, |
| 163 | Object::SetProperty( |
| 164 | constructor, isolate->factory()->class_start_position_symbol(), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 165 | handle(Smi::FromInt(start_position), isolate), STRICT), |
| 166 | Object); |
| 167 | RETURN_ON_EXCEPTION( |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 168 | isolate, Object::SetProperty( |
| 169 | constructor, isolate->factory()->class_end_position_symbol(), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 170 | handle(Smi::FromInt(end_position), isolate), STRICT), |
| 171 | Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 172 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 173 | return constructor; |
| 174 | } |
| 175 | |
| 176 | |
| 177 | RUNTIME_FUNCTION(Runtime_DefineClass) { |
| 178 | HandleScope scope(isolate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 179 | DCHECK(args.length() == 4); |
| 180 | CONVERT_ARG_HANDLE_CHECKED(Object, super_class, 0); |
| 181 | CONVERT_ARG_HANDLE_CHECKED(JSFunction, constructor, 1); |
| 182 | CONVERT_SMI_ARG_CHECKED(start_position, 2); |
| 183 | CONVERT_SMI_ARG_CHECKED(end_position, 3); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 184 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 185 | RETURN_RESULT_OR_FAILURE( |
| 186 | isolate, DefineClass(isolate, super_class, constructor, start_position, |
| 187 | end_position)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 188 | } |
| 189 | |
| 190 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 191 | static MaybeHandle<Object> LoadFromSuper(Isolate* isolate, |
| 192 | Handle<Object> receiver, |
| 193 | Handle<JSObject> home_object, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 194 | Handle<Name> name) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 195 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 196 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 197 | isolate->ReportFailedAccessCheck(home_object); |
| 198 | RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(isolate, Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 199 | } |
| 200 | |
| 201 | PrototypeIterator iter(isolate, home_object); |
| 202 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 203 | if (!proto->IsJSReceiver()) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 204 | return Object::ReadAbsentProperty(isolate, proto, name); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 205 | } |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 206 | |
| 207 | LookupIterator it(receiver, name, Handle<JSReceiver>::cast(proto)); |
| 208 | Handle<Object> result; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 209 | ASSIGN_RETURN_ON_EXCEPTION(isolate, result, Object::GetProperty(&it), Object); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 210 | return result; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 211 | } |
| 212 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 213 | static MaybeHandle<Object> LoadElementFromSuper(Isolate* isolate, |
| 214 | Handle<Object> receiver, |
| 215 | Handle<JSObject> home_object, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 216 | uint32_t index) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 217 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 218 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 219 | isolate->ReportFailedAccessCheck(home_object); |
| 220 | RETURN_EXCEPTION_IF_SCHEDULED_EXCEPTION(isolate, Object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 221 | } |
| 222 | |
| 223 | PrototypeIterator iter(isolate, home_object); |
| 224 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 225 | if (!proto->IsJSReceiver()) { |
| 226 | Handle<Object> name = isolate->factory()->NewNumberFromUint(index); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 227 | return Object::ReadAbsentProperty(isolate, proto, name); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 228 | } |
| 229 | |
| 230 | LookupIterator it(isolate, receiver, index, Handle<JSReceiver>::cast(proto)); |
| 231 | Handle<Object> result; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 232 | ASSIGN_RETURN_ON_EXCEPTION(isolate, result, Object::GetProperty(&it), Object); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 233 | return result; |
| 234 | } |
| 235 | |
| 236 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 237 | RUNTIME_FUNCTION(Runtime_LoadFromSuper) { |
| 238 | HandleScope scope(isolate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 239 | DCHECK_EQ(3, args.length()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 240 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 241 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 242 | CONVERT_ARG_HANDLE_CHECKED(Name, name, 2); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 243 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 244 | RETURN_RESULT_OR_FAILURE(isolate, |
| 245 | LoadFromSuper(isolate, receiver, home_object, name)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 246 | } |
| 247 | |
| 248 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 249 | RUNTIME_FUNCTION(Runtime_LoadKeyedFromSuper) { |
| 250 | HandleScope scope(isolate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 251 | DCHECK_EQ(3, args.length()); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 252 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 253 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 254 | CONVERT_ARG_HANDLE_CHECKED(Object, key, 2); |
| 255 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 256 | uint32_t index = 0; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 257 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 258 | if (key->ToArrayIndex(&index)) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 259 | RETURN_RESULT_OR_FAILURE( |
| 260 | isolate, LoadElementFromSuper(isolate, receiver, home_object, index)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 261 | } |
| 262 | |
| 263 | Handle<Name> name; |
| 264 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 265 | Object::ToName(isolate, key)); |
| 266 | // TODO(verwaest): Unify using LookupIterator. |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 267 | if (name->AsArrayIndex(&index)) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 268 | RETURN_RESULT_OR_FAILURE( |
| 269 | isolate, LoadElementFromSuper(isolate, receiver, home_object, index)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 270 | } |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 271 | RETURN_RESULT_OR_FAILURE(isolate, |
| 272 | LoadFromSuper(isolate, receiver, home_object, name)); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 273 | } |
| 274 | |
| 275 | |
| 276 | static Object* StoreToSuper(Isolate* isolate, Handle<JSObject> home_object, |
| 277 | Handle<Object> receiver, Handle<Name> name, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 278 | Handle<Object> value, LanguageMode language_mode) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 279 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 280 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 281 | isolate->ReportFailedAccessCheck(home_object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 282 | RETURN_FAILURE_IF_SCHEDULED_EXCEPTION(isolate); |
| 283 | } |
| 284 | |
| 285 | PrototypeIterator iter(isolate, home_object); |
| 286 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
| 287 | if (!proto->IsJSReceiver()) return isolate->heap()->undefined_value(); |
| 288 | |
| 289 | LookupIterator it(receiver, name, Handle<JSReceiver>::cast(proto)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 290 | MAYBE_RETURN(Object::SetSuperProperty(&it, value, language_mode, |
| 291 | Object::CERTAINLY_NOT_STORE_FROM_KEYED), |
| 292 | isolate->heap()->exception()); |
| 293 | return *value; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 294 | } |
| 295 | |
| 296 | |
| 297 | static Object* StoreElementToSuper(Isolate* isolate, |
| 298 | Handle<JSObject> home_object, |
| 299 | Handle<Object> receiver, uint32_t index, |
| 300 | Handle<Object> value, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 301 | LanguageMode language_mode) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 302 | if (home_object->IsAccessCheckNeeded() && |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 303 | !isolate->MayAccess(handle(isolate->context()), home_object)) { |
| 304 | isolate->ReportFailedAccessCheck(home_object); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 305 | RETURN_FAILURE_IF_SCHEDULED_EXCEPTION(isolate); |
| 306 | } |
| 307 | |
| 308 | PrototypeIterator iter(isolate, home_object); |
| 309 | Handle<Object> proto = PrototypeIterator::GetCurrent(iter); |
| 310 | if (!proto->IsJSReceiver()) return isolate->heap()->undefined_value(); |
| 311 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 312 | LookupIterator it(isolate, receiver, index, Handle<JSReceiver>::cast(proto)); |
| 313 | MAYBE_RETURN(Object::SetSuperProperty(&it, value, language_mode, |
| 314 | Object::MAY_BE_STORE_FROM_KEYED), |
| 315 | isolate->heap()->exception()); |
| 316 | return *value; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 317 | } |
| 318 | |
| 319 | |
| 320 | RUNTIME_FUNCTION(Runtime_StoreToSuper_Strict) { |
| 321 | HandleScope scope(isolate); |
| 322 | DCHECK(args.length() == 4); |
| 323 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 324 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 325 | CONVERT_ARG_HANDLE_CHECKED(Name, name, 2); |
| 326 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 327 | |
| 328 | return StoreToSuper(isolate, home_object, receiver, name, value, STRICT); |
| 329 | } |
| 330 | |
| 331 | |
| 332 | RUNTIME_FUNCTION(Runtime_StoreToSuper_Sloppy) { |
| 333 | HandleScope scope(isolate); |
| 334 | DCHECK(args.length() == 4); |
| 335 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 336 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 337 | CONVERT_ARG_HANDLE_CHECKED(Name, name, 2); |
| 338 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 339 | |
| 340 | return StoreToSuper(isolate, home_object, receiver, name, value, SLOPPY); |
| 341 | } |
| 342 | |
| 343 | |
| 344 | static Object* StoreKeyedToSuper(Isolate* isolate, Handle<JSObject> home_object, |
| 345 | Handle<Object> receiver, Handle<Object> key, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 346 | Handle<Object> value, |
| 347 | LanguageMode language_mode) { |
| 348 | uint32_t index = 0; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 349 | |
| 350 | if (key->ToArrayIndex(&index)) { |
| 351 | return StoreElementToSuper(isolate, home_object, receiver, index, value, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 352 | language_mode); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 353 | } |
| 354 | Handle<Name> name; |
| 355 | ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, name, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 356 | Object::ToName(isolate, key)); |
| 357 | // TODO(verwaest): Unify using LookupIterator. |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 358 | if (name->AsArrayIndex(&index)) { |
| 359 | return StoreElementToSuper(isolate, home_object, receiver, index, value, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 360 | language_mode); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 361 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 362 | return StoreToSuper(isolate, home_object, receiver, name, value, |
| 363 | language_mode); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 364 | } |
| 365 | |
| 366 | |
| 367 | RUNTIME_FUNCTION(Runtime_StoreKeyedToSuper_Strict) { |
| 368 | HandleScope scope(isolate); |
| 369 | DCHECK(args.length() == 4); |
| 370 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 371 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 372 | CONVERT_ARG_HANDLE_CHECKED(Object, key, 2); |
| 373 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 374 | |
| 375 | return StoreKeyedToSuper(isolate, home_object, receiver, key, value, STRICT); |
| 376 | } |
| 377 | |
| 378 | |
| 379 | RUNTIME_FUNCTION(Runtime_StoreKeyedToSuper_Sloppy) { |
| 380 | HandleScope scope(isolate); |
| 381 | DCHECK(args.length() == 4); |
| 382 | CONVERT_ARG_HANDLE_CHECKED(Object, receiver, 0); |
| 383 | CONVERT_ARG_HANDLE_CHECKED(JSObject, home_object, 1); |
| 384 | CONVERT_ARG_HANDLE_CHECKED(Object, key, 2); |
| 385 | CONVERT_ARG_HANDLE_CHECKED(Object, value, 3); |
| 386 | |
| 387 | return StoreKeyedToSuper(isolate, home_object, receiver, key, value, SLOPPY); |
| 388 | } |
| 389 | |
| 390 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 391 | RUNTIME_FUNCTION(Runtime_GetSuperConstructor) { |
| 392 | SealHandleScope shs(isolate); |
| 393 | DCHECK_EQ(1, args.length()); |
| 394 | CONVERT_ARG_CHECKED(JSFunction, active_function, 0); |
| 395 | return active_function->map()->prototype(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 396 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 397 | |
| 398 | } // namespace internal |
| 399 | } // namespace v8 |