llvm/test/Analysis/ScalarEvolution/increasing-or-decreasing-iv.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
   2 ; RUN: opt -disable-output "-passes=print<scalar-evolution>" < %s 2>&1 | FileCheck %s
   3
   4 define void @f0(i1 %c) {
   5 ; CHECK-LABEL: 'f0'
   6 ; CHECK-NEXT:  Classifying expressions for: @f0
   7 ; CHECK-NEXT:    %start = select i1 %c, i32 127, i32 0
   8 ; CHECK-NEXT:    --> %start U: [0,128) S: [0,128)
   9 ; CHECK-NEXT:    %step = select i1 %c, i32 -1, i32 1
  10 ; CHECK-NEXT:    --> %step U: [1,0) S: [-2,2)
  11 ; CHECK-NEXT:    %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
  12 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,128) S: [0,128) Exits: 127 LoopDispositions: { %loop: Computable }
  13 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
  14 ; CHECK-NEXT:    --> {%start,+,%step}<%loop> U: [0,128) S: [0,128) Exits: ((127 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  15 ; CHECK-NEXT:    %iv.next = add i32 %iv, %step
  16 ; CHECK-NEXT:    --> {(%step + %start),+,%step}<%loop> U: [-256,256) S: [-256,256) Exits: ((128 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  17 ; CHECK-NEXT:    %loop.iv.inc = add i32 %loop.iv, 1
  18 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,129) S: [1,129) Exits: 128 LoopDispositions: { %loop: Computable }
  19 ; CHECK-NEXT:  Determining loop execution counts for: @f0
  20 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 127
  21 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 127
  22 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 127
  23 ; CHECK-NEXT:   Predicates:
  24 ; CHECK:       Loop %loop: Trip multiple is 128
  25 ;
  26 entry:
  27   %start = select i1 %c, i32 127, i32 0
  28   %step  = select i1 %c, i32 -1,  i32 1
  29   br label %loop
  30
  31 loop:
  32   %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
  33   %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
  34   %iv.next = add i32 %iv, %step
  35   %loop.iv.inc = add i32 %loop.iv, 1
  36   %be.cond = icmp ne i32 %loop.iv.inc, 128
  37   br i1 %be.cond, label %loop, label %leave
  38
  39 leave:
  40   ret void
  41 }
  42
  43 define void @f1(i1 %c) {
  44 ; CHECK-LABEL: 'f1'
  45 ; CHECK-NEXT:  Classifying expressions for: @f1
  46 ; CHECK-NEXT:    %start = select i1 %c, i32 120, i32 0
  47 ; CHECK-NEXT:    --> %start U: [0,121) S: [0,121)
  48 ; CHECK-NEXT:    %step = select i1 %c, i32 -8, i32 8
  49 ; CHECK-NEXT:    --> %step U: [8,-7) S: [-16,16)
  50 ; CHECK-NEXT:    %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
  51 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,16) S: [0,16) Exits: 15 LoopDispositions: { %loop: Computable }
  52 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
  53 ; CHECK-NEXT:    --> {%start,+,%step}<%loop> U: [0,121) S: [0,121) Exits: ((15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  54 ; CHECK-NEXT:    %iv.1 = add i32 %iv, 1
  55 ; CHECK-NEXT:    --> {(1 + %start)<nuw><nsw>,+,%step}<%loop> U: [1,122) S: [1,122) Exits: (1 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  56 ; CHECK-NEXT:    %iv.2 = add i32 %iv, 2
  57 ; CHECK-NEXT:    --> {(2 + %start)<nuw><nsw>,+,%step}<%loop> U: [2,123) S: [2,123) Exits: (2 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  58 ; CHECK-NEXT:    %iv.3 = add i32 %iv, 3
  59 ; CHECK-NEXT:    --> {(3 + %start)<nuw><nsw>,+,%step}<%loop> U: [3,124) S: [3,124) Exits: (3 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  60 ; CHECK-NEXT:    %iv.4 = add i32 %iv, 4
  61 ; CHECK-NEXT:    --> {(4 + %start)<nuw><nsw>,+,%step}<%loop> U: [4,125) S: [4,125) Exits: (4 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  62 ; CHECK-NEXT:    %iv.5 = add i32 %iv, 5
  63 ; CHECK-NEXT:    --> {(5 + %start)<nuw><nsw>,+,%step}<%loop> U: [5,126) S: [5,126) Exits: (5 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  64 ; CHECK-NEXT:    %iv.6 = add i32 %iv, 6
  65 ; CHECK-NEXT:    --> {(6 + %start)<nuw><nsw>,+,%step}<%loop> U: [6,127) S: [6,127) Exits: (6 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  66 ; CHECK-NEXT:    %iv.7 = add i32 %iv, 7
  67 ; CHECK-NEXT:    --> {(7 + %start)<nuw><nsw>,+,%step}<%loop> U: [7,128) S: [7,128) Exits: (7 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  68 ; CHECK-NEXT:    %iv.m1 = sub i32 %iv, 1
  69 ; CHECK-NEXT:    --> {(-1 + %start)<nsw>,+,%step}<%loop> U: [-1,120) S: [-1,120) Exits: (-1 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  70 ; CHECK-NEXT:    %iv.m2 = sub i32 %iv, 2
  71 ; CHECK-NEXT:    --> {(-2 + %start)<nsw>,+,%step}<%loop> U: [0,-1) S: [-2,119) Exits: (-2 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  72 ; CHECK-NEXT:    %iv.m3 = sub i32 %iv, 3
  73 ; CHECK-NEXT:    --> {(-3 + %start)<nsw>,+,%step}<%loop> U: [-3,118) S: [-3,118) Exits: (-3 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  74 ; CHECK-NEXT:    %iv.m4 = sub i32 %iv, 4
  75 ; CHECK-NEXT:    --> {(-4 + %start)<nsw>,+,%step}<%loop> U: [0,-3) S: [-4,117) Exits: (-4 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  76 ; CHECK-NEXT:    %iv.m5 = sub i32 %iv, 5
  77 ; CHECK-NEXT:    --> {(-5 + %start)<nsw>,+,%step}<%loop> U: [-5,116) S: [-5,116) Exits: (-5 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  78 ; CHECK-NEXT:    %iv.m6 = sub i32 %iv, 6
  79 ; CHECK-NEXT:    --> {(-6 + %start)<nsw>,+,%step}<%loop> U: [0,-1) S: [-6,115) Exits: (-6 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  80 ; CHECK-NEXT:    %iv.m7 = sub i32 %iv, 7
  81 ; CHECK-NEXT:    --> {(-7 + %start)<nsw>,+,%step}<%loop> U: [-7,114) S: [-7,114) Exits: (-7 + (15 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  82 ; CHECK-NEXT:    %iv.next = add i32 %iv, %step
  83 ; CHECK-NEXT:    --> {(%step + %start),+,%step}<%loop> U: [0,-7) S: [-256,361) Exits: ((16 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
  84 ; CHECK-NEXT:    %loop.iv.inc = add i32 %loop.iv, 1
  85 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,17) S: [1,17) Exits: 16 LoopDispositions: { %loop: Computable }
  86 ; CHECK-NEXT:  Determining loop execution counts for: @f1
  87 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 15
  88 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 15
  89 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 15
  90 ; CHECK-NEXT:   Predicates:
  91 ; CHECK:       Loop %loop: Trip multiple is 16
  92 ;
  93 entry:
  94   %start = select i1 %c, i32 120, i32 0
  95   %step  = select i1 %c, i32 -8,  i32 8
  96   br label %loop
  97
  98 loop:
  99   %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 100   %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 101
 102
 103   %iv.1 = add i32 %iv, 1
 104   %iv.2 = add i32 %iv, 2
 105   %iv.3 = add i32 %iv, 3
 106   %iv.4 = add i32 %iv, 4
 107   %iv.5 = add i32 %iv, 5
 108   %iv.6 = add i32 %iv, 6
 109   %iv.7 = add i32 %iv, 7
 110
 111
 112   %iv.m1 = sub i32 %iv, 1
 113   %iv.m2 = sub i32 %iv, 2
 114   %iv.m3 = sub i32 %iv, 3
 115   %iv.m4 = sub i32 %iv, 4
 116   %iv.m5 = sub i32 %iv, 5
 117   %iv.m6 = sub i32 %iv, 6
 118   %iv.m7 = sub i32 %iv, 7
 119
 120   %iv.next = add i32 %iv, %step
 121   %loop.iv.inc = add i32 %loop.iv, 1
 122   %be.cond = icmp sgt i32 %loop.iv, 14
 123   br i1 %be.cond, label %leave, label %loop
 124
 125 leave:
 126   ret void
 127 }
 128
 129 define void @f2(i1 %c) {
 130 ; CHECK-LABEL: 'f2'
 131 ; CHECK-NEXT:  Classifying expressions for: @f2
 132 ; CHECK-NEXT:    %start = select i1 %c, i32 127, i32 0
 133 ; CHECK-NEXT:    --> %start U: [0,128) S: [0,128)
 134 ; CHECK-NEXT:    %step = select i1 %c, i32 -1, i32 1
 135 ; CHECK-NEXT:    --> %step U: [1,0) S: [-2,2)
 136 ; CHECK-NEXT:    %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 137 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,128) S: [0,128) Exits: 127 LoopDispositions: { %loop: Computable }
 138 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 139 ; CHECK-NEXT:    --> {%start,+,%step}<%loop> U: [0,128) S: [0,128) Exits: ((127 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 140 ; CHECK-NEXT:    %iv.sext = sext i32 %iv to i64
 141 ; CHECK-NEXT:    --> {(zext i32 %start to i64),+,(sext i32 %step to i64)}<nsw><%loop> U: [0,128) S: [0,128) Exits: ((zext i32 %start to i64) + (127 * (sext i32 %step to i64))<nsw>) LoopDispositions: { %loop: Computable }
 142 ; CHECK-NEXT:    %iv.next = add i32 %iv, %step
 143 ; CHECK-NEXT:    --> {(%step + %start),+,%step}<nw><%loop> U: [-256,256) S: [-256,256) Exits: ((128 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 144 ; CHECK-NEXT:    %loop.iv.inc = add i32 %loop.iv, 1
 145 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,129) S: [1,129) Exits: 128 LoopDispositions: { %loop: Computable }
 146 ; CHECK-NEXT:  Determining loop execution counts for: @f2
 147 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 127
 148 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 127
 149 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 127
 150 ; CHECK-NEXT:   Predicates:
 151 ; CHECK:       Loop %loop: Trip multiple is 128
 152 ;
 153 entry:
 154   %start = select i1 %c, i32 127, i32 0
 155   %step  = select i1 %c, i32 -1,  i32 1
 156   br label %loop
 157
 158 loop:
 159   %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 160   %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 161   %iv.sext = sext i32 %iv to i64
 162   %iv.next = add i32 %iv, %step
 163   %loop.iv.inc = add i32 %loop.iv, 1
 164   %be.cond = icmp ne i32 %loop.iv.inc, 128
 165   br i1 %be.cond, label %loop, label %leave
 166
 167 leave:
 168   ret void
 169 }
 170
 171 define void @f3(i1 %c) {
 172 ; CHECK-LABEL: 'f3'
 173 ; CHECK-NEXT:  Classifying expressions for: @f3
 174 ; CHECK-NEXT:    %start = select i1 %c, i16 1000, i16 0
 175 ; CHECK-NEXT:    --> %start U: [0,1001) S: [0,1001)
 176 ; CHECK-NEXT:    %step = select i1 %c, i16 1, i16 509
 177 ; CHECK-NEXT:    --> %step U: [1,510) S: [1,510)
 178 ; CHECK-NEXT:    %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 179 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,128) S: [0,128) Exits: 127 LoopDispositions: { %loop: Computable }
 180 ; CHECK-NEXT:    %iv = phi i16 [ %start, %entry ], [ %iv.next, %loop ]
 181 ; CHECK-NEXT:    --> {%start,+,%step}<%loop> U: [0,-892) S: [0,-892) Exits: ((127 * %step)<nuw> + %start) LoopDispositions: { %loop: Computable }
 182 ; CHECK-NEXT:    %iv.zext = zext i16 %iv to i64
 183 ; CHECK-NEXT:    --> {(zext i16 %start to i64),+,(zext i16 %step to i64)}<nuw><%loop> U: [0,64644) S: [0,64644) Exits: ((zext i16 %start to i64) + (127 * (zext i16 %step to i64))<nuw><nsw>) LoopDispositions: { %loop: Computable }
 184 ; CHECK-NEXT:    %iv.next = add i16 %iv, %step
 185 ; CHECK-NEXT:    --> {(%step + %start),+,%step}<nw><%loop> U: full-set S: full-set Exits: ((128 * %step)<nuw> + %start) LoopDispositions: { %loop: Computable }
 186 ; CHECK-NEXT:    %loop.iv.inc = add i16 %loop.iv, 1
 187 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,129) S: [1,129) Exits: 128 LoopDispositions: { %loop: Computable }
 188 ; CHECK-NEXT:  Determining loop execution counts for: @f3
 189 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 127
 190 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 127
 191 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 127
 192 ; CHECK-NEXT:   Predicates:
 193 ; CHECK:       Loop %loop: Trip multiple is 128
 194 ;
 195 entry:
 196
 197 ; NB! the i16 type (as opposed to i32), the choice of the constant 509
 198 ; and the trip count are all related and not arbitrary.  We want an
 199 ; add recurrence that will look like it can unsign-overflow *unless*
 200 ; SCEV is able to see the correlation between the two selects feeding
 201 ; into the initial value and the step increment.
 202
 203   %start = select i1 %c, i16 1000, i16 0
 204   %step  = select i1 %c, i16 1,  i16 509
 205   br label %loop
 206
 207 loop:
 208   %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 209   %iv = phi i16 [ %start, %entry ], [ %iv.next, %loop ]
 210   %iv.zext = zext i16 %iv to i64
 211   %iv.next = add i16 %iv, %step
 212   %loop.iv.inc = add i16 %loop.iv, 1
 213   %be.cond = icmp ne i16 %loop.iv.inc, 128
 214   br i1 %be.cond, label %loop, label %leave
 215
 216 leave:
 217   ret void
 218 }
 219
 220 define void @f4(i1 %c) {
 221 ; CHECK-LABEL: 'f4'
 222 ; CHECK-NEXT:  Classifying expressions for: @f4
 223 ; CHECK-NEXT:    %start = select i1 %c, i32 127, i32 0
 224 ; CHECK-NEXT:    --> %start U: [0,128) S: [0,128)
 225 ; CHECK-NEXT:    %step = select i1 %c, i32 -1, i32 1
 226 ; CHECK-NEXT:    --> %step U: [1,0) S: [-2,2)
 227 ; CHECK-NEXT:    %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 228 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,128) S: [0,128) Exits: 127 LoopDispositions: { %loop: Computable }
 229 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 230 ; CHECK-NEXT:    --> {%start,+,%step}<%loop> U: [0,128) S: [0,128) Exits: ((127 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 231 ; CHECK-NEXT:    %iv.trunc = trunc i32 %iv to i16
 232 ; CHECK-NEXT:    --> {(trunc i32 %start to i16),+,(trunc i32 %step to i16)}<%loop> U: full-set S: full-set Exits: ((trunc i32 %start to i16) + (127 * (trunc i32 %step to i16))<nsw>) LoopDispositions: { %loop: Computable }
 233 ; CHECK-NEXT:    %iv.next = add i32 %iv, %step
 234 ; CHECK-NEXT:    --> {(%step + %start),+,%step}<%loop> U: [-256,256) S: [-256,256) Exits: ((128 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 235 ; CHECK-NEXT:    %loop.iv.inc = add i32 %loop.iv, 1
 236 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,129) S: [1,129) Exits: 128 LoopDispositions: { %loop: Computable }
 237 ; CHECK-NEXT:  Determining loop execution counts for: @f4
 238 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 127
 239 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 127
 240 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 127
 241 ; CHECK-NEXT:   Predicates:
 242 ; CHECK:       Loop %loop: Trip multiple is 128
 243 ;
 244
 245 ; @f4() demonstrates a case where SCEV is not able to compute a
 246 ; precise range for %iv.trunc, though it should be able to, in theory.
 247 ; This is because SCEV looks into affine add recurrences only when the
 248 ; backedge taken count of the loop has the same bitwidth as the
 249 ; induction variable.
 250 entry:
 251   %start = select i1 %c, i32 127, i32 0
 252   %step  = select i1 %c, i32 -1,  i32 1
 253   br label %loop
 254
 255 loop:
 256   %loop.iv = phi i32 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 257   %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 258   %iv.trunc = trunc i32 %iv to i16
 259   %iv.next = add i32 %iv, %step
 260   %loop.iv.inc = add i32 %loop.iv, 1
 261   %be.cond = icmp ne i32 %loop.iv.inc, 128
 262   br i1 %be.cond, label %loop, label %leave
 263
 264 leave:
 265   ret void
 266 }
 267
 268 define void @f5(i1 %c) {
 269 ; CHECK-LABEL: 'f5'
 270 ; CHECK-NEXT:  Classifying expressions for: @f5
 271 ; CHECK-NEXT:    %start = select i1 %c, i32 127, i32 0
 272 ; CHECK-NEXT:    --> %start U: [0,128) S: [0,128)
 273 ; CHECK-NEXT:    %step = select i1 %c, i32 -1, i32 1
 274 ; CHECK-NEXT:    --> %step U: [1,0) S: [-2,2)
 275 ; CHECK-NEXT:    %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 276 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,128) S: [0,128) Exits: 127 LoopDispositions: { %loop: Computable }
 277 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 278 ; CHECK-NEXT:    --> {%start,+,%step}<%loop> U: [0,128) S: [0,128) Exits: ((127 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 279 ; CHECK-NEXT:    %iv.trunc = trunc i32 %iv to i16
 280 ; CHECK-NEXT:    --> {(trunc i32 %start to i16),+,(trunc i32 %step to i16)}<%loop> U: [0,128) S: [0,128) Exits: ((trunc i32 %start to i16) + (127 * (trunc i32 %step to i16))<nsw>) LoopDispositions: { %loop: Computable }
 281 ; CHECK-NEXT:    %iv.next = add i32 %iv, %step
 282 ; CHECK-NEXT:    --> {(%step + %start),+,%step}<%loop> U: [-256,256) S: [-256,256) Exits: ((128 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 283 ; CHECK-NEXT:    %loop.iv.inc = add i16 %loop.iv, 1
 284 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,129) S: [1,129) Exits: 128 LoopDispositions: { %loop: Computable }
 285 ; CHECK-NEXT:  Determining loop execution counts for: @f5
 286 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 127
 287 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 127
 288 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 127
 289 ; CHECK-NEXT:   Predicates:
 290 ; CHECK:       Loop %loop: Trip multiple is 128
 291 ;
 292 entry:
 293   %start = select i1 %c, i32 127, i32 0
 294   %step  = select i1 %c, i32 -1,  i32 1
 295   br label %loop
 296
 297 loop:
 298   %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 299   %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 300   %iv.trunc = trunc i32 %iv to i16
 301   %iv.next = add i32 %iv, %step
 302
 303   %loop.iv.inc = add i16 %loop.iv, 1
 304   %be.cond = icmp ne i16 %loop.iv.inc, 128
 305   br i1 %be.cond, label %loop, label %leave
 306
 307 leave:
 308   ret void
 309 }
 310
 311 define void @f6(i1 %c) {
 312 ; CHECK-LABEL: 'f6'
 313 ; CHECK-NEXT:  Classifying expressions for: @f6
 314 ; CHECK-NEXT:    %start = select i1 %c, i32 127, i32 0
 315 ; CHECK-NEXT:    --> %start U: [0,128) S: [0,128)
 316 ; CHECK-NEXT:    %step = select i1 %c, i32 -2, i32 0
 317 ; CHECK-NEXT:    --> %step U: [0,-1) S: [-2,2)
 318 ; CHECK-NEXT:    %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 319 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,128) S: [0,128) Exits: 127 LoopDispositions: { %loop: Computable }
 320 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 321 ; CHECK-NEXT:    --> {%start,+,(1 + %step)<nuw><nsw>}<%loop> U: [0,128) S: [0,128) Exits: (127 + (127 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 322 ; CHECK-NEXT:    %step.plus.one = add i32 %step, 1
 323 ; CHECK-NEXT:    --> (1 + %step)<nuw><nsw> U: [1,0) S: [-1,3) Exits: (1 + %step)<nuw><nsw> LoopDispositions: { %loop: Invariant }
 324 ; CHECK-NEXT:    %iv.next = add i32 %iv, %step.plus.one
 325 ; CHECK-NEXT:    --> {(1 + %step + %start),+,(1 + %step)<nuw><nsw>}<%loop> U: [-128,384) S: [-128,384) Exits: (128 + (128 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 326 ; CHECK-NEXT:    %iv.sext = sext i32 %iv to i64
 327 ; CHECK-NEXT:    --> {(zext i32 %start to i64),+,(1 + (sext i32 %step to i64))<nuw><nsw>}<nsw><%loop> U: [0,128) S: [0,128) Exits: (127 + (zext i32 %start to i64) + (127 * (sext i32 %step to i64))<nsw>) LoopDispositions: { %loop: Computable }
 328 ; CHECK-NEXT:    %loop.iv.inc = add i16 %loop.iv, 1
 329 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,129) S: [1,129) Exits: 128 LoopDispositions: { %loop: Computable }
 330 ; CHECK-NEXT:  Determining loop execution counts for: @f6
 331 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 127
 332 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 127
 333 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 127
 334 ; CHECK-NEXT:   Predicates:
 335 ; CHECK:       Loop %loop: Trip multiple is 128
 336 ;
 337 entry:
 338   %start = select i1 %c, i32 127, i32 0
 339   %step  = select i1 %c, i32 -2,  i32 0
 340   br label %loop
 341
 342 loop:
 343   %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 344   %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 345
 346   %step.plus.one = add i32 %step, 1
 347   %iv.next = add i32 %iv, %step.plus.one
 348   %iv.sext = sext i32 %iv to i64
 349   %loop.iv.inc = add i16 %loop.iv, 1
 350   %be.cond = icmp ne i16 %loop.iv.inc, 128
 351   br i1 %be.cond, label %loop, label %leave
 352
 353 leave:
 354   ret void
 355 }
 356
 357 define void @f7(i1 %c) {
 358 ; CHECK-LABEL: 'f7'
 359 ; CHECK-NEXT:  Classifying expressions for: @f7
 360 ; CHECK-NEXT:    %start = select i1 %c, i32 127, i32 0
 361 ; CHECK-NEXT:    --> %start U: [0,128) S: [0,128)
 362 ; CHECK-NEXT:    %step = select i1 %c, i32 -1, i32 1
 363 ; CHECK-NEXT:    --> %step U: [1,0) S: [-2,2)
 364 ; CHECK-NEXT:    %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 365 ; CHECK-NEXT:    --> {0,+,1}<%loop> U: [0,128) S: [0,128) Exits: 127 LoopDispositions: { %loop: Computable }
 366 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 367 ; CHECK-NEXT:    --> {%start,+,%step}<%loop> U: [0,128) S: [0,128) Exits: ((127 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 368 ; CHECK-NEXT:    %iv.trunc = trunc i32 %iv to i16
 369 ; CHECK-NEXT:    --> {(trunc i32 %start to i16),+,(trunc i32 %step to i16)}<%loop> U: [0,128) S: [0,128) Exits: ((trunc i32 %start to i16) + (127 * (trunc i32 %step to i16))<nsw>) LoopDispositions: { %loop: Computable }
 370 ; CHECK-NEXT:    %iv.next = add i32 %iv, %step
 371 ; CHECK-NEXT:    --> {(%step + %start),+,%step}<%loop> U: [-256,256) S: [-256,256) Exits: ((128 * %step)<nsw> + %start) LoopDispositions: { %loop: Computable }
 372 ; CHECK-NEXT:    %iv.trunc.plus.one = add i16 %iv.trunc, 1
 373 ; CHECK-NEXT:    --> {(1 + (trunc i32 %start to i16))<nuw><nsw>,+,(trunc i32 %step to i16)}<%loop> U: [1,129) S: [1,129) Exits: (1 + (trunc i32 %start to i16) + (127 * (trunc i32 %step to i16))<nsw>) LoopDispositions: { %loop: Computable }
 374 ; CHECK-NEXT:    %iv.trunc.plus.two = add i16 %iv.trunc, 2
 375 ; CHECK-NEXT:    --> {(2 + (trunc i32 %start to i16))<nuw><nsw>,+,(trunc i32 %step to i16)}<%loop> U: [2,130) S: [2,130) Exits: (2 + (trunc i32 %start to i16) + (127 * (trunc i32 %step to i16))<nsw>) LoopDispositions: { %loop: Computable }
 376 ; CHECK-NEXT:    %loop.iv.inc = add i16 %loop.iv, 1
 377 ; CHECK-NEXT:    --> {1,+,1}<%loop> U: [1,129) S: [1,129) Exits: 128 LoopDispositions: { %loop: Computable }
 378 ; CHECK-NEXT:  Determining loop execution counts for: @f7
 379 ; CHECK-NEXT:  Loop %loop: backedge-taken count is 127
 380 ; CHECK-NEXT:  Loop %loop: max backedge-taken count is 127
 381 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is 127
 382 ; CHECK-NEXT:   Predicates:
 383 ; CHECK:       Loop %loop: Trip multiple is 128
 384 ;
 385 entry:
 386   %start = select i1 %c, i32 127, i32 0
 387   %step  = select i1 %c, i32 -1,  i32 1
 388   br label %loop
 389
 390 loop:
 391   %loop.iv = phi i16 [ 0, %entry ], [ %loop.iv.inc, %loop ]
 392   %iv = phi i32 [ %start, %entry ], [ %iv.next, %loop ]
 393   %iv.trunc = trunc i32 %iv to i16
 394   %iv.next = add i32 %iv, %step
 395
 396   %iv.trunc.plus.one = add i16 %iv.trunc, 1
 397
 398   %iv.trunc.plus.two = add i16 %iv.trunc, 2
 399
 400   %loop.iv.inc = add i16 %loop.iv, 1
 401   %be.cond = icmp ne i16 %loop.iv.inc, 128
 402   br i1 %be.cond, label %loop, label %leave
 403
 404 leave:
 405   ret void
 406 }