1; RUN: opt < %s -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