test/Transforms/LoopIndexSplit/2008-02-08-Crash.ll

   1 ; RUN: opt < %s -loop-index-split -disable-output
   2 ; PR 1995
   3
   4 define void @add_blkdev_randomness(i32 %major) nounwind  {
   5 entry:
   6         br label %bb
   7
   8 bb:             ; preds = %bb39, %entry
   9         %A.0.reg2mem.0 = phi i32 [ undef, %entry ], [ %TEMP.0, %bb39 ]          ; <i32> [#uses=1]
  10         %D.0.reg2mem.0 = phi i32 [ undef, %entry ], [ %C.0.reg2mem.0, %bb39 ]           ; <i32> [#uses=3]
  11         %C.0.reg2mem.0 = phi i32 [ undef, %entry ], [ %tmp34, %bb39 ]           ; <i32> [#uses=4]
  12         %TEMP.1.reg2mem.0 = phi i32 [ undef, %entry ], [ %TEMP.0, %bb39 ]               ; <i32> [#uses=1]
  13         %i.0.reg2mem.0 = phi i32 [ 0, %entry ], [ %tmp38, %bb39 ]               ; <i32> [#uses=3]
  14         %B.0.reg2mem.0 = phi i32 [ undef, %entry ], [ %A.0.reg2mem.0, %bb39 ]           ; <i32> [#uses=5]
  15         %tmp1 = icmp slt i32 %i.0.reg2mem.0, 40         ; <i1> [#uses=1]
  16         br i1 %tmp1, label %bb3, label %bb12
  17
  18 bb3:            ; preds = %bb
  19         %tmp6 = xor i32 %C.0.reg2mem.0, %D.0.reg2mem.0          ; <i32> [#uses=1]
  20         %tmp8 = and i32 %B.0.reg2mem.0, %tmp6           ; <i32> [#uses=1]
  21         %tmp10 = xor i32 %tmp8, %D.0.reg2mem.0          ; <i32> [#uses=1]
  22         %tmp11 = add i32 %tmp10, 1518500249             ; <i32> [#uses=1]
  23         br label %bb39
  24
  25 bb12:           ; preds = %bb
  26         %tmp14 = icmp slt i32 %i.0.reg2mem.0, 60                ; <i1> [#uses=1]
  27         br i1 %tmp14, label %bb17, label %bb39
  28
  29 bb17:           ; preds = %bb12
  30         %tmp20 = and i32 %B.0.reg2mem.0, %C.0.reg2mem.0         ; <i32> [#uses=1]
  31         %tmp23 = xor i32 %B.0.reg2mem.0, %C.0.reg2mem.0         ; <i32> [#uses=1]
  32         %tmp25 = and i32 %tmp23, %D.0.reg2mem.0         ; <i32> [#uses=1]
  33         %tmp26 = add i32 %tmp20, -1894007588            ; <i32> [#uses=1]
  34         %tmp27 = add i32 %tmp26, %tmp25         ; <i32> [#uses=1]
  35         br label %bb39
  36
  37 bb39:           ; preds = %bb12, %bb3, %bb17
  38         %TEMP.0 = phi i32 [ %tmp27, %bb17 ], [ %tmp11, %bb3 ], [ %TEMP.1.reg2mem.0, %bb12 ]             ; <i32> [#uses=2]
  39         %tmp31 = lshr i32 %B.0.reg2mem.0, 2             ; <i32> [#uses=1]
  40         %tmp33 = shl i32 %B.0.reg2mem.0, 30             ; <i32> [#uses=1]
  41         %tmp34 = or i32 %tmp31, %tmp33          ; <i32> [#uses=1]
  42         %tmp38 = add i32 %i.0.reg2mem.0, 1              ; <i32> [#uses=2]
  43         %tmp41 = icmp slt i32 %tmp38, 80                ; <i1> [#uses=1]
  44         br i1 %tmp41, label %bb, label %return
  45
  46 return:         ; preds = %bb39
  47         ret void
  48 }