1; RUN: opt -S -passes=loop-fusion < %s | FileCheck %s 2 3define void @sink_preheader(i32 %N) { 4; CHECK-LABEL: @sink_preheader( 5; CHECK-NEXT: pre1: 6; CHECK-NEXT: br label [[BODY1:%.*]] 7; CHECK: body1: 8; CHECK-NEXT: [[I:%.*]] = phi i32 [ [[I_NEXT:%.*]], [[BODY1]] ], [ 0, [[PRE1:%.*]] ] 9; CHECK-NEXT: [[I2:%.*]] = phi i32 [ [[I_NEXT2:%.*]], [[BODY1]] ], [ 0, [[PRE1]] ] 10; CHECK-NEXT: [[I_NEXT]] = add i32 1, [[I]] 11; CHECK-NEXT: [[COND:%.*]] = icmp ne i32 [[I]], [[N:%.*]] 12; CHECK-NEXT: [[BARRIER:%.*]] = add i32 1, [[N]] 13; CHECK-NEXT: [[I_NEXT2]] = add i32 1, [[I2]] 14; CHECK-NEXT: [[COND2:%.*]] = icmp ne i32 [[I2]], [[N]] 15; CHECK-NEXT: br i1 [[COND2]], label [[BODY1]], label [[EXIT:%.*]] 16; CHECK: exit: 17; CHECK-NEXT: [[SINKME:%.*]] = add i32 1, [[BARRIER]] 18; CHECK-NEXT: [[SINKME2:%.*]] = add i32 1, [[BARRIER]] 19; CHECK-NEXT: [[SINKME3:%.*]] = add i32 1, [[SINKME2]] 20; CHECK-NEXT: ret void 21; 22pre1: 23 br label %body1 24 25body1: ; preds = %pre1, %body1 26 %i = phi i32 [%i_next, %body1], [0, %pre1] 27 %i_next = add i32 1, %i 28 %cond = icmp ne i32 %i, %N 29 %barrier = add i32 1, %N 30 br i1 %cond, label %body1, label %pre2 31 32pre2: 33 %sinkme = add i32 1, %barrier 34 %sinkme2 = add i32 1, %barrier 35 %sinkme3 = add i32 1, %sinkme2 36 br label %body2 37 38body2: ; preds = %pre2, %body2 39 %i2 = phi i32 [%i_next2, %body2], [0, %pre2] 40 %i_next2 = add i32 1, %i2 41 %cond2 = icmp ne i32 %i2, %N 42 br i1 %cond2, label %body2, label %exit 43 44exit: 45 ret void 46} 47