test/Transforms/IndVarSimplify/2005-02-17-TruncateExprCrash.ll

   1 ; RUN: opt < %s -indvars -disable-output
   2
   3 declare void @q_atomic_increment()
   4
   5 declare void @_Z9qt_assertPKcS0_i()
   6
   7 define void @_ZN13QMetaResourceC1EPKh() {
   8 entry:
   9         invoke void @_Z9qt_assertPKcS0_i( )
  10                         to label %endif.1 unwind label %then.i.i551
  11
  12 then.i.i551:            ; preds = %entry
  13         ret void
  14
  15 endif.1:                ; preds = %entry
  16         br i1 false, label %then.2, label %then.i.i
  17
  18 then.2:         ; preds = %endif.1
  19         invoke void @q_atomic_increment( )
  20                         to label %loopentry.0 unwind label %invoke_catch.6
  21
  22 invoke_catch.6:         ; preds = %then.2
  23         ret void
  24
  25 loopentry.0:            ; preds = %then.2
  26         br i1 false, label %shortcirc_next.i, label %endif.3
  27
  28 endif.3:                ; preds = %loopentry.0
  29         ret void
  30
  31 shortcirc_next.i:               ; preds = %loopentry.0
  32         br i1 false, label %_ZNK7QString2atEi.exit, label %then.i
  33
  34 then.i:         ; preds = %shortcirc_next.i
  35         ret void
  36
  37 _ZNK7QString2atEi.exit:         ; preds = %shortcirc_next.i
  38         br i1 false, label %endif.4, label %then.4
  39
  40 then.4:         ; preds = %_ZNK7QString2atEi.exit
  41         ret void
  42
  43 endif.4:                ; preds = %_ZNK7QString2atEi.exit
  44         %tmp.115 = load i8* null                ; <i8> [#uses=1]
  45         br i1 false, label %loopexit.1, label %no_exit.0
  46
  47 no_exit.0:              ; preds = %no_exit.0, %endif.4
  48         %bytes_in_len.4.5 = phi i8 [ %dec, %no_exit.0 ], [ %tmp.115, %endif.4 ]         ; <i8> [#uses=1]
  49         %off.5.5.in = phi i32 [ %off.5.5, %no_exit.0 ], [ 0, %endif.4 ]         ; <i32> [#uses=1]
  50         %off.5.5 = add i32 %off.5.5.in, 1               ; <i32> [#uses=2]
  51         %dec = add i8 %bytes_in_len.4.5, -1             ; <i8> [#uses=2]
  52         %tmp.123631 = icmp eq i8 %dec, 0                ; <i1> [#uses=1]
  53         br i1 %tmp.123631, label %loopexit.1, label %no_exit.0
  54
  55 loopexit.1:             ; preds = %no_exit.0, %endif.4
  56         %off.5.in.6 = phi i32 [ 0, %endif.4 ], [ %off.5.5, %no_exit.0 ]         ; <i32> [#uses=0]
  57         ret void
  58
  59 then.i.i:               ; preds = %endif.1
  60         ret void
  61 }