1 ; RUN: opt -S -passes=loop-fusion -debug-only=loop-fusion < %s 2>&1 | FileCheck %s
4 ; CHECK: Could not hoist/sink all instructions
6 define void @sink_preheader(i32 %N) {
8 ; CHECK-NEXT: br label %body1
13 ; CHECK-NOT: %no_hoist =
14 ; CHECK-NOT: %no_hoist_sink =
15 ; CHECK-NOT: %no_sink =
16 body1: ; 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
25 ; CHECK: %no_hoist_sink =
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
34 ; CHECK-NOT: %no_hoist =
35 ; CHECK-NOT: %no_hoist_sink =
36 ; CHECK-NOT: %no_sink =
37 body2: ; 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