1; RUN: opt < %s -passes=loop-simplify 2 3define void @foo(i1 %C) { 4 br i1 %C, label %T, label %F 5T: ; preds = %0 6 br label %Loop 7F: ; preds = %0 8 br label %Loop 9Loop: ; 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 12L2: ; preds = %Loop 13 br label %Loop 14} 15 16