diff options
| author | Dan Gohman <gohman@apple.com> | 2010-11-09 20:17:38 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-11-09 20:17:38 +0000 |
| commit | 4cf0dcfb44d9d308f2df48e2878c91297395179c (patch) | |
| tree | d44a6dda9dba13f2b6562a08fdd218d1983364cc /test/Analysis/TypeBasedAliasAnalysis | |
| parent | 6d44d64f61359c865cbf2d7f331bb9c97ce253d5 (diff) | |
| download | external_llvm-4cf0dcfb44d9d308f2df48e2878c91297395179c.zip external_llvm-4cf0dcfb44d9d308f2df48e2878c91297395179c.tar.gz external_llvm-4cf0dcfb44d9d308f2df48e2878c91297395179c.tar.bz2 | |
Teach FunctionAttrs about the VAArg instruction.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118627 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/TypeBasedAliasAnalysis')
| -rw-r--r-- | test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll b/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll index 5ef355f..53cce0c 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/functionattrs.ll @@ -55,6 +55,20 @@ define void @test2_no(i8* %p, i8* %q, i64 %n) nounwind { ret void } +; Similar to the others, va_arg only accesses memory through its operand. + +; CHECK: define i32 @test3_yes(i8* nocapture %p) nounwind readnone { +define i32 @test3_yes(i8* %p) nounwind { + %t = va_arg i8* %p, i32, !tbaa !1 + ret i32 %t +} + +; CHECK: define i32 @test3_no(i8* nocapture %p) nounwind { +define i32 @test3_no(i8* %p) nounwind { + %t = va_arg i8* %p, i32, !tbaa !2 + ret i32 %t +} + declare void @callee(i32* %p) nounwind declare void @llvm.memcpy.p0i8.p0i8.i64(i8*, i8*, i64, i32, i1) nounwind |