replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Allow merging of identical call nodes. Make the shadow node pointed to 

by the call node noncritical before the call is destroyed.

llvm-svn: 2082
This commit is contained in:
Chris Lattner 2002-04-01 00:13:56 +00:00
parent a7b3b50381
commit 6b06aa557e
1 changed files with 18 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
llvm/lib/Analysis/DataStructure/EliminateNodes.cpp
View File

@ -53,6 +53,23 @@ static void DestroyFirstNodeOfPair(DSNode *N1, DSNode *N2) {
assert(RanOnce && "Node on user set but cannot find the use!");
}
// If we are about to eliminate a call node that returns a pointer, make the
// shadow node it points to not be critical anymore!
//
if (isa<CallDSNode>(N1) && N1->getNumLinks()) {
assert(N1->getNumLinks() == 1 && "Call node can only return one pointer!");
PointerValSet &PVS = N1->getLink(0);
for (unsigned i = 0, e = PVS.size(); i != e; ++i)
if (ShadowDSNode *Shad = dyn_cast<ShadowDSNode>(PVS[i].Node))
if (Shad->isCriticalNode()) {
Shad->resetCriticalMark(); // Only unmark _ONE_ node..
break;
}
}
N1->removeAllIncomingEdges();
delete N1;
}
@ -170,10 +187,7 @@ bool FunctionDSGraph::UnlinkUndistinguishableNodes() {
return
removeIndistinguishableNodes(AllocNodes) |
removeIndistinguishableNodes(ShadowNodes) |
//FIXME: We cannot naively remove call nodes here because if there is a
// shadow node that is the result of the call, we have to make sure to
// merge the shadow node as well!!!
// removeIndistinguishableNodePairs(CallNodes) |
removeIndistinguishableNodePairs(CallNodes) |
removeIndistinguishableNodePairs(GlobalNodes);
}