test/ScheduleOptimizer/line-tiling.ll

   1 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-opt-isl -analyze -polly-no-tiling=0 -polly-ast -polly-tile-sizes=64,1 < %s
   2 ; CHECK: c0 += 64
   3 ; CHECK: c1 += 1
   4 ; CHECK: c0 <= c0 + 63
   5 ; ModuleID = 'line-tiling.ll'
   6 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
   7
   8 ; Function Attrs: nounwind
   9 define void @line([512 x i32]* %A) {
  10 entry:
  11   br label %entry.split
  12
  13 entry.split:                                      ; preds = %entry
  14   br label %for.body3.lr.ph
  15
  16 for.body3.lr.ph:                                  ; preds = %for.inc5, %entry.split
  17   %i.0 = phi i32 [ 0, %entry.split ], [ %inc6, %for.inc5 ]
  18   br label %for.body3
  19
  20 for.body3:                                        ; preds = %for.body3.lr.ph, %for.body3
  21   %j.0 = phi i32 [ 0, %for.body3.lr.ph ], [ %inc, %for.body3 ]
  22   %mul = mul nsw i32 %j.0, %i.0
  23   %rem = srem i32 %mul, 42
  24   %arrayidx4 = getelementptr inbounds [512 x i32], [512 x i32]* %A, i32 %i.0, i32 %j.0
  25   store i32 %rem, i32* %arrayidx4, align 4
  26   %inc = add nsw i32 %j.0, 1
  27   %cmp2 = icmp slt i32 %inc, 512
  28   br i1 %cmp2, label %for.body3, label %for.inc5
  29
  30 for.inc5:                                         ; preds = %for.body3
  31   %inc6 = add nsw i32 %i.0, 1
  32   %cmp = icmp slt i32 %inc6, 1024
  33   br i1 %cmp, label %for.body3.lr.ph, label %for.end7
  34
  35 for.end7:                                         ; preds = %for.inc5
  36   ret void
  37 }