- Fix BasicAA to correctly detect the non-aliasness of A[1] & A[2]
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5518 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/AliasAnalysis.cpp b/lib/Analysis/AliasAnalysis.cpp
index 2dbff6a..510db57 100644
--- a/lib/Analysis/AliasAnalysis.cpp
+++ b/lib/Analysis/AliasAnalysis.cpp
@@ -165,7 +165,7 @@
if (const Instruction *I = dyn_cast<CastInst>(V1))
return alias(I->getOperand(0), V2);
if (const Instruction *I = dyn_cast<CastInst>(V2))
- return alias(I->getOperand(0), V1);
+ return alias(V1, I->getOperand(0));
// If we have two gep instructions with identical indices, return an alias
// result equal to the alias result of the original pointer...
@@ -197,7 +197,7 @@
// doesn't tell us anything.
//
if (AllConstant &&
- alias(GEP1->getOperand(0), GEP2->getOperand(1)) != MayAlias)
+ alias(GEP1->getOperand(0), GEP2->getOperand(0)) != MayAlias)
return NoAlias;
}