OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 925 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
936 return compiler.CompileLoadCallback(type, holder, name, info); | 936 return compiler.CompileLoadCallback(type, holder, name, info); |
937 } else if (callback->IsAccessorPair()) { | 937 } else if (callback->IsAccessorPair()) { |
938 Handle<Object> getter(Handle<AccessorPair>::cast(callback)->getter(), | 938 Handle<Object> getter(Handle<AccessorPair>::cast(callback)->getter(), |
939 isolate()); | 939 isolate()); |
940 if (!getter->IsJSFunction()) break; | 940 if (!getter->IsJSFunction()) break; |
941 if (holder->IsGlobalObject()) break; | 941 if (holder->IsGlobalObject()) break; |
942 if (!holder->HasFastProperties()) break; | 942 if (!holder->HasFastProperties()) break; |
943 Handle<JSFunction> function = Handle<JSFunction>::cast(getter); | 943 Handle<JSFunction> function = Handle<JSFunction>::cast(getter); |
944 if (!object->IsJSObject() && | 944 if (!object->IsJSObject() && |
945 !function->IsBuiltin() && | 945 !function->IsBuiltin() && |
946 function->shared()->is_sloppy_mode()) { | 946 function->shared()->strict_mode() == SLOPPY) { |
947 // Calling sloppy non-builtins with a value as the receiver | 947 // Calling sloppy non-builtins with a value as the receiver |
948 // requires boxing. | 948 // requires boxing. |
949 break; | 949 break; |
950 } | 950 } |
951 CallOptimization call_optimization(function); | 951 CallOptimization call_optimization(function); |
952 if (call_optimization.is_simple_api_call() && | 952 if (call_optimization.is_simple_api_call() && |
953 call_optimization.IsCompatibleReceiver(object, holder)) { | 953 call_optimization.IsCompatibleReceiver(object, holder)) { |
954 return compiler.CompileLoadCallback( | 954 return compiler.CompileLoadCallback( |
955 type, holder, name, call_optimization); | 955 type, holder, name, call_optimization); |
956 } | 956 } |
(...skipping 216 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1173 return *result; | 1173 return *result; |
1174 } | 1174 } |
1175 | 1175 |
1176 // If the object is undefined or null it's illegal to try to set any | 1176 // If the object is undefined or null it's illegal to try to set any |
1177 // properties on it; throw a TypeError in that case. | 1177 // properties on it; throw a TypeError in that case. |
1178 if (object->IsUndefined() || object->IsNull()) { | 1178 if (object->IsUndefined() || object->IsNull()) { |
1179 return TypeError("non_object_property_store", object, name); | 1179 return TypeError("non_object_property_store", object, name); |
1180 } | 1180 } |
1181 | 1181 |
1182 // The length property of string values is read-only. Throw in strict mode. | 1182 // The length property of string values is read-only. Throw in strict mode. |
1183 if (strict_mode() == kStrictMode && object->IsString() && | 1183 if (strict_mode() == STRICT && object->IsString() && |
1184 name->Equals(isolate()->heap()->length_string())) { | 1184 name->Equals(isolate()->heap()->length_string())) { |
1185 return TypeError("strict_read_only_property", object, name); | 1185 return TypeError("strict_read_only_property", object, name); |
1186 } | 1186 } |
1187 | 1187 |
1188 // Ignore other stores where the receiver is not a JSObject. | 1188 // Ignore other stores where the receiver is not a JSObject. |
1189 // TODO(1475): Must check prototype chains of object wrappers. | 1189 // TODO(1475): Must check prototype chains of object wrappers. |
1190 if (!object->IsJSObject()) return *value; | 1190 if (!object->IsJSObject()) return *value; |
1191 | 1191 |
1192 Handle<JSObject> receiver = Handle<JSObject>::cast(object); | 1192 Handle<JSObject> receiver = Handle<JSObject>::cast(object); |
1193 | 1193 |
(...skipping 30 matching lines...) Expand all Loading... |
1224 TRACE_IC("StoreIC", name); | 1224 TRACE_IC("StoreIC", name); |
1225 Handle<Object> result = JSReceiver::SetProperty( | 1225 Handle<Object> result = JSReceiver::SetProperty( |
1226 receiver, name, value, NONE, strict_mode(), store_mode); | 1226 receiver, name, value, NONE, strict_mode(), store_mode); |
1227 RETURN_IF_EMPTY_HANDLE(isolate(), result); | 1227 RETURN_IF_EMPTY_HANDLE(isolate(), result); |
1228 return *result; | 1228 return *result; |
1229 } | 1229 } |
1230 | 1230 |
1231 LookupResult lookup(isolate()); | 1231 LookupResult lookup(isolate()); |
1232 bool can_store = LookupForWrite(receiver, name, value, &lookup, this); | 1232 bool can_store = LookupForWrite(receiver, name, value, &lookup, this); |
1233 if (!can_store && | 1233 if (!can_store && |
1234 strict_mode() == kStrictMode && | 1234 strict_mode() == STRICT && |
1235 !(lookup.IsProperty() && lookup.IsReadOnly()) && | 1235 !(lookup.IsProperty() && lookup.IsReadOnly()) && |
1236 object->IsGlobalObject()) { | 1236 object->IsGlobalObject()) { |
1237 // Strict mode doesn't allow setting non-existent global property. | 1237 // Strict mode doesn't allow setting non-existent global property. |
1238 return ReferenceError("not_defined", name); | 1238 return ReferenceError("not_defined", name); |
1239 } | 1239 } |
1240 if (FLAG_use_ic) { | 1240 if (FLAG_use_ic) { |
1241 if (state() == UNINITIALIZED) { | 1241 if (state() == UNINITIALIZED) { |
1242 Handle<Code> stub = pre_monomorphic_stub(); | 1242 Handle<Code> stub = pre_monomorphic_stub(); |
1243 set_target(*stub); | 1243 set_target(*stub); |
1244 TRACE_IC("StoreIC", name); | 1244 TRACE_IC("StoreIC", name); |
1245 } else if (can_store) { | 1245 } else if (can_store) { |
1246 UpdateCaches(&lookup, receiver, name, value); | 1246 UpdateCaches(&lookup, receiver, name, value); |
1247 } else if (!name->IsCacheable(isolate()) || | 1247 } else if (!name->IsCacheable(isolate()) || |
1248 lookup.IsNormal() || | 1248 lookup.IsNormal() || |
1249 (lookup.IsField() && lookup.CanHoldValue(value))) { | 1249 (lookup.IsField() && lookup.CanHoldValue(value))) { |
1250 Handle<Code> stub = generic_stub(); | 1250 Handle<Code> stub = generic_stub(); |
1251 set_target(*stub); | 1251 set_target(*stub); |
1252 } | 1252 } |
1253 } | 1253 } |
1254 | 1254 |
1255 // Set the property. | 1255 // Set the property. |
1256 Handle<Object> result = JSReceiver::SetProperty( | 1256 Handle<Object> result = JSReceiver::SetProperty( |
1257 receiver, name, value, NONE, strict_mode(), store_mode); | 1257 receiver, name, value, NONE, strict_mode(), store_mode); |
1258 RETURN_IF_EMPTY_HANDLE(isolate(), result); | 1258 RETURN_IF_EMPTY_HANDLE(isolate(), result); |
1259 return *result; | 1259 return *result; |
1260 } | 1260 } |
1261 | 1261 |
1262 | 1262 |
1263 Handle<Code> StoreIC::initialize_stub(Isolate* isolate, | 1263 Handle<Code> StoreIC::initialize_stub(Isolate* isolate, |
1264 StrictModeFlag strict_mode) { | 1264 StrictMode strict_mode) { |
1265 ExtraICState extra_state = ComputeExtraICState(strict_mode); | 1265 ExtraICState extra_state = ComputeExtraICState(strict_mode); |
1266 Handle<Code> ic = isolate->stub_cache()->ComputeStore( | 1266 Handle<Code> ic = isolate->stub_cache()->ComputeStore( |
1267 UNINITIALIZED, extra_state); | 1267 UNINITIALIZED, extra_state); |
1268 return ic; | 1268 return ic; |
1269 } | 1269 } |
1270 | 1270 |
1271 | 1271 |
1272 Handle<Code> StoreIC::megamorphic_stub() { | 1272 Handle<Code> StoreIC::megamorphic_stub() { |
1273 return isolate()->stub_cache()->ComputeStore(MEGAMORPHIC, extra_ic_state()); | 1273 return isolate()->stub_cache()->ComputeStore(MEGAMORPHIC, extra_ic_state()); |
1274 } | 1274 } |
1275 | 1275 |
1276 | 1276 |
1277 Handle<Code> StoreIC::generic_stub() const { | 1277 Handle<Code> StoreIC::generic_stub() const { |
1278 return isolate()->stub_cache()->ComputeStore(GENERIC, extra_ic_state()); | 1278 return isolate()->stub_cache()->ComputeStore(GENERIC, extra_ic_state()); |
1279 } | 1279 } |
1280 | 1280 |
1281 | 1281 |
1282 Handle<Code> StoreIC::pre_monomorphic_stub(Isolate* isolate, | 1282 Handle<Code> StoreIC::pre_monomorphic_stub(Isolate* isolate, |
1283 StrictModeFlag strict_mode) { | 1283 StrictMode strict_mode) { |
1284 ExtraICState state = ComputeExtraICState(strict_mode); | 1284 ExtraICState state = ComputeExtraICState(strict_mode); |
1285 return isolate->stub_cache()->ComputeStore(PREMONOMORPHIC, state); | 1285 return isolate->stub_cache()->ComputeStore(PREMONOMORPHIC, state); |
1286 } | 1286 } |
1287 | 1287 |
1288 | 1288 |
1289 void StoreIC::UpdateCaches(LookupResult* lookup, | 1289 void StoreIC::UpdateCaches(LookupResult* lookup, |
1290 Handle<JSObject> receiver, | 1290 Handle<JSObject> receiver, |
1291 Handle<String> name, | 1291 Handle<String> name, |
1292 Handle<Object> value) { | 1292 Handle<Object> value) { |
1293 ASSERT(lookup->IsFound()); | 1293 ASSERT(lookup->IsFound()); |
(...skipping 13 matching lines...) Expand all Loading... |
1307 Handle<String> name, | 1307 Handle<String> name, |
1308 Handle<Object> value, | 1308 Handle<Object> value, |
1309 InlineCacheHolderFlag cache_holder) { | 1309 InlineCacheHolderFlag cache_holder) { |
1310 if (object->IsAccessCheckNeeded()) return slow_stub(); | 1310 if (object->IsAccessCheckNeeded()) return slow_stub(); |
1311 ASSERT(cache_holder == OWN_MAP); | 1311 ASSERT(cache_holder == OWN_MAP); |
1312 // This is currently guaranteed by checks in StoreIC::Store. | 1312 // This is currently guaranteed by checks in StoreIC::Store. |
1313 Handle<JSObject> receiver = Handle<JSObject>::cast(object); | 1313 Handle<JSObject> receiver = Handle<JSObject>::cast(object); |
1314 | 1314 |
1315 Handle<JSObject> holder(lookup->holder()); | 1315 Handle<JSObject> holder(lookup->holder()); |
1316 // Handlers do not use strict mode. | 1316 // Handlers do not use strict mode. |
1317 StoreStubCompiler compiler(isolate(), kSloppyMode, kind()); | 1317 StoreStubCompiler compiler(isolate(), SLOPPY, kind()); |
1318 switch (lookup->type()) { | 1318 switch (lookup->type()) { |
1319 case FIELD: | 1319 case FIELD: |
1320 return compiler.CompileStoreField(receiver, lookup, name); | 1320 return compiler.CompileStoreField(receiver, lookup, name); |
1321 case TRANSITION: { | 1321 case TRANSITION: { |
1322 // Explicitly pass in the receiver map since LookupForWrite may have | 1322 // Explicitly pass in the receiver map since LookupForWrite may have |
1323 // stored something else than the receiver in the holder. | 1323 // stored something else than the receiver in the holder. |
1324 Handle<Map> transition(lookup->GetTransitionTarget()); | 1324 Handle<Map> transition(lookup->GetTransitionTarget()); |
1325 PropertyDetails details = transition->GetLastDescriptorDetails(); | 1325 PropertyDetails details = transition->GetLastDescriptorDetails(); |
1326 | 1326 |
1327 if (details.type() == CALLBACKS || details.attributes() != NONE) break; | 1327 if (details.type() == CALLBACKS || details.attributes() != NONE) break; |
(...skipping 549 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1877 } | 1877 } |
1878 | 1878 |
1879 | 1879 |
1880 RUNTIME_FUNCTION(MaybeObject*, StoreIC_Slow) { | 1880 RUNTIME_FUNCTION(MaybeObject*, StoreIC_Slow) { |
1881 HandleScope scope(isolate); | 1881 HandleScope scope(isolate); |
1882 ASSERT(args.length() == 3); | 1882 ASSERT(args.length() == 3); |
1883 StoreIC ic(IC::NO_EXTRA_FRAME, isolate); | 1883 StoreIC ic(IC::NO_EXTRA_FRAME, isolate); |
1884 Handle<Object> object = args.at<Object>(0); | 1884 Handle<Object> object = args.at<Object>(0); |
1885 Handle<Object> key = args.at<Object>(1); | 1885 Handle<Object> key = args.at<Object>(1); |
1886 Handle<Object> value = args.at<Object>(2); | 1886 Handle<Object> value = args.at<Object>(2); |
1887 StrictModeFlag strict_mode = ic.strict_mode(); | 1887 StrictMode strict_mode = ic.strict_mode(); |
1888 Handle<Object> result = Runtime::SetObjectProperty(isolate, object, key, | 1888 Handle<Object> result = Runtime::SetObjectProperty(isolate, object, key, |
1889 value, | 1889 value, |
1890 NONE, | 1890 NONE, |
1891 strict_mode); | 1891 strict_mode); |
1892 RETURN_IF_EMPTY_HANDLE(isolate, result); | 1892 RETURN_IF_EMPTY_HANDLE(isolate, result); |
1893 return *result; | 1893 return *result; |
1894 } | 1894 } |
1895 | 1895 |
1896 | 1896 |
1897 RUNTIME_FUNCTION(MaybeObject*, KeyedStoreIC_Slow) { | 1897 RUNTIME_FUNCTION(MaybeObject*, KeyedStoreIC_Slow) { |
1898 HandleScope scope(isolate); | 1898 HandleScope scope(isolate); |
1899 ASSERT(args.length() == 3); | 1899 ASSERT(args.length() == 3); |
1900 KeyedStoreIC ic(IC::NO_EXTRA_FRAME, isolate); | 1900 KeyedStoreIC ic(IC::NO_EXTRA_FRAME, isolate); |
1901 Handle<Object> object = args.at<Object>(0); | 1901 Handle<Object> object = args.at<Object>(0); |
1902 Handle<Object> key = args.at<Object>(1); | 1902 Handle<Object> key = args.at<Object>(1); |
1903 Handle<Object> value = args.at<Object>(2); | 1903 Handle<Object> value = args.at<Object>(2); |
1904 StrictModeFlag strict_mode = ic.strict_mode(); | 1904 StrictMode strict_mode = ic.strict_mode(); |
1905 Handle<Object> result = Runtime::SetObjectProperty(isolate, object, key, | 1905 Handle<Object> result = Runtime::SetObjectProperty(isolate, object, key, |
1906 value, | 1906 value, |
1907 NONE, | 1907 NONE, |
1908 strict_mode); | 1908 strict_mode); |
1909 RETURN_IF_EMPTY_HANDLE(isolate, result); | 1909 RETURN_IF_EMPTY_HANDLE(isolate, result); |
1910 return *result; | 1910 return *result; |
1911 } | 1911 } |
1912 | 1912 |
1913 | 1913 |
1914 RUNTIME_FUNCTION(MaybeObject*, ElementsTransitionAndStoreIC_Miss) { | 1914 RUNTIME_FUNCTION(MaybeObject*, ElementsTransitionAndStoreIC_Miss) { |
1915 HandleScope scope(isolate); | 1915 HandleScope scope(isolate); |
1916 ASSERT(args.length() == 4); | 1916 ASSERT(args.length() == 4); |
1917 KeyedStoreIC ic(IC::EXTRA_CALL_FRAME, isolate); | 1917 KeyedStoreIC ic(IC::EXTRA_CALL_FRAME, isolate); |
1918 Handle<Object> value = args.at<Object>(0); | 1918 Handle<Object> value = args.at<Object>(0); |
1919 Handle<Map> map = args.at<Map>(1); | 1919 Handle<Map> map = args.at<Map>(1); |
1920 Handle<Object> key = args.at<Object>(2); | 1920 Handle<Object> key = args.at<Object>(2); |
1921 Handle<Object> object = args.at<Object>(3); | 1921 Handle<Object> object = args.at<Object>(3); |
1922 StrictModeFlag strict_mode = ic.strict_mode(); | 1922 StrictMode strict_mode = ic.strict_mode(); |
1923 if (object->IsJSObject()) { | 1923 if (object->IsJSObject()) { |
1924 JSObject::TransitionElementsKind(Handle<JSObject>::cast(object), | 1924 JSObject::TransitionElementsKind(Handle<JSObject>::cast(object), |
1925 map->elements_kind()); | 1925 map->elements_kind()); |
1926 } | 1926 } |
1927 Handle<Object> result = Runtime::SetObjectProperty(isolate, object, key, | 1927 Handle<Object> result = Runtime::SetObjectProperty(isolate, object, key, |
1928 value, | 1928 value, |
1929 NONE, | 1929 NONE, |
1930 strict_mode); | 1930 strict_mode); |
1931 RETURN_IF_EMPTY_HANDLE(isolate, result); | 1931 RETURN_IF_EMPTY_HANDLE(isolate, result); |
1932 return *result; | 1932 return *result; |
(...skipping 869 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2802 #undef ADDR | 2802 #undef ADDR |
2803 }; | 2803 }; |
2804 | 2804 |
2805 | 2805 |
2806 Address IC::AddressFromUtilityId(IC::UtilityId id) { | 2806 Address IC::AddressFromUtilityId(IC::UtilityId id) { |
2807 return IC_utilities[id]; | 2807 return IC_utilities[id]; |
2808 } | 2808 } |
2809 | 2809 |
2810 | 2810 |
2811 } } // namespace v8::internal | 2811 } } // namespace v8::internal |
OLD | NEW |