llvm/test/Transforms/LoopVersioning/exit-block-dominates-rt-check-block.ll

   1 ; This test ensures loop versioning does not produce an invalid dominator tree
   2 ; if the exit block of the loop (bb0) dominates the runtime check block
   3 ; (bb1 will become the runtime check block).
   4
   5 ; RUN: opt -passes=loop-distribute -enable-loop-distribute -verify-dom-info -S -o - %s > %t
   6 ; RUN: opt -passes=loop-simplify,loop-distribute -enable-loop-distribute -verify-dom-info -S -o - %s > %t
   7 ; RUN: FileCheck --check-prefix CHECK-VERSIONING -input-file %t %s
   8
   9 ; RUN: opt -passes=loop-versioning -verify-dom-info -S -o - %s > %t
  10 ; RUN: opt -passes=loop-simplify,loop-versioning -verify-dom-info -S -o - %s > %t
  11 ; RUN: FileCheck --check-prefix CHECK-VERSIONING -input-file %t %s
  12
  13 @c1 = external global i16
  14
  15 define void @f(i16 %a) {
  16   br label %bb0
  17
  18 bb0:
  19   br label %bb1
  20
  21 bb1:
  22   %tmp1 = load i16, ptr @c1
  23   br label %bb2
  24
  25 bb2:
  26   %tmp2 = phi i16 [ %tmp1, %bb1 ], [ %tmp3, %bb2 ]
  27   %tmp4 = getelementptr inbounds [1 x i32], ptr undef, i32 0, i32 4
  28   store i32 1, ptr %tmp4
  29   %tmp5 = getelementptr inbounds [1 x i32], ptr undef, i32 0, i32 9
  30   store i32 0, ptr %tmp5
  31   %tmp3 = add i16 %tmp2, 1
  32   store i16 %tmp2, ptr @c1
  33   %tmp6 = icmp sle i16 %tmp3, 0
  34   br i1 %tmp6, label %bb2, label %bb0
  35 }
  36
  37 ; Simple check to make sure loop versioning happened.
  38 ; CHECK-VERSIONING: bb2.lver.check: