llvm/test/Transforms/LoopFusion/no_sink_hoist.ll

   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
   5 define void @sink_preheader(i32 %N) {
   6 ; CHECK:pre1:
   7 ; CHECK-NEXT:  br label %body1
   8 pre1:
   9   br label %body1
  10
  11 ; CHECK:body1:
  12 ; CHECK-NOT:  %stay =
  13 body1:  ; 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 =
  22 pre2:
  23   %stay = add i32 1, %barrier
  24   br label %body2
  25
  26 ; CHECK: body2:
  27 ; CHECK-NOT: %stay =
  28 body2:  ; 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 =
  37 exit:
  38   ret void
  39 }