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