| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -tailduplicate -disable-output |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 3 | define void @interpret() { |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | entry: |
| 5 | br label %retry |
| Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 6 | retry: ; preds = %endif.4, %entry |
| 7 | %tmp.8 = call i32 @interp( ) ; <i32> [#uses=3] |
| 8 | switch i32 0, label %endif.4 [ |
| 9 | i32 -25, label %return |
| 10 | i32 -16, label %return |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | ] |
| Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 12 | endif.4: ; preds = %retry |
| 13 | br i1 false, label %return, label %retry |
| 14 | return: ; preds = %endif.4, %retry, %retry |
| 15 | %result.0 = phi i32 [ %tmp.8, %retry ], [ %tmp.8, %retry ], [ %tmp.8, %endif.4 ] ; <i32> [#uses=0] |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 16 | ret void |
| 17 | } |
| 18 | |
| Tanya Lattner | 003eae5 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 19 | declare i32 @interp() |
| 20 | |