1 ; RUN: opt < %s -loop-simplify 2 3 define void @foo(i1 %C) { 4 br i1 %C, label %T, label %F 5 T: ; preds = %0 6 br label %Loop 7 F: ; preds = %0 8 br label %Loop 9 Loop: ; preds = %L2, %Loop, %F, %T 10 %Val = phi i32 [ 0, %T ], [ 1, %F ], [ 2, %Loop ], [ 3, %L2 ] ; <i32> [#uses=0] 11 br i1 %C, label %Loop, label %L2 12 L2: ; preds = %Loop 13 br label %Loop 14 } 15 16