6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-08-19 19:29:31 +00:00
Code Issues Projects Releases Wiki Activity

A store or load cannot alias a global if the accessed amount is larger then

Browse Source 
the global.

This implements Regression/Analysis/BasicAA/global-size.ll


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18261 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2004-11-26 19:20:01 +00:00
parent 4e4f7312e0
commit 0a1ac907c3
1 changed files with 49 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

69
lib/Analysis/BasicAliasAnalysis.cpp
View File

@ -265,28 +265,57 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size,
const Value *O2 = getUnderlyingObject(V2);
// Pointing at a discernible object?
if (O1 && O2) {
if (isa<Argument>(O1)) {
// Incoming argument cannot alias locally allocated object!
if (isa<AllocationInst>(O2)) return NoAlias;
// Otherwise, nothing is known...
} else if (isa<Argument>(O2)) {
// Incoming argument cannot alias locally allocated object!
if (isa<AllocationInst>(O1)) return NoAlias;
// Otherwise, nothing is known...
} else {
// If they are two different objects, we know that we have no alias...
if (O1 != O2) return NoAlias;
if (O1) {
if (O2) {
if (isa<Argument>(O1)) {
// Incoming argument cannot alias locally allocated object!
if (isa<AllocationInst>(O2)) return NoAlias;
// Otherwise, nothing is known...
} else if (isa<Argument>(O2)) {
// Incoming argument cannot alias locally allocated object!
if (isa<AllocationInst>(O1)) return NoAlias;
// Otherwise, nothing is known...
} else if (O1 != O2) {
// If they are two different objects, we know that we have no alias...
return NoAlias;
}
// If they are the same object, they we can look at the indexes. If they
// index off of the object is the same for both pointers, they must alias.
// If they are provably different, they must not alias. Otherwise, we
// can't tell anything.
}
// If they are the same object, they we can look at the indexes. If they
// index off of the object is the same for both pointers, they must alias.
// If they are provably different, they must not alias. Otherwise, we can't
// tell anything.
} else if (O1 && !isa<Argument>(O1) && isa<ConstantPointerNull>(V2)) {
return NoAlias; // Unique values don't alias null
} else if (O2 && !isa<Argument>(O2) && isa<ConstantPointerNull>(V1)) {
return NoAlias; // Unique values don't alias null
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 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());
if (GlobalSize < V2Size)
return NoAlias;
}
}
if (O2) {
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 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());
if (GlobalSize < V1Size)
return NoAlias;
}
}
// If we have two gep instructions with must-alias'ing base pointers, figure