RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity

The trick with globals actually works with allocas and malloc too

Browse Source 
llvm-svn: 18262
This commit is contained in:
Chris Lattner 2004-11-26 20:01:48 +00:00
parent e076e608d8
commit aecb6daf08
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
lib/Analysis/BasicAliasAnalysis.cpp
View File

@ -290,13 +290,13 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size,
if (!isa<Argument>(O1) && isa<ConstantPointerNull>(V2))
return NoAlias; // Unique values don't alias null
if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(O1))
if (GV->getType()->getElementType()->isSized()) {
if (isa<GlobalVariable>(O1) || isa<AllocationInst>(O1))
if (cast<PointerType>(O1->getType())->getElementType()->isSized()) {
// If the size of the other access is larger than the total size of the
// global, it cannot be accessing the global (it's undefined to load or
// store bytes after the global).
unsigned GlobalSize =
getTargetData().getTypeSize(GV->getType()->getElementType());
// global/alloca/malloc, it cannot be accessing the global (it's
// undefined to load or store bytes before or after an object).
const Type *ElTy = cast<PointerType>(O1->getType())->getElementType();
unsigned GlobalSize = getTargetData().getTypeSize(ElTy);
if (GlobalSize < V2Size)
return NoAlias;
}
@ -306,13 +306,13 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size,
if (!isa<Argument>(O2) && isa<ConstantPointerNull>(V1))
return NoAlias; // Unique values don't alias null
if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(O2))
if (GV->getType()->getElementType()->isSized()) {
if (isa<GlobalVariable>(O2) || isa<AllocationInst>(O2))
if (cast<PointerType>(O2->getType())->getElementType()->isSized()) {
// If the size of the other access is larger than the total size of the
// global, it cannot be accessing the global (it's undefined to load or
// store bytes after the global).
unsigned GlobalSize =
getTargetData().getTypeSize(GV->getType()->getElementType());
// global/alloca/malloc, it cannot be accessing the object (it's
// undefined to load or store bytes before or after an object).
const Type *ElTy = cast<PointerType>(O2->getType())->getElementType();
unsigned GlobalSize = getTargetData().getTypeSize(ElTy);
if (GlobalSize < V1Size)
return NoAlias;
}