| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -inline -disable-output |
| 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 | declare i32 @External() |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 5 | define internal i32 @Callee() { |
| 6 | %I = call i32 @External( ) ; <i32> [#uses=2] |
| 7 | %J = add i32 %I, %I ; <i32> [#uses=1] |
| 8 | ret i32 %J |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | } |
| 10 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 11 | define i32 @Caller() { |
| 12 | %V = invoke i32 @Callee( ) |
| 13 | to label %Ok unwind label %Bad ; <i32> [#uses=1] |
| 14 | |
| 15 | Ok: ; preds = %0 |
| 16 | ret i32 %V |
| 17 | |
| 18 | Bad: ; preds = %0 |
| 19 | ret i32 0 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 20 | } |
| 21 | |