diff options
author | Duncan Sands <baldrick@free.fr> | 2008-01-14 19:52:09 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2008-01-14 19:52:09 +0000 |
commit | b0c9b93bb4c591b1cec0491eec34f792cd3cf111 (patch) | |
tree | 66cc20891cd0d42c7dc5913ded9f50d623af70b2 /test/Transforms/InstCombine/2008-01-14-VarArgTrampoline.ll | |
parent | 459525df1e003597077197b5f802bd5d9cd7d94c (diff) | |
download | external_llvm-b0c9b93bb4c591b1cec0491eec34f792cd3cf111.zip external_llvm-b0c9b93bb4c591b1cec0491eec34f792cd3cf111.tar.gz external_llvm-b0c9b93bb4c591b1cec0491eec34f792cd3cf111.tar.bz2 |
I noticed that the trampoline straightening transformation could
drop attributes on varargs call arguments. Also, it could generate
invalid IR if the transformed call already had the 'nest' attribute
somewhere (this can never happen for code coming from llvm-gcc,
but it's a theoretical possibility). Fix both problems.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45973 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/2008-01-14-VarArgTrampoline.ll')
-rw-r--r-- | test/Transforms/InstCombine/2008-01-14-VarArgTrampoline.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2008-01-14-VarArgTrampoline.ll b/test/Transforms/InstCombine/2008-01-14-VarArgTrampoline.ll new file mode 100644 index 0000000..e35794a --- /dev/null +++ b/test/Transforms/InstCombine/2008-01-14-VarArgTrampoline.ll @@ -0,0 +1,24 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep zeroext + + %struct.FRAME.nest = type { i32, i32 (...)* } + %struct.__builtin_trampoline = type { [10 x i8] } + +declare i8* @llvm.init.trampoline(i8*, i8*, i8*) nounwind + +declare i32 @f(%struct.FRAME.nest* nest , ...) + +define i32 @nest(i32 %n) { +entry: + %FRAME.0 = alloca %struct.FRAME.nest, align 8 ; <%struct.FRAME.nest*> [#uses=3] + %TRAMP.216 = alloca [10 x i8], align 16 ; <[10 x i8]*> [#uses=1] + %TRAMP.216.sub = getelementptr [10 x i8]* %TRAMP.216, i32 0, i32 0 ; <i8*> [#uses=1] + %tmp3 = getelementptr %struct.FRAME.nest* %FRAME.0, i32 0, i32 0 ; <i32*> [#uses=1] + store i32 %n, i32* %tmp3, align 8 + %FRAME.06 = bitcast %struct.FRAME.nest* %FRAME.0 to i8* ; <i8*> [#uses=1] + %tramp = call i8* @llvm.init.trampoline( i8* %TRAMP.216.sub, i8* bitcast (i32 (%struct.FRAME.nest*, ...)* @f to i8*), i8* %FRAME.06 ) ; <i8*> [#uses=1] + %tmp7 = getelementptr %struct.FRAME.nest* %FRAME.0, i32 0, i32 1 ; <i32 (...)**> [#uses=1] + %tmp89 = bitcast i8* %tramp to i32 (...)* ; <i32 (...)*> [#uses=2] + store i32 (...)* %tmp89, i32 (...)** %tmp7, align 8 + %tmp2.i = call i32 (...)* %tmp89( i32 zeroext 0 ) ; <i32> [#uses=1] + ret i32 %tmp2.i +} |