| OLD | NEW |
| 1 // Copyright 2006-2009 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2009 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 20 matching lines...) Expand all Loading... |
| 31 #include "api.h" | 31 #include "api.h" |
| 32 #include "arguments.h" | 32 #include "arguments.h" |
| 33 #include "execution.h" | 33 #include "execution.h" |
| 34 #include "ic-inl.h" | 34 #include "ic-inl.h" |
| 35 #include "runtime.h" | 35 #include "runtime.h" |
| 36 #include "stub-cache.h" | 36 #include "stub-cache.h" |
| 37 | 37 |
| 38 namespace v8 { | 38 namespace v8 { |
| 39 namespace internal { | 39 namespace internal { |
| 40 | 40 |
| 41 // Temporary helper for working around http://crbug.com/16276. If we | |
| 42 // allow 'the hole value' to leak into the IC code, it may lead to | |
| 43 // crashes, but this should not happen and we should track down the | |
| 44 // cause of it. | |
| 45 static inline Handle<Object> UnholeForBug16276(Handle<Object> object) { | |
| 46 if (!object->IsTheHole()) return object; | |
| 47 ASSERT(false); // This should not happen. | |
| 48 return Factory::undefined_value(); | |
| 49 } | |
| 50 | |
| 51 | |
| 52 #ifdef DEBUG | 41 #ifdef DEBUG |
| 53 static char TransitionMarkFromState(IC::State state) { | 42 static char TransitionMarkFromState(IC::State state) { |
| 54 switch (state) { | 43 switch (state) { |
| 55 case UNINITIALIZED: return '0'; | 44 case UNINITIALIZED: return '0'; |
| 56 case PREMONOMORPHIC: return 'P'; | 45 case PREMONOMORPHIC: return 'P'; |
| 57 case MONOMORPHIC: return '1'; | 46 case MONOMORPHIC: return '1'; |
| 58 case MONOMORPHIC_PROTOTYPE_FAILURE: return '^'; | 47 case MONOMORPHIC_PROTOTYPE_FAILURE: return '^'; |
| 59 case MEGAMORPHIC: return 'N'; | 48 case MEGAMORPHIC: return 'N'; |
| 60 | 49 |
| 61 // We never see the debugger states here, because the state is | 50 // We never see the debugger states here, because the state is |
| (...skipping 263 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 325 frame->SetExpression(index, *target); | 314 frame->SetExpression(index, *target); |
| 326 } | 315 } |
| 327 | 316 |
| 328 return *delegate; | 317 return *delegate; |
| 329 } | 318 } |
| 330 | 319 |
| 331 | 320 |
| 332 Object* CallIC::LoadFunction(State state, | 321 Object* CallIC::LoadFunction(State state, |
| 333 Handle<Object> object, | 322 Handle<Object> object, |
| 334 Handle<String> name) { | 323 Handle<String> name) { |
| 335 object = UnholeForBug16276(object); | |
| 336 | |
| 337 // If the object is undefined or null it's illegal to try to get any | 324 // If the object is undefined or null it's illegal to try to get any |
| 338 // of its properties; throw a TypeError in that case. | 325 // of its properties; throw a TypeError in that case. |
| 339 if (object->IsUndefined() || object->IsNull()) { | 326 if (object->IsUndefined() || object->IsNull()) { |
| 340 return TypeError("non_object_property_call", object, name); | 327 return TypeError("non_object_property_call", object, name); |
| 341 } | 328 } |
| 342 | 329 |
| 343 // Check if the name is trivially convertible to an index and get | 330 // Check if the name is trivially convertible to an index and get |
| 344 // the element if so. | 331 // the element if so. |
| 345 uint32_t index; | 332 uint32_t index; |
| 346 if (name->AsArrayIndex(&index)) { | 333 if (name->AsArrayIndex(&index)) { |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 380 // If the object does not have the requested property, check which | 367 // If the object does not have the requested property, check which |
| 381 // exception we need to throw. | 368 // exception we need to throw. |
| 382 if (attr == ABSENT) { | 369 if (attr == ABSENT) { |
| 383 if (is_contextual()) { | 370 if (is_contextual()) { |
| 384 return ReferenceError("not_defined", name); | 371 return ReferenceError("not_defined", name); |
| 385 } | 372 } |
| 386 return TypeError("undefined_method", object, name); | 373 return TypeError("undefined_method", object, name); |
| 387 } | 374 } |
| 388 } | 375 } |
| 389 | 376 |
| 390 ASSERT(!result->IsTheHole()); | 377 ASSERT(result != Heap::the_hole_value()); |
| 391 | 378 |
| 392 if (result->IsJSFunction()) { | 379 if (result->IsJSFunction()) { |
| 393 // Check if there is an optimized (builtin) version of the function. | 380 // Check if there is an optimized (builtin) version of the function. |
| 394 // Ignored this will degrade performance for Array.prototype.{push,pop}. | 381 // Ignored this will degrade performance for Array.prototype.{push,pop}. |
| 395 // Please note we only return the optimized function iff | 382 // Please note we only return the optimized function iff |
| 396 // the JSObject has FastElements. | 383 // the JSObject has FastElements. |
| 397 if (object->IsJSObject() && JSObject::cast(*object)->HasFastElements()) { | 384 if (object->IsJSObject() && JSObject::cast(*object)->HasFastElements()) { |
| 398 Object* opt = Top::LookupSpecialFunction(JSObject::cast(*object), | 385 Object* opt = Top::LookupSpecialFunction(JSObject::cast(*object), |
| 399 lookup.holder(), | 386 lookup.holder(), |
| 400 JSFunction::cast(result)); | 387 JSFunction::cast(result)); |
| (...skipping 110 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 511 set_target(Code::cast(code)); | 498 set_target(Code::cast(code)); |
| 512 } | 499 } |
| 513 | 500 |
| 514 #ifdef DEBUG | 501 #ifdef DEBUG |
| 515 TraceIC("CallIC", name, state, target(), in_loop ? " (in-loop)" : ""); | 502 TraceIC("CallIC", name, state, target(), in_loop ? " (in-loop)" : ""); |
| 516 #endif | 503 #endif |
| 517 } | 504 } |
| 518 | 505 |
| 519 | 506 |
| 520 Object* LoadIC::Load(State state, Handle<Object> object, Handle<String> name) { | 507 Object* LoadIC::Load(State state, Handle<Object> object, Handle<String> name) { |
| 521 object = UnholeForBug16276(object); | |
| 522 | |
| 523 // If the object is undefined or null it's illegal to try to get any | 508 // If the object is undefined or null it's illegal to try to get any |
| 524 // of its properties; throw a TypeError in that case. | 509 // of its properties; throw a TypeError in that case. |
| 525 if (object->IsUndefined() || object->IsNull()) { | 510 if (object->IsUndefined() || object->IsNull()) { |
| 526 return TypeError("non_object_property_load", object, name); | 511 return TypeError("non_object_property_load", object, name); |
| 527 } | 512 } |
| 528 | 513 |
| 529 if (FLAG_use_ic) { | 514 if (FLAG_use_ic) { |
| 530 // Use specialized code for getting the length of strings and | 515 // Use specialized code for getting the length of strings and |
| 531 // string wrapper objects. The length property of string wrapper | 516 // string wrapper objects. The length property of string wrapper |
| 532 // objects is read-only and therefore always returns the length of | 517 // objects is read-only and therefore always returns the length of |
| (...skipping 192 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 725 | 710 |
| 726 #ifdef DEBUG | 711 #ifdef DEBUG |
| 727 TraceIC("LoadIC", name, state, target()); | 712 TraceIC("LoadIC", name, state, target()); |
| 728 #endif | 713 #endif |
| 729 } | 714 } |
| 730 | 715 |
| 731 | 716 |
| 732 Object* KeyedLoadIC::Load(State state, | 717 Object* KeyedLoadIC::Load(State state, |
| 733 Handle<Object> object, | 718 Handle<Object> object, |
| 734 Handle<Object> key) { | 719 Handle<Object> key) { |
| 735 object = UnholeForBug16276(object); | |
| 736 | |
| 737 if (key->IsSymbol()) { | 720 if (key->IsSymbol()) { |
| 738 Handle<String> name = Handle<String>::cast(key); | 721 Handle<String> name = Handle<String>::cast(key); |
| 739 | 722 |
| 740 // If the object is undefined or null it's illegal to try to get any | 723 // If the object is undefined or null it's illegal to try to get any |
| 741 // of its properties; throw a TypeError in that case. | 724 // of its properties; throw a TypeError in that case. |
| 742 if (object->IsUndefined() || object->IsNull()) { | 725 if (object->IsUndefined() || object->IsNull()) { |
| 743 return TypeError("non_object_property_load", object, name); | 726 return TypeError("non_object_property_load", object, name); |
| 744 } | 727 } |
| 745 | 728 |
| 746 if (FLAG_use_ic) { | 729 if (FLAG_use_ic) { |
| (...skipping 205 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 952 } | 935 } |
| 953 | 936 |
| 954 return true; | 937 return true; |
| 955 } | 938 } |
| 956 | 939 |
| 957 | 940 |
| 958 Object* StoreIC::Store(State state, | 941 Object* StoreIC::Store(State state, |
| 959 Handle<Object> object, | 942 Handle<Object> object, |
| 960 Handle<String> name, | 943 Handle<String> name, |
| 961 Handle<Object> value) { | 944 Handle<Object> value) { |
| 962 object = UnholeForBug16276(object); | |
| 963 | |
| 964 // If the object is undefined or null it's illegal to try to set any | 945 // If the object is undefined or null it's illegal to try to set any |
| 965 // properties on it; throw a TypeError in that case. | 946 // properties on it; throw a TypeError in that case. |
| 966 if (object->IsUndefined() || object->IsNull()) { | 947 if (object->IsUndefined() || object->IsNull()) { |
| 967 return TypeError("non_object_property_store", object, name); | 948 return TypeError("non_object_property_store", object, name); |
| 968 } | 949 } |
| 969 | 950 |
| 970 // Ignore stores where the receiver is not a JSObject. | 951 // Ignore stores where the receiver is not a JSObject. |
| 971 if (!object->IsJSObject()) return *value; | 952 if (!object->IsJSObject()) return *value; |
| 972 Handle<JSObject> receiver = Handle<JSObject>::cast(object); | 953 Handle<JSObject> receiver = Handle<JSObject>::cast(object); |
| 973 | 954 |
| (...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1072 #ifdef DEBUG | 1053 #ifdef DEBUG |
| 1073 TraceIC("StoreIC", name, state, target()); | 1054 TraceIC("StoreIC", name, state, target()); |
| 1074 #endif | 1055 #endif |
| 1075 } | 1056 } |
| 1076 | 1057 |
| 1077 | 1058 |
| 1078 Object* KeyedStoreIC::Store(State state, | 1059 Object* KeyedStoreIC::Store(State state, |
| 1079 Handle<Object> object, | 1060 Handle<Object> object, |
| 1080 Handle<Object> key, | 1061 Handle<Object> key, |
| 1081 Handle<Object> value) { | 1062 Handle<Object> value) { |
| 1082 object = UnholeForBug16276(object); | |
| 1083 | |
| 1084 if (key->IsSymbol()) { | 1063 if (key->IsSymbol()) { |
| 1085 Handle<String> name = Handle<String>::cast(key); | 1064 Handle<String> name = Handle<String>::cast(key); |
| 1086 | 1065 |
| 1087 // If the object is undefined or null it's illegal to try to set | 1066 // If the object is undefined or null it's illegal to try to set any |
| 1088 // any properties on it; throw a TypeError in that case. | 1067 // properties on it; throw a TypeError in that case. |
| 1089 if (object->IsUndefined() || object->IsNull()) { | 1068 if (object->IsUndefined() || object->IsNull()) { |
| 1090 return TypeError("non_object_property_store", object, name); | 1069 return TypeError("non_object_property_store", object, name); |
| 1091 } | 1070 } |
| 1092 | 1071 |
| 1093 // Ignore stores where the receiver is not a JSObject. | 1072 // Ignore stores where the receiver is not a JSObject. |
| 1094 if (!object->IsJSObject()) return *value; | 1073 if (!object->IsJSObject()) return *value; |
| 1095 Handle<JSObject> receiver = Handle<JSObject>::cast(object); | 1074 Handle<JSObject> receiver = Handle<JSObject>::cast(object); |
| 1096 | 1075 |
| 1097 // Check if the given name is an array index. | 1076 // Check if the given name is an array index. |
| 1098 uint32_t index; | 1077 uint32_t index; |
| (...skipping 276 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1375 #undef ADDR | 1354 #undef ADDR |
| 1376 }; | 1355 }; |
| 1377 | 1356 |
| 1378 | 1357 |
| 1379 Address IC::AddressFromUtilityId(IC::UtilityId id) { | 1358 Address IC::AddressFromUtilityId(IC::UtilityId id) { |
| 1380 return IC_utilities[id]; | 1359 return IC_utilities[id]; |
| 1381 } | 1360 } |
| 1382 | 1361 |
| 1383 | 1362 |
| 1384 } } // namespace v8::internal | 1363 } } // namespace v8::internal |
| OLD | NEW |