commit caadc93f7b3e950c16ff6cd497baffe7cadc1477
author Chris Lattner <sabre@nondot.org> Fri Feb 28 19:21:40 2003 +0000
committer Chris Lattner <sabre@nondot.org> Fri Feb 28 19:21:40 2003 +0000
tree 07a678c612d9d4eab40122a14d2e82e38eaab9de
parent 2daba3bb1cb6090f38f2e0ce0a78d0b8fb682e4e

Fix bug: LICM/2003-02-28-PromoteDifferentType.ll


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

lib/Transforms/Scalar/LICM.cpp

diff --git a/lib/Transforms/Scalar/LICM.cpp b/lib/Transforms/Scalar/LICM.cpp
index 534a073..334ede3 100644
--- a/lib/Transforms/Scalar/LICM.cpp
+++ b/lib/Transforms/Scalar/LICM.cpp
@@ -487,9 +487,15 @@
 
         bool PointerOk = true;
         for (std::set<Value*>::const_iterator I =CurLBI->LoadedPointers.begin(),
-               E = CurLBI->LoadedPointers.end(); I != E; ++I)
-          if (AA->alias(V, ~0, *I, ~0) == AliasAnalysis::MayAlias) {
+               E = CurLBI->LoadedPointers.end(); PointerOk && I != E; ++I)
+          switch (AA->alias(V, ~0, *I, ~0)) {
+          case AliasAnalysis::MustAlias:
+            if (V->getType() != (*I)->getType())
+              PointerOk = false;
+            break;
+          case AliasAnalysis::MayAlias:
             PointerOk = false;
+          case AliasAnalysis::NoAlias:
             break;
           }