From 790dd75b9749acb6c82d87192265048920c23ed2 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Tue, 15 Jul 2008 14:57:01 +0000 Subject: [PATCH] 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 --- test/Transforms/DeadArgElim/keepalive.ll | 22 +++++++--------------- 1 file changed, 7 insertions(+), 15 deletions(-) diff --git a/test/Transforms/DeadArgElim/keepalive.ll b/test/Transforms/DeadArgElim/keepalive.ll index fc84dca1a95..9161c7ba0c6 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 }