| Jakub Kuderski | b323f4f | 2017-07-12 18:42:16 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output |
| 2 | |
| 3 | define void @func() { |
| 4 | bb0: |
| 5 | br label %bb1 |
| 6 | |
| 7 | bb1: ; preds = %bb4, %bb0 |
| 8 | %0 = phi i16 [ %2, %bb4 ], [ 0, %bb0 ] |
| 9 | %1 = icmp sle i16 %0, 2 |
| 10 | br i1 %1, label %bb2, label %bb5 |
| 11 | |
| 12 | bb2: ; preds = %bb1 |
| 13 | br i1 undef, label %bb6, label %bb4 |
| 14 | |
| 15 | bb3: ; No predecessors! |
| 16 | br label %bb6 |
| 17 | |
| 18 | bb4: ; preds = %bb2 |
| 19 | %2 = add i16 undef, 1 |
| 20 | br label %bb1 |
| 21 | |
| 22 | bb5: ; preds = %bb1 |
| 23 | br label %bb6 |
| 24 | |
| 25 | bb6: ; preds = %bb5, %bb3, %bb2 |
| 26 | unreachable |
| 27 | } |