| ; RUN: opt < %s -loop-simplify | |
| define void @foo(i1 %C) { | |
| br i1 %C, label %T, label %F | |
| T: ; preds = %0 | |
| br label %Loop | |
| F: ; preds = %0 | |
| br label %Loop | |
| Loop: ; preds = %L2, %Loop, %F, %T | |
| %Val = phi i32 [ 0, %T ], [ 1, %F ], [ 2, %Loop ], [ 3, %L2 ] ; <i32> [#uses=0] | |
| br i1 %C, label %Loop, label %L2 | |
| L2: ; preds = %Loop | |
| br label %Loop | |
| } | |