1; RUN: opt -S -passes=loop-fusion -debug-only=loop-fusion < %s 2>&1 | FileCheck %s 2; REQUIRES: asserts 3 4; CHECK: Could not hoist/sink all instructions 5 6define void @sink_preheader(i32 %N) { 7; CHECK:pre1: 8; CHECK-NEXT: br label %body1 9pre1: 10 br label %body1 11 12; CHECK:body1: 13; CHECK-NOT: %no_hoist = 14; CHECK-NOT: %no_hoist_sink = 15; CHECK-NOT: %no_sink = 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 %barrier = add i32 1, %N 21 br i1 %cond, label %body1, label %pre2 22 23; CHECK:pre2: 24; CHECK: %no_hoist = 25; CHECK: %no_hoist_sink = 26; CHECK: %no_sink = 27pre2: 28 %no_hoist = add i32 1, %barrier 29 %no_hoist_sink = add i32 1, %no_hoist 30 %no_sink = add i32 1, %no_hoist_sink 31 br label %body2 32 33; CHECK: body2: 34; CHECK-NOT: %no_hoist = 35; CHECK-NOT: %no_hoist_sink = 36; CHECK-NOT: %no_sink = 37body2: ; preds = %pre2, %body2 38 %i2 = phi i32 [%i_next2, %body2], [0, %pre2] 39 %i_next2 = add i32 1, %i2 40 %cond2 = icmp ne i32 %i2, %N 41 %barrier2 = add i32 1, %no_sink 42 br i1 %cond2, label %body2, label %exit 43 44; CHECK: exit: 45; CHECK-NOT: %stay = 46exit: 47 ret void 48} 49