Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / Transforms / LoopFusion / no_sink_hoist_inner_barrier.ll
blob9dc07364fa43779f5f7461a3923e52b00990f158
1 ; RUN: opt -S -passes=loop-fusion -debug-only=loop-fusion < %s 2>&1 | FileCheck %s
2 ; REQUIRES: asserts
4 ; CHECK: Could not hoist/sink all instructions
6 define void @sink_preheader(i32 %N) {
7 ; CHECK:pre1:
8 ; CHECK-NEXT:  br label %body1
9 pre1:
10   br label %body1
12 ; CHECK: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
23 ; CHECK:pre2:
24 ; CHECK: %no_hoist =
25 ; CHECK: %no_hoist_sink =
26 ; CHECK: %no_sink =
27 pre2:
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
33 ; CHECK: body2:
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
44 ; CHECK: exit:
45 ; CHECK-NOT: %stay =
46 exit:
47   ret void