| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-unroll -loopsimplify -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 @print_board() { |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | entry: |
| 5 | br label %no_exit.1 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | no_exit.1: ; preds = %cond_false.2, %entry |
| 7 | br label %no_exit.2 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 8 | no_exit.2: ; preds = %no_exit.2, %no_exit.1 |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 9 | %indvar1 = phi i32 [ 0, %no_exit.1 ], [ %indvar.next2, %no_exit.2 ] ; <i32> [#uses=1] |
| 10 | %indvar.next2 = add i32 %indvar1, 1 ; <i32> [#uses=2] |
| 11 | %exitcond3 = icmp ne i32 %indvar.next2, 7 ; <i1> [#uses=1] |
| 12 | br i1 %exitcond3, label %no_exit.2, label %loopexit.2 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | loopexit.2: ; preds = %no_exit.2 |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 14 | br i1 false, label %cond_true.2, label %cond_false.2 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 15 | cond_true.2: ; preds = %loopexit.2 |
| 16 | ret void |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | cond_false.2: ; preds = %loopexit.2 |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 18 | br i1 false, label %no_exit.1, label %loopexit.1 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 19 | loopexit.1: ; preds = %cond_false.2 |
| 20 | ret void |
| 21 | } |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 22 | |