1; RUN: opt < %s -S | FileCheck %s 2 3define i32 @phi_after_label(i1 %cc) { 4entry: 5 br i1 %cc, label %then, label %end 6 7then: 8 br label %end 9 10end: 11 %r = phi i32 [ 0, %entry ], [ 1, %then ] 12 ret i32 %r 13} 14 15define void @phi_before_label(i32 %bound) { 16entry: 17 br label %loop 18 19loop: 20 %ctr = phi i32 [ 0, %entry ], [ %ctr.next, %loop ] 21 %ctr.next = add i32 %ctr, 1 22 %cc = icmp ult i32 %ctr.next, %bound 23 br i1 %cc, label %loop, label %end 24 25end: 26 ret void 27} 28 29define i32 @phi_after_label_unnamed(i1 %cc) { 300: 31 br i1 %cc, label %1, label %2 32 331: 34 br label %2 35 362: 37 %r = phi i32 [ 0, %0 ], [ 1, %1 ] 38 ret i32 %r 39} 40