polly/test/ScheduleOptimizer/ManualOptimization/unroll_partial.ll

   1 ; RUN: opt %loadPolly -polly-pragma-based-opts=1 -polly-print-opt-isl -disable-output < %s | FileCheck %s --match-full-lines
   2 ; RUN: opt %loadPolly -polly-pragma-based-opts=0 -polly-print-opt-isl -disable-output < %s | FileCheck %s --check-prefix=OFF --match-full-lines
   3 ;
   4 ; Partial unroll by a factor of 4.
   5 ;
   6 define void @func(i32 %n, ptr noalias nonnull %A) {
   7 entry:
   8   br label %for
   9
  10 for:
  11   %j = phi i32 [0, %entry], [%j.inc, %inc]
  12   %j.cmp = icmp slt i32 %j, %n
  13   br i1 %j.cmp, label %body, label %exit
  14
  15     body:
  16       store double 42.0, ptr %A
  17       br label %inc
  18
  19 inc:
  20   %j.inc = add nuw nsw i32 %j, 1
  21   br label %for, !llvm.loop !2
  22
  23 exit:
  24   br label %return
  25
  26 return:
  27   ret void
  28 }
  29
  30
  31 !2 = distinct !{!2, !5}
  32 !5 = !{!"llvm.loop.unroll.count", i4 4}
  33
  34
  35 ; CHECK-LABEL: Printing analysis 'Polly - Optimize schedule of SCoP' for region: 'for => return' in function 'func':
  36 ; CHECK:       domain: "[n] -> { Stmt_body[i0] : 0 <= i0 < n }"
  37 ; CHECK:         schedule: "[n] -> [{ Stmt_body[i0] -> [(i0 - (i0) mod 4)] }]"
  38 ; CHECK:           sequence:
  39 ; CHECK-NEXT:      - filter: "[n] -> { Stmt_body[i0] : (i0) mod 4 = 0 }"
  40 ; CHECK-NEXT:      - filter: "[n] -> { Stmt_body[i0] : (-1 + i0) mod 4 = 0 }"
  41 ; CHECK-NEXT:      - filter: "[n] -> { Stmt_body[i0] : (2 + i0) mod 4 = 0 }"
  42 ; CHECK-NEXT:      - filter: "[n] -> { Stmt_body[i0] : (1 + i0) mod 4 = 0 }"
  43
  44
  45 ; OFF-LABEL: Printing analysis 'Polly - Optimize schedule of SCoP' for region: 'for => return' in function 'func':
  46 ; OFF-NEXT:  Calculated schedule:
  47 ; OFF-NEXT:    n/a