test/Transforms/LoopRotate/preserve-scev.ll

   1 ; RUN: opt < %s -loop-rotate -loop-reduce -verify-dom-info -verify-loop-info -disable-output
   2
   3 define fastcc void @foo() nounwind {
   4 BB:
   5   br label %BB1
   6
   7 BB1:                                              ; preds = %BB19, %BB
   8   br label %BB4
   9
  10 BB2:                                              ; preds = %BB4
  11   %tmp = bitcast i32 undef to i32                 ; <i32> [#uses=1]
  12   br label %BB4
  13
  14 BB4:                                              ; preds = %BB3, %BB1
  15   %tmp5 = phi i32 [ undef, %BB1 ], [ %tmp, %BB2 ] ; <i32> [#uses=1]
  16   br i1 false, label %BB8, label %BB2
  17
  18 BB8:                                              ; preds = %BB6
  19   %tmp7 = bitcast i32 %tmp5 to i32                ; <i32> [#uses=2]
  20   br i1 false, label %BB9, label %BB13
  21
  22 BB9:                                              ; preds = %BB12, %BB8
  23   %tmp10 = phi i32 [ %tmp11, %BB12 ], [ %tmp7, %BB8 ] ; <i32> [#uses=2]
  24   %tmp11 = add i32 %tmp10, 1                      ; <i32> [#uses=1]
  25   br label %BB12
  26
  27 BB12:                                             ; preds = %BB9
  28   br i1 false, label %BB9, label %BB17
  29
  30 BB13:                                             ; preds = %BB15, %BB8
  31   %tmp14 = phi i32 [ %tmp16, %BB15 ], [ %tmp7, %BB8 ] ; <i32> [#uses=1]
  32   br label %BB15
  33
  34 BB15:                                             ; preds = %BB13
  35   %tmp16 = add i32 %tmp14, -1                     ; <i32> [#uses=1]
  36   br i1 false, label %BB13, label %BB18
  37
  38 BB17:                                             ; preds = %BB12
  39   br label %BB19
  40
  41 BB18:                                             ; preds = %BB15
  42   br label %BB19
  43
  44 BB19:                                             ; preds = %BB18, %BB17
  45   %tmp20 = phi i32 [ %tmp10, %BB17 ], [ undef, %BB18 ] ; <i32> [#uses=0]
  46   br label %BB1
  47 }