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 | 21d31a8d94eb260635c0ecfc81d6793a54fe56d0 (patch) | |
| tree | 3464554907c14ff7ee3a12db98a6b82a6239f29c /test/Analysis/BasicAA/2008-04-15-Byval.ll | |
| parent | b11af0db2e1c1359543c7128a2a4c4fe61a03317 (diff) | |
| download | llvm-21d31a8d94eb260635c0ecfc81d6793a54fe56d0.tar.gz llvm-21d31a8d94eb260635c0ecfc81d6793a54fe56d0.tar.bz2 llvm-21d31a8d94eb260635c0ecfc81d6793a54fe56d0.tar.xz | |
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/BasicAA/2008-04-15-Byval.ll')
| -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 0000000000..ee16909977 --- /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(...) |