60 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<opt-isl>' -polly-print-opt-isl -disable-output < %s | FileCheck %s --check-prefix=OPT --match-full-lines2; RUN: opt %loadNPMPolly '-passes=polly-custom<opt-isl;ast>' -polly-print-ast -disable-output < %s | FileCheck %s --check-prefix=AST --match-full-lines3; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts;opt-isl>' -S < %s | FileCheck %s --check-prefix=CODEGEN4;5; Partial unroll by a factor of 4.6;7define void @func(i32 %n, ptr noalias nonnull %A) {8entry:9 br label %for10 11for:12 %j = phi i32 [0, %entry], [%j.inc, %inc]13 %j.cmp = icmp slt i32 %j, %n14 br i1 %j.cmp, label %body, label %exit15 16 body:17 store double 42.0, ptr %A18 br label %inc19 20inc:21 %j.inc = add nuw nsw i32 %j, 122 br label %for, !llvm.loop !223 24exit:25 br label %return26 27return:28 ret void29}30 31 32!2 = distinct !{!2, !4, !5, !6}33!4 = !{!"llvm.loop.unroll.enable", i1 true}34!5 = !{!"llvm.loop.unroll.count", i4 4}35!6 = !{!"llvm.loop.unroll.followup_unrolled", !7}36 37!7 = distinct !{!7, !8}38!8 = !{!"llvm.loop.id", !"This-is-the-unrolled-loop"}39 40 41; OPT-LABEL: Printing analysis 'Polly - Optimize schedule of SCoP' for region: 'for => return' in function 'func':42; OPT: domain: "[n] -> { Stmt_body[i0] : 0 <= i0 < n }"43; OPT: mark: "Loop with Metadata"44; OPT: schedule: "[n] -> [{ Stmt_body[i0] -> [(i0 - (i0) mod 4)] }]"45; OPT: sequence:46; OPT-NEXT: - filter: "[n] -> { Stmt_body[i0] : (i0) mod 4 = 0 }"47; OPT-NEXT: - filter: "[n] -> { Stmt_body[i0] : (-1 + i0) mod 4 = 0 }"48; OPT-NEXT: - filter: "[n] -> { Stmt_body[i0] : (2 + i0) mod 4 = 0 }"49; OPT-NEXT: - filter: "[n] -> { Stmt_body[i0] : (1 + i0) mod 4 = 0 }"50 51 52; AST-LABEL: :: isl ast :: func :: %for---%return53; AST: // Loop with Metadata54; AST-NEXT: for (int c0 = 0; c0 < n; c0 += 4) {55 56 57; CODEGEN: br i1 %polly.loop_cond, label %polly.loop_header, label %polly.loop_exit, !llvm.loop ![[LOOPID:[0-9]+]]58; CODEGEN: ![[LOOPID]] = distinct !{![[LOOPID]], ![[LOOPNAME:[0-9]+]]}59; CODEGEN: ![[LOOPNAME]] = !{!"llvm.loop.id", !"This-is-the-unrolled-loop"}60