89 lines · plain
1; RUN: opt %loadNPMPolly -polly-reschedule=0 -polly-loopfusion-greedy=1 -polly-postopts=0 '-passes=polly-custom<opt-isl>' -polly-print-opt-isl -disable-output < %s | FileCheck %s --check-prefixes=CHECK,RAW2; RUN: opt %loadNPMPolly -polly-reschedule=1 -polly-loopfusion-greedy=1 -polly-postopts=0 '-passes=polly-custom<opt-isl>' -polly-print-opt-isl -disable-output < %s | FileCheck %s --check-prefixes=CHECK3 4define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B, i32 %k) {5entry:6 br label %for17 8 9for1:10 %j1 = phi i32 [0, %entry], [%j1.inc, %inc1]11 %j1.cmp = icmp slt i32 %j1, %n12 br i1 %j1.cmp, label %body1, label %exit113 14 body1:15 %arrayidx1 = getelementptr inbounds double, ptr %A, i32 %j116 store double 21.0, ptr %arrayidx117 br label %inc118 19inc1:20 %j1.inc = add nuw nsw i32 %j1, 121 br label %for122 23exit1:24 br label %for225 26 27for2:28 %j2 = phi i32 [0, %exit1], [%j2.inc, %inc2]29 %j2.cmp = icmp slt i32 %j2, %n30 br i1 %j2.cmp, label %body2, label %exit231 32 body2:33 %arrayidx2 = getelementptr inbounds double, ptr %B, i32 %j234 store double 42.0, ptr %arrayidx235 br label %inc236 37inc2:38 %j2.inc = add nuw nsw i32 %j2, 139 br label %for240 41exit2:42 br label %for343 44 45for3:46 %j3 = phi i32 [0, %exit2], [%j3.inc, %inc3]47 %j3.cmp = icmp slt i32 %j3, %n48 br i1 %j3.cmp, label %body3, label %exit349 50 body3:51 %idx3 = add i32 %j3, %k52 %arrayidx3 = getelementptr inbounds double, ptr %B, i32 %idx353 store double 84.0, ptr %arrayidx354 br label %inc355 56inc3:57 %j3.inc = add nuw nsw i32 %j3, 158 br label %for3, !llvm.loop !159 60exit3:61 br label %return62 63 64return:65 ret void66}67 68 69!1 = distinct !{!1, !2}70!2 = !{!"llvm.loop.id", !"Hello World!"}71 72 73; CHECK: Calculated schedule:74; CHECK-NEXT: domain: "[n, k] -> { Stmt_body2[i0] : 0 <= i0 < n; Stmt_body1[i0] : 0 <= i0 < n; Stmt_body3[i0] : 0 <= i0 < n }"75; CHECK-NEXT: child:76; CHECK-NEXT: sequence:77; CHECK-NEXT: - filter: "[n, k] -> { Stmt_body2[i0]; Stmt_body1[i0] }"78; CHECK-NEXT: child:79; CHECK-NEXT: schedule: "[n, k] -> [{ Stmt_body2[i0] -> [(i0)]; Stmt_body1[i0] -> [(i0)] }]"80; CHECK-NEXT: child:81; CHECK-NEXT: sequence:82; CHECK-NEXT: - filter: "[n, k] -> { Stmt_body1[i0] }"83; CHECK-NEXT: - filter: "[n, k] -> { Stmt_body2[i0] }"84; CHECK-NEXT: - filter: "[n, k] -> { Stmt_body3[i0] }"85; CHECK-NEXT: child:86; RAW-NEXT: mark: "Loop with Metadata"87; RAW-NEXT: child:88; CHECK-NEXT: schedule: "[n, k] -> [{ Stmt_body3[i0] -> [(i0)] }]"89