1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=loop-simplify,loop-fusion -debug-only=loop-fusion < %s 2>&1 | FileCheck %s 3; REQUIRES: asserts 4; CHECK: Safe to sink. 5 6@A = common global [100 x i32] zeroinitializer, align 16 7define void @sink_preheader(i32 %N) { 8; CHECK-LABEL: @sink_preheader( 9; CHECK-NEXT: pre1: 10; CHECK-NEXT: [[PTR:%.*]] = alloca i32, align 4 11; CHECK-NEXT: br label [[BODY1:%.*]] 12; CHECK: body1: 13; CHECK-NEXT: [[I:%.*]] = phi i32 [ [[I_NEXT:%.*]], [[BODY1]] ], [ 0, [[PRE1:%.*]] ] 14; CHECK-NEXT: [[I2:%.*]] = phi i32 [ [[I_NEXT2:%.*]], [[BODY1]] ], [ 0, [[PRE1]] ] 15; CHECK-NEXT: [[I_NEXT]] = add i32 1, [[I]] 16; CHECK-NEXT: [[COND:%.*]] = icmp ne i32 [[I]], [[N:%.*]] 17; CHECK-NEXT: store i32 3, ptr [[PTR]], align 4 18; CHECK-NEXT: [[I_NEXT2]] = add i32 1, [[I2]] 19; CHECK-NEXT: [[COND2:%.*]] = icmp ne i32 [[I2]], [[N]] 20; CHECK-NEXT: br i1 [[COND2]], label [[BODY1]], label [[EXIT:%.*]] 21; CHECK: exit: 22; CHECK-NEXT: [[B:%.*]] = load i32, ptr [[PTR]], align 4 23; CHECK-NEXT: ret void 24; 25pre1: 26 %ptr = alloca i32 27 br label %body1 28 29body1: ; preds = %pre1, %body1 30 %i = phi i32 [%i_next, %body1], [0, %pre1] 31 %i_next = add i32 1, %i 32 %cond = icmp ne i32 %i, %N 33 store i32 3, ptr %ptr 34 br i1 %cond, label %body1, label %pre2 35 36pre2: 37 %b = load i32, ptr %ptr 38 br label %body2 39 40body2: ; preds = %pre2, %body2 41 %i2 = phi i32 [%i_next2, %body2], [0, %pre2] 42 %i_next2 = add i32 1, %i2 43 %cond2 = icmp ne i32 %i2, %N 44 br i1 %cond2, label %body2, label %exit 45 46exit: 47 ret void 48} 49