RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-25 04:39:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix bug: BasicAA/2003-03-04-GEPCrash.ll

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5695 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2003-03-04 16:40:17 +00:00
parent 3fc7b6bd65
commit 506b4e4368
1 changed files with 11 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
lib/Analysis/BasicAliasAnalysis.cpp
View File

@ -274,24 +274,18 @@ BasicAliasAnalysis::CheckGEPInstructions(GetElementPtrInst *GEP1, unsigned G1S,
Indices1.push_back((Value*)Op1);
else {
// GEP1 is known to produce a value less than GEP2. To be
// conservatively correct, we must assume the largest
// possible constant is used in this position. This cannot
// be the initial index to the GEP instructions (because we
// know we have at least one element before this one with
// the different constant arguments), so we know that the
// current index must be into either a struct or array.
// Because of this, we can calculate the maximum value
// possible.
// conservatively correct, we must assume the largest possible constant
// is used in this position. This cannot be the initial index to the
// GEP instructions (because we know we have at least one element before
// this one with the different constant arguments), so we know that the
// current index must be into either a struct or array. Because we know
// it's not constant, this cannot be a structure index. Because of
// this, we can calculate the maximum value possible.
//
const Type *ElTy = GEP1->getIndexedType(GEPPointerTy,
Indices1, true);
if (const StructType *STy = dyn_cast<StructType>(ElTy)) {
Indices1.push_back(ConstantUInt::get(Type::UByteTy,
STy->getNumContainedTypes()));
} else {
Indices1.push_back(ConstantSInt::get(Type::LongTy,
cast<ArrayType>(ElTy)->getNumElements()));
}
const ArrayType *ElTy =
cast<ArrayType>(GEP1->getIndexedType(GEPPointerTy, Indices1, true));
Indices1.push_back(ConstantSInt::get(Type::LongTy,
ElTy->getNumElements()-1));
}
if (isa<Constant>(Op2))