diff options
author | Matthijs Kooijman <matthijs@stdin.nl> | 2008-07-15 14:57:01 +0000 |
---|---|---|
committer | Matthijs Kooijman <matthijs@stdin.nl> | 2008-07-15 14:57:01 +0000 |
commit | 790dd75b9749acb6c82d87192265048920c23ed2 (patch) | |
tree | 1105869979adcf37e9f027ba42362b7d79c951b9 /test/Transforms/DeadArgElim | |
parent | 2439911ac5f386fd208407afa3b6d2cab670ee2f (diff) | |
download | llvm-790dd75b9749acb6c82d87192265048920c23ed2.tar.gz llvm-790dd75b9749acb6c82d87192265048920c23ed2.tar.bz2 llvm-790dd75b9749acb6c82d87192265048920c23ed2.tar.xz |
Remove a few tests which no longer hold for deadargelim (since it is now
allowed to canonicalize return values).
Add a test that checks if return value and function attributes are not removed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53612 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/DeadArgElim')
-rw-r--r-- | test/Transforms/DeadArgElim/keepalive.ll | 22 |
1 files changed, 7 insertions, 15 deletions
diff --git a/test/Transforms/DeadArgElim/keepalive.ll b/test/Transforms/DeadArgElim/keepalive.ll index fc84dca1a9..9161c7ba0c 100644 --- a/test/Transforms/DeadArgElim/keepalive.ll +++ b/test/Transforms/DeadArgElim/keepalive.ll @@ -1,21 +1,14 @@ ; 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 @test1() zeroext nounwind} ; 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 too 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 return value attributes are not removed +define internal i32 @test1(i32 %DEADARG1) nounwind zeroext{ + ret i32 1 } ; This checks if the struct doesn't get non-packed @@ -24,13 +17,12 @@ define internal <{ i32, i32 }> @test2(i32 %DEADARG1) { } ; We use this external function to make sure the return values don't become dead -declare void @user({ }, { i32 }, <{ i32, i32 }>) +declare void @user(i32, <{ i32, i32 }>) define void @caller() { - %A = call { } @test(i32 0) - %B = call { i32 } @test1(i32 1) + %B = call i32 @test1(i32 1) %C = call <{ i32, i32 }> @test2(i32 2) - call void @user({ } %A, { i32 } %B, <{ i32, i32 }> %C) + call void @user(i32 %B, <{ i32, i32 }> %C) ret void } |