| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/code-stubs.h" | 5 #include "src/code-stubs.h" |
| 6 | 6 |
| 7 #include <memory> | 7 #include <memory> |
| 8 | 8 |
| 9 #include "src/bailout-reason.h" | 9 #include "src/bailout-reason.h" |
| 10 #include "src/crankshaft/hydrogen.h" | 10 #include "src/crankshaft/hydrogen.h" |
| (...skipping 1502 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1513 if_true.Then(); | 1513 if_true.Then(); |
| 1514 if_true.Return(graph()->GetConstantTrue()); | 1514 if_true.Return(graph()->GetConstantTrue()); |
| 1515 if_true.Else(); | 1515 if_true.Else(); |
| 1516 if_true.End(); | 1516 if_true.End(); |
| 1517 return graph()->GetConstantFalse(); | 1517 return graph()->GetConstantFalse(); |
| 1518 } | 1518 } |
| 1519 | 1519 |
| 1520 Handle<Code> ToBooleanICStub::GenerateCode() { return DoGenerateCode(this); } | 1520 Handle<Code> ToBooleanICStub::GenerateCode() { return DoGenerateCode(this); } |
| 1521 | 1521 |
| 1522 template <> | 1522 template <> |
| 1523 HValue* CodeStubGraphBuilder<StoreGlobalStub>::BuildCodeInitializedStub() { | |
| 1524 StoreGlobalStub* stub = casted_stub(); | |
| 1525 HParameter* value = GetParameter(Descriptor::kValue); | |
| 1526 if (stub->check_global()) { | |
| 1527 // Check that the map of the global has not changed: use a placeholder map | |
| 1528 // that will be replaced later with the global object's map. | |
| 1529 HParameter* proxy = GetParameter(Descriptor::kReceiver); | |
| 1530 HValue* proxy_map = | |
| 1531 Add<HLoadNamedField>(proxy, nullptr, HObjectAccess::ForMap()); | |
| 1532 HValue* global = | |
| 1533 Add<HLoadNamedField>(proxy_map, nullptr, HObjectAccess::ForPrototype()); | |
| 1534 HValue* map_cell = Add<HConstant>(isolate()->factory()->NewWeakCell( | |
| 1535 StoreGlobalStub::global_map_placeholder(isolate()))); | |
| 1536 HValue* expected_map = Add<HLoadNamedField>( | |
| 1537 map_cell, nullptr, HObjectAccess::ForWeakCellValue()); | |
| 1538 HValue* map = | |
| 1539 Add<HLoadNamedField>(global, nullptr, HObjectAccess::ForMap()); | |
| 1540 IfBuilder map_check(this); | |
| 1541 map_check.IfNot<HCompareObjectEqAndBranch>(expected_map, map); | |
| 1542 map_check.ThenDeopt(DeoptimizeReason::kUnknownMap); | |
| 1543 map_check.End(); | |
| 1544 } | |
| 1545 | |
| 1546 HValue* weak_cell = Add<HConstant>(isolate()->factory()->NewWeakCell( | |
| 1547 StoreGlobalStub::property_cell_placeholder(isolate()))); | |
| 1548 HValue* cell = Add<HLoadNamedField>(weak_cell, nullptr, | |
| 1549 HObjectAccess::ForWeakCellValue()); | |
| 1550 Add<HCheckHeapObject>(cell); | |
| 1551 HObjectAccess access = HObjectAccess::ForPropertyCellValue(); | |
| 1552 // Load the payload of the global parameter cell. A hole indicates that the | |
| 1553 // cell has been invalidated and that the store must be handled by the | |
| 1554 // runtime. | |
| 1555 HValue* cell_contents = Add<HLoadNamedField>(cell, nullptr, access); | |
| 1556 | |
| 1557 auto cell_type = stub->cell_type(); | |
| 1558 if (cell_type == PropertyCellType::kConstant || | |
| 1559 cell_type == PropertyCellType::kUndefined) { | |
| 1560 // This is always valid for all states a cell can be in. | |
| 1561 IfBuilder builder(this); | |
| 1562 builder.If<HCompareObjectEqAndBranch>(cell_contents, value); | |
| 1563 builder.Then(); | |
| 1564 builder.ElseDeopt( | |
| 1565 DeoptimizeReason::kUnexpectedCellContentsInConstantGlobalStore); | |
| 1566 builder.End(); | |
| 1567 } else { | |
| 1568 IfBuilder builder(this); | |
| 1569 HValue* hole_value = graph()->GetConstantHole(); | |
| 1570 builder.If<HCompareObjectEqAndBranch>(cell_contents, hole_value); | |
| 1571 builder.Then(); | |
| 1572 builder.Deopt(DeoptimizeReason::kUnexpectedCellContentsInGlobalStore); | |
| 1573 builder.Else(); | |
| 1574 // When dealing with constant types, the type may be allowed to change, as | |
| 1575 // long as optimized code remains valid. | |
| 1576 if (cell_type == PropertyCellType::kConstantType) { | |
| 1577 switch (stub->constant_type()) { | |
| 1578 case PropertyCellConstantType::kSmi: | |
| 1579 access = access.WithRepresentation(Representation::Smi()); | |
| 1580 break; | |
| 1581 case PropertyCellConstantType::kStableMap: { | |
| 1582 // It is sufficient here to check that the value and cell contents | |
| 1583 // have identical maps, no matter if they are stable or not or if they | |
| 1584 // are the maps that were originally in the cell or not. If optimized | |
| 1585 // code will deopt when a cell has a unstable map and if it has a | |
| 1586 // dependency on a stable map, it will deopt if the map destabilizes. | |
| 1587 Add<HCheckHeapObject>(value); | |
| 1588 Add<HCheckHeapObject>(cell_contents); | |
| 1589 HValue* expected_map = Add<HLoadNamedField>(cell_contents, nullptr, | |
| 1590 HObjectAccess::ForMap()); | |
| 1591 HValue* map = | |
| 1592 Add<HLoadNamedField>(value, nullptr, HObjectAccess::ForMap()); | |
| 1593 IfBuilder map_check(this); | |
| 1594 map_check.IfNot<HCompareObjectEqAndBranch>(expected_map, map); | |
| 1595 map_check.ThenDeopt(DeoptimizeReason::kUnknownMap); | |
| 1596 map_check.End(); | |
| 1597 access = access.WithRepresentation(Representation::HeapObject()); | |
| 1598 break; | |
| 1599 } | |
| 1600 } | |
| 1601 } | |
| 1602 Add<HStoreNamedField>(cell, access, value); | |
| 1603 builder.End(); | |
| 1604 } | |
| 1605 | |
| 1606 return value; | |
| 1607 } | |
| 1608 | |
| 1609 | |
| 1610 Handle<Code> StoreGlobalStub::GenerateCode() { | |
| 1611 return DoGenerateCode(this); | |
| 1612 } | |
| 1613 | |
| 1614 | |
| 1615 template <> | |
| 1616 HValue* CodeStubGraphBuilder<ElementsTransitionAndStoreStub>::BuildCodeStub() { | 1523 HValue* CodeStubGraphBuilder<ElementsTransitionAndStoreStub>::BuildCodeStub() { |
| 1617 HValue* object = GetParameter(StoreTransitionHelper::ReceiverIndex()); | 1524 HValue* object = GetParameter(StoreTransitionHelper::ReceiverIndex()); |
| 1618 HValue* key = GetParameter(StoreTransitionHelper::NameIndex()); | 1525 HValue* key = GetParameter(StoreTransitionHelper::NameIndex()); |
| 1619 HValue* value = GetParameter(StoreTransitionHelper::ValueIndex()); | 1526 HValue* value = GetParameter(StoreTransitionHelper::ValueIndex()); |
| 1620 HValue* map = GetParameter(StoreTransitionHelper::MapIndex()); | 1527 HValue* map = GetParameter(StoreTransitionHelper::MapIndex()); |
| 1621 | 1528 |
| 1622 if (FLAG_trace_elements_transitions) { | 1529 if (FLAG_trace_elements_transitions) { |
| 1623 // Tracing elements transitions is the job of the runtime. | 1530 // Tracing elements transitions is the job of the runtime. |
| 1624 Add<HDeoptimize>(DeoptimizeReason::kTracingElementsTransitions, | 1531 Add<HDeoptimize>(DeoptimizeReason::kTracingElementsTransitions, |
| 1625 Deoptimizer::EAGER); | 1532 Deoptimizer::EAGER); |
| (...skipping 306 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1932 return Pop(); | 1839 return Pop(); |
| 1933 } | 1840 } |
| 1934 | 1841 |
| 1935 | 1842 |
| 1936 Handle<Code> KeyedLoadGenericStub::GenerateCode() { | 1843 Handle<Code> KeyedLoadGenericStub::GenerateCode() { |
| 1937 return DoGenerateCode(this); | 1844 return DoGenerateCode(this); |
| 1938 } | 1845 } |
| 1939 | 1846 |
| 1940 } // namespace internal | 1847 } // namespace internal |
| 1941 } // namespace v8 | 1848 } // namespace v8 |
| OLD | NEW |