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 5define void @sink_preheader(i32 %N) { 6; CHECK:pre1: 7; CHECK-NEXT: %ptr = alloca i32 8; CHECK-NEXT: br label %body1 9pre1: 10 %ptr = alloca i32 11 br label %body1 12 13; CHECK:body1: 14; CHECK-NOT: store atomic i32 3, ptr %ptr seq_cst, align 4 15body1: ; preds = %pre1, %body1 16 %i = phi i32 [%i_next, %body1], [0, %pre1] 17 %i_next = add i32 1, %i 18 %cond = icmp ne i32 %i, %N 19 br i1 %cond, label %body1, label %pre2 20 21; CHECK:pre2: 22; CHECK-NEXT: store atomic i32 3, ptr %ptr seq_cst, align 4 23pre2: 24 store atomic i32 3, ptr %ptr seq_cst, align 4 25 br label %body2 26 27; CHECK: body2: 28; CHECK-NOT: store atomic i32 3, ptr %ptr seq_cst, align 4 29body2: ; preds = %pre2, %body2 30 %i2 = phi i32 [%i_next2, %body2], [0, %pre2] 31 %i_next2 = add i32 1, %i2 32 %cond2 = icmp ne i32 %i2, %N 33 br i1 %cond2, label %body2, label %exit 34 35; CHECK: exit: 36exit: 37 ret void 38} 39