| ; RUN: opt < %s -loop-index-split -S | not grep undef | |
| define i32 @main() { | |
| entry: | |
| br label %header | |
| header: | |
| %r = phi i32 [ 0, %entry ], [ %r3, %skip ] | |
| %i = phi i32 [ 0, %entry ], [ %i1, %skip ] | |
| %i99 = add i32 %i, 99 | |
| %cond = icmp eq i32 %i99, 3 | |
| br i1 %cond, label %body, label %skip | |
| body: | |
| br label %skip | |
| skip: | |
| %r3 = phi i32 [ %r, %header ], [ 3, %body ] | |
| %i1 = add i32 %i, 1 | |
| %exitcond = icmp eq i32 %i1, 10 | |
| br i1 %exitcond, label %exit, label %header | |
| exit: | |
| ret i32 %r3 | |
| } |