Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -lowerswitch -disable-output |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 3 | define void @solve() { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | entry: |
Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 5 | %targetBlock = call i16 @solve_code( ) ; <i16> [#uses=1] |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | br label %codeReplTail |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | then.1: ; preds = %codeReplTail |
| 8 | ret void |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | loopexit.0: ; preds = %codeReplTail |
| 10 | ret void |
Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 11 | codeReplTail: ; preds = %codeReplTail, %entry |
| 12 | switch i16 %targetBlock, label %codeReplTail [ |
| 13 | i16 0, label %loopexit.0 |
| 14 | i16 1, label %then.1 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 15 | ] |
| 16 | } |
| 17 | |
Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 18 | declare i16 @solve_code() |
| 19 | |