test/Transforms/LoopVectorize/iv_outside_user.ll

   1 ; RUN: opt -S -loop-vectorize -force-vector-interleave=1 -force-vector-width=2 < %s | FileCheck %s
   2
   3 ; CHECK-LABEL: @postinc
   4 ; CHECK-LABEL: scalar.ph:
   5 ; CHECK: %bc.resume.val = phi i32 [ %n.vec, %middle.block ], [ 0, %entry ]
   6 ; CHECK-LABEL: for.end:
   7 ; CHECK: %[[RET:.*]] = phi i32 [ {{.*}}, %for.body ], [ %n.vec, %middle.block ]
   8 ; CHECK: ret i32 %[[RET]]
   9 define i32 @postinc(i32 %k)  {
  10 entry:
  11   br label %for.body
  12
  13 for.body:
  14   %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  15   %inc = add nsw i32 %inc.phi, 1
  16   %cmp = icmp eq i32 %inc, %k
  17   br i1 %cmp, label %for.end, label %for.body
  18
  19 for.end:
  20   ret i32 %inc
  21 }
  22
  23 ; CHECK-LABEL: @preinc
  24 ; CHECK-LABEL: middle.block:
  25 ; CHECK: %[[v3:.+]] = sub i32 %n.vec, 1
  26 ; CHECK-LABEL: scalar.ph:
  27 ; CHECK: %bc.resume.val = phi i32 [ %n.vec, %middle.block ], [ 0, %entry ]
  28 ; CHECK-LABEL: for.end:
  29 ; CHECK: %[[RET:.*]] = phi i32 [ {{.*}}, %for.body ], [ %[[v3]], %middle.block ]
  30 ; CHECK: ret i32 %[[RET]]
  31 define i32 @preinc(i32 %k)  {
  32 entry:
  33   br label %for.body
  34
  35 for.body:
  36   %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  37   %inc = add nsw i32 %inc.phi, 1
  38   %cmp = icmp eq i32 %inc, %k
  39   br i1 %cmp, label %for.end, label %for.body
  40
  41 for.end:
  42   ret i32 %inc.phi
  43 }
  44
  45 ; CHECK-LABEL: @constpre
  46 ; CHECK-LABEL: for.end:
  47 ; CHECK: %[[RET:.*]] = phi i32 [ {{.*}}, %for.body ], [ 2, %middle.block ]
  48 ; CHECK: ret i32 %[[RET]]
  49 define i32 @constpre()  {
  50 entry:
  51   br label %for.body
  52
  53 for.body:
  54   %inc.phi = phi i32 [ 32, %entry ], [ %inc, %for.body ]
  55   %inc = sub nsw i32 %inc.phi, 2
  56   %cmp = icmp eq i32 %inc, 0
  57   br i1 %cmp, label %for.end, label %for.body
  58
  59 for.end:
  60   ret i32 %inc.phi
  61 }
  62
  63 ; CHECK-LABEL: @geppre
  64 ; CHECK-LABEL: middle.block:
  65 ; CHECK: %ind.escape = getelementptr i32, i32* %ptr, i64 124
  66 ; CHECK-LABEL: for.end:
  67 ; CHECK: %[[RET:.*]] = phi i32* [ {{.*}}, %for.body ], [ %ind.escape, %middle.block ]
  68 ; CHECK: ret i32* %[[RET]]
  69 define i32* @geppre(i32* %ptr) {
  70 entry:
  71   br label %for.body
  72
  73 for.body:
  74   %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  75   %ptr.phi = phi i32* [ %ptr, %entry ], [ %inc.ptr, %for.body ]
  76   %inc = add nsw i32 %inc.phi, 1
  77   %inc.ptr = getelementptr i32, i32* %ptr.phi, i32 4
  78   %cmp = icmp eq i32 %inc, 32
  79   br i1 %cmp, label %for.end, label %for.body
  80
  81 for.end:
  82   ret i32* %ptr.phi
  83 }
  84
  85 ; CHECK-LABEL: @both
  86 ; CHECK-LABEL: middle.block:
  87 ; CHECK: %[[END:.*]] = sub i64 %n.vec, 1
  88 ; CHECK: %ind.escape = getelementptr i32, i32* %base, i64 %[[END]]
  89 ; CHECK-LABEL: for.end:
  90 ; CHECK: %[[RET:.*]] = phi i32* [ %inc.lag1, %for.body ], [ %ind.escape, %middle.block ]
  91 ; CHECK: ret i32* %[[RET]]
  92
  93 define i32* @both(i32 %k)  {
  94 entry:
  95   %base = getelementptr inbounds i32, i32* undef, i64 1
  96   br label %for.body
  97
  98 for.body:
  99   %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
 100   %inc.lag1 = phi i32* [ %base, %entry ], [ %tmp, %for.body]
 101   %inc.lag2 = phi i32* [ undef, %entry ], [ %inc.lag1, %for.body]
 102   %tmp = getelementptr inbounds i32, i32* %inc.lag1, i64 1
 103   %inc = add nsw i32 %inc.phi, 1
 104   %cmp = icmp eq i32 %inc, %k
 105   br i1 %cmp, label %for.end, label %for.body
 106
 107 for.end:
 108   ret i32* %inc.lag1
 109 }
 110
 111 ; CHECK-LABEL: @multiphi
 112 ; CHECK-LABEL: scalar.ph:
 113 ; CHECK: %bc.resume.val = phi i32 [ %n.vec, %middle.block ], [ 0, %entry ]
 114 ; CHECK-LABEL: for.end:
 115 ; CHECK: %phi = phi i32 [ {{.*}}, %for.body ], [ %n.vec, %middle.block ]
 116 ; CHECK: %phi2 = phi i32 [ {{.*}}, %for.body ], [ %n.vec, %middle.block ]
 117 ; CHECK: store i32 %phi2, i32* %p
 118 ; CHECK: ret i32 %phi
 119 define i32 @multiphi(i32 %k, i32* %p)  {
 120 entry:
 121   br label %for.body
 122
 123 for.body:
 124   %inc.phi = phi i32 [ 0, %entry ], [ %inc, %for.body ]
 125   %inc = add nsw i32 %inc.phi, 1
 126   %cmp = icmp eq i32 %inc, %k
 127   br i1 %cmp, label %for.end, label %for.body
 128
 129 for.end:
 130   %phi = phi i32 [ %inc, %for.body ]
 131   %phi2 = phi i32 [ %inc, %for.body ]
 132   store i32 %phi2, i32* %p
 133   ret i32 %phi
 134 }
 135
 136 ; CHECK-LABEL: @PR30742
 137 ; CHECK:   %[[T15:.+]] = add nsw i32 %tmp03, -7
 138 ; CHECK: vector.ph
 139 ; CHECK:   %[[N_MOD_VF:.+]] = urem i32 %[[T5:.+]], 2
 140 ; CHECK:   %[[N_VEC:.+]] = sub i32 %[[T5]], %[[N_MOD_VF]]
 141 ; CHECK: middle.block
 142 ; CHECK:   %[[CMP:.+]] = icmp eq i32 %[[T5]], %[[N_VEC]]
 143 ; CHECK:   %ind.escape = add i32 %[[T15]],
 144 ; CHECK:   br i1 %[[CMP]], label %BB3, label %scalar.ph
 145 define void @PR30742() {
 146 BB0:
 147   br label %BB1
 148
 149 BB1:
 150   %tmp00 = load i32, i32* undef, align 16
 151   %tmp01 = sub i32 %tmp00, undef
 152   %tmp02 = icmp slt i32 %tmp01, 1
 153   %tmp03 = select i1 %tmp02, i32 1, i32 %tmp01
 154   %tmp04 = add nsw i32 %tmp03, -7
 155   br label %BB2
 156
 157 BB2:
 158   %tmp05 = phi i32 [ %tmp04, %BB1 ], [ %tmp06, %BB2 ]
 159   %tmp06 = add i32 %tmp05, -8
 160   %tmp07 = icmp sgt i32 %tmp06, 0
 161   br i1 %tmp07, label %BB2, label %BB3
 162
 163 BB3:
 164   %tmp08 = phi i32 [ %tmp05, %BB2 ]
 165   %tmp09 = sub i32 %tmp00, undef
 166   %tmp10 = icmp slt i32 %tmp09, 1
 167   %tmp11 = select i1 %tmp10, i32 1, i32 %tmp09
 168   %tmp12 = add nsw i32 %tmp11, -7
 169   br label %BB4
 170
 171 BB4:
 172   %tmp13 = phi i32 [ %tmp12, %BB3 ], [ %tmp14, %BB4 ]
 173   %tmp14 = add i32 %tmp13, -8
 174   %tmp15 = icmp sgt i32 %tmp14, 0
 175   br i1 %tmp15, label %BB4, label %BB1
 176 }