test/Transforms/LoopSimplify/unreachable-loop-pred.ll

   1 ; RUN: opt -S -loop-simplify -disable-output -verify-loop-info -verify-dom-info < %s
   2 ; PR5235
   3
   4 ; When loopsimplify inserts a preheader for this loop, it should add the new
   5 ; block to the enclosing loop and not get confused by the unreachable
   6 ; bogus loop entry.
   7
   8 define void @is_extract_cab() nounwind {
   9 entry:
  10   br label %header
  11
  12 header:                                       ; preds = %if.end206, %cond.end66, %if.end23
  13   br label %while.body115
  14
  15 while.body115:                                    ; preds = %9, %if.end192, %if.end101
  16   br i1 undef, label %header, label %while.body115
  17
  18 foo:
  19   br label %while.body115
  20 }
  21
  22 ; When loopsimplify generates dedicated exit block for blocks that are landing
  23 ; pads (i.e. innerLoopExit in this test), we should not get confused with the
  24 ; unreachable pred (unreachableB) to innerLoopExit.
  25 define align 8 void @baz(i32 %trip) personality i32* ()* @wobble {
  26 entry:
  27   br label %outerHeader
  28
  29 outerHeader:
  30   invoke void @foo()
  31           to label %innerPreheader unwind label %innerLoopExit
  32
  33 innerPreheader:
  34   br label %innerH
  35
  36 innerH:
  37   %tmp50 = invoke i8 * undef()
  38           to label %innerLatch unwind label %innerLoopExit
  39
  40 innerLatch:
  41   %cmp = icmp slt i32 %trip, 42
  42   br i1 %cmp, label %innerH, label %retblock
  43
  44 unreachableB:                                             ; No predecessors!
  45   %tmp62 = invoke i8 * undef()
  46           to label %retblock unwind label %innerLoopExit
  47
  48 ; undedicated exit block (preds from inner and outer loop)
  49 ; Also has unreachableB as pred.
  50 innerLoopExit:
  51   %tmp65 = landingpad { i8*, i32 }
  52           cleanup
  53   invoke void @foo()
  54           to label %outerHeader unwind label %unwindblock
  55
  56 unwindblock:
  57   %tmp67 = landingpad { i8*, i32 }
  58           cleanup
  59   ret void
  60
  61 retblock:
  62   ret void
  63 }
  64
  65 ; Function Attrs: nounwind
  66 declare i32* @wobble()
  67
  68 ; Function Attrs: uwtable
  69 declare void @foo()