llvm/test/Transforms/LoopRotate/preserve-scev.ll

   1 ; RUN: opt < %s -passes=loop-rotate,loop-reduce -verify-memoryssa -verify-dom-info -verify-loop-info -disable-output
   2
   3 define fastcc void @foo(ptr %A, i64 %i) nounwind {
   4 BB:
   5   br label %BB1
   6
   7 BB1:                                              ; preds = %BB19, %BB
   8   %tttmp1 = getelementptr i32, ptr %A, i64 %i
   9   %tttmp2 = load i32, ptr %tttmp1
  10   %tttmp3 = add i32 %tttmp2, 1
  11   store i32 %tttmp3, ptr %tttmp1
  12   br label %BB4
  13
  14 BB2:                                              ; preds = %BB4
  15   %tmp = bitcast i32 undef to i32                 ; <i32> [#uses=1]
  16   %tttmp7 = getelementptr i32, ptr %A, i64 %i
  17   %tttmp8 = load i32, ptr %tttmp7
  18   %tttmp9 = add i32 %tttmp8, 3
  19   store i32 %tttmp9, ptr %tttmp7
  20   br label %BB4
  21
  22 BB4:                                              ; preds = %BB2, %BB1
  23   %tmp5 = phi i32 [ undef, %BB1 ], [ %tmp, %BB2 ] ; <i32> [#uses=1]
  24   %tttmp4 = getelementptr i32, ptr %A, i64 %i
  25   %tttmp5 = load i32, ptr %tttmp4
  26   %tttmp6 = add i32 %tttmp5, 3
  27   store i32 %tttmp6, ptr %tttmp4
  28   br i1 false, label %BB8, label %BB2
  29
  30 BB8:                                              ; preds = %BB6
  31   %tmp7 = bitcast i32 %tmp5 to i32                ; <i32> [#uses=2]
  32   %tttmp10 = getelementptr i32, ptr %A, i64 %i
  33   %tttmp11 = load i32, ptr %tttmp10
  34   %tttmp12 = add i32 %tttmp11, 3
  35   store i32 %tttmp12, ptr %tttmp10
  36   br i1 false, label %BB9, label %BB13
  37
  38 BB9:                                              ; preds = %BB12, %BB8
  39   %tmp10 = phi i32 [ %tmp11, %BB12 ], [ %tmp7, %BB8 ] ; <i32> [#uses=2]
  40   %tmp11 = add i32 %tmp10, 1                      ; <i32> [#uses=1]
  41   %tttmp13 = getelementptr i32, ptr %A, i64 %i
  42   %tttmp14 = load i32, ptr %tttmp13
  43   %tttmp15 = add i32 %tttmp14, 3
  44   store i32 %tttmp15, ptr %tttmp13
  45   br label %BB12
  46
  47 BB12:                                             ; preds = %BB9
  48   br i1 false, label %BB9, label %BB17
  49
  50 BB13:                                             ; preds = %BB15, %BB8
  51   %tmp14 = phi i32 [ %tmp16, %BB15 ], [ %tmp7, %BB8 ] ; <i32> [#uses=1]
  52   %tttmp16 = getelementptr i32, ptr %A, i64 %i
  53   %tttmp17 = load i32, ptr %tttmp16
  54   %tttmp18 = add i32 %tttmp17, 3
  55   store i32 %tttmp18, ptr %tttmp16
  56   br label %BB15
  57
  58 BB15:                                             ; preds = %BB13
  59   %tmp16 = add i32 %tmp14, -1                     ; <i32> [#uses=1]
  60   %tttmp19 = getelementptr i32, ptr %A, i64 %i
  61   %tttmp20 = load i32, ptr %tttmp19
  62   %tttmp21 = add i32 %tttmp20, 3
  63   store i32 %tttmp21, ptr %tttmp19
  64   br i1 false, label %BB13, label %BB18
  65
  66 BB17:                                             ; preds = %BB12
  67   br label %BB19
  68
  69 BB18:                                             ; preds = %BB15
  70   %tttmp22 = getelementptr i32, ptr %A, i64 %i
  71   %tttmp23 = load i32, ptr %tttmp22
  72   %tttmp24 = add i32 %tttmp23, 3
  73   store i32 %tttmp24, ptr %tttmp22
  74   br label %BB19
  75
  76 BB19:                                             ; preds = %BB18, %BB17
  77   %tmp20 = phi i32 [ %tmp10, %BB17 ], [ undef, %BB18 ] ; <i32> [#uses=0]
  78   br label %BB1
  79 }