commit 4c37c07ee3bfacaaf90ea57165ef6855b4ed8b22
author Devang Patel <dpatel@apple.com> Fri Jun 06 17:50:58 2008 +0000
committer Devang Patel <dpatel@apple.com> Fri Jun 06 17:50:58 2008 +0000
tree 3e42b68e17dddd76bee310c1caabea9204c80f49
parent 8fb6a94b6986ce0de0827da865ef8027e78c7eb7

LoopSimplify preserves AA.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52053 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/Utils/LoopSimplify.cpp

diff --git a/lib/Transforms/Utils/LoopSimplify.cpp b/lib/Transforms/Utils/LoopSimplify.cpp
index 308819e..3063a43 100644
--- a/lib/Transforms/Utils/LoopSimplify.cpp
+++ b/lib/Transforms/Utils/LoopSimplify.cpp
@@ -73,6 +73,7 @@
       AU.addPreserved<LoopInfo>();
       AU.addPreserved<DominatorTree>();
       AU.addPreserved<DominanceFrontier>();
+      AU.addPreserved<AliasAnalysis>();
       AU.addPreservedID(BreakCriticalEdgesID);  // No critical edges added.
     }
 
@@ -252,9 +253,10 @@
   for (BasicBlock::iterator I = L->getHeader()->begin();
        (PN = dyn_cast<PHINode>(I++)); )
     if (Value *V = PN->hasConstantValue()) {
-        PN->replaceAllUsesWith(V);
-        PN->eraseFromParent();
-      }
+      if (AA) AA->deleteValue(PN);
+      PN->replaceAllUsesWith(V);
+      PN->eraseFromParent();
+    }
 
   return Changed;
 }