test/Transforms/LoopUnrollAndJam/dependencies.ll

   1 ; RUN: opt -basicaa -loop-unroll-and-jam -allow-unroll-and-jam -unroll-and-jam-count=4 < %s -S | FileCheck %s
   2
   3 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
   4
   5 ; CHECK-LABEL: fore_aft_less
   6 ; CHECK: %j = phi
   7 ; CHECK: %j.1 = phi
   8 ; CHECK: %j.2 = phi
   9 ; CHECK: %j.3 = phi
  10 define void @fore_aft_less(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
  11 entry:
  12   %cmp = icmp sgt i32 %N, 0
  13   br i1 %cmp, label %for.outer, label %cleanup
  14
  15 for.outer:
  16   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
  17   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
  18   store i32 1, i32* %arrayidx, align 4
  19   br label %for.inner
  20
  21 for.inner:
  22   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
  23   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
  24   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
  25   %0 = load i32, i32* %arrayidx5, align 4
  26   %mul = mul nsw i32 %0, %i
  27   %add = add nsw i32 %mul, %sum
  28   %add6 = add nuw nsw i32 %j, 1
  29   %exitcond = icmp eq i32 %add6, %N
  30   br i1 %exitcond, label %for.latch, label %for.inner
  31
  32 for.latch:
  33   %add7 = add nuw nsw i32 %i, 1
  34   %add72 = add nuw nsw i32 %i, -1
  35   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
  36   store i32 %add, i32* %arrayidx8, align 4
  37   %exitcond29 = icmp eq i32 %add7, %N
  38   br i1 %exitcond29, label %cleanup, label %for.outer
  39
  40 cleanup:
  41   ret void
  42 }
  43
  44
  45 ; CHECK-LABEL: fore_aft_eq
  46 ; CHECK: %j = phi
  47 ; CHECK: %j.1 = phi
  48 ; CHECK: %j.2 = phi
  49 ; CHECK: %j.3 = phi
  50 define void @fore_aft_eq(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
  51 entry:
  52   %cmp = icmp sgt i32 %N, 0
  53   br i1 %cmp, label %for.outer, label %cleanup
  54
  55 for.outer:
  56   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
  57   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
  58   store i32 1, i32* %arrayidx, align 4
  59   br label %for.inner
  60
  61 for.inner:
  62   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
  63   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
  64   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
  65   %0 = load i32, i32* %arrayidx5, align 4
  66   %mul = mul nsw i32 %0, %i
  67   %add = add nsw i32 %mul, %sum
  68   %add6 = add nuw nsw i32 %j, 1
  69   %exitcond = icmp eq i32 %add6, %N
  70   br i1 %exitcond, label %for.latch, label %for.inner
  71
  72 for.latch:
  73   %add7 = add nuw nsw i32 %i, 1
  74   %add72 = add nuw nsw i32 %i, 0
  75   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %i
  76   store i32 %add, i32* %arrayidx8, align 4
  77   %exitcond29 = icmp eq i32 %add7, %N
  78   br i1 %exitcond29, label %cleanup, label %for.outer
  79
  80 cleanup:
  81   ret void
  82 }
  83
  84
  85 ; CHECK-LABEL: fore_aft_more
  86 ; CHECK: %j = phi
  87 ; CHECK-NOT: %j.1 = phi
  88 define void @fore_aft_more(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
  89 entry:
  90   %cmp = icmp sgt i32 %N, 0
  91   br i1 %cmp, label %for.outer, label %cleanup
  92
  93 for.outer:
  94   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
  95   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
  96   store i32 1, i32* %arrayidx, align 4
  97   br label %for.inner
  98
  99 for.inner:
 100   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 101   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 102   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 103   %0 = load i32, i32* %arrayidx5, align 4
 104   %mul = mul nsw i32 %0, %i
 105   %add = add nsw i32 %mul, %sum
 106   %add6 = add nuw nsw i32 %j, 1
 107   %exitcond = icmp eq i32 %add6, %N
 108   br i1 %exitcond, label %for.latch, label %for.inner
 109
 110 for.latch:
 111   %add7 = add nuw nsw i32 %i, 1
 112   %add72 = add nuw nsw i32 %i, 1
 113   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 114   store i32 %add, i32* %arrayidx8, align 4
 115   %exitcond29 = icmp eq i32 %add7, %N
 116   br i1 %exitcond29, label %cleanup, label %for.outer
 117
 118 cleanup:
 119   ret void
 120 }
 121
 122
 123 ; CHECK-LABEL: fore_sub_less
 124 ; CHECK: %j = phi
 125 ; CHECK: %j.1 = phi
 126 ; CHECK: %j.2 = phi
 127 ; CHECK: %j.3 = phi
 128 define void @fore_sub_less(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 129 entry:
 130   %cmp = icmp sgt i32 %N, 0
 131   br i1 %cmp, label %for.outer, label %cleanup
 132
 133 for.outer:
 134   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 135   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 136   store i32 1, i32* %arrayidx, align 4
 137   br label %for.inner
 138
 139 for.inner:
 140   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 141   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 142   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 143   %0 = load i32, i32* %arrayidx5, align 4
 144   %mul = mul nsw i32 %0, %i
 145   %add = add nsw i32 %mul, %sum
 146   %add72 = add nuw nsw i32 %i, -1
 147   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 148   store i32 %add, i32* %arrayidx8, align 4
 149   %add6 = add nuw nsw i32 %j, 1
 150   %exitcond = icmp eq i32 %add6, %N
 151   br i1 %exitcond, label %for.latch, label %for.inner
 152
 153 for.latch:
 154   %add7 = add nuw nsw i32 %i, 1
 155   %exitcond29 = icmp eq i32 %add7, %N
 156   br i1 %exitcond29, label %cleanup, label %for.outer
 157
 158 cleanup:
 159   ret void
 160 }
 161
 162
 163 ; CHECK-LABEL: fore_sub_eq
 164 ; CHECK: %j = phi
 165 ; CHECK: %j.1 = phi
 166 ; CHECK: %j.2 = phi
 167 ; CHECK: %j.3 = phi
 168 define void @fore_sub_eq(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 169 entry:
 170   %cmp = icmp sgt i32 %N, 0
 171   br i1 %cmp, label %for.outer, label %cleanup
 172
 173 for.outer:
 174   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 175   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 176   store i32 1, i32* %arrayidx, align 4
 177   br label %for.inner
 178
 179 for.inner:
 180   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 181   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 182   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 183   %0 = load i32, i32* %arrayidx5, align 4
 184   %mul = mul nsw i32 %0, %i
 185   %add = add nsw i32 %mul, %sum
 186   %add72 = add nuw nsw i32 %i, 0
 187   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 188   store i32 %add, i32* %arrayidx8, align 4
 189   %add6 = add nuw nsw i32 %j, 1
 190   %exitcond = icmp eq i32 %add6, %N
 191   br i1 %exitcond, label %for.latch, label %for.inner
 192
 193 for.latch:
 194   %add7 = add nuw nsw i32 %i, 1
 195   %exitcond29 = icmp eq i32 %add7, %N
 196   br i1 %exitcond29, label %cleanup, label %for.outer
 197
 198 cleanup:
 199   ret void
 200 }
 201
 202
 203 ; CHECK-LABEL: fore_sub_more
 204 ; CHECK: %j = phi
 205 ; CHECK-NOT: %j.1 = phi
 206 define void @fore_sub_more(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 207 entry:
 208   %cmp = icmp sgt i32 %N, 0
 209   br i1 %cmp, label %for.outer, label %cleanup
 210
 211 for.outer:
 212   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 213   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 214   store i32 1, i32* %arrayidx, align 4
 215   br label %for.inner
 216
 217 for.inner:
 218   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 219   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 220   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 221   %0 = load i32, i32* %arrayidx5, align 4
 222   %mul = mul nsw i32 %0, %i
 223   %add = add nsw i32 %mul, %sum
 224   %add72 = add nuw nsw i32 %i, 1
 225   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 226   store i32 %add, i32* %arrayidx8, align 4
 227   %add6 = add nuw nsw i32 %j, 1
 228   %exitcond = icmp eq i32 %add6, %N
 229   br i1 %exitcond, label %for.latch, label %for.inner
 230
 231 for.latch:
 232   %add7 = add nuw nsw i32 %i, 1
 233   %exitcond29 = icmp eq i32 %add7, %N
 234   br i1 %exitcond29, label %cleanup, label %for.outer
 235
 236 cleanup:
 237   ret void
 238 }
 239
 240
 241 ; CHECK-LABEL: sub_aft_less
 242 ; CHECK: %j = phi
 243 ; CHECK: %j.1 = phi
 244 ; CHECK: %j.2 = phi
 245 ; CHECK: %j.3 = phi
 246 define void @sub_aft_less(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 247 entry:
 248   %cmp = icmp sgt i32 %N, 0
 249   br i1 %cmp, label %for.outer, label %cleanup
 250
 251 for.outer:
 252   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 253   br label %for.inner
 254
 255 for.inner:
 256   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 257   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 258   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 259   %0 = load i32, i32* %arrayidx5, align 4
 260   %mul = mul nsw i32 %0, %i
 261   %add = add nsw i32 %mul, %sum
 262   %add6 = add nuw nsw i32 %j, 1
 263   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 264   store i32 1, i32* %arrayidx, align 4
 265   %exitcond = icmp eq i32 %add6, %N
 266   br i1 %exitcond, label %for.latch, label %for.inner
 267
 268 for.latch:
 269   %add7 = add nuw nsw i32 %i, 1
 270   %add72 = add nuw nsw i32 %i, -1
 271   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 272   store i32 %add, i32* %arrayidx8, align 4
 273   %exitcond29 = icmp eq i32 %add7, %N
 274   br i1 %exitcond29, label %cleanup, label %for.outer
 275
 276 cleanup:
 277   ret void
 278 }
 279
 280
 281 ; CHECK-LABEL: sub_aft_eq
 282 ; CHECK: %j = phi
 283 ; CHECK: %j.1 = phi
 284 ; CHECK: %j.2 = phi
 285 ; CHECK: %j.3 = phi
 286 define void @sub_aft_eq(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 287 entry:
 288   %cmp = icmp sgt i32 %N, 0
 289   br i1 %cmp, label %for.outer, label %cleanup
 290
 291 for.outer:
 292   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 293   br label %for.inner
 294
 295 for.inner:
 296   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 297   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 298   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 299   %0 = load i32, i32* %arrayidx5, align 4
 300   %mul = mul nsw i32 %0, %i
 301   %add = add nsw i32 %mul, %sum
 302   %add6 = add nuw nsw i32 %j, 1
 303   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 304   store i32 1, i32* %arrayidx, align 4
 305   %exitcond = icmp eq i32 %add6, %N
 306   br i1 %exitcond, label %for.latch, label %for.inner
 307
 308 for.latch:
 309   %add7 = add nuw nsw i32 %i, 1
 310   %add72 = add nuw nsw i32 %i, 0
 311   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %i
 312   store i32 %add, i32* %arrayidx8, align 4
 313   %exitcond29 = icmp eq i32 %add7, %N
 314   br i1 %exitcond29, label %cleanup, label %for.outer
 315
 316 cleanup:
 317   ret void
 318 }
 319
 320
 321 ; CHECK-LABEL: sub_aft_more
 322 ; CHECK: %j = phi
 323 ; CHECK-NOT: %j.1 = phi
 324 define void @sub_aft_more(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 325 entry:
 326   %cmp = icmp sgt i32 %N, 0
 327   br i1 %cmp, label %for.outer, label %cleanup
 328
 329 for.outer:
 330   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 331   br label %for.inner
 332
 333 for.inner:
 334   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 335   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 336   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 337   %0 = load i32, i32* %arrayidx5, align 4
 338   %mul = mul nsw i32 %0, %i
 339   %add = add nsw i32 %mul, %sum
 340   %add6 = add nuw nsw i32 %j, 1
 341   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 342   store i32 1, i32* %arrayidx, align 4
 343   %exitcond = icmp eq i32 %add6, %N
 344   br i1 %exitcond, label %for.latch, label %for.inner
 345
 346 for.latch:
 347   %add7 = add nuw nsw i32 %i, 1
 348   %add72 = add nuw nsw i32 %i, 1
 349   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 350   store i32 %add, i32* %arrayidx8, align 4
 351   %exitcond29 = icmp eq i32 %add7, %N
 352   br i1 %exitcond29, label %cleanup, label %for.outer
 353
 354 cleanup:
 355   ret void
 356 }
 357
 358
 359 ; CHECK-LABEL: sub_sub_less
 360 ; CHECK: %j = phi
 361 ; CHECK-NOT: %j.1 = phi
 362 define void @sub_sub_less(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 363 entry:
 364   %cmp = icmp sgt i32 %N, 0
 365   br i1 %cmp, label %for.outer, label %cleanup
 366
 367 for.outer:
 368   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 369   br label %for.inner
 370
 371 for.inner:
 372   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 373   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 374   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 375   %0 = load i32, i32* %arrayidx5, align 4
 376   %mul = mul nsw i32 %0, %i
 377   %add = add nsw i32 %mul, %sum
 378   %add6 = add nuw nsw i32 %j, 1
 379   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 380   store i32 1, i32* %arrayidx, align 4
 381   %add72 = add nuw nsw i32 %i, -1
 382   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 383   store i32 %add, i32* %arrayidx8, align 4
 384   %exitcond = icmp eq i32 %add6, %N
 385   br i1 %exitcond, label %for.latch, label %for.inner
 386
 387 for.latch:
 388   %add7 = add nuw nsw i32 %i, 1
 389   %exitcond29 = icmp eq i32 %add7, %N
 390   br i1 %exitcond29, label %cleanup, label %for.outer
 391
 392 cleanup:
 393   ret void
 394 }
 395
 396
 397 ; CHECK-LABEL: sub_sub_eq
 398 ; CHECK: %j = phi
 399 ; CHECK: %j.1 = phi
 400 define void @sub_sub_eq(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 401 entry:
 402   %cmp = icmp sgt i32 %N, 0
 403   br i1 %cmp, label %for.outer, label %cleanup
 404
 405 for.outer:
 406   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 407   br label %for.inner
 408
 409 for.inner:
 410   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 411   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 412   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 413   %0 = load i32, i32* %arrayidx5, align 4
 414   %mul = mul nsw i32 %0, %i
 415   %add = add nsw i32 %mul, %sum
 416   %add6 = add nuw nsw i32 %j, 1
 417   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 418   store i32 1, i32* %arrayidx, align 4
 419   %add72 = add nuw nsw i32 %i, 0
 420   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 421   store i32 %add, i32* %arrayidx8, align 4
 422   %exitcond = icmp eq i32 %add6, %N
 423   br i1 %exitcond, label %for.latch, label %for.inner
 424
 425 for.latch:
 426   %add7 = add nuw nsw i32 %i, 1
 427   %exitcond29 = icmp eq i32 %add7, %N
 428   br i1 %exitcond29, label %cleanup, label %for.outer
 429
 430 cleanup:
 431   ret void
 432 }
 433
 434
 435 ; CHECK-LABEL: sub_sub_more
 436 ; CHECK: %j = phi
 437 ; CHECK-NOT: %j.1 = phi
 438 define void @sub_sub_more(i32* noalias nocapture %A, i32 %N, i32* noalias nocapture readonly %B) {
 439 entry:
 440   %cmp = icmp sgt i32 %N, 0
 441   br i1 %cmp, label %for.outer, label %cleanup
 442
 443 for.outer:
 444   %i = phi i32 [ %add7, %for.latch ], [ 0, %entry ]
 445   br label %for.inner
 446
 447 for.inner:
 448   %j = phi i32 [ %add6, %for.inner ], [ 0, %for.outer ]
 449   %sum = phi i32 [ %add, %for.inner ], [ 0, %for.outer ]
 450   %arrayidx5 = getelementptr inbounds i32, i32* %B, i32 %j
 451   %0 = load i32, i32* %arrayidx5, align 4
 452   %mul = mul nsw i32 %0, %i
 453   %add = add nsw i32 %mul, %sum
 454   %add6 = add nuw nsw i32 %j, 1
 455   %arrayidx = getelementptr inbounds i32, i32* %A, i32 %i
 456   store i32 1, i32* %arrayidx, align 4
 457   %add72 = add nuw nsw i32 %i, 1
 458   %arrayidx8 = getelementptr inbounds i32, i32* %A, i32 %add72
 459   store i32 %add, i32* %arrayidx8, align 4
 460   %exitcond = icmp eq i32 %add6, %N
 461   br i1 %exitcond, label %for.latch, label %for.inner
 462
 463 for.latch:
 464   %add7 = add nuw nsw i32 %i, 1
 465   %exitcond29 = icmp eq i32 %add7, %N
 466   br i1 %exitcond29, label %cleanup, label %for.outer
 467
 468 cleanup:
 469   ret void
 470 }