From: Chris Lattner <sabre@nondot.org>
Date: Sun, 28 Nov 2004 20:30:15 +0000 (+0000)
Subject: Fix DeadStoreElimination/2004-11-28-LiveStoreDeleted.ll
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=eaf8f9c667b15cf09b4608558cc24675e92ad2cd;p=oota-llvm.git

Fix DeadStoreElimination/2004-11-28-LiveStoreDeleted.ll


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

diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index b195b25cb5b..17539bd5315 100644
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -297,7 +297,7 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size,
         // undefined to load or store bytes before or after an object).
         const Type *ElTy = cast<PointerType>(O1->getType())->getElementType();
         unsigned GlobalSize = getTargetData().getTypeSize(ElTy);
-        if (GlobalSize < V2Size)
+        if (GlobalSize < V2Size && V2Size != ~0U)
           return NoAlias;
       }
   }
@@ -313,7 +313,7 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size,
         // undefined to load or store bytes before or after an object).
         const Type *ElTy = cast<PointerType>(O2->getType())->getElementType();
         unsigned GlobalSize = getTargetData().getTypeSize(ElTy);
-        if (GlobalSize < V1Size)
+        if (GlobalSize < V1Size && V1Size != ~0U)
           return NoAlias;
       }
   }
@@ -496,7 +496,7 @@ CheckGEPInstructions(const Type* BasePtr1Ty, std::vector<Value*> &GEP1Ops,
   //        A[i][0] != A[j][1] iff (&A[0][1]-&A[0][0] >= std::max(G1S, G2S))
   //
   unsigned SizeMax = std::max(G1S, G2S);
-  if (SizeMax == ~0U) return MayAlias; // Avoid frivolous work...
+  if (SizeMax == ~0U) return MayAlias; // Avoid frivolous work.
 
   // Scan for the first operand that is constant and unequal in the
   // two getelementptrs...