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