test/Transforms/LoopUnrollAndJam/disable.ll

   1 ; RUN: opt -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 -pass-remarks=loop-unroll-and-jam < %s -S 2>&1 | FileCheck %s
   2
   3 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
   4
   5 ;; Common check for all tests. None should be unroll and jammed
   6 ; CHECK-NOT: remark: {{.*}} unroll and jammed
   7
   8
   9 ; CHECK-LABEL: disabled1
  10 ; Tests for(i) { sum = A[i]; for(j) sum += B[j]; A[i+1] = sum; }
  11 ; A[i] to A[i+1] dependency should block unrollandjam
  12 define void @disabled1(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
  13 ; CHECK: %i.029 = phi i32 [ %add10, %for.latch ], [ 0, %for.preheader ]
  14 ; CHECK: %j.026 = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
  15 entry:
  16   %cmp = icmp ne i32 %J, 0
  17   %cmp127 = icmp ne i32 %I, 0
  18   %or.cond = and i1 %cmp127, %cmp
  19   br i1 %or.cond, label %for.preheader, label %return
  20
  21 for.preheader:
  22   br label %for.outer
  23
  24 for.outer:
  25   %i.029 = phi i32 [ %add10, %for.latch ], [ 0, %for.preheader ]
  26   %b.028 = phi i32 [ %inc8, %for.latch ], [ 1, %for.preheader ]
  27   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i.029
  28   %0 = load i32, i32* %arrayidx, align 4
  29   br label %for.inner
  30
  31 for.inner:
  32   %j.026 = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
  33   %sum1.025 = phi i32 [ %0, %for.outer ], [ %add, %for.inner ]
  34   %arrayidx6 = getelementptr inbounds i32, i32* %B, i32 %j.026
  35   %1 = load i32, i32* %arrayidx6, align 4
  36   %add = add i32 %1, %sum1.025
  37   %inc = add nuw i32 %j.026, 1
  38   %exitcond = icmp eq i32 %inc, %J
  39   br i1 %exitcond, label %for.latch, label %for.inner
  40
  41 for.latch:
  42   %arrayidx7 = getelementptr inbounds i32, i32* %A, i32 %b.028
  43   store i32 %add, i32* %arrayidx7, align 4
  44   %inc8 = add nuw nsw i32 %b.028, 1
  45   %add10 = add nuw nsw i32 %i.029, 1
  46   %exitcond30 = icmp eq i32 %add10, %I
  47   br i1 %exitcond30, label %return, label %for.outer
  48
  49 return:
  50   ret void
  51 }
  52
  53
  54 ; CHECK-LABEL: disabled2
  55 ; Tests an incompatible block layout (for.outer jumps past for.inner)
  56 ; FIXME: Make this work
  57 define void @disabled2(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
  58 ; CHECK: %i.032 = phi i32 [ %add13, %for.latch ], [ 0, %for.preheader ]
  59 ; CHECK: %j.030 = phi i32 [ %inc, %for.inner ], [ 0, %for.inner.preheader ]
  60 entry:
  61   %cmp = icmp ne i32 %J, 0
  62   %cmp131 = icmp ne i32 %I, 0
  63   %or.cond = and i1 %cmp131, %cmp
  64   br i1 %or.cond, label %for.preheader, label %for.end14
  65
  66 for.preheader:
  67   br label %for.outer
  68
  69 for.outer:
  70   %i.032 = phi i32 [ %add13, %for.latch ], [ 0, %for.preheader ]
  71   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %i.032
  72   %0 = load i32, i32* %arrayidx, align 4
  73   %tobool = icmp eq i32 %0, 0
  74   br i1 %tobool, label %for.latch, label %for.inner
  75
  76 for.inner:
  77   %j.030 = phi i32 [ %inc, %for.inner ], [ 0, %for.outer ]
  78   %sum1.029 = phi i32 [ %sum1.1, %for.inner ], [ 0, %for.outer ]
  79   %arrayidx6 = getelementptr inbounds i32, i32* %B, i32 %j.030
  80   %1 = load i32, i32* %arrayidx6, align 4
  81   %tobool7 = icmp eq i32 %1, 0
  82   %sub = add i32 %sum1.029, 10
  83   %add = sub i32 %sub, %1
  84   %sum1.1 = select i1 %tobool7, i32 %sum1.029, i32 %add
  85   %inc = add nuw i32 %j.030, 1
  86   %exitcond = icmp eq i32 %inc, %J
  87   br i1 %exitcond, label %for.latch, label %for.inner
  88
  89 for.latch:
  90   %sum1.1.lcssa = phi i32 [ 0, %for.outer ], [ %sum1.1, %for.inner ]
  91   %arrayidx11 = getelementptr inbounds i32, i32* %A, i32 %i.032
  92   store i32 %sum1.1.lcssa, i32* %arrayidx11, align 4
  93   %add13 = add nuw i32 %i.032, 1
  94   %exitcond33 = icmp eq i32 %add13, %I
  95   br i1 %exitcond33, label %for.end14, label %for.outer
  96
  97 for.end14:
  98   ret void
  99 }
 100
 101
 102 ; CHECK-LABEL: disabled3
 103 ; Tests loop carry dependencies in an array S
 104 define void @disabled3(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 105 ; CHECK: %i.029 = phi i32 [ 0, %for.preheader ], [ %add12, %for.latch ]
 106 ; CHECK: %j.027 = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 107 entry:
 108   %S = alloca [4 x i32], align 4
 109   %cmp = icmp eq i32 %J, 0
 110   br i1 %cmp, label %return, label %if.end
 111
 112 if.end:
 113   %0 = bitcast [4 x i32]* %S to i8*
 114   %cmp128 = icmp eq i32 %I, 0
 115   br i1 %cmp128, label %for.cond.cleanup, label %for.preheader
 116
 117 for.preheader:
 118   %arrayidx9 = getelementptr inbounds [4 x i32], [4 x i32]* %S, i32 0, i32 0
 119   br label %for.outer
 120
 121 for.cond.cleanup:
 122   br label %return
 123
 124 for.outer:
 125   %i.029 = phi i32 [ 0, %for.preheader ], [ %add12, %for.latch ]
 126   br label %for.inner
 127
 128 for.inner:
 129   %j.027 = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 130   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j.027
 131   %l2 = load i32, i32* %arrayidx, align 4
 132   %add = add i32 %j.027, %i.029
 133   %rem = urem i32 %add, %J
 134   %arrayidx6 = getelementptr inbounds i32, i32* %B, i32 %rem
 135   %l3 = load i32, i32* %arrayidx6, align 4
 136   %mul = mul i32 %l3, %l2
 137   %rem7 = urem i32 %j.027, 3
 138   %arrayidx8 = getelementptr inbounds [4 x i32], [4 x i32]* %S, i32 0, i32 %rem7
 139   store i32 %mul, i32* %arrayidx8, align 4
 140   %inc = add nuw i32 %j.027, 1
 141   %exitcond = icmp eq i32 %inc, %J
 142   br i1 %exitcond, label %for.latch, label %for.inner
 143
 144 for.latch:
 145   %l1 = load i32, i32* %arrayidx9, align 4
 146   %arrayidx10 = getelementptr inbounds i32, i32* %A, i32 %i.029
 147   store i32 %l1, i32* %arrayidx10, align 4
 148   %add12 = add nuw i32 %i.029, 1
 149   %exitcond31 = icmp eq i32 %add12, %I
 150   br i1 %exitcond31, label %for.cond.cleanup, label %for.outer
 151
 152 return:
 153   ret void
 154 }
 155
 156
 157 ; CHECK-LABEL: disabled4
 158 ; Inner looop induction variable is not consistent
 159 ; ie for(i = 0..n) for (j = 0..i) sum+=B[j]
 160 define void @disabled4(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 161 ; CHECK: %indvars.iv = phi i32 [ %indvars.iv.next, %for.latch ], [ 1, %for.preheader ]
 162 ; CHECK: %j.021 = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 163 entry:
 164   %cmp = icmp ne i32 %J, 0
 165   %cmp122 = icmp ugt i32 %I, 1
 166   %or.cond = and i1 %cmp122, %cmp
 167   br i1 %or.cond, label %for.preheader, label %for.end9
 168
 169 for.preheader:
 170   br label %for.outer
 171
 172 for.outer:
 173   %indvars.iv = phi i32 [ %indvars.iv.next, %for.latch ], [ 1, %for.preheader ]
 174   br label %for.inner
 175
 176 for.inner:
 177   %j.021 = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 178   %sum1.020 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 179   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j.021
 180   %0 = load i32, i32* %arrayidx, align 4
 181   %add = add i32 %0, %sum1.020
 182   %inc = add nuw i32 %j.021, 1
 183   %exitcond = icmp eq i32 %inc, %indvars.iv
 184   br i1 %exitcond, label %for.latch, label %for.inner
 185
 186 for.latch:
 187   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %indvars.iv
 188   store i32 %add, i32* %arrayidx6, align 4
 189   %indvars.iv.next = add nuw i32 %indvars.iv, 1
 190   %exitcond24 = icmp eq i32 %indvars.iv.next, %I
 191   br i1 %exitcond24, label %for.end9, label %for.outer
 192
 193 for.end9:
 194   ret void
 195 }
 196
 197
 198 ; CHECK-LABEL: disabled5
 199 ; Test odd uses of phi nodes where the outer IV cannot be moved into Fore as it hits a PHI
 200 @f = hidden global i32 0, align 4
 201 define i32 @disabled5() #0 {
 202 ; CHECK: %0 = phi i32 [ %f.promoted10, %entry ], [ 2, %for.latch ]
 203 ; CHECK: %1 = phi i32 [ %0, %for.outer ], [ 2, %for.inner ]
 204 entry:
 205   %f.promoted10 = load i32, i32* @f, align 4
 206   br label %for.outer
 207
 208 for.outer:
 209   %0 = phi i32 [ %f.promoted10, %entry ], [ 2, %for.latch ]
 210   %d.018 = phi i16 [ 0, %entry ], [ %odd.lcssa, %for.latch ]
 211   %inc5.sink9 = phi i32 [ 2, %entry ], [ %inc5, %for.latch ]
 212   br label %for.inner
 213
 214 for.inner:
 215   %1 = phi i32 [ %0, %for.outer ], [ 2, %for.inner ]
 216   %inc.sink8 = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 217   %inc = add nuw nsw i32 %inc.sink8, 1
 218   %exitcond = icmp ne i32 %inc, 7
 219   br i1 %exitcond, label %for.inner, label %for.latch
 220
 221 for.latch:
 222   %.lcssa = phi i32 [ %1, %for.inner ]
 223   %odd.lcssa = phi i16 [ 1, %for.inner ]
 224   %inc5 = add nuw nsw i32 %inc5.sink9, 1
 225   %exitcond11 = icmp ne i32 %inc5, 7
 226   br i1 %exitcond11, label %for.outer, label %for.end
 227
 228 for.end:
 229   %.lcssa.lcssa = phi i32 [ %.lcssa, %for.latch ]
 230   %inc.lcssa.lcssa = phi i32 [ 7, %for.latch ]
 231   ret i32 0
 232 }
 233
 234
 235 ; CHECK-LABEL: disabled6
 236 ; There is a dependency in here, between @d and %0 (=@f)
 237 @d6 = hidden global i16 5, align 2
 238 @f6 = hidden global i16* @d6, align 4
 239 define i32 @disabled6() #0 {
 240 ; CHECK: %inc8.sink14.i = phi i16 [ 1, %entry ], [ %inc8.i, %for.cond.cleanup.i ]
 241 ; CHECK: %c.013.i = phi i32 [ 0, %for.body.i ], [ %inc.i, %for.body6.i ]
 242 entry:
 243   store i16 1, i16* @d6, align 2
 244   %0 = load i16*, i16** @f6, align 4
 245   br label %for.body.i
 246
 247 for.body.i:
 248   %inc8.sink14.i = phi i16 [ 1, %entry ], [ %inc8.i, %for.cond.cleanup.i ]
 249   %1 = load i16, i16* %0, align 2
 250   br label %for.body6.i
 251
 252 for.cond.cleanup.i:
 253   %inc8.i = add nuw nsw i16 %inc8.sink14.i, 1
 254   store i16 %inc8.i, i16* @d6, align 2
 255   %cmp.i = icmp ult i16 %inc8.i, 6
 256   br i1 %cmp.i, label %for.body.i, label %test.exit
 257
 258 for.body6.i:
 259   %c.013.i = phi i32 [ 0, %for.body.i ], [ %inc.i, %for.body6.i ]
 260   %inc.i = add nuw nsw i32 %c.013.i, 1
 261   %exitcond.i = icmp eq i32 %inc.i, 7
 262   br i1 %exitcond.i, label %for.cond.cleanup.i, label %for.body6.i
 263
 264 test.exit:
 265   %conv2.i = sext i16 %1 to i32
 266   ret i32 0
 267 }
 268
 269
 270 ; CHECK-LABEL: disabled7
 271 ; Has negative output dependency
 272 define void @disabled7(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 273 ; CHECK: %i.028 = phi i32 [ %add11, %for.cond3.for.cond.cleanup5_crit_edge ], [ 0, %for.body.preheader ]
 274 ; CHECK: %j.026 = phi i32 [ 0, %for.body ], [ %add9, %for.body6 ]
 275 entry:
 276   %cmp = icmp ne i32 %J, 0
 277   %cmp127 = icmp ne i32 %I, 0
 278   %or.cond = and i1 %cmp127, %cmp
 279   br i1 %or.cond, label %for.body.preheader, label %for.end12
 280
 281 for.body.preheader:
 282   br label %for.body
 283
 284 for.body:
 285   %i.028 = phi i32 [ %add11, %for.cond3.for.cond.cleanup5_crit_edge ], [ 0, %for.body.preheader ]
 286   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i.028
 287   store i32 0, i32* %arrayidx, align 4
 288   %sub = add i32 %i.028, -1
 289   %arrayidx2 = getelementptr inbounds i32, i32* %A, i32 %sub
 290   store i32 2, i32* %arrayidx2, align 4
 291   br label %for.body6
 292
 293 for.cond3.for.cond.cleanup5_crit_edge:
 294   store i32 %add, i32* %arrayidx, align 4
 295   %add11 = add nuw i32 %i.028, 1
 296   %exitcond29 = icmp eq i32 %add11, %I
 297   br i1 %exitcond29, label %for.end12, label %for.body
 298
 299 for.body6:
 300   %0 = phi i32 [ 0, %for.body ], [ %add, %for.body6 ]
 301   %j.026 = phi i32 [ 0, %for.body ], [ %add9, %for.body6 ]
 302   %arrayidx7 = getelementptr inbounds i32, i32* %B, i32 %j.026
 303   %1 = load i32, i32* %arrayidx7, align 4
 304   %add = add i32 %1, %0
 305   %add9 = add nuw i32 %j.026, 1
 306   %exitcond = icmp eq i32 %add9, %J
 307   br i1 %exitcond, label %for.cond3.for.cond.cleanup5_crit_edge, label %for.body6
 308
 309 for.end12:
 310   ret void
 311 }
 312
 313
 314 ; CHECK-LABEL: disabled8
 315 ; Same as above with an extra outer loop nest
 316 define void @disabled8(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 317 ; CHECK: %i.036 = phi i32 [ %add15, %for.latch ], [ 0, %for.body ]
 318 ; CHECK: %j.034 = phi i32 [ 0, %for.outer ], [ %add13, %for.inner ]
 319 entry:
 320   %cmp = icmp eq i32 %J, 0
 321   %cmp335 = icmp eq i32 %I, 0
 322   %or.cond = or i1 %cmp, %cmp335
 323   br i1 %or.cond, label %for.end18, label %for.body.preheader
 324
 325 for.body.preheader:
 326   br label %for.body
 327
 328 for.body:
 329   %x.037 = phi i32 [ %inc, %for.cond.cleanup4 ], [ 0, %for.body.preheader ]
 330   br label %for.outer
 331
 332 for.cond.cleanup4:
 333   %inc = add nuw nsw i32 %x.037, 1
 334   %exitcond40 = icmp eq i32 %inc, 5
 335   br i1 %exitcond40, label %for.end18, label %for.body
 336
 337 for.outer:
 338   %i.036 = phi i32 [ %add15, %for.latch ], [ 0, %for.body ]
 339   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i.036
 340   store i32 0, i32* %arrayidx, align 4
 341   %sub = add i32 %i.036, -1
 342   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %sub
 343   store i32 2, i32* %arrayidx6, align 4
 344   br label %for.inner
 345
 346 for.latch:
 347   store i32 %add, i32* %arrayidx, align 4
 348   %add15 = add nuw i32 %i.036, 1
 349   %exitcond38 = icmp eq i32 %add15, %I
 350   br i1 %exitcond38, label %for.cond.cleanup4, label %for.outer
 351
 352 for.inner:
 353   %0 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 354   %j.034 = phi i32 [ 0, %for.outer ], [ %add13, %for.inner ]
 355   %arrayidx11 = getelementptr inbounds i32, i32* %B, i32 %j.034
 356   %1 = load i32, i32* %arrayidx11, align 4
 357   %add = add i32 %1, %0
 358   %add13 = add nuw i32 %j.034, 1
 359   %exitcond = icmp eq i32 %add13, %J
 360   br i1 %exitcond, label %for.latch, label %for.inner
 361
 362 for.end18:
 363   ret void
 364 }
 365
 366
 367 ; CHECK-LABEL: disabled9
 368 ; Can't prove alias between A and B
 369 define void @disabled9(i32 %I, i32 %J, i32* nocapture %A, i32* nocapture readonly %B) #0 {
 370 ; CHECK: %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 371 ; CHECK: %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 372 entry:
 373   %cmp = icmp ne i32 %J, 0
 374   %cmp122 = icmp ne i32 %I, 0
 375   %or.cond = and i1 %cmp, %cmp122
 376   br i1 %or.cond, label %for.outer.preheader, label %for.end
 377
 378 for.outer.preheader:
 379   br label %for.outer
 380
 381 for.outer:
 382   %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 383   br label %for.inner
 384
 385 for.inner:
 386   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 387   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 388   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 389   %0 = load i32, i32* %arrayidx, align 4
 390   %add = add i32 %0, %sum1
 391   %inc = add nuw i32 %j, 1
 392   %exitcond = icmp eq i32 %inc, %J
 393   br i1 %exitcond, label %for.latch, label %for.inner
 394
 395 for.latch:
 396   %add.lcssa = phi i32 [ %add, %for.inner ]
 397   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 398   store i32 %add.lcssa, i32* %arrayidx6, align 4
 399   %add8 = add nuw i32 %i, 1
 400   %exitcond25 = icmp eq i32 %add8, %I
 401   br i1 %exitcond25, label %for.end.loopexit, label %for.outer
 402
 403 for.end.loopexit:
 404   br label %for.end
 405
 406 for.end:
 407   ret void
 408 }
 409
 410
 411 ; CHECK-LABEL: disable10
 412 ; Simple call
 413 declare void @f10(i32, i32) #0
 414 define void @disable10(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 415 ; CHECK: %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 416 ; CHECK: %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 417 entry:
 418   %cmp = icmp ne i32 %J, 0
 419   %cmp122 = icmp ne i32 %I, 0
 420   %or.cond = and i1 %cmp, %cmp122
 421   br i1 %or.cond, label %for.outer.preheader, label %for.end
 422
 423 for.outer.preheader:
 424   br label %for.outer
 425
 426 for.outer:
 427   %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 428   br label %for.inner
 429
 430 for.inner:
 431   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 432   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 433   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 434   %0 = load i32, i32* %arrayidx, align 4
 435   %add = add i32 %0, %sum1
 436   %inc = add nuw i32 %j, 1
 437   %exitcond = icmp eq i32 %inc, %J
 438   tail call void @f10(i32 %i, i32 %j) nounwind
 439   br i1 %exitcond, label %for.latch, label %for.inner
 440
 441 for.latch:
 442   %add.lcssa = phi i32 [ %add, %for.inner ]
 443   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 444   store i32 %add.lcssa, i32* %arrayidx6, align 4
 445   %add8 = add nuw i32 %i, 1
 446   %exitcond25 = icmp eq i32 %add8, %I
 447   br i1 %exitcond25, label %for.end.loopexit, label %for.outer
 448
 449 for.end.loopexit:
 450   br label %for.end
 451
 452 for.end:
 453   ret void
 454 }
 455
 456
 457 ; CHECK-LABEL: disable11
 458 ; volatile
 459 define void @disable11(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 460 ; CHECK: %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 461 ; CHECK: %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 462 entry:
 463   %cmp = icmp ne i32 %J, 0
 464   %cmp122 = icmp ne i32 %I, 0
 465   %or.cond = and i1 %cmp, %cmp122
 466   br i1 %or.cond, label %for.outer.preheader, label %for.end
 467
 468 for.outer.preheader:
 469   br label %for.outer
 470
 471 for.outer:
 472   %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 473   br label %for.inner
 474
 475 for.inner:
 476   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 477   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 478   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 479   %0 = load volatile i32, i32* %arrayidx, align 4
 480   %add = add i32 %0, %sum1
 481   %inc = add nuw i32 %j, 1
 482   %exitcond = icmp eq i32 %inc, %J
 483   br i1 %exitcond, label %for.latch, label %for.inner
 484
 485 for.latch:
 486   %add.lcssa = phi i32 [ %add, %for.inner ]
 487   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 488   store i32 %add.lcssa, i32* %arrayidx6, align 4
 489   %add8 = add nuw i32 %i, 1
 490   %exitcond25 = icmp eq i32 %add8, %I
 491   br i1 %exitcond25, label %for.end.loopexit, label %for.outer
 492
 493 for.end.loopexit:
 494   br label %for.end
 495
 496 for.end:
 497   ret void
 498 }
 499
 500
 501 ; CHECK-LABEL: disable12
 502 ; Multiple aft blocks
 503 define void @disable12(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 504 ; CHECK: %i = phi i32 [ %add8, %for.latch3 ], [ 0, %for.outer.preheader ]
 505 ; CHECK: %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 506 entry:
 507   %cmp = icmp ne i32 %J, 0
 508   %cmp122 = icmp ne i32 %I, 0
 509   %or.cond = and i1 %cmp, %cmp122
 510   br i1 %or.cond, label %for.outer.preheader, label %for.end
 511
 512 for.outer.preheader:
 513   br label %for.outer
 514
 515 for.outer:
 516   %i = phi i32 [ %add8, %for.latch3 ], [ 0, %for.outer.preheader ]
 517   br label %for.inner
 518
 519 for.inner:
 520   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 521   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 522   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 523   %0 = load i32, i32* %arrayidx, align 4
 524   %add = add i32 %0, %sum1
 525   %inc = add nuw i32 %j, 1
 526   %exitcond = icmp eq i32 %inc, %J
 527   br i1 %exitcond, label %for.latch, label %for.inner
 528
 529 for.latch:
 530   %add.lcssa = phi i32 [ %add, %for.inner ]
 531   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 532   store i32 %add.lcssa, i32* %arrayidx6, align 4
 533   %cmpl = icmp eq i32 %add.lcssa, 10
 534   br i1 %cmpl, label %for.latch2, label %for.latch3
 535
 536 for.latch2:
 537   br label %for.latch3
 538
 539 for.latch3:
 540   %add8 = add nuw i32 %i, 1
 541   %exitcond25 = icmp eq i32 %add8, %I
 542   br i1 %exitcond25, label %for.end.loopexit, label %for.outer
 543
 544 for.end.loopexit:
 545   br label %for.end
 546
 547 for.end:
 548   ret void
 549 }
 550
 551
 552 ; CHECK-LABEL: disable13
 553 ; Two subloops
 554 define void @disable13(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 555 ; CHECK: %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 556 ; CHECK: %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 557 ; CHECK: %j2 = phi i32 [ %inc2, %for.inner2 ], [ 0, %for.inner2.preheader ]
 558 entry:
 559   %cmp = icmp ne i32 %J, 0
 560   %cmp122 = icmp ne i32 %I, 0
 561   %or.cond = and i1 %cmp, %cmp122
 562   br i1 %or.cond, label %for.outer.preheader, label %for.end
 563
 564 for.outer.preheader:
 565   br label %for.outer
 566
 567 for.outer:
 568   %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 569   br label %for.inner
 570
 571 for.inner:
 572   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 573   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 574   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 575   %0 = load i32, i32* %arrayidx, align 4
 576   %add = add i32 %0, %sum1
 577   %inc = add nuw i32 %j, 1
 578   %exitcond = icmp eq i32 %inc, %J
 579   br i1 %exitcond, label %for.inner2, label %for.inner
 580
 581 for.inner2:
 582   %j2 = phi i32 [ 0, %for.inner ], [ %inc2, %for.inner2 ]
 583   %sum12 = phi i32 [ 0, %for.inner ], [ %add2, %for.inner2 ]
 584   %arrayidx2 = getelementptr inbounds i32, i32* %B, i32 %j2
 585   %l0 = load i32, i32* %arrayidx2, align 4
 586   %add2 = add i32 %l0, %sum12
 587   %inc2 = add nuw i32 %j2, 1
 588   %exitcond2 = icmp eq i32 %inc2, %J
 589   br i1 %exitcond2, label %for.latch, label %for.inner2
 590
 591 for.latch:
 592   %add.lcssa = phi i32 [ %add, %for.inner2 ]
 593   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 594   store i32 %add.lcssa, i32* %arrayidx6, align 4
 595   %add8 = add nuw i32 %i, 1
 596   %exitcond25 = icmp eq i32 %add8, %I
 597   br i1 %exitcond25, label %for.end.loopexit, label %for.outer
 598
 599 for.end.loopexit:
 600   br label %for.end
 601
 602 for.end:
 603   ret void
 604 }
 605
 606
 607 ; CHECK-LABEL: disable14
 608 ; Multiple exits blocks
 609 define void @disable14(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 610 ; CHECK: %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 611 ; CHECK: %j = phi i32 [ %inc, %for.inner ], [ 0, %for.inner.preheader ]
 612 entry:
 613   %cmp = icmp ne i32 %J, 0
 614   %cmp122 = icmp ne i32 %I, 0
 615   %or.cond = and i1 %cmp, %cmp122
 616   br i1 %or.cond, label %for.outer.preheader, label %for.end
 617
 618 for.outer.preheader:
 619   br label %for.outer
 620
 621 for.outer:
 622   %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 623   %add8 = add nuw i32 %i, 1
 624   %exitcond23 = icmp eq i32 %add8, %I
 625   br i1 %exitcond23, label %for.end.loopexit, label %for.inner
 626
 627 for.inner:
 628   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 629   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 630   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 631   %0 = load i32, i32* %arrayidx, align 4
 632   %add = add i32 %0, %sum1
 633   %inc = add nuw i32 %j, 1
 634   %exitcond = icmp eq i32 %inc, %J
 635   br i1 %exitcond, label %for.latch, label %for.inner
 636
 637 for.latch:
 638   %add.lcssa = phi i32 [ %add, %for.inner ]
 639   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 640   store i32 %add.lcssa, i32* %arrayidx6, align 4
 641   %exitcond25 = icmp eq i32 %add8, %I
 642   br i1 %exitcond25, label %for.end.loopexit, label %for.outer
 643
 644 for.end.loopexit:
 645   br label %for.end
 646
 647 for.end:
 648   ret void
 649 }
 650
 651
 652 ; CHECK-LABEL: disable15
 653 ; Latch != exit
 654 define void @disable15(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 655 ; CHECK: %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 656 ; CHECK: %j = phi i32 [ %inc, %for.inner ], [ 0, %for.inner.preheader ]
 657 entry:
 658   %cmp = icmp ne i32 %J, 0
 659   %cmp122 = icmp ne i32 %I, 0
 660   %or.cond = and i1 %cmp, %cmp122
 661   br i1 %or.cond, label %for.outer.preheader, label %for.end
 662
 663 for.outer.preheader:
 664   br label %for.outer
 665
 666 for.outer:
 667   %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 668   %add8 = add nuw i32 %i, 1
 669   %exitcond25 = icmp eq i32 %add8, %I
 670   br i1 %exitcond25, label %for.end.loopexit, label %for.inner
 671
 672 for.inner:
 673   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 674   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 675   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 676   %0 = load i32, i32* %arrayidx, align 4
 677   %add = add i32 %0, %sum1
 678   %inc = add nuw i32 %j, 1
 679   %exitcond = icmp eq i32 %inc, %J
 680   br i1 %exitcond, label %for.latch, label %for.inner
 681
 682 for.latch:
 683   %add.lcssa = phi i32 [ %add, %for.inner ]
 684   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 685   store i32 %add.lcssa, i32* %arrayidx6, align 4
 686   br label %for.outer
 687
 688 for.end.loopexit:
 689   br label %for.end
 690
 691 for.end:
 692   ret void
 693 }
 694
 695
 696 ; CHECK-LABEL: disable16
 697 ; Cannot move other before inner loop
 698 define void @disable16(i32 %I, i32 %J, i32* noalias nocapture %A, i32* noalias nocapture readonly %B) #0 {
 699 ; CHECK: %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 700 ; CHECK: %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 701 entry:
 702   %cmp = icmp ne i32 %J, 0
 703   %cmp122 = icmp ne i32 %I, 0
 704   %or.cond = and i1 %cmp, %cmp122
 705   br i1 %or.cond, label %for.outer.preheader, label %for.end
 706
 707 for.outer.preheader:
 708   br label %for.outer
 709
 710 for.outer:
 711   %i = phi i32 [ %add8, %for.latch ], [ 0, %for.outer.preheader ]
 712   %otherphi = phi i32 [ %other, %for.latch ], [ 0, %for.outer.preheader ]
 713   br label %for.inner
 714
 715 for.inner:
 716   %j = phi i32 [ 0, %for.outer ], [ %inc, %for.inner ]
 717   %sum1 = phi i32 [ 0, %for.outer ], [ %add, %for.inner ]
 718   %arrayidx = getelementptr inbounds i32, i32* %B, i32 %j
 719   %0 = load i32, i32* %arrayidx, align 4
 720   %add = add i32 %0, %sum1
 721   %inc = add nuw i32 %j, 1
 722   %exitcond = icmp eq i32 %inc, %J
 723   br i1 %exitcond, label %for.latch, label %for.inner
 724
 725 for.latch:
 726   %add.lcssa = phi i32 [ %add, %for.inner ]
 727   %arrayidx6 = getelementptr inbounds i32, i32* %A, i32 %i
 728   store i32 %add.lcssa, i32* %arrayidx6, align 4
 729   %add8 = add nuw i32 %i, 1
 730   %exitcond25 = icmp eq i32 %add8, %I
 731   %loadarr = getelementptr inbounds i32, i32* %A, i32 %i
 732   %load = load i32, i32* %arrayidx6, align 4
 733   %other = add i32 %otherphi, %load
 734   br i1 %exitcond25, label %for.end.loopexit, label %for.outer
 735
 736 for.end.loopexit:
 737   br label %for.end
 738
 739 for.end:
 740   ret void
 741 }