llvm/test/Transforms/FixIrreducible/unreachable.ll

   1 ; RUN: opt %s -fix-irreducible -S -o - | FileCheck %s
   2
   3 ; CHECK-LABEL: @unreachable(
   4 ; CHECK: entry:
   5 ; CHECK-NOT: irr.guard:
   6 define void @unreachable(i32 %n) {
   7 entry:
   8   br label %loop.body
   9
  10 loop.body:
  11   br label %inner.block
  12
  13 unreachable.block:
  14   br label %inner.block
  15
  16 inner.block:
  17   br i1 undef, label %loop.exit, label %loop.latch
  18
  19 loop.latch:
  20   br label %loop.body
  21
  22 loop.exit:
  23   ret void
  24 }