maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Fix an infinite loop I caused by making sure to legalize the flag operand 

of CALLSEQ_* nodes

llvm-svn: 25582
This commit is contained in:
Chris Lattner 2006-01-24 05:48:21 +00:00
parent 78c38a7bc7
commit f9a1e3aadc
2 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp
View File

@ -823,6 +823,13 @@ SDOperand SelectionDAGLegalize::LegalizeOp(SDOperand Op) {
Tmp2 = Node->getOperand(0);
if (Tmp1 != Tmp2)
Node->setAdjCallChain(Tmp1);
// If this has a flag input, do legalize it.
if (Node->getOperand(Node->getNumOperands()-1).getValueType() == MVT::Flag){
Tmp1 = LegalizeOp(Node->getOperand(Node->getNumOperands()-1));
if (Tmp1 != Node->getOperand(Node->getNumOperands()-1))
Node->setAdjCallFlag(Tmp1);
}
// Note that we do not create new CALLSEQ_DOWN/UP nodes here. These
// nodes are treated specially and are mutated in place. This makes the dag
@ -1365,7 +1372,8 @@ SDOperand SelectionDAGLegalize::LegalizeOp(SDOperand Op) {
Tmp2,
Node->getOperand(3));
}
Node = Result.Val;
Result = LegalizeOp(Result);
break;
}
switch (getTypeAction(Node->getOperand(1).getValueType())) {

13
llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
View File

@ -1276,6 +1276,19 @@ void SDNode::setAdjCallChain(SDOperand N) {
OperandList[0].Val->Uses.push_back(this);
}
// setAdjCallFlag - This method changes the flag input of an
// CALLSEQ_START/END node to be the specified operand.
void SDNode::setAdjCallFlag(SDOperand N) {
assert(N.getValueType() == MVT::Flag);
assert((getOpcode() == ISD::CALLSEQ_START ||
getOpcode() == ISD::CALLSEQ_END) && "Cannot adjust this node!");
SDOperand &FlagOp = OperandList[getNumOperands()-1];
assert(FlagOp.getValueType() == MVT::Flag);
FlagOp.Val->removeUser(this);
FlagOp = N;
FlagOp.Val->Uses.push_back(this);
}
SDOperand SelectionDAG::getLoad(MVT::ValueType VT,