6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-07-29 10:25:12 +00:00
Code Issues Projects Releases Wiki Activity

Implement a proper getModRefInfo for va_arg.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110458 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman
2010-08-06 18:24:38 +00:00
parent e6f60645c7
commit e26a7b5e21
3 changed files with 29 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
include/llvm/Analysis/AliasAnalysis.h
View File

@@ -243,6 +243,7 @@ public:
/// Convenience functions... /// Convenience functions...
ModRefResult getModRefInfo(const LoadInst *L, const Value *P, unsigned Size); ModRefResult getModRefInfo(const LoadInst *L, const Value *P, unsigned Size);
ModRefResult getModRefInfo(const StoreInst *S, const Value *P, unsigned Size); ModRefResult getModRefInfo(const StoreInst *S, const Value *P, unsigned Size);
ModRefResult getModRefInfo(const VAArgInst* I, const Value* P, unsigned Size);
ModRefResult getModRefInfo(const CallInst *C, const Value *P, unsigned Size) { ModRefResult getModRefInfo(const CallInst *C, const Value *P, unsigned Size) {
return getModRefInfo(ImmutableCallSite(C), P, Size); return getModRefInfo(ImmutableCallSite(C), P, Size);
} }
@@ -250,10 +251,6 @@ public:
const Value *P, unsigned Size) { const Value *P, unsigned Size) {
return getModRefInfo(ImmutableCallSite(I), P, Size); return getModRefInfo(ImmutableCallSite(I), P, Size);
} }
ModRefResult getModRefInfo(const VAArgInst* I,
const Value* P, unsigned Size) {
return AliasAnalysis::ModRef;
}
ModRefResult getModRefInfo(const Instruction *I, ModRefResult getModRefInfo(const Instruction *I,
const Value *P, unsigned Size) { const Value *P, unsigned Size) {
switch (I->getOpcode()) { switch (I->getOpcode()) {

17
lib/Analysis/AliasAnalysis.cpp
View File

@@ -229,6 +229,23 @@ AliasAnalysis::getModRefInfo(const StoreInst *S, const Value *P, unsigned Size)
return Mod; return Mod;
} }
AliasAnalysis::ModRefResult
AliasAnalysis::getModRefInfo(const VAArgInst *V, const Value *P, unsigned Size) {
// If the va_arg address cannot alias the pointer in question, then the
// specified memory cannot be accessed by the va_arg.
if (!alias(V->getOperand(0), UnknownSize, P, Size))
return NoModRef;
// If the pointer is a pointer to constant memory, then it could not have been
// modified by this va_arg.
if (pointsToConstantMemory(P))
return NoModRef;
// Otherwise, a va_arg reads and writes.
return ModRef;
}
AliasAnalysis::ModRefBehavior AliasAnalysis::ModRefBehavior
AliasAnalysis::getIntrinsicModRefBehavior(unsigned iid) { AliasAnalysis::getIntrinsicModRefBehavior(unsigned iid) {
#define GET_INTRINSIC_MODREF_BEHAVIOR #define GET_INTRINSIC_MODREF_BEHAVIOR

11
test/Analysis/BasicAA/modref.ll
View File

@@ -123,3 +123,14 @@ define i32 @test5(i8* %P, i32 %Len) {
; CHECK: sub i32 %tmp, %tmp ; CHECK: sub i32 %tmp, %tmp
} }
define i8 @test6(i8* %p, i8* noalias %a) {
%x = load i8* %a
%t = va_arg i8* %p, float
%y = load i8* %a
%z = add i8 %x, %y
ret i8 %z
; CHECK: @test6
; CHECK: load i8* %a
; CHECK-NOT: load
; CHECK: ret
}