52 lines · plain
1; RUN: opt %loadNPMPolly -polly-reschedule=0 -polly-pragma-based-opts=1 '-passes=polly-custom<opt-isl>' -polly-print-opt-isl -disable-output < %s | FileCheck %s --match-full-lines --check-prefix=ON2; RUN: opt %loadNPMPolly -polly-reschedule=0 -polly-pragma-based-opts=0 '-passes=polly-custom<opt-isl>' -polly-print-opt-isl -disable-output < %s | FileCheck %s --match-full-lines --check-prefix=OFF3;4define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B) {5entry:6 br label %for7 8for:9 %j = phi i32 [0, %entry], [%j.inc, %inc]10 %j.cmp = icmp slt i32 %j, %n11 br i1 %j.cmp, label %body, label %exit12 13 body:14 store double 42.0, ptr %A15 %c = fadd double 21.0, 21.016 store double %c, ptr %B17 br label %inc18 19inc:20 %j.inc = add nuw nsw i32 %j, 121 br label %for, !llvm.loop !222 23exit:24 br label %return25 26return:27 ret void28}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/a51 52