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: br label %body1 8pre1: 9 br label %body1 10 11; CHECK:body1: 12; CHECK-NOT: %stay = 13body1: ; preds = %pre1, %body1 14 %i = phi i32 [%i_next, %body1], [0, %pre1] 15 %i_next = add i32 1, %i 16 %cond = icmp ne i32 %i, %N 17 %barrier = add i32 1, %N 18 br i1 %cond, label %body1, label %pre2 19 20; CHECK:pre2: 21; CHECK: %stay = 22pre2: 23 %stay = add i32 1, %barrier 24 br label %body2 25 26; CHECK: body2: 27; CHECK-NOT: %stay = 28body2: ; preds = %pre2, %body2 29 %i2 = phi i32 [%i_next2, %body2], [0, %pre2] 30 %i_next2 = add i32 1, %i2 31 %cond2 = icmp ne i32 %i2, %N 32 %barrier2 = add i32 1, %stay 33 br i1 %cond2, label %body2, label %exit 34 35; CHECK: exit: 36; CHECK-NOT: %stay = 37exit: 38 ret void 39} 40