diff options
author | Matthijs Kooijman <matthijs@stdin.nl> | 2008-06-20 15:38:22 +0000 |
---|---|---|
committer | Matthijs Kooijman <matthijs@stdin.nl> | 2008-06-20 15:38:22 +0000 |
commit | 63691f13b62591743d286ac29a7f0c105b1d8619 (patch) | |
tree | 3ce0e2320c8ad0f6cd159051477cb9dcb2e4cf61 /test | |
parent | 7e43b3be885579c46fe6d2f8a7c57cf88fa13a25 (diff) | |
download | llvm-63691f13b62591743d286ac29a7f0c105b1d8619.tar.gz llvm-63691f13b62591743d286ac29a7f0c105b1d8619.tar.bz2 llvm-63691f13b62591743d286ac29a7f0c105b1d8619.tar.xz |
Add testcase that checks that DeadArgElim doesn't touch stuff it shouldn't touch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52540 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/DeadArgElim/keepalive.ll | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/test/Transforms/DeadArgElim/keepalive.ll b/test/Transforms/DeadArgElim/keepalive.ll new file mode 100644 index 0000000000..902c6d69cc --- /dev/null +++ b/test/Transforms/DeadArgElim/keepalive.ll @@ -0,0 +1,36 @@ +; RUN: llvm-as < %s | opt -deadargelim | llvm-dis > %t +; RUN: cat %t | grep {define internal \{ \} @test} +; RUN: cat %t | grep {define internal \{ i32 \} @test} +; RUN: cat %t | grep {define internal \<\{ i32, i32 \}\> @test} + +; Check if the pass doesn't modify anything that doesn't need changing. We feed +; an unused argument to each function to lure it into changing _something_ about +; the function and then changing to much. + + +; This checks if the struct retval isn't changed into a void +define internal { } @test(i32 %DEADARG1) { + ret { } { } +} + +; This checks if the struct retval isn't removed +define internal {i32} @test1(i32 %DEADARG1) { + ret { i32 } { i32 1 } +} + +; This checks if the struct doesn't get non-packed +define internal <{ i32, i32 }> @test2(i32 %DEADARG1) { + ret <{ i32, i32 }> <{ i32 1, i32 2 }> +} + +; We use this external function to make sure the return values don't become dead +declare void @user({ }, { i32 }, <{ i32, i32 }>) + +define void @caller() { + %A = call { } @test(i32 0) + %B = call { i32 } @test1(i32 1) + %C = call <{ i32, i32 }> @test2(i32 2) + call void @user({ } %A, { i32 } %B, <{ i32, i32 }> %C) + ret void +} + |