test/Transforms/LoopPreheaders/2003-05-12-PreheaderExitOfChild.ll

   1 ; This (complex) testcase causes an assertion failure because a preheader is
   2 ; inserted for the "fail" loop, but the exit block of a loop is not updated
   3 ; to be the preheader instead of the exit loop itself.
   4
   5 ; RUN: llvm-as < %s | opt -preheaders
   6
   7 int %re_match_2() {
   8         br label %loopentry.1
   9
  10 loopentry.1:            ; preds = %then.6, %endif.7, %loopexit.20, %endif.83
  11         br label %shortcirc_done.36
  12
  13 shortcirc_done.36:              ; preds = %label.13, %shortcirc_next.36
  14         br bool false, label %fail, label %endif.40
  15
  16 endif.40:               ; preds = %shortcirc_done.36
  17         br label %loopexit.20
  18
  19 loopentry.20:           ; preds = %shortcirc_done.40, %endif.46
  20         br label %loopexit.20
  21
  22 loopexit.20:            ; preds = %loopentry.20
  23         br label %loopentry.21
  24
  25 loopentry.21:           ; preds = %loopexit.20, %no_exit.19
  26         br bool false, label %no_exit.19, label %loopexit.21
  27
  28 no_exit.19:             ; preds = %loopentry.21
  29         br bool false, label %fail, label %loopentry.21
  30
  31 loopexit.21:            ; preds = %loopentry.21
  32         br label %endif.45
  33
  34 endif.45:               ; preds = %loopexit.21
  35         br label %cond_true.15
  36
  37 cond_true.15:           ; preds = %endif.45
  38         br bool false, label %fail, label %endif.46
  39
  40 endif.46:               ; preds = %cond_true.15
  41         br label %loopentry.20
  42
  43 fail:           ; preds = %shortcirc_done.36, %loopexit.37, %cond_true.15, %no_exit.19
  44         br label %then.80
  45
  46 then.80:                ; preds = %fail
  47         br label %endif.81
  48
  49 endif.81:               ; preds = %then.80
  50         br label %loopexit.37
  51
  52 loopexit.37:            ; preds = %endif.81
  53         br bool false, label %fail, label %endif.82
  54
  55 endif.82:               ; preds = %loopexit.37
  56         br label %loopentry.1
  57 }