1; RUN: opt -S -passes=loop-simplify,loop-fusion -debug-only=loop-fusion < %s 2>&1 | FileCheck %s 2; REQUIRES: asserts 3; CHECK: Could not hoist/sink all instructions 4 5@A = common global [100 x i32] zeroinitializer, align 16 6define void @sink_preheader(i32 %N) { 7; CHECK:pre1: 8; CHECK-NEXT: %ptr = alloca i32, align 4 9; CHECK-NEXT: br label %body1 10pre1: 11 %ptr = alloca i32, align 4 12 br label %body1 13 14; CHECK:body1: 15; CHECK-NOT: %stay = 16body1: ; preds = %pre1, %body1 17 %i = phi i32 [%i_next, %body1], [0, %pre1] 18 %i_next = add i32 1, %i 19 %cond = icmp ne i32 %i, %N 20 store i32 3, ptr %ptr 21 br i1 %cond, label %body1, label %pre2 22 23; CHECK:pre2: 24; CHECK-NEXT: %stay = load i32, ptr %ptr 25pre2: 26 %stay = load i32, ptr %ptr 27 br label %body2 28 29; CHECK: body2: 30; CHECK-NOT: %stay = 31body2: ; preds = %pre2, %body2 32 %i2 = phi i32 [%i_next2, %body2], [0, %pre2] 33 %i_next2 = add i32 1, %i2 34 %cond2 = icmp ne i32 %i2, %N 35 store i32 3, ptr %ptr 36 br i1 %cond2, label %body2, label %exit 37 38; CHECK: exit: 39; CHECK-NOT: %stay = 40exit: 41 ret void 42} 43