forked from OSchip/llvm-project
[LCG] Re-organize the methods for mutating a call graph to make their
API requirements much more obvious. The key here is that there are two totally different use cases for mutating the graph. Prior to doing any SCC formation, it is very easy to mutate the graph. There may be users that want to do small tweaks here, and then use the already-built graph for their SCC-based operations. This method remains on the graph itself and is documented carefully as being cheap but unavailable once SCCs are formed. Once SCCs are formed, and there is some in-flight DFS building them, we have to be much more careful in how we mutate the graph. These mutation operations are sunk onto the SCCs themselves, which both simplifies things (the code was already there!) and helps make it obvious that these interfaces are only applicable within that context. The other primary constraint is that the edge being mutated is actually related to the SCC on which we call the method. This helps make it obvious that you cannot arbitrarily mutate some other SCC. I've tried to write much more complete documentation for the interesting mutation API -- intra-SCC edge removal. Currently one aspect of this documentation is a lie (the result list of SCCs) but we also don't even have tests for that API. =[ I'm going to add tests and fix it to match the documentation next. llvm-svn: 207339
This commit is contained in:
Chandler Carruth
parent
da4841b3a9
commit
aa839b22c9
|
|
@ -163,6 +163,9 @@ public:
|
|||
/// CalleeIndexMap.
|
||||
Node(LazyCallGraph &G, Function &F);
|
||||
|
||||
/// \brief Internal helper to remove a callee from this node.
|
||||
void removeEdgeInternal(Function &Callee);
|
||||
|
||||
public:
|
||||
typedef LazyCallGraph::iterator iterator;
|
||||
|
||||
|
|
@ -187,25 +190,19 @@ public:
|
|||
friend class LazyCallGraph;
|
||||
friend class LazyCallGraph::Node;
|
||||
|
||||
LazyCallGraph *G;
|
||||
SmallPtrSet<SCC *, 1> ParentSCCs;
|
||||
SmallVector<Node *, 1> Nodes;
|
||||
|
||||
SCC() {}
|
||||
SCC(LazyCallGraph &G) : G(&G) {}
|
||||
|
||||
void insert(LazyCallGraph &G, Node &N);
|
||||
|
||||
void removeEdge(LazyCallGraph &G, Function &Caller, Function &Callee,
|
||||
SCC &CalleeC);
|
||||
void insert(Node &N);
|
||||
|
||||
void
|
||||
internalDFS(LazyCallGraph &G,
|
||||
SmallVectorImpl<std::pair<Node *, Node::iterator>> &DFSStack,
|
||||
internalDFS(SmallVectorImpl<std::pair<Node *, Node::iterator>> &DFSStack,
|
||||
SmallVectorImpl<Node *> &PendingSCCStack, Node *N,
|
||||
SmallVectorImpl<SCC *> &ResultSCCs);
|
||||
|
||||
SmallVector<LazyCallGraph::SCC *, 1>
|
||||
removeInternalEdge(LazyCallGraph &G, Node &Caller, Node &Callee);
|
||||
|
||||
public:
|
||||
typedef SmallVectorImpl<Node *>::const_iterator iterator;
|
||||
typedef pointee_iterator<SmallPtrSet<SCC *, 1>::const_iterator> parent_iterator;
|
||||
|
|
@ -219,6 +216,63 @@ public:
|
|||
iterator_range<parent_iterator> parents() const {
|
||||
return iterator_range<parent_iterator>(parent_begin(), parent_end());
|
||||
}
|
||||
|
||||
///@{
|
||||
/// \name Mutation API
|
||||
///
|
||||
/// These methods provide the core API for updating the call graph in the
|
||||
/// presence of a (potentially still in-flight) DFS-found SCCs.
|
||||
///
|
||||
/// Note that these methods sometimes have complex runtimes, so be careful
|
||||
/// how you call them.
|
||||
|
||||
/// \brief Remove an edge whose source is in this SCC and target is *not*.
|
||||
///
|
||||
/// This removes an inter-SCC edge. All inter-SCC edges originating from
|
||||
/// this SCC have been fully explored by any in-flight DFS SCC formation,
|
||||
/// so this is always safe to call once you have the source SCC.
|
||||
///
|
||||
/// This operation does not change the set of SCCs or the members of the
|
||||
/// SCCs and so is very inexpensive. It may change the connectivity graph
|
||||
/// of the SCCs though, so be careful calling this while iterating over
|
||||
/// them.
|
||||
void removeInterSCCEdge(Node &CallerN, Node &CalleeN);
|
||||
|
||||
/// \brief Remove an edge which is entirely within this SCC.
|
||||
///
|
||||
/// Both the \a Caller and the \a Callee must be within this SCC. Removing
|
||||
/// such an edge make break cycles that form this SCC and thus this
|
||||
/// operation may change the SCC graph significantly. In particular, this
|
||||
/// operation will re-form new SCCs based on the remaining connectivity of
|
||||
/// the graph. The following invariants are guaranteed to hold after
|
||||
/// calling this method:
|
||||
///
|
||||
/// 1) This SCC is still an SCC in the graph.
|
||||
/// 2) This SCC will be the parent of any new SCCs. Thus, this SCC is
|
||||
/// preserved as the root of any new SCC directed graph formed.
|
||||
/// 3) No SCC other than this SCC has its member set changed (this is
|
||||
/// inherent in the definiton of removing such an edge).
|
||||
/// 4) All of the parent links of the SCC graph will be updated to reflect
|
||||
/// the new SCC structure.
|
||||
/// 5) All SCCs formed out of this SCC, excluding this SCC, will be
|
||||
/// returned in a vector.
|
||||
/// 6) The order of the SCCs in the vector will be a valid postorder
|
||||
/// traversal of the new SCCs.
|
||||
///
|
||||
/// These invariants are very important to ensure that we can build
|
||||
/// optimization pipeliens on top of the CGSCC pass manager which
|
||||
/// intelligently update the SCC graph without invalidating other parts of
|
||||
/// the SCC graph.
|
||||
///
|
||||
/// The runtime complexity of this method is, in the worst case, O(V+E)
|
||||
/// where V is the number of nodes in this SCC and E is the number of edges
|
||||
/// leaving the nodes in this SCC. Note that E includes both edges within
|
||||
/// this SCC and edges from this SCC to child SCCs. Some effort has been
|
||||
/// made to minimize the overhead of common cases such as self-edges and
|
||||
/// edge removals which result in a spanning tree with no more cycles.
|
||||
SmallVector<SCC *, 1> removeIntraSCCEdge(Node &CallerN, Node &CalleeN);
|
||||
|
||||
///@}
|
||||
};
|
||||
|
||||
/// \brief A post-order depth-first SCC iterator over the call graph.
|
||||
|
|
@ -307,6 +361,16 @@ public:
|
|||
return insertInto(F, N);
|
||||
}
|
||||
|
||||
///@{
|
||||
/// \name Pre-SCC Mutation API
|
||||
///
|
||||
/// These methods are only valid to call prior to forming any SCCs for this
|
||||
/// call graph. They can be used to update the core node-graph during
|
||||
/// a node-based inorder traversal that precedes any SCC-based traversal.
|
||||
///
|
||||
/// Once you begin manipulating a call graph's SCCs, you must perform all
|
||||
/// mutation of the graph via the SCC methods.
|
||||
|
||||
/// \brief Update the call graph after deleting an edge.
|
||||
void removeEdge(Node &Caller, Function &Callee);
|
||||
|
||||
|
|
@ -315,6 +379,8 @@ public:
|
|||
return removeEdge(get(Caller), Callee);
|
||||
}
|
||||
|
||||
///@}
|
||||
|
||||
private:
|
||||
/// \brief Allocator that holds all the call graph nodes.
|
||||
SpecificBumpPtrAllocator<Node> BPA;
|
||||
|
|
|
|||
|
|
@ -75,6 +75,15 @@ LazyCallGraph::Node::Node(LazyCallGraph &G, Function &F)
|
|||
findCallees(Worklist, Visited, Callees, CalleeIndexMap);
|
||||
}
|
||||
|
||||
void LazyCallGraph::Node::removeEdgeInternal(Function &Callee) {
|
||||
auto IndexMapI = CalleeIndexMap.find(&Callee);
|
||||
assert(IndexMapI != CalleeIndexMap.end() &&
|
||||
"Callee not in the callee set for this caller?");
|
||||
|
||||
Callees.erase(Callees.begin() + IndexMapI->second);
|
||||
CalleeIndexMap.erase(IndexMapI);
|
||||
}
|
||||
|
||||
LazyCallGraph::LazyCallGraph(Module &M) : NextDFSNumber(0) {
|
||||
DEBUG(dbgs() << "Building CG for module: " << M.getModuleIdentifier()
|
||||
<< "\n");
|
||||
|
|
@ -131,23 +140,32 @@ LazyCallGraph &LazyCallGraph::operator=(LazyCallGraph &&G) {
|
|||
return *this;
|
||||
}
|
||||
|
||||
void LazyCallGraph::SCC::insert(LazyCallGraph &G, Node &N) {
|
||||
void LazyCallGraph::SCC::insert(Node &N) {
|
||||
N.DFSNumber = N.LowLink = -1;
|
||||
Nodes.push_back(&N);
|
||||
G.SCCMap[&N] = this;
|
||||
G->SCCMap[&N] = this;
|
||||
}
|
||||
|
||||
void LazyCallGraph::SCC::removeEdge(LazyCallGraph &G, Function &Caller,
|
||||
Function &Callee, SCC &CalleeC) {
|
||||
assert(std::find(G.LeafSCCs.begin(), G.LeafSCCs.end(), this) ==
|
||||
G.LeafSCCs.end() &&
|
||||
void LazyCallGraph::SCC::removeInterSCCEdge(Node &CallerN, Node &CalleeN) {
|
||||
// First remove it from the node.
|
||||
CallerN.removeEdgeInternal(CalleeN.getFunction());
|
||||
|
||||
assert(G->SCCMap.lookup(&CallerN) == this &&
|
||||
"The caller must be a member of this SCC.");
|
||||
|
||||
SCC &CalleeC = *G->SCCMap.lookup(&CalleeN);
|
||||
assert(&CalleeC != this &&
|
||||
"This API only supports the rmoval of inter-SCC edges.");
|
||||
|
||||
assert(std::find(G->LeafSCCs.begin(), G->LeafSCCs.end(), this) ==
|
||||
G->LeafSCCs.end() &&
|
||||
"Cannot have a leaf SCC caller with a different SCC callee.");
|
||||
|
||||
bool HasOtherCallToCalleeC = false;
|
||||
bool HasOtherCallOutsideSCC = false;
|
||||
for (Node *N : *this) {
|
||||
for (Node &Callee : *N) {
|
||||
SCC &OtherCalleeC = *G.SCCMap.lookup(&Callee);
|
||||
for (Node &OtherCalleeN : *N) {
|
||||
SCC &OtherCalleeC = *G->SCCMap.lookup(&OtherCalleeN);
|
||||
if (&OtherCalleeC == &CalleeC) {
|
||||
HasOtherCallToCalleeC = true;
|
||||
break;
|
||||
|
|
@ -171,17 +189,17 @@ void LazyCallGraph::SCC::removeEdge(LazyCallGraph &G, Function &Caller,
|
|||
// It may orphan an SCC if it is the last edge reaching it, but that does
|
||||
// not violate any invariants of the graph.
|
||||
if (CalleeC.ParentSCCs.empty())
|
||||
DEBUG(dbgs() << "LCG: Update removing " << Caller.getName() << " -> "
|
||||
<< Callee.getName() << " edge orphaned the callee's SCC!\n");
|
||||
DEBUG(dbgs() << "LCG: Update removing " << CallerN.getFunction().getName()
|
||||
<< " -> " << CalleeN.getFunction().getName()
|
||||
<< " edge orphaned the callee's SCC!\n");
|
||||
}
|
||||
|
||||
// It may make the Caller SCC a leaf SCC.
|
||||
if (!HasOtherCallOutsideSCC)
|
||||
G.LeafSCCs.push_back(this);
|
||||
G->LeafSCCs.push_back(this);
|
||||
}
|
||||
|
||||
void LazyCallGraph::SCC::internalDFS(
|
||||
LazyCallGraph &G,
|
||||
SmallVectorImpl<std::pair<Node *, Node::iterator>> &DFSStack,
|
||||
SmallVectorImpl<Node *> &PendingSCCStack, Node *N,
|
||||
SmallVectorImpl<SCC *> &ResultSCCs) {
|
||||
|
|
@ -196,16 +214,16 @@ void LazyCallGraph::SCC::internalDFS(
|
|||
Node::iterator E = N->end();
|
||||
while (I != E) {
|
||||
Node &ChildN = *I;
|
||||
if (SCC *ChildSCC = G.SCCMap.lookup(&ChildN)) {
|
||||
if (SCC *ChildSCC = G->SCCMap.lookup(&ChildN)) {
|
||||
// Check if we have reached a node in the new (known connected) set of
|
||||
// this SCC. If so, the entire stack is necessarily in that set and we
|
||||
// can re-start.
|
||||
if (ChildSCC == this) {
|
||||
insert(G, *N);
|
||||
insert(*N);
|
||||
while (!PendingSCCStack.empty())
|
||||
insert(G, *PendingSCCStack.pop_back_val());
|
||||
insert(*PendingSCCStack.pop_back_val());
|
||||
while (!DFSStack.empty())
|
||||
insert(G, *DFSStack.pop_back_val().first);
|
||||
insert(*DFSStack.pop_back_val().first);
|
||||
return;
|
||||
}
|
||||
|
||||
|
|
@ -240,7 +258,7 @@ void LazyCallGraph::SCC::internalDFS(
|
|||
}
|
||||
|
||||
if (N->LowLink == N->DFSNumber) {
|
||||
ResultSCCs.push_back(G.formSCC(N, PendingSCCStack));
|
||||
ResultSCCs.push_back(G->formSCC(N, PendingSCCStack));
|
||||
if (DFSStack.empty())
|
||||
return;
|
||||
} else {
|
||||
|
|
@ -261,15 +279,18 @@ void LazyCallGraph::SCC::internalDFS(
|
|||
}
|
||||
|
||||
SmallVector<LazyCallGraph::SCC *, 1>
|
||||
LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
|
||||
Node &Callee) {
|
||||
LazyCallGraph::SCC::removeIntraSCCEdge(Node &CallerN,
|
||||
Node &CalleeN) {
|
||||
// First remove it from the node.
|
||||
CallerN.removeEdgeInternal(CalleeN.getFunction());
|
||||
|
||||
// We return a list of the resulting SCCs, where 'this' is always the first
|
||||
// element.
|
||||
SmallVector<SCC *, 1> ResultSCCs;
|
||||
ResultSCCs.push_back(this);
|
||||
|
||||
// Direct recursion doesn't impact the SCC graph at all.
|
||||
if (&Caller == &Callee)
|
||||
if (&CallerN == &CalleeN)
|
||||
return ResultSCCs;
|
||||
|
||||
// The worklist is every node in the original SCC.
|
||||
|
|
@ -279,7 +300,7 @@ LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
|
|||
// The nodes formerly in this SCC are no longer in any SCC.
|
||||
N->DFSNumber = 0;
|
||||
N->LowLink = 0;
|
||||
G.SCCMap.erase(N);
|
||||
G->SCCMap.erase(N);
|
||||
}
|
||||
assert(Worklist.size() > 1 && "We have to have at least two nodes to have an "
|
||||
"edge between them that is within the SCC.");
|
||||
|
|
@ -290,7 +311,7 @@ LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
|
|||
// incrementally add any chain of nodes which reaches something in the new
|
||||
// node set to the new node set. This short circuits one side of the Tarjan's
|
||||
// walk.
|
||||
insert(G, Callee);
|
||||
insert(CalleeN);
|
||||
|
||||
// We're going to do a full mini-Tarjan's walk using a local stack here.
|
||||
SmallVector<std::pair<Node *, Node::iterator>, 4> DFSStack;
|
||||
|
|
@ -298,7 +319,7 @@ LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
|
|||
do {
|
||||
Node *N = Worklist.pop_back_val();
|
||||
if (N->DFSNumber == 0)
|
||||
internalDFS(G, DFSStack, PendingSCCStack, N, ResultSCCs);
|
||||
internalDFS(DFSStack, PendingSCCStack, N, ResultSCCs);
|
||||
|
||||
assert(DFSStack.empty() && "Didn't flush the entire DFS stack!");
|
||||
assert(PendingSCCStack.empty() && "Didn't flush all pending SCC nodes!");
|
||||
|
|
@ -308,7 +329,7 @@ LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
|
|||
bool IsLeafSCC = true;
|
||||
for (Node *N : Nodes) {
|
||||
for (Node &ChildN : *N) {
|
||||
SCC &ChildSCC = *G.SCCMap.lookup(&ChildN);
|
||||
SCC &ChildSCC = *G->SCCMap.lookup(&ChildN);
|
||||
if (&ChildSCC == this)
|
||||
continue;
|
||||
ChildSCC.ParentSCCs.insert(this);
|
||||
|
|
@ -319,7 +340,7 @@ LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
|
|||
if (ResultSCCs.size() > 1)
|
||||
assert(!IsLeafSCC && "This SCC cannot be a leaf as we have split out new "
|
||||
"SCCs by removing this edge.");
|
||||
if (!std::any_of(G.LeafSCCs.begin(), G.LeafSCCs.end(),
|
||||
if (!std::any_of(G->LeafSCCs.begin(), G->LeafSCCs.end(),
|
||||
[&](SCC *C) { return C == this; }))
|
||||
assert(!IsLeafSCC && "This SCC cannot be a leaf as it already had child "
|
||||
"SCCs before we removed this edge.");
|
||||
|
|
@ -327,51 +348,18 @@ LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
|
|||
// If this SCC stopped being a leaf through this edge removal, remove it from
|
||||
// the leaf SCC list.
|
||||
if (!IsLeafSCC && ResultSCCs.size() > 1)
|
||||
G.LeafSCCs.erase(std::remove(G.LeafSCCs.begin(), G.LeafSCCs.end(), this),
|
||||
G.LeafSCCs.end());
|
||||
G->LeafSCCs.erase(std::remove(G->LeafSCCs.begin(), G->LeafSCCs.end(), this),
|
||||
G->LeafSCCs.end());
|
||||
|
||||
// Return the new list of SCCs.
|
||||
return ResultSCCs;
|
||||
}
|
||||
|
||||
void LazyCallGraph::removeEdge(Node &CallerN, Function &Callee) {
|
||||
auto IndexMapI = CallerN.CalleeIndexMap.find(&Callee);
|
||||
assert(IndexMapI != CallerN.CalleeIndexMap.end() &&
|
||||
"Callee not in the callee set for the caller?");
|
||||
assert(SCCMap.empty() && DFSStack.empty() &&
|
||||
"This method cannot be called after SCCs have been formed!");
|
||||
|
||||
Node *CalleeN = CallerN.Callees[IndexMapI->second].dyn_cast<Node *>();
|
||||
CallerN.Callees.erase(CallerN.Callees.begin() + IndexMapI->second);
|
||||
CallerN.CalleeIndexMap.erase(IndexMapI);
|
||||
|
||||
SCC *CallerC = SCCMap.lookup(&CallerN);
|
||||
if (!CallerC) {
|
||||
// We can only remove edges when the edge isn't actively participating in
|
||||
// a DFS walk. Either it must have been popped into an SCC, or it must not
|
||||
// yet have been reached by the DFS walk. Assert the latter here.
|
||||
assert(std::all_of(DFSStack.begin(), DFSStack.end(),
|
||||
[&](const std::pair<Node *, iterator> &StackEntry) {
|
||||
return StackEntry.first != &CallerN;
|
||||
}) &&
|
||||
"Found the caller on the DFSStack!");
|
||||
return;
|
||||
}
|
||||
|
||||
assert(CalleeN && "If the caller is in an SCC, we have to have explored all "
|
||||
"its transitively called functions.");
|
||||
|
||||
SCC *CalleeC = SCCMap.lookup(CalleeN);
|
||||
assert(CalleeC &&
|
||||
"The caller has an SCC, and thus by necessity so does the callee.");
|
||||
|
||||
// The easy case is when they are different SCCs.
|
||||
if (CallerC != CalleeC) {
|
||||
CallerC->removeEdge(*this, CallerN.getFunction(), Callee, *CalleeC);
|
||||
return;
|
||||
}
|
||||
|
||||
// The hard case is when we remove an edge within a SCC. This may cause new
|
||||
// SCCs to need to be added to the graph.
|
||||
CallerC->removeInternalEdge(*this, CallerN, *CalleeN);
|
||||
return CallerN.removeEdgeInternal(Callee);
|
||||
}
|
||||
|
||||
LazyCallGraph::Node &LazyCallGraph::insertInto(Function &F, Node *&MappedN) {
|
||||
|
|
@ -380,17 +368,31 @@ LazyCallGraph::Node &LazyCallGraph::insertInto(Function &F, Node *&MappedN) {
|
|||
|
||||
void LazyCallGraph::updateGraphPtrs() {
|
||||
// Process all nodes updating the graph pointers.
|
||||
SmallVector<Node *, 16> Worklist;
|
||||
for (auto &Entry : EntryNodes)
|
||||
if (Node *EntryN = Entry.dyn_cast<Node *>())
|
||||
Worklist.push_back(EntryN);
|
||||
{
|
||||
SmallVector<Node *, 16> Worklist;
|
||||
for (auto &Entry : EntryNodes)
|
||||
if (Node *EntryN = Entry.dyn_cast<Node *>())
|
||||
Worklist.push_back(EntryN);
|
||||
|
||||
while (!Worklist.empty()) {
|
||||
Node *N = Worklist.pop_back_val();
|
||||
N->G = this;
|
||||
for (auto &Callee : N->Callees)
|
||||
if (Node *CalleeN = Callee.dyn_cast<Node *>())
|
||||
Worklist.push_back(CalleeN);
|
||||
while (!Worklist.empty()) {
|
||||
Node *N = Worklist.pop_back_val();
|
||||
N->G = this;
|
||||
for (auto &Callee : N->Callees)
|
||||
if (Node *CalleeN = Callee.dyn_cast<Node *>())
|
||||
Worklist.push_back(CalleeN);
|
||||
}
|
||||
}
|
||||
|
||||
// Process all SCCs updating the graph pointers.
|
||||
{
|
||||
SmallVector<SCC *, 16> Worklist(LeafSCCs.begin(), LeafSCCs.end());
|
||||
|
||||
while (!Worklist.empty()) {
|
||||
SCC *C = Worklist.pop_back_val();
|
||||
C->G = this;
|
||||
Worklist.insert(Worklist.end(), C->ParentSCCs.begin(),
|
||||
C->ParentSCCs.end());
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -398,15 +400,15 @@ LazyCallGraph::SCC *LazyCallGraph::formSCC(Node *RootN,
|
|||
SmallVectorImpl<Node *> &NodeStack) {
|
||||
// The tail of the stack is the new SCC. Allocate the SCC and pop the stack
|
||||
// into it.
|
||||
SCC *NewSCC = new (SCCBPA.Allocate()) SCC();
|
||||
SCC *NewSCC = new (SCCBPA.Allocate()) SCC(*this);
|
||||
|
||||
while (!NodeStack.empty() && NodeStack.back()->DFSNumber > RootN->DFSNumber) {
|
||||
assert(NodeStack.back()->LowLink >= RootN->LowLink &&
|
||||
"We cannot have a low link in an SCC lower than its root on the "
|
||||
"stack!");
|
||||
NewSCC->insert(*this, *NodeStack.pop_back_val());
|
||||
NewSCC->insert(*NodeStack.pop_back_val());
|
||||
}
|
||||
NewSCC->insert(*this, *RootN);
|
||||
NewSCC->insert(*RootN);
|
||||
|
||||
// A final pass over all edges in the SCC (this remains linear as we only
|
||||
// do this once when we build the SCC) to connect it to the parent sets of
|
||||
|
|
|
|||
|
|
@ -331,7 +331,7 @@ TEST(LazyCallGraphTest, InterSCCEdgeRemoval) {
|
|||
EXPECT_EQ(B.end(), B.begin());
|
||||
EXPECT_EQ(&AC, &*BC.parent_begin());
|
||||
|
||||
CG.removeEdge(A, lookupFunction(*M, "b"));
|
||||
AC.removeInterSCCEdge(A, B);
|
||||
|
||||
EXPECT_EQ(A.end(), A.begin());
|
||||
EXPECT_EQ(B.end(), B.begin());
|
||||
|
|
@ -378,14 +378,14 @@ TEST(LazyCallGraphTest, IntraSCCEdgeRemoval) {
|
|||
|
||||
// Remove the edge from b -> a, which should leave the 3 functions still in
|
||||
// a single connected component because of a -> b -> c -> a.
|
||||
CG1.removeEdge(B, A.getFunction());
|
||||
SCC.removeIntraSCCEdge(B, A);
|
||||
EXPECT_EQ(&SCC, CG1.lookupSCC(A));
|
||||
EXPECT_EQ(&SCC, CG1.lookupSCC(B));
|
||||
EXPECT_EQ(&SCC, CG1.lookupSCC(C));
|
||||
|
||||
// Remove the edge from c -> a, which should leave 'a' in the original SCC
|
||||
// and form a new SCC for 'b' and 'c'.
|
||||
CG1.removeEdge(C, A.getFunction());
|
||||
SCC.removeIntraSCCEdge(C, A);
|
||||
EXPECT_EQ(&SCC, CG1.lookupSCC(A));
|
||||
EXPECT_EQ(1, std::distance(SCC.begin(), SCC.end()));
|
||||
LazyCallGraph::SCC *SCC2 = CG1.lookupSCC(B);
|
||||
|
|
|
|||
Loading…
Reference in New Issue