mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-18 12:29:21 +00:00
- 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
This commit is contained in:
parent
af28351773
commit
44f340250e
@ -165,7 +165,7 @@ AliasAnalysis::Result BasicAliasAnalysis::alias(const Value *V1,
|
|||||||
if (const Instruction *I = dyn_cast<CastInst>(V1))
|
if (const Instruction *I = dyn_cast<CastInst>(V1))
|
||||||
return alias(I->getOperand(0), V2);
|
return alias(I->getOperand(0), V2);
|
||||||
if (const Instruction *I = dyn_cast<CastInst>(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
|
// If we have two gep instructions with identical indices, return an alias
|
||||||
// result equal to the alias result of the original pointer...
|
// result equal to the alias result of the original pointer...
|
||||||
@ -197,7 +197,7 @@ AliasAnalysis::Result BasicAliasAnalysis::alias(const Value *V1,
|
|||||||
// doesn't tell us anything.
|
// doesn't tell us anything.
|
||||||
//
|
//
|
||||||
if (AllConstant &&
|
if (AllConstant &&
|
||||||
alias(GEP1->getOperand(0), GEP2->getOperand(1)) != MayAlias)
|
alias(GEP1->getOperand(0), GEP2->getOperand(0)) != MayAlias)
|
||||||
return NoAlias;
|
return NoAlias;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user