1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=loop-sink %s | FileCheck %s 3 4define void @preheader_of_inner_has_phi() !prof !0 { 5; CHECK-LABEL: @preheader_of_inner_has_phi( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: br label [[OUTER_HEADER:%.*]] 8; CHECK: outer.header: 9; CHECK-NEXT: [[PH_1:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[PH_2:%.*]], [[OUTER_LATCH:%.*]] ] 10; CHECK-NEXT: br label [[INNER:%.*]] 11; CHECK: inner: 12; CHECK-NEXT: [[PH_2]] = phi i32 [ 0, [[OUTER_HEADER]] ], [ 0, [[INNER]] ] 13; CHECK-NEXT: br i1 false, label [[OUTER_LATCH]], label [[INNER]], !prof [[PROF1:![0-9]+]] 14; CHECK: outer.latch: 15; CHECK-NEXT: br label [[OUTER_HEADER]] 16; 17entry: 18 br label %outer.header 19 20outer.header: 21 %ph.1 = phi i32 [ 0, %entry ], [ %ph.2, %outer.latch ] 22 br label %inner 23 24inner: 25 %ph.2 = phi i32 [ 0, %outer.header ], [ 0, %inner ] 26 br i1 false, label %outer.latch, label %inner, !prof !1 27 28outer.latch: 29 br label %outer.header 30} 31 32!0 = !{!"function_entry_count", i64 549102} 33!1 = !{!"branch_weights", i32 4027913, i32 1} 34