polly/test/ScheduleOptimizer/ManualOptimization/distribute_heuristic.ll

   1 ; RUN: opt %loadPolly -polly-reschedule=0 -polly-pragma-based-opts=1 -polly-print-opt-isl -disable-output < %s | FileCheck %s --match-full-lines --check-prefix=ON
   2 ; RUN: opt %loadPolly -polly-reschedule=0 -polly-pragma-based-opts=0 -polly-print-opt-isl -disable-output < %s | FileCheck %s --match-full-lines --check-prefix=OFF
   3 ;
   4 define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B) {
   5 entry:
   6   br label %for
   7
   8 for:
   9   %j = phi i32 [0, %entry], [%j.inc, %inc]
  10   %j.cmp = icmp slt i32 %j, %n
  11   br i1 %j.cmp, label %body, label %exit
  12
  13     body:
  14       store double 42.0, ptr %A
  15       %c = fadd double 21.0, 21.0
  16       store double %c, ptr %B
  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.distribute.enable"}
  33
  34
  35 ; ON: Printing analysis 'Polly - Optimize schedule of SCoP' for region: 'for => return' in function 'func':
  36 ; ON:      Calculated schedule:
  37 ; ON-NEXT: domain: "[n] -> { Stmt_body[i0] : 0 <= i0 < n; Stmt_body_b[i0] : 0 <= i0 < n }"
  38 ; ON-NEXT: child:
  39 ; ON-NEXT:   sequence:
  40 ; ON-NEXT:   - filter: "[n] -> { Stmt_body[i0] : 0 <= i0 < n }"
  41 ; ON-NEXT:     child:
  42 ; ON-NEXT:       schedule: "[n] -> [{ Stmt_body[i0] -> [(i0)] }]"
  43 ; ON-NEXT:   - filter: "[n] -> { Stmt_body_b[i0] : 0 <= i0 < n }"
  44 ; ON-NEXT:     child:
  45 ; ON-NEXT:       schedule: "[n] -> [{ Stmt_body_b[i0] -> [(i0)] }]"
  46
  47
  48 ; OFF-LABEL: Printing analysis 'Polly - Optimize schedule of SCoP' for region: 'for => return' in function 'func':
  49 ; OFF-NEXT:  Calculated schedule:
  50 ; OFF-NEXT:    n/a
  51