llvm/test/Transforms/FixIrreducible/unreachable.ll

   1 ; NOTE: Do not autogenerate
   2 ; RUN: opt < %s -fix-irreducible --verify-loop-info -S | FileCheck %s
   3 ; RUN: opt < %s -passes='fix-irreducible,verify<loops>' -S | FileCheck %s
   4 ; RUN: opt < %s -passes='verify<loops>,fix-irreducible,verify<loops>' -S | FileCheck %s
   5
   6 ; CHECK-LABEL: @unreachable(
   7 ; CHECK: entry:
   8 ; CHECK-NOT: irr.guard:
   9 define void @unreachable(i32 %n, i1 %arg) {
  10 entry:
  11   br label %loop.body
  12
  13 loop.body:
  14   br label %inner.block
  15
  16 unreachable.block:
  17   br label %inner.block
  18
  19 inner.block:
  20   br i1 %arg, label %loop.exit, label %loop.latch
  21
  22 loop.latch:
  23   br label %loop.body
  24
  25 loop.exit:
  26   ret void
  27 }