| Rafael Espindola | 92a4a83 | 2010-08-07 21:48:09 +0000 | [diff] [blame] | 1 | ; FIXME: This likely fails on windows |
| Rafael Espindola | 8aa19b0 | 2010-08-08 00:55:59 +0000 | [diff] [blame^] | 2 | ; RUN: bugpoint -load %llvmlibsdir/BugpointPasses%shlibext %s -output-prefix %t -bugpoint-crashcalls -silence-passes |
| Dan Gohman | 22e1adb | 2010-06-07 20:58:11 +0000 | [diff] [blame] | 3 | ; RUN: llvm-dis %t-reduced-simplified.bc -o - | FileCheck %s |
| Chris Lattner | ef3d5d0 | 2003-06-24 23:40:27 +0000 | [diff] [blame] | 4 | |
| Reid Spencer | 104b470 | 2007-03-19 18:08:42 +0000 | [diff] [blame] | 5 | ; Test to make sure that arguments are removed from the function if they are |
| Dan Gohman | fa9ad13 | 2010-06-07 20:28:37 +0000 | [diff] [blame] | 6 | ; unnecessary. And clean up any types that that frees up too. |
| 7 | |
| 8 | ; CHECK: target triple |
| 9 | ; CHECK-NOT: struct.anon |
| 10 | %struct.anon = type { i32 } |
| Chris Lattner | ef3d5d0 | 2003-06-24 23:40:27 +0000 | [diff] [blame] | 11 | |
| Reid Spencer | 104b470 | 2007-03-19 18:08:42 +0000 | [diff] [blame] | 12 | declare i32 @test2() |
| 13 | |
| Dan Gohman | fb8ed43 | 2010-06-07 20:20:33 +0000 | [diff] [blame] | 14 | ; CHECK: define void @test() { |
| Dan Gohman | fa9ad13 | 2010-06-07 20:28:37 +0000 | [diff] [blame] | 15 | define i32 @test(i32 %A, %struct.anon* %B, float %C) { |
| Reid Spencer | 104b470 | 2007-03-19 18:08:42 +0000 | [diff] [blame] | 16 | call i32 @test2() |
| 17 | ret i32 %1 |
| Chris Lattner | ef3d5d0 | 2003-06-24 23:40:27 +0000 | [diff] [blame] | 18 | } |