OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 953 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
964 } else if (state == MEGAMORPHIC) { | 964 } else if (state == MEGAMORPHIC) { |
965 // Cache code holding map should be consistent with | 965 // Cache code holding map should be consistent with |
966 // GenerateMonomorphicCacheProbe. | 966 // GenerateMonomorphicCacheProbe. |
967 isolate()->stub_cache()->Set(*name, receiver->map(), *code); | 967 isolate()->stub_cache()->Set(*name, receiver->map(), *code); |
968 } | 968 } |
969 | 969 |
970 TRACE_IC("LoadIC", name, state, target()); | 970 TRACE_IC("LoadIC", name, state, target()); |
971 } | 971 } |
972 | 972 |
973 | 973 |
974 MaybeObject* KeyedLoadIC::GetElementStubWithoutMapCheck( | 974 Handle<Code> KeyedLoadIC::GetElementStubWithoutMapCheck( |
975 bool is_js_array, | 975 bool is_js_array, |
976 ElementsKind elements_kind) { | 976 ElementsKind elements_kind) { |
977 return KeyedLoadElementStub(elements_kind).TryGetCode(); | 977 return KeyedLoadElementStub(elements_kind).GetCode(); |
978 } | 978 } |
979 | 979 |
980 | 980 |
981 MaybeObject* KeyedLoadIC::ComputePolymorphicStub( | 981 Handle<Code> KeyedLoadIC::ComputePolymorphicStub( |
982 MapList* receiver_maps, | 982 MapHandleList* receiver_maps, |
983 StrictModeFlag strict_mode) { | 983 StrictModeFlag strict_mode) { |
984 CodeList handler_ics(receiver_maps->length()); | 984 CodeHandleList handler_ics(receiver_maps->length()); |
985 for (int i = 0; i < receiver_maps->length(); ++i) { | 985 for (int i = 0; i < receiver_maps->length(); ++i) { |
986 Map* receiver_map(receiver_maps->at(i)); | 986 Handle<Map> receiver_map = receiver_maps->at(i); |
987 MaybeObject* maybe_cached_stub = ComputeMonomorphicStubWithoutMapCheck( | 987 Handle<Code> cached_stub = ComputeMonomorphicStubWithoutMapCheck( |
988 receiver_map, strict_mode); | 988 receiver_map, strict_mode); |
989 Code* cached_stub; | |
990 if (!maybe_cached_stub->To(&cached_stub)) return maybe_cached_stub; | |
991 handler_ics.Add(cached_stub); | 989 handler_ics.Add(cached_stub); |
992 } | 990 } |
993 Object* object; | |
994 HandleScope scope(isolate()); | |
995 KeyedLoadStubCompiler compiler(isolate()); | 991 KeyedLoadStubCompiler compiler(isolate()); |
996 MaybeObject* maybe_code = compiler.CompileLoadPolymorphic(receiver_maps, | 992 Handle<Code> code = compiler.CompileLoadPolymorphic( |
997 &handler_ics); | 993 receiver_maps, &handler_ics); |
998 if (!maybe_code->ToObject(&object)) return maybe_code; | |
999 isolate()->counters()->keyed_load_polymorphic_stubs()->Increment(); | 994 isolate()->counters()->keyed_load_polymorphic_stubs()->Increment(); |
1000 PROFILE(isolate(), CodeCreateEvent( | 995 PROFILE(isolate(), |
1001 Logger::KEYED_LOAD_MEGAMORPHIC_IC_TAG, | 996 CodeCreateEvent(Logger::KEYED_LOAD_MEGAMORPHIC_IC_TAG, *code, 0)); |
1002 Code::cast(object), 0)); | 997 return code; |
1003 return object; | |
1004 } | 998 } |
1005 | 999 |
1006 | 1000 |
1007 MaybeObject* KeyedLoadIC::Load(State state, | 1001 MaybeObject* KeyedLoadIC::Load(State state, |
1008 Handle<Object> object, | 1002 Handle<Object> object, |
1009 Handle<Object> key, | 1003 Handle<Object> key, |
1010 bool force_generic_stub) { | 1004 bool force_generic_stub) { |
1011 // Check for values that can be converted into a symbol. | 1005 // Check for values that can be converted into a symbol. |
1012 // TODO(1295): Remove this code. | 1006 // TODO(1295): Remove this code. |
1013 if (key->IsHeapNumber() && | 1007 if (key->IsHeapNumber() && |
(...skipping 13 matching lines...) Expand all Loading... |
1027 } | 1021 } |
1028 | 1022 |
1029 if (FLAG_use_ic) { | 1023 if (FLAG_use_ic) { |
1030 // TODO(1073): don't ignore the current stub state. | 1024 // TODO(1073): don't ignore the current stub state. |
1031 | 1025 |
1032 // Use specialized code for getting the length of strings. | 1026 // Use specialized code for getting the length of strings. |
1033 if (object->IsString() && | 1027 if (object->IsString() && |
1034 name->Equals(isolate()->heap()->length_symbol())) { | 1028 name->Equals(isolate()->heap()->length_symbol())) { |
1035 Handle<String> string = Handle<String>::cast(object); | 1029 Handle<String> string = Handle<String>::cast(object); |
1036 Handle<Code> code = | 1030 Handle<Code> code = |
1037 isolate()->stub_cache()->ComputeKeyedLoadStringLength(name, | 1031 isolate()->stub_cache()->ComputeKeyedLoadStringLength(name, string); |
1038 string); | |
1039 ASSERT(!code.is_null()); | 1032 ASSERT(!code.is_null()); |
1040 set_target(*code); | 1033 set_target(*code); |
1041 TRACE_IC("KeyedLoadIC", name, state, target()); | 1034 TRACE_IC("KeyedLoadIC", name, state, target()); |
1042 return Smi::FromInt(string->length()); | 1035 return Smi::FromInt(string->length()); |
1043 } | 1036 } |
1044 | 1037 |
1045 // Use specialized code for getting the length of arrays. | 1038 // Use specialized code for getting the length of arrays. |
1046 if (object->IsJSArray() && | 1039 if (object->IsJSArray() && |
1047 name->Equals(isolate()->heap()->length_symbol())) { | 1040 name->Equals(isolate()->heap()->length_symbol())) { |
1048 Handle<JSArray> array = Handle<JSArray>::cast(object); | 1041 Handle<JSArray> array = Handle<JSArray>::cast(object); |
(...skipping 364 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1413 } | 1406 } |
1414 } else if (state == MEGAMORPHIC) { | 1407 } else if (state == MEGAMORPHIC) { |
1415 // Update the stub cache. | 1408 // Update the stub cache. |
1416 isolate()->stub_cache()->Set(*name, receiver->map(), *code); | 1409 isolate()->stub_cache()->Set(*name, receiver->map(), *code); |
1417 } | 1410 } |
1418 | 1411 |
1419 TRACE_IC("StoreIC", name, state, target()); | 1412 TRACE_IC("StoreIC", name, state, target()); |
1420 } | 1413 } |
1421 | 1414 |
1422 | 1415 |
1423 static bool AddOneReceiverMapIfMissing(MapList* receiver_maps, | 1416 static bool AddOneReceiverMapIfMissing(MapHandleList* receiver_maps, |
1424 Map* new_receiver_map) { | 1417 Handle<Map> new_receiver_map) { |
| 1418 ASSERT(!new_receiver_map.is_null()); |
1425 for (int current = 0; current < receiver_maps->length(); ++current) { | 1419 for (int current = 0; current < receiver_maps->length(); ++current) { |
1426 if (receiver_maps->at(current) == new_receiver_map) { | 1420 if (!receiver_maps->at(current).is_null() && |
| 1421 receiver_maps->at(current).is_identical_to(new_receiver_map)) { |
1427 return false; | 1422 return false; |
1428 } | 1423 } |
1429 } | 1424 } |
1430 receiver_maps->Add(new_receiver_map); | 1425 receiver_maps->Add(new_receiver_map); |
1431 return true; | 1426 return true; |
1432 } | 1427 } |
1433 | 1428 |
1434 | 1429 |
1435 void KeyedIC::GetReceiverMapsForStub(Code* stub, MapList* result) { | 1430 void KeyedIC::GetReceiverMapsForStub(Handle<Code> stub, |
| 1431 MapHandleList* result) { |
1436 ASSERT(stub->is_inline_cache_stub()); | 1432 ASSERT(stub->is_inline_cache_stub()); |
1437 if (!string_stub().is_null() && stub == *string_stub()) { | 1433 if (!string_stub().is_null() && stub.is_identical_to(string_stub())) { |
1438 return result->Add(isolate()->heap()->string_map()); | 1434 return result->Add(isolate()->factory()->string_map()); |
1439 } else if (stub->is_keyed_load_stub() || stub->is_keyed_store_stub()) { | 1435 } else if (stub->is_keyed_load_stub() || stub->is_keyed_store_stub()) { |
1440 if (stub->ic_state() == MONOMORPHIC) { | 1436 if (stub->ic_state() == MONOMORPHIC) { |
1441 result->Add(Map::cast(stub->FindFirstMap())); | 1437 result->Add(Handle<Map>(stub->FindFirstMap())); |
1442 } else { | 1438 } else { |
1443 ASSERT(stub->ic_state() == MEGAMORPHIC); | 1439 ASSERT(stub->ic_state() == MEGAMORPHIC); |
1444 AssertNoAllocation no_allocation; | 1440 AssertNoAllocation no_allocation; |
1445 int mask = RelocInfo::ModeMask(RelocInfo::EMBEDDED_OBJECT); | 1441 int mask = RelocInfo::ModeMask(RelocInfo::EMBEDDED_OBJECT); |
1446 for (RelocIterator it(stub, mask); !it.done(); it.next()) { | 1442 for (RelocIterator it(*stub, mask); !it.done(); it.next()) { |
1447 RelocInfo* info = it.rinfo(); | 1443 RelocInfo* info = it.rinfo(); |
1448 Object* object = info->target_object(); | 1444 Handle<Object> object(info->target_object()); |
1449 ASSERT(object->IsMap()); | 1445 ASSERT(object->IsMap()); |
1450 AddOneReceiverMapIfMissing(result, Map::cast(object)); | 1446 AddOneReceiverMapIfMissing(result, Handle<Map>::cast(object)); |
1451 } | 1447 } |
1452 } | 1448 } |
1453 } | 1449 } |
1454 } | 1450 } |
1455 | 1451 |
1456 | 1452 |
1457 Handle<Code> KeyedIC::ComputeStub(Handle<JSObject> receiver, | 1453 Handle<Code> KeyedIC::ComputeStub(Handle<JSObject> receiver, |
1458 StubKind stub_kind, | 1454 StubKind stub_kind, |
1459 StrictModeFlag strict_mode, | 1455 StrictModeFlag strict_mode, |
1460 Handle<Code> generic_stub) { | 1456 Handle<Code> generic_stub) { |
1461 CALL_HEAP_FUNCTION(isolate(), | |
1462 ComputeStub(*receiver, | |
1463 stub_kind, | |
1464 strict_mode, | |
1465 *generic_stub), | |
1466 Code); | |
1467 } | |
1468 | |
1469 | |
1470 | |
1471 MaybeObject* KeyedIC::ComputeStub(JSObject* receiver, | |
1472 StubKind stub_kind, | |
1473 StrictModeFlag strict_mode, | |
1474 Code* generic_stub) { | |
1475 State ic_state = target()->ic_state(); | 1457 State ic_state = target()->ic_state(); |
1476 if ((ic_state == UNINITIALIZED || ic_state == PREMONOMORPHIC) && | 1458 if ((ic_state == UNINITIALIZED || ic_state == PREMONOMORPHIC) && |
1477 !IsTransitionStubKind(stub_kind)) { | 1459 !IsTransitionStubKind(stub_kind)) { |
1478 Code* monomorphic_stub; | 1460 return ComputeMonomorphicStub( |
1479 MaybeObject* maybe_stub = ComputeMonomorphicStub(receiver, | 1461 receiver, stub_kind, strict_mode, generic_stub); |
1480 stub_kind, | |
1481 strict_mode, | |
1482 generic_stub); | |
1483 if (!maybe_stub->To(&monomorphic_stub)) return maybe_stub; | |
1484 | |
1485 return monomorphic_stub; | |
1486 } | 1462 } |
1487 ASSERT(target() != generic_stub); | 1463 ASSERT(target() != *generic_stub); |
1488 | 1464 |
1489 // Don't handle megamorphic property accesses for INTERCEPTORS or CALLBACKS | 1465 // Don't handle megamorphic property accesses for INTERCEPTORS or CALLBACKS |
1490 // via megamorphic stubs, since they don't have a map in their relocation info | 1466 // via megamorphic stubs, since they don't have a map in their relocation info |
1491 // and so the stubs can't be harvested for the object needed for a map check. | 1467 // and so the stubs can't be harvested for the object needed for a map check. |
1492 if (target()->type() != NORMAL) { | 1468 if (target()->type() != NORMAL) { |
1493 return generic_stub; | 1469 return generic_stub; |
1494 } | 1470 } |
1495 | 1471 |
1496 // Determine the list of receiver maps that this call site has seen, | 1472 // Determine the list of receiver maps that this call site has seen, |
1497 // adding the map that was just encountered. | 1473 // adding the map that was just encountered. |
1498 MapList target_receiver_maps; | 1474 MapHandleList target_receiver_maps; |
| 1475 Handle<Map> receiver_map(receiver->map()); |
1499 if (ic_state == UNINITIALIZED || ic_state == PREMONOMORPHIC) { | 1476 if (ic_state == UNINITIALIZED || ic_state == PREMONOMORPHIC) { |
1500 target_receiver_maps.Add(receiver->map()); | 1477 target_receiver_maps.Add(receiver_map); |
1501 } else { | 1478 } else { |
1502 GetReceiverMapsForStub(target(), &target_receiver_maps); | 1479 GetReceiverMapsForStub(Handle<Code>(target()), &target_receiver_maps); |
1503 } | 1480 } |
1504 bool map_added = | 1481 bool map_added = |
1505 AddOneReceiverMapIfMissing(&target_receiver_maps, receiver->map()); | 1482 AddOneReceiverMapIfMissing(&target_receiver_maps, receiver_map); |
1506 if (IsTransitionStubKind(stub_kind)) { | 1483 if (IsTransitionStubKind(stub_kind)) { |
1507 MaybeObject* maybe_map = ComputeTransitionedMap(receiver, stub_kind); | 1484 Handle<Map> new_map = ComputeTransitionedMap(receiver, stub_kind); |
1508 Map* new_map = NULL; | |
1509 if (!maybe_map->To(&new_map)) return maybe_map; | |
1510 map_added |= AddOneReceiverMapIfMissing(&target_receiver_maps, new_map); | 1485 map_added |= AddOneReceiverMapIfMissing(&target_receiver_maps, new_map); |
1511 } | 1486 } |
1512 if (!map_added) { | 1487 if (!map_added) { |
1513 // If the miss wasn't due to an unseen map, a polymorphic stub | 1488 // If the miss wasn't due to an unseen map, a polymorphic stub |
1514 // won't help, use the generic stub. | 1489 // won't help, use the generic stub. |
1515 return generic_stub; | 1490 return generic_stub; |
1516 } | 1491 } |
1517 | 1492 |
1518 // If the maximum number of receiver maps has been exceeded, use the generic | 1493 // If the maximum number of receiver maps has been exceeded, use the generic |
1519 // version of the IC. | 1494 // version of the IC. |
1520 if (target_receiver_maps.length() > kMaxKeyedPolymorphism) { | 1495 if (target_receiver_maps.length() > kMaxKeyedPolymorphism) { |
1521 return generic_stub; | 1496 return generic_stub; |
1522 } | 1497 } |
1523 | 1498 |
1524 PolymorphicCodeCache* cache = isolate()->heap()->polymorphic_code_cache(); | 1499 Handle<PolymorphicCodeCache> cache = |
1525 Code::Flags flags = Code::ComputeFlags(this->kind(), | 1500 isolate()->factory()->polymorphic_code_cache(); |
1526 MEGAMORPHIC, | 1501 Code::Flags flags = Code::ComputeFlags(kind(), MEGAMORPHIC, strict_mode); |
1527 strict_mode); | 1502 Handle<Object> probe = cache->Lookup(&target_receiver_maps, flags); |
1528 Object* maybe_cached_stub = cache->Lookup(&target_receiver_maps, flags); | 1503 if (probe->IsCode()) return Handle<Code>::cast(probe); |
1529 // If there is a cached stub, use it. | 1504 |
1530 if (!maybe_cached_stub->IsUndefined()) { | 1505 Handle<Code> stub = |
1531 ASSERT(maybe_cached_stub->IsCode()); | |
1532 return Code::cast(maybe_cached_stub); | |
1533 } | |
1534 MaybeObject* maybe_stub = | |
1535 ComputePolymorphicStub(&target_receiver_maps, strict_mode); | 1506 ComputePolymorphicStub(&target_receiver_maps, strict_mode); |
1536 Code* stub; | 1507 PolymorphicCodeCache::Update(cache, &target_receiver_maps, flags, stub); |
1537 if (!maybe_stub->To(&stub)) return maybe_stub; | |
1538 MaybeObject* maybe_update = cache->Update(&target_receiver_maps, flags, stub); | |
1539 if (maybe_update->IsFailure()) return maybe_update; | |
1540 return stub; | 1508 return stub; |
1541 } | 1509 } |
1542 | 1510 |
1543 | 1511 |
1544 MaybeObject* KeyedIC::ComputeMonomorphicStubWithoutMapCheck( | 1512 Handle<Code> KeyedIC::ComputeMonomorphicStubWithoutMapCheck( |
1545 Map* receiver_map, | 1513 Handle<Map> receiver_map, |
1546 StrictModeFlag strict_mode) { | 1514 StrictModeFlag strict_mode) { |
1547 if ((receiver_map->instance_type() & kNotStringTag) == 0) { | 1515 if ((receiver_map->instance_type() & kNotStringTag) == 0) { |
1548 ASSERT(!string_stub().is_null()); | 1516 ASSERT(!string_stub().is_null()); |
1549 return *string_stub(); | 1517 return string_stub(); |
1550 } else { | 1518 } else { |
1551 ASSERT(receiver_map->has_dictionary_elements() || | 1519 ASSERT(receiver_map->has_dictionary_elements() || |
1552 receiver_map->has_fast_elements() || | 1520 receiver_map->has_fast_elements() || |
1553 receiver_map->has_fast_smi_only_elements() || | 1521 receiver_map->has_fast_smi_only_elements() || |
1554 receiver_map->has_fast_double_elements() || | 1522 receiver_map->has_fast_double_elements() || |
1555 receiver_map->has_external_array_elements()); | 1523 receiver_map->has_external_array_elements()); |
1556 bool is_js_array = receiver_map->instance_type() == JS_ARRAY_TYPE; | 1524 bool is_js_array = receiver_map->instance_type() == JS_ARRAY_TYPE; |
1557 return GetElementStubWithoutMapCheck(is_js_array, | 1525 return GetElementStubWithoutMapCheck(is_js_array, |
1558 receiver_map->elements_kind()); | 1526 receiver_map->elements_kind()); |
1559 } | 1527 } |
1560 } | 1528 } |
1561 | 1529 |
1562 | 1530 |
1563 MaybeObject* KeyedIC::ComputeMonomorphicStub(JSObject* receiver, | 1531 Handle<Code> KeyedIC::ComputeMonomorphicStub(Handle<JSObject> receiver, |
1564 StubKind stub_kind, | 1532 StubKind stub_kind, |
1565 StrictModeFlag strict_mode, | 1533 StrictModeFlag strict_mode, |
1566 Code* generic_stub) { | 1534 Handle<Code> generic_stub) { |
1567 Code* result = NULL; | |
1568 if (receiver->HasFastElements() || | 1535 if (receiver->HasFastElements() || |
1569 receiver->HasFastSmiOnlyElements() || | 1536 receiver->HasFastSmiOnlyElements() || |
1570 receiver->HasExternalArrayElements() || | 1537 receiver->HasExternalArrayElements() || |
1571 receiver->HasFastDoubleElements() || | 1538 receiver->HasFastDoubleElements() || |
1572 receiver->HasDictionaryElements()) { | 1539 receiver->HasDictionaryElements()) { |
1573 MaybeObject* maybe_stub = | 1540 return isolate()->stub_cache()->ComputeKeyedLoadOrStoreElement( |
1574 isolate()->stub_cache()->ComputeKeyedLoadOrStoreElement( | 1541 receiver, stub_kind, strict_mode); |
1575 receiver, stub_kind, strict_mode); | |
1576 if (!maybe_stub->To(&result)) return maybe_stub; | |
1577 } else { | 1542 } else { |
1578 result = generic_stub; | 1543 return generic_stub; |
1579 } | |
1580 return result; | |
1581 } | |
1582 | |
1583 | |
1584 MaybeObject* KeyedIC::ComputeTransitionedMap(JSObject* receiver, | |
1585 StubKind stub_kind) { | |
1586 switch (stub_kind) { | |
1587 case KeyedIC::STORE_TRANSITION_SMI_TO_OBJECT: | |
1588 case KeyedIC::STORE_TRANSITION_DOUBLE_TO_OBJECT: | |
1589 return receiver->GetElementsTransitionMap(FAST_ELEMENTS); | |
1590 case KeyedIC::STORE_TRANSITION_SMI_TO_DOUBLE: | |
1591 return receiver->GetElementsTransitionMap(FAST_DOUBLE_ELEMENTS); | |
1592 default: | |
1593 UNREACHABLE(); | |
1594 return NULL; | |
1595 } | 1544 } |
1596 } | 1545 } |
1597 | 1546 |
1598 | 1547 |
1599 MaybeObject* KeyedStoreIC::GetElementStubWithoutMapCheck( | 1548 Handle<Map> KeyedIC::ComputeTransitionedMap(Handle<JSObject> receiver, |
1600 bool is_js_array, | 1549 StubKind stub_kind) { |
1601 ElementsKind elements_kind) { | 1550 switch (stub_kind) { |
1602 return KeyedStoreElementStub(is_js_array, elements_kind).TryGetCode(); | 1551 case KeyedIC::STORE_TRANSITION_SMI_TO_OBJECT: |
| 1552 case KeyedIC::STORE_TRANSITION_DOUBLE_TO_OBJECT: |
| 1553 return JSObject::GetElementsTransitionMap(receiver, FAST_ELEMENTS); |
| 1554 break; |
| 1555 case KeyedIC::STORE_TRANSITION_SMI_TO_DOUBLE: |
| 1556 return JSObject::GetElementsTransitionMap(receiver, FAST_DOUBLE_ELEMENTS); |
| 1557 break; |
| 1558 default: |
| 1559 UNREACHABLE(); |
| 1560 return Handle<Map>::null(); |
| 1561 } |
1603 } | 1562 } |
1604 | 1563 |
1605 | 1564 |
1606 MaybeObject* KeyedStoreIC::ComputePolymorphicStub( | 1565 Handle<Code> KeyedStoreIC::GetElementStubWithoutMapCheck( |
1607 MapList* receiver_maps, | 1566 bool is_js_array, |
1608 StrictModeFlag strict_mode) { | 1567 ElementsKind elements_kind) { |
| 1568 return KeyedStoreElementStub(is_js_array, elements_kind).GetCode(); |
| 1569 } |
| 1570 |
| 1571 |
| 1572 Handle<Code> KeyedStoreIC::ComputePolymorphicStub(MapHandleList* receiver_maps, |
| 1573 StrictModeFlag strict_mode) { |
1609 // Collect MONOMORPHIC stubs for all target_receiver_maps. | 1574 // Collect MONOMORPHIC stubs for all target_receiver_maps. |
1610 CodeList handler_ics(receiver_maps->length()); | 1575 CodeHandleList handler_ics(receiver_maps->length()); |
1611 MapList transitioned_maps(receiver_maps->length()); | 1576 MapHandleList transitioned_maps(receiver_maps->length()); |
1612 for (int i = 0; i < receiver_maps->length(); ++i) { | 1577 for (int i = 0; i < receiver_maps->length(); ++i) { |
1613 Map* receiver_map(receiver_maps->at(i)); | 1578 Handle<Map> receiver_map(receiver_maps->at(i)); |
1614 MaybeObject* maybe_cached_stub = NULL; | 1579 Handle<Code> cached_stub; |
1615 Map* transitioned_map = receiver_map->FindTransitionedMap(receiver_maps); | 1580 Handle<Map> transitioned_map = |
1616 if (transitioned_map != NULL) { | 1581 receiver_map->FindTransitionedMap(receiver_maps); |
1617 maybe_cached_stub = ElementsTransitionAndStoreStub( | 1582 if (!transitioned_map.is_null()) { |
| 1583 cached_stub = ElementsTransitionAndStoreStub( |
1618 receiver_map->elements_kind(), // original elements_kind | 1584 receiver_map->elements_kind(), // original elements_kind |
1619 transitioned_map->elements_kind(), | 1585 transitioned_map->elements_kind(), |
1620 receiver_map->instance_type() == JS_ARRAY_TYPE, // is_js_array | 1586 receiver_map->instance_type() == JS_ARRAY_TYPE, // is_js_array |
1621 strict_mode).TryGetCode(); | 1587 strict_mode).GetCode(); |
1622 } else { | 1588 } else { |
1623 maybe_cached_stub = ComputeMonomorphicStubWithoutMapCheck( | 1589 cached_stub = ComputeMonomorphicStubWithoutMapCheck(receiver_map, |
1624 receiver_map, strict_mode); | 1590 strict_mode); |
1625 } | 1591 } |
1626 Code* cached_stub; | 1592 ASSERT(!cached_stub.is_null()); |
1627 if (!maybe_cached_stub->To(&cached_stub)) return maybe_cached_stub; | |
1628 handler_ics.Add(cached_stub); | 1593 handler_ics.Add(cached_stub); |
1629 transitioned_maps.Add(transitioned_map); | 1594 transitioned_maps.Add(transitioned_map); |
1630 } | 1595 } |
1631 Object* object; | |
1632 HandleScope scope(isolate()); | |
1633 KeyedStoreStubCompiler compiler(isolate(), strict_mode); | 1596 KeyedStoreStubCompiler compiler(isolate(), strict_mode); |
1634 MaybeObject* maybe_code = compiler.CompileStorePolymorphic( | 1597 Handle<Code> code = compiler.CompileStorePolymorphic( |
1635 receiver_maps, &handler_ics, &transitioned_maps); | 1598 receiver_maps, &handler_ics, &transitioned_maps); |
1636 if (!maybe_code->ToObject(&object)) return maybe_code; | |
1637 isolate()->counters()->keyed_store_polymorphic_stubs()->Increment(); | 1599 isolate()->counters()->keyed_store_polymorphic_stubs()->Increment(); |
1638 PROFILE(isolate(), CodeCreateEvent( | 1600 PROFILE(isolate(), |
1639 Logger::KEYED_STORE_MEGAMORPHIC_IC_TAG, | 1601 CodeCreateEvent(Logger::KEYED_STORE_MEGAMORPHIC_IC_TAG, *code, 0)); |
1640 Code::cast(object), 0)); | 1602 return code; |
1641 return object; | |
1642 } | 1603 } |
1643 | 1604 |
1644 | 1605 |
1645 MaybeObject* KeyedStoreIC::Store(State state, | 1606 MaybeObject* KeyedStoreIC::Store(State state, |
1646 StrictModeFlag strict_mode, | 1607 StrictModeFlag strict_mode, |
1647 Handle<Object> object, | 1608 Handle<Object> object, |
1648 Handle<Object> key, | 1609 Handle<Object> key, |
1649 Handle<Object> value, | 1610 Handle<Object> value, |
1650 bool force_generic) { | 1611 bool force_generic) { |
1651 if (key->IsSymbol()) { | 1612 if (key->IsSymbol()) { |
(...skipping 758 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2410 #undef ADDR | 2371 #undef ADDR |
2411 }; | 2372 }; |
2412 | 2373 |
2413 | 2374 |
2414 Address IC::AddressFromUtilityId(IC::UtilityId id) { | 2375 Address IC::AddressFromUtilityId(IC::UtilityId id) { |
2415 return IC_utilities[id]; | 2376 return IC_utilities[id]; |
2416 } | 2377 } |
2417 | 2378 |
2418 | 2379 |
2419 } } // namespace v8::internal | 2380 } } // namespace v8::internal |
OLD | NEW |