be more aggressive about incompleteness marking

llvm-svn: 20814
This commit is contained in:
Chris Lattner 2005-03-24 18:42:28 +00:00
parent 299be4b42f
commit ba6006d84b
1 changed files with 2 additions and 3 deletions

View File

@ -117,7 +117,6 @@ bool Steens::runOnModule(Module &M) {
ResultGraph = new DSGraph(GlobalECs, getTargetData()); ResultGraph = new DSGraph(GlobalECs, getTargetData());
GlobalsGraph = new DSGraph(GlobalECs, getTargetData()); GlobalsGraph = new DSGraph(GlobalECs, getTargetData());
ResultGraph->setGlobalsGraph(GlobalsGraph); ResultGraph->setGlobalsGraph(GlobalsGraph);
ResultGraph->setPrintAuxCalls();
// Loop over the rest of the module, merging graphs for non-external functions // Loop over the rest of the module, merging graphs for non-external functions
// into this graph. // into this graph.
@ -173,7 +172,8 @@ bool Steens::runOnModule(Module &M) {
// Update the "incomplete" markers on the nodes, ignoring unknownness due to // Update the "incomplete" markers on the nodes, ignoring unknownness due to
// incoming arguments... // incoming arguments...
ResultGraph->maskIncompleteMarkers(); ResultGraph->maskIncompleteMarkers();
ResultGraph->markIncompleteNodes(DSGraph::IgnoreFormalArgs); ResultGraph->markIncompleteNodes(DSGraph::IgnoreFormalArgs |
DSGraph::IgnoreGlobals);
// Remove any nodes that are dead after all of the merging we have done... // Remove any nodes that are dead after all of the merging we have done...
// FIXME: We should be able to disable the globals graph for steens! // FIXME: We should be able to disable the globals graph for steens!
@ -186,7 +186,6 @@ bool Steens::runOnModule(Module &M) {
// alias - This is the only method here that does anything interesting... // alias - This is the only method here that does anything interesting...
AliasAnalysis::AliasResult Steens::alias(const Value *V1, unsigned V1Size, AliasAnalysis::AliasResult Steens::alias(const Value *V1, unsigned V1Size,
const Value *V2, unsigned V2Size) { const Value *V2, unsigned V2Size) {
// FIXME: HANDLE Size argument!
assert(ResultGraph && "Result graph has not been computed yet!"); assert(ResultGraph && "Result graph has not been computed yet!");
DSGraph::ScalarMapTy &GSM = ResultGraph->getScalarMap(); DSGraph::ScalarMapTy &GSM = ResultGraph->getScalarMap();