91 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=CHECK,OPT3 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 %idx1 = add i32 %j1, %k16 %arrayidx1 = getelementptr inbounds double, ptr %B, i32 %idx117 store double 21.0, ptr %arrayidx118 br label %inc119 20inc1:21 %j1.inc = add nuw nsw i32 %j1, 122 br label %for1, !llvm.loop !123 24exit1:25 br label %for226 27 28for2:29 %j2 = phi i32 [0, %exit1], [%j2.inc, %inc2]30 %j2.cmp = icmp slt i32 %j2, %n31 br i1 %j2.cmp, label %body2, label %exit232 33 body2:34 %arrayidx2 = getelementptr inbounds double, ptr %B, i32 %j235 store double 42.0, ptr %arrayidx236 br label %inc237 38inc2:39 %j2.inc = add nuw nsw i32 %j2, 140 br label %for241 42exit2:43 br label %for344 45 46for3:47 %j3 = phi i32 [0, %exit2], [%j3.inc, %inc3]48 %j3.cmp = icmp slt i32 %j3, %n49 br i1 %j3.cmp, label %body3, label %exit350 51 body3:52 %arrayidx3 = getelementptr inbounds double, ptr %A, i32 %j353 store double 84.0, ptr %arrayidx354 br label %inc355 56inc3:57 %j3.inc = add nuw nsw i32 %j3, 158 br label %for359 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_body1[i0] }"78; CHECK-NEXT: child:79; RAW-NEXT: mark: "Loop with Metadata"80; RAW-NEXT: child:81; CHECK-NEXT: schedule: "[n, k] -> [{ Stmt_body1[i0] -> [(i0)] }]"82; OPT-NEXT: permutable: 183; OPT-NEXT: coincident: [ 1 ]84; CHECK-NEXT: - filter: "[n, k] -> { Stmt_body2[i0]; Stmt_body3[i0] }"85; CHECK-NEXT: child:86; CHECK-NEXT: schedule: "[n, k] -> [{ Stmt_body2[i0] -> [(i0)]; Stmt_body3[i0] -> [(i0)] }]"87; CHECK-NEXT: child:88; CHECK-NEXT: sequence:89; CHECK-NEXT: - filter: "[n, k] -> { Stmt_body2[i0] }"90; CHECK-NEXT: - filter: "[n, k] -> { Stmt_body3[i0] }"91