llvm/test/Transforms/LoopFusion/no_sink_hoist_volatile.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 declare void @unknown_func()
   6
   7 define void @sink_preheader(i32 %N) {
   8 ; CHECK:pre1:
   9 ; CHECK-NEXT:  %ptr = alloca i32
  10 ; CHECK-NEXT:  br label %body1
  11 pre1:
  12   %ptr = alloca i32
  13   br label %body1
  14
  15 ; CHECK:body1:
  16 ; CHECK-NOT: store volatile i32 3, ptr %ptr
  17 body1:  ; preds = %pre1, %body1
  18   %i = phi i32 [%i_next, %body1], [0, %pre1]
  19   %i_next = add i32 1, %i
  20   %cond = icmp ne i32 %i, %N
  21   br i1 %cond, label %body1, label %pre2
  22
  23 ; CHECK:pre2:
  24 ; CHECK-NEXT: store volatile i32 3, ptr %ptr
  25 pre2:
  26   store volatile i32 3, ptr %ptr
  27   br label %body2
  28
  29 ; CHECK: body2:
  30 ; CHECK-NOT: store volatile i32 3, ptr %ptr
  31 body2:  ; preds = %pre2, %body2
  32   %i2 = phi i32 [%i_next2, %body2], [0, %pre2]
  33   %i_next2 = add i32 1, %i2
  34   %cond2 = icmp ne i32 %i2, %N
  35   br i1 %cond2, label %body2, label %exit
  36
  37 ; CHECK: exit:
  38 exit:
  39   ret void
  40 }