Fix logical error in TD pass: we should clear Mod/Ref bits of each caller
before inlining their graphs into a function. To support this,
added flags to CloneFlags to strip/keep Mod/Ref bits.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@4836 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/DataStructure/DataStructure.cpp b/lib/Analysis/DataStructure/DataStructure.cpp
index fe72bfe..d26213f 100644
--- a/lib/Analysis/DataStructure/DataStructure.cpp
+++ b/lib/Analysis/DataStructure/DataStructure.cpp
@@ -598,9 +598,14 @@
Nodes[i]->remapLinks(OldNodeMap);
// Remove alloca markers as specified
- if (CloneFlags & StripAllocaBit)
+ if (CloneFlags & (StripAllocaBit | StripModRefBits)) {
+ unsigned short clearBits = (CloneFlags & StripAllocaBit
+ ? DSNode::AllocaNode : 0)
+ | (CloneFlags & StripModRefBits
+ ? (DSNode::Modified | DSNode::Read) : 0);
for (unsigned i = FN, e = Nodes.size(); i != e; ++i)
- Nodes[i]->NodeType &= ~DSNode::AllocaNode;
+ Nodes[i]->NodeType &= ~clearBits;
+ }
// Copy the value map... and merge all of the global nodes...
for (std::map<Value*, DSNodeHandle>::const_iterator I = G.ScalarMap.begin(),