From f9962812d01ddf78d1f2b9d51e81d56184b04951 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 3 Feb 2003 19:10:24 +0000 Subject: [PATCH] * Add a bunch of stuff for checking the integrity of the graph * remove the isNodeDead method git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5474 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Analysis/DSGraph.h | 29 +++++++++++++++++-- include/llvm/Analysis/DataStructure/DSGraph.h | 29 +++++++++++++++++-- 2 files changed, 54 insertions(+), 4 deletions(-) diff --git a/include/llvm/Analysis/DSGraph.h b/include/llvm/Analysis/DSGraph.h index daab1195b36..0126e2d44f8 100644 --- a/include/llvm/Analysis/DSGraph.h +++ b/include/llvm/Analysis/DSGraph.h @@ -180,8 +180,33 @@ public: /// void mergeInGraph(DSCallSite &CS, const DSGraph &Graph, unsigned CloneFlags); -private: - bool isNodeDead(DSNode *N); + // Methods for checking to make sure graphs are well formed... + void AssertNodeInGraph(DSNode *N) const { + assert((!N || find(Nodes.begin(), Nodes.end(), N) != Nodes.end()) && + "AssertNodeInGraph: Node is not in graph!"); + } + void AssertNodeContainsGlobal(const DSNode *N, GlobalValue *GV) const { + assert(std::find(N->getGlobals().begin(), N->getGlobals().end(), GV) != + N->getGlobals().end() && "Global value not in node!"); + } + + void AssertCallSiteInGraph(const DSCallSite &CS) const { + AssertNodeInGraph(CS.getCallee().getNode()); + AssertNodeInGraph(CS.getRetVal().getNode()); + for (unsigned j = 0, e = CS.getNumPtrArgs(); j != e; ++j) + AssertNodeInGraph(CS.getPtrArg(j).getNode()); + } + + void AssertCallNodesInGraph() const { + for (unsigned i = 0, e = FunctionCalls.size(); i != e; ++i) + AssertCallSiteInGraph(FunctionCalls[i]); + } + void AssertAuxCallNodesInGraph() const { + for (unsigned i = 0, e = AuxFunctionCalls.size(); i != e; ++i) + AssertCallSiteInGraph(AuxFunctionCalls[i]); + } + + void AssertGraphOK() const; public: // removeTriviallyDeadNodes - After the graph has been constructed, this diff --git a/include/llvm/Analysis/DataStructure/DSGraph.h b/include/llvm/Analysis/DataStructure/DSGraph.h index daab1195b36..0126e2d44f8 100644 --- a/include/llvm/Analysis/DataStructure/DSGraph.h +++ b/include/llvm/Analysis/DataStructure/DSGraph.h @@ -180,8 +180,33 @@ public: /// void mergeInGraph(DSCallSite &CS, const DSGraph &Graph, unsigned CloneFlags); -private: - bool isNodeDead(DSNode *N); + // Methods for checking to make sure graphs are well formed... + void AssertNodeInGraph(DSNode *N) const { + assert((!N || find(Nodes.begin(), Nodes.end(), N) != Nodes.end()) && + "AssertNodeInGraph: Node is not in graph!"); + } + void AssertNodeContainsGlobal(const DSNode *N, GlobalValue *GV) const { + assert(std::find(N->getGlobals().begin(), N->getGlobals().end(), GV) != + N->getGlobals().end() && "Global value not in node!"); + } + + void AssertCallSiteInGraph(const DSCallSite &CS) const { + AssertNodeInGraph(CS.getCallee().getNode()); + AssertNodeInGraph(CS.getRetVal().getNode()); + for (unsigned j = 0, e = CS.getNumPtrArgs(); j != e; ++j) + AssertNodeInGraph(CS.getPtrArg(j).getNode()); + } + + void AssertCallNodesInGraph() const { + for (unsigned i = 0, e = FunctionCalls.size(); i != e; ++i) + AssertCallSiteInGraph(FunctionCalls[i]); + } + void AssertAuxCallNodesInGraph() const { + for (unsigned i = 0, e = AuxFunctionCalls.size(); i != e; ++i) + AssertCallSiteInGraph(AuxFunctionCalls[i]); + } + + void AssertGraphOK() const; public: // removeTriviallyDeadNodes - After the graph has been constructed, this -- 2.34.1