diff options
author | Chris Lattner <sabre@nondot.org> | 2007-01-14 05:57:53 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2007-01-14 05:57:53 +0000 |
commit | 241607d01648e85754f72de945684c7a8641a292 (patch) | |
tree | 09dbaa7a066777dfdbc64c357502610255cde211 /lib/Analysis | |
parent | 84efeda7eaa7f202956a6892b3dc3d9f849903bf (diff) | |
download | external_llvm-241607d01648e85754f72de945684c7a8641a292.zip external_llvm-241607d01648e85754f72de945684c7a8641a292.tar.gz external_llvm-241607d01648e85754f72de945684c7a8641a292.tar.bz2 |
fit to 80 cols.
Remove now-extraneous checks for ptr->ptr bitcasts.
Fix PR1109 and Analysis/BasicAA/2007-01-13-BasePointerBadNoAlias.ll. We
need to consider arbitrary sized objects when checking for nested GEP offsets.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33195 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis')
-rw-r--r-- | lib/Analysis/BasicAliasAnalysis.cpp | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index 3f6b722..a0c8a79 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -104,7 +104,7 @@ namespace { bool pointsToConstantMemory(const Value *P); virtual ModRefBehavior getModRefBehavior(Function *F, CallSite CS, - std::vector<PointerAccessInfo> *Info); + std::vector<PointerAccessInfo> *Info); private: // CheckGEPInstructions - Check two GEP instructions with known @@ -274,11 +274,9 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size, // Strip off cast instructions... if (const BitCastInst *I = dyn_cast<BitCastInst>(V1)) - if (isa<PointerType>(I->getOperand(0)->getType())) - return alias(I->getOperand(0), V1Size, V2, V2Size); + return alias(I->getOperand(0), V1Size, V2, V2Size); if (const BitCastInst *I = dyn_cast<BitCastInst>(V2)) - if (isa<PointerType>(I->getOperand(0)->getType())) - return alias(V1, V1Size, I->getOperand(0), V2Size); + return alias(V1, V1Size, I->getOperand(0), V2Size); // Figure out what objects these things are pointing to if we can... const Value *O1 = getUnderlyingObject(V1); @@ -363,7 +361,7 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size, Constant::getNullValue(cast<User>(BasePtr2)->getOperand(1)->getType())); // Do the base pointers alias? - AliasResult BaseAlias = alias(BasePtr1, V1Size, BasePtr2, V2Size); + AliasResult BaseAlias = alias(BasePtr1, ~0U, BasePtr2, ~0U); if (BaseAlias == NoAlias) return NoAlias; if (BaseAlias == MustAlias) { // If the base pointers alias each other exactly, check to see if we can @@ -694,9 +692,9 @@ BasicAliasAnalysis::CheckGEPInstructions( // value possible. // if (const ArrayType *AT = dyn_cast<ArrayType>(BasePtr1Ty)) - GEP1Ops[i] = ConstantInt::get(Type::Int64Ty, AT->getNumElements()-1); + GEP1Ops[i] = ConstantInt::get(Type::Int64Ty,AT->getNumElements()-1); else if (const PackedType *PT = dyn_cast<PackedType>(BasePtr1Ty)) - GEP1Ops[i] = ConstantInt::get(Type::Int64Ty, PT->getNumElements()-1); + GEP1Ops[i] = ConstantInt::get(Type::Int64Ty,PT->getNumElements()-1); } } |