diff options
| author | Dale Johannesen <dalej@apple.com> | 2008-04-15 17:41:34 +0000 |
|---|---|---|
| committer | Dale Johannesen <dalej@apple.com> | 2008-04-15 17:41:34 +0000 |
| commit | 7a252708a500ef2d77483d356fa4e944dec76155 (patch) | |
| tree | 3464554907c14ff7ee3a12db98a6b82a6239f29c /test/Analysis | |
| parent | ee6437330a476a2c4008c261e4116f442299e25f (diff) | |
| download | external_llvm-7a252708a500ef2d77483d356fa4e944dec76155.zip external_llvm-7a252708a500ef2d77483d356fa4e944dec76155.tar.gz external_llvm-7a252708a500ef2d77483d356fa4e944dec76155.tar.bz2 | |
Don't assume a tail call can't reference a byval
argument to the outer function, this isn't correct.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@49731 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
| -rw-r--r-- | test/Analysis/BasicAA/2008-04-15-Byval.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/2008-04-15-Byval.ll b/test/Analysis/BasicAA/2008-04-15-Byval.ll new file mode 100644 index 0000000..ee16909 --- /dev/null +++ b/test/Analysis/BasicAA/2008-04-15-Byval.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | opt -std-compile-opts | llvm-dis | grep store +; ModuleID = 'small2.c' +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i386-apple-darwin8" + %struct.x = type { [4 x i32] } + +define void @foo(%struct.x* byval align 4 %X) nounwind { +entry: + %tmp = getelementptr %struct.x* %X, i32 0, i32 0 ; <[4 x i32]*> [#uses=1] + %tmp1 = getelementptr [4 x i32]* %tmp, i32 0, i32 3 ; <i32*> [#uses=1] + store i32 2, i32* %tmp1, align 4 + %tmp2 = call i32 (...)* @bar( %struct.x* byval align 4 %X ) nounwind ; <i32> [#uses=0] + br label %return +return: ; preds = %entry + ret void +} + +declare i32 @bar(...) |