maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Make these loops follow GetGEPOperands() behavior. 

Let: %q = GEP %p, X, ...
If %p is a GEP, we can chase baseptr further, only if X==0.

llvm-svn: 44999
This commit is contained in:
Wojciech Matyjewicz 2007-12-13 16:22:58 +00:00
parent a5be19d3df
commit 86d51b896e
1 changed files with 13 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
llvm/lib/Analysis/BasicAliasAnalysis.cpp
View File

@ -391,17 +391,19 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size,
if (isGEP(V1) && isGEP(V2)) { if (isGEP(V1) && isGEP(V2)) {
// Drill down into the first non-gep value, to test for must-aliasing of // Drill down into the first non-gep value, to test for must-aliasing of
// the base pointers. // the base pointers.
const Value *BasePtr1 = V1, *BasePtr2 = V2; const User *G = cast<User>(V1);
do { while (isGEP(G->getOperand(0)) &&
BasePtr1 = cast<User>(BasePtr1)->getOperand(0); G->getOperand(1) ==
} while (isGEP(BasePtr1) && Constant::getNullValue(G->getOperand(1)->getType()))
cast<User>(BasePtr1)->getOperand(1) == G = cast<User>(G->getOperand(0));
Constant::getNullValue(cast<User>(BasePtr1)->getOperand(1)->getType())); const Value *BasePtr1 = G->getOperand(0);
do {
BasePtr2 = cast<User>(BasePtr2)->getOperand(0); G = cast<User>(V2);
} while (isGEP(BasePtr2) && while (isGEP(G->getOperand(0)) &&
cast<User>(BasePtr2)->getOperand(1) == G->getOperand(1) ==
Constant::getNullValue(cast<User>(BasePtr2)->getOperand(1)->getType())); Constant::getNullValue(G->getOperand(1)->getType()))
G = cast<User>(G->getOperand(0));
const Value *BasePtr2 = G->getOperand(0);
// Do the base pointers alias? // Do the base pointers alias?
AliasResult BaseAlias = alias(BasePtr1, ~0U, BasePtr2, ~0U); AliasResult BaseAlias = alias(BasePtr1, ~0U, BasePtr2, ~0U);