Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -deadargelim | llvm-dis | not grep DEAD |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 3 | ; Dead arg only used by dead retval |
| 4 | define internal i32 @test(i32 %DEADARG) { |
| 5 | ret i32 %DEADARG |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | } |
| 7 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 8 | define i32 @test2(i32 %A) { |
| 9 | %DEAD = call i32 @test( i32 %A ) ; <i32> [#uses=0] |
| 10 | ret i32 123 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | } |
| 12 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 13 | define i32 @test3() { |
| 14 | %X = call i32 @test2( i32 3232 ) ; <i32> [#uses=1] |
| 15 | %Y = add i32 %X, -123 ; <i32> [#uses=1] |
| 16 | ret i32 %Y |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | } |
| 18 | |