Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(165)

Side by Side Diff: src/compiler/simplified-lowering.cc

Issue 1712563002: [turbofan] Move lowering of ObjectIs* nodes to ChangeLowering. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 4 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/compiler/simplified-lowering.h ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2014 the V8 project authors. All rights reserved. 1 // Copyright 2014 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/compiler/simplified-lowering.h" 5 #include "src/compiler/simplified-lowering.h"
6 6
7 #include <limits> 7 #include <limits>
8 8
9 #include "src/base/bits.h" 9 #include "src/base/bits.h"
10 #include "src/code-factory.h" 10 #include "src/code-factory.h"
(...skipping 1223 matching lines...) Expand 10 before | Expand all | Expand 10 after
1234 ProcessInput(node, 2, 1234 ProcessInput(node, 2,
1235 TruncatingUseInfoFromRepresentation( 1235 TruncatingUseInfoFromRepresentation(
1236 access.machine_type.representation())); // value 1236 access.machine_type.representation())); // value
1237 ProcessRemainingInputs(node, 3); 1237 ProcessRemainingInputs(node, 3);
1238 SetOutput(node, NodeOutputInfo::None()); 1238 SetOutput(node, NodeOutputInfo::None());
1239 break; 1239 break;
1240 } 1240 }
1241 case IrOpcode::kObjectIsNumber: { 1241 case IrOpcode::kObjectIsNumber: {
1242 ProcessInput(node, 0, UseInfo::AnyTagged()); 1242 ProcessInput(node, 0, UseInfo::AnyTagged());
1243 SetOutput(node, NodeOutputInfo::Bool()); 1243 SetOutput(node, NodeOutputInfo::Bool());
1244 if (lower()) lowering->DoObjectIsNumber(node);
1245 break; 1244 break;
1246 } 1245 }
1247 case IrOpcode::kObjectIsReceiver: { 1246 case IrOpcode::kObjectIsReceiver: {
1248 ProcessInput(node, 0, UseInfo::AnyTagged()); 1247 ProcessInput(node, 0, UseInfo::AnyTagged());
1249 SetOutput(node, NodeOutputInfo::Bool()); 1248 SetOutput(node, NodeOutputInfo::Bool());
1250 if (lower()) lowering->DoObjectIsReceiver(node);
1251 break; 1249 break;
1252 } 1250 }
1253 case IrOpcode::kObjectIsSmi: { 1251 case IrOpcode::kObjectIsSmi: {
1254 ProcessInput(node, 0, UseInfo::AnyTagged()); 1252 ProcessInput(node, 0, UseInfo::AnyTagged());
1255 SetOutput(node, NodeOutputInfo::Bool()); 1253 SetOutput(node, NodeOutputInfo::Bool());
1256 if (lower()) lowering->DoObjectIsSmi(node);
1257 break; 1254 break;
1258 } 1255 }
1259 1256
1260 //------------------------------------------------------------------ 1257 //------------------------------------------------------------------
1261 // Machine-level operators. 1258 // Machine-level operators.
1262 //------------------------------------------------------------------ 1259 //------------------------------------------------------------------
1263 case IrOpcode::kLoad: { 1260 case IrOpcode::kLoad: {
1264 // TODO(jarin) Eventually, we should get rid of all machine stores 1261 // TODO(jarin) Eventually, we should get rid of all machine stores
1265 // from the high-level phases, then this becomes UNREACHABLE. 1262 // from the high-level phases, then this becomes UNREACHABLE.
1266 LoadRepresentation rep = LoadRepresentationOf(node->op()); 1263 LoadRepresentation rep = LoadRepresentationOf(node->op());
(...skipping 317 matching lines...) Expand 10 before | Expand all | Expand 10 after
1584 1581
1585 1582
1586 void SimplifiedLowering::DoStoreBuffer(Node* node) { 1583 void SimplifiedLowering::DoStoreBuffer(Node* node) {
1587 DCHECK_EQ(IrOpcode::kStoreBuffer, node->opcode()); 1584 DCHECK_EQ(IrOpcode::kStoreBuffer, node->opcode());
1588 MachineRepresentation const rep = 1585 MachineRepresentation const rep =
1589 BufferAccessOf(node->op()).machine_type().representation(); 1586 BufferAccessOf(node->op()).machine_type().representation();
1590 NodeProperties::ChangeOp(node, machine()->CheckedStore(rep)); 1587 NodeProperties::ChangeOp(node, machine()->CheckedStore(rep));
1591 } 1588 }
1592 1589
1593 1590
1594 void SimplifiedLowering::DoObjectIsNumber(Node* node) {
1595 Node* input = NodeProperties::GetValueInput(node, 0);
1596 // TODO(bmeurer): Optimize somewhat based on input type.
1597 Node* check = IsSmi(input);
1598 Node* branch = graph()->NewNode(common()->Branch(), check, graph()->start());
1599 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
1600 Node* vtrue = jsgraph()->Int32Constant(1);
1601 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
1602 Node* vfalse = graph()->NewNode(
1603 machine()->WordEqual(), LoadHeapObjectMap(input, if_false),
1604 jsgraph()->HeapConstant(isolate()->factory()->heap_number_map()));
1605 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
1606 node->ReplaceInput(0, vtrue);
1607 node->AppendInput(graph()->zone(), vfalse);
1608 node->AppendInput(graph()->zone(), control);
1609 NodeProperties::ChangeOp(node, common()->Phi(MachineRepresentation::kBit, 2));
1610 }
1611
1612
1613 void SimplifiedLowering::DoObjectIsReceiver(Node* node) {
1614 Node* input = NodeProperties::GetValueInput(node, 0);
1615 // TODO(bmeurer): Optimize somewhat based on input type.
1616 STATIC_ASSERT(LAST_TYPE == LAST_JS_RECEIVER_TYPE);
1617 Node* check = IsSmi(input);
1618 Node* branch = graph()->NewNode(common()->Branch(), check, graph()->start());
1619 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
1620 Node* vtrue = jsgraph()->Int32Constant(0);
1621 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
1622 Node* vfalse =
1623 graph()->NewNode(machine()->Uint32LessThanOrEqual(),
1624 jsgraph()->Uint32Constant(FIRST_JS_RECEIVER_TYPE),
1625 LoadMapInstanceType(LoadHeapObjectMap(input, if_false)));
1626 Node* control = graph()->NewNode(common()->Merge(2), if_true, if_false);
1627 node->ReplaceInput(0, vtrue);
1628 node->AppendInput(graph()->zone(), vfalse);
1629 node->AppendInput(graph()->zone(), control);
1630 NodeProperties::ChangeOp(node, common()->Phi(MachineRepresentation::kBit, 2));
1631 }
1632
1633
1634 void SimplifiedLowering::DoObjectIsSmi(Node* node) {
1635 node->ReplaceInput(0,
1636 graph()->NewNode(machine()->WordAnd(), node->InputAt(0),
1637 jsgraph()->IntPtrConstant(kSmiTagMask)));
1638 node->AppendInput(graph()->zone(), jsgraph()->IntPtrConstant(kSmiTag));
1639 NodeProperties::ChangeOp(node, machine()->WordEqual());
1640 }
1641
1642
1643 Node* SimplifiedLowering::IsSmi(Node* value) {
1644 return graph()->NewNode(
1645 machine()->WordEqual(),
1646 graph()->NewNode(machine()->WordAnd(), value,
1647 jsgraph()->IntPtrConstant(kSmiTagMask)),
1648 jsgraph()->IntPtrConstant(kSmiTag));
1649 }
1650
1651
1652 Node* SimplifiedLowering::LoadHeapObjectMap(Node* object, Node* control) {
1653 return graph()->NewNode(
1654 machine()->Load(MachineType::AnyTagged()), object,
1655 jsgraph()->IntPtrConstant(HeapObject::kMapOffset - kHeapObjectTag),
1656 graph()->start(), control);
1657 }
1658
1659
1660 Node* SimplifiedLowering::LoadMapInstanceType(Node* map) {
1661 return graph()->NewNode(
1662 machine()->Load(MachineType::Uint8()), map,
1663 jsgraph()->IntPtrConstant(Map::kInstanceTypeOffset - kHeapObjectTag),
1664 graph()->start(), graph()->start());
1665 }
1666
1667
1668 Node* SimplifiedLowering::StringComparison(Node* node) { 1591 Node* SimplifiedLowering::StringComparison(Node* node) {
1669 Operator::Properties properties = node->op()->properties(); 1592 Operator::Properties properties = node->op()->properties();
1670 Callable callable = CodeFactory::StringCompare(isolate()); 1593 Callable callable = CodeFactory::StringCompare(isolate());
1671 CallDescriptor::Flags flags = CallDescriptor::kNoFlags; 1594 CallDescriptor::Flags flags = CallDescriptor::kNoFlags;
1672 CallDescriptor* desc = Linkage::GetStubCallDescriptor( 1595 CallDescriptor* desc = Linkage::GetStubCallDescriptor(
1673 isolate(), zone(), callable.descriptor(), 0, flags, properties); 1596 isolate(), zone(), callable.descriptor(), 0, flags, properties);
1674 return graph()->NewNode( 1597 return graph()->NewNode(
1675 common()->Call(desc), jsgraph()->HeapConstant(callable.code()), 1598 common()->Call(desc), jsgraph()->HeapConstant(callable.code()),
1676 NodeProperties::GetValueInput(node, 0), 1599 NodeProperties::GetValueInput(node, 0),
1677 NodeProperties::GetValueInput(node, 1), jsgraph()->NoContextConstant(), 1600 NodeProperties::GetValueInput(node, 1), jsgraph()->NoContextConstant(),
(...skipping 307 matching lines...) Expand 10 before | Expand all | Expand 10 after
1985 ReplaceEffectUses(node, comparison); 1908 ReplaceEffectUses(node, comparison);
1986 node->ReplaceInput(0, comparison); 1909 node->ReplaceInput(0, comparison);
1987 node->ReplaceInput(1, jsgraph()->SmiConstant(EQUAL)); 1910 node->ReplaceInput(1, jsgraph()->SmiConstant(EQUAL));
1988 node->TrimInputCount(2); 1911 node->TrimInputCount(2);
1989 NodeProperties::ChangeOp(node, machine()->IntLessThanOrEqual()); 1912 NodeProperties::ChangeOp(node, machine()->IntLessThanOrEqual());
1990 } 1913 }
1991 1914
1992 } // namespace compiler 1915 } // namespace compiler
1993 } // namespace internal 1916 } // namespace internal
1994 } // namespace v8 1917 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/simplified-lowering.h ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698