| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -loop-index-split -S | not grep "icmp ne" |
| Chris Lattner | a8b647d | 2009-08-28 00:43:14 +0000 | [diff] [blame] | 2 | |
| 3 | define i32 @main() { |
| 4 | entry: |
| 5 | br label %header |
| 6 | |
| 7 | header: |
| 8 | %r = phi i32 [ 0, %entry ], [ %r3, %skip ] |
| 9 | %i = phi i32 [ 0, %entry ], [ %i1, %skip ] |
| 10 | %cond = icmp eq i32 %i, 99 |
| 11 | br i1 %cond, label %body, label %skip |
| 12 | |
| 13 | body: |
| 14 | br label %skip |
| 15 | |
| 16 | skip: |
| 17 | %r3 = phi i32 [ %r, %header ], [ 3, %body ] |
| 18 | %i1 = add i32 %i, 1 |
| 19 | %exitcond = icmp eq i32 %i1, 10 |
| 20 | br i1 %exitcond, label %exit, label %header |
| 21 | |
| 22 | exit: |
| 23 | ret i32 %r3 |
| 24 | } |