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