diff options
Diffstat (limited to 'polly/test/CodeGen/OpenMP/parallel_loop.ll')
| -rw-r--r-- | polly/test/CodeGen/OpenMP/parallel_loop.ll | 186 |
1 files changed, 186 insertions, 0 deletions
diff --git a/polly/test/CodeGen/OpenMP/parallel_loop.ll b/polly/test/CodeGen/OpenMP/parallel_loop.ll new file mode 100644 index 00000000000..be3b4c74125 --- /dev/null +++ b/polly/test/CodeGen/OpenMP/parallel_loop.ll @@ -0,0 +1,186 @@ +; ModuleID = 'parallel_loop.s' +; RUN: opt %loadPolly %defaultOpts -polly-cloog -polly-codegen -enable-polly-openmp -analyze < %s | FileCheck %s +; RUN: opt %loadPolly %defaultOpts -polly-import-jscop -polly-import-jscop-dir=`dirname %s` -polly-cloog -polly-codegen -enable-polly-openmp -analyze < %s | FileCheck -check-prefix=IMPORT %s +; RUN: opt %loadPolly %defaultOpts -polly-import-jscop -polly-import-jscop-dir=`dirname %s` -polly-cloog -polly-codegen -enable-polly-openmp -analyze < %s | FileCheck -check-prefix=IMPORT %s +; RUN: opt %loadPolly %defaultOpts -polly-import-jscop -polly-import-jscop-postfix=tiled -polly-import-jscop-dir=`dirname %s` -polly-cloog -polly-codegen -enable-polly-openmp -analyze -disable-polly-legality < %s | FileCheck -check-prefix=TILED %s +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" +target triple = "x86_64-unknown-linux-gnu" + +@A = common global [1024 x [1024 x float]] zeroinitializer, align 16 +@B = common global [1024 x [1024 x float]] zeroinitializer, align 16 +@C = common global [1024 x [1024 x float]] zeroinitializer, align 16 +@X = common global [1024 x float] zeroinitializer, align 16 + +define float @parallel_loop() nounwind { +bb: + br label %bb18 + +bb18: ; preds = %bb32, %bb + %indvar9 = phi i64 [ %indvar.next10, %bb32 ], [ 0, %bb ] + %exitcond15 = icmp ne i64 %indvar9, 1024 + br i1 %exitcond15, label %bb19, label %bb33 + +bb19: ; preds = %bb18 + br label %bb20 + +bb20: ; preds = %bb30, %bb19 + %indvar6 = phi i64 [ %indvar.next7, %bb30 ], [ 0, %bb19 ] + %scevgep14 = getelementptr [1024 x [1024 x float]]* @C, i64 0, i64 %indvar9, i64 %indvar6 + %exitcond12 = icmp ne i64 %indvar6, 1024 + br i1 %exitcond12, label %bb21, label %bb31 + +bb21: ; preds = %bb20 + br label %bb22 + +bb22: ; preds = %bb28, %bb21 + %indvar3 = phi i64 [ %indvar.next4, %bb28 ], [ 0, %bb21 ] + %scevgep11 = getelementptr [1024 x [1024 x float]]* @A, i64 0, i64 %indvar9, i64 %indvar3 + %scevgep8 = getelementptr [1024 x [1024 x float]]* @B, i64 0, i64 %indvar3, i64 %indvar6 + %exitcond5 = icmp ne i64 %indvar3, 1024 + br i1 %exitcond5, label %bb23, label %bb29 + +bb23: ; preds = %bb22 + %tmp = load float* %scevgep11, align 4 + %tmp24 = load float* %scevgep8, align 4 + %tmp25 = fmul float %tmp, %tmp24 + %tmp26 = load float* %scevgep14, align 4 + %tmp27 = fadd float %tmp26, %tmp25 + store float %tmp27, float* %scevgep14, align 4 + br label %bb28 + +bb28: ; preds = %bb23 + %indvar.next4 = add i64 %indvar3, 1 + br label %bb22 + +bb29: ; preds = %bb22 + br label %bb30 + +bb30: ; preds = %bb29 + %indvar.next7 = add i64 %indvar6, 1 + br label %bb20 + +bb31: ; preds = %bb20 + br label %bb32 + +bb32: ; preds = %bb31 + %indvar.next10 = add i64 %indvar9, 1 + br label %bb18 + +bb33: ; preds = %bb18 + br label %bb34 + +bb34: ; preds = %bb48, %bb33 + %i.1 = phi i32 [ 0, %bb33 ], [ %tmp49, %bb48 ] + %exitcond2 = icmp ne i32 %i.1, 1024 + br i1 %exitcond2, label %bb35, label %bb50 + +bb35: ; preds = %bb34 + br label %bb36 + +bb36: ; preds = %bb45, %bb35 + %j.1 = phi i32 [ 0, %bb35 ], [ %tmp46, %bb45 ] + %exitcond1 = icmp ne i32 %j.1, 1024 + br i1 %exitcond1, label %bb37, label %bb47 + +bb37: ; preds = %bb36 + br label %bb38 + +bb38: ; preds = %bb43, %bb37 + %indvar = phi i64 [ %indvar.next, %bb43 ], [ 0, %bb37 ] + %scevgep = getelementptr [1024 x float]* @X, i64 0, i64 %indvar + %exitcond = icmp ne i64 %indvar, 1024 + br i1 %exitcond, label %bb39, label %bb44 + +bb39: ; preds = %bb38 + %tmp40 = load float* %scevgep, align 4 + %tmp41 = load float* %scevgep, align 4 + %tmp42 = fadd float %tmp41, %tmp40 + store float %tmp42, float* %scevgep, align 4 + br label %bb43 + +bb43: ; preds = %bb39 + %indvar.next = add i64 %indvar, 1 + br label %bb38 + +bb44: ; preds = %bb38 + br label %bb45 + +bb45: ; preds = %bb44 + %tmp46 = add nsw i32 %j.1, 1 + br label %bb36 + +bb47: ; preds = %bb36 + br label %bb48 + +bb48: ; preds = %bb47 + %tmp49 = add nsw i32 %i.1, 1 + br label %bb34 + +bb50: ; preds = %bb34 + %tmp51 = load float* getelementptr inbounds ([1024 x [1024 x float]]* @C, i64 0, i64 42, i64 42), align 8 + %tmp52 = load float* getelementptr inbounds ([1024 x float]* @X, i64 0, i64 42), align 8 + %tmp53 = fadd float %tmp51, %tmp52 + ret float %tmp53 +} + +; CHECK: for (c2=0;c2<=1023;c2++) { +; CHECK: for (c4=0;c4<=1023;c4++) { +; CHECK: for (c6=0;c6<=1023;c6++) { +; CHECK: Stmt_bb23(c2,c4,c6); +; CHECK: } +; CHECK: } +; CHECK: } +; CHECK: for (c2=0;c2<=1023;c2++) { +; CHECK: for (c4=0;c4<=1023;c4++) { +; CHECK: for (c6=0;c6<=1023;c6++) { +; CHECK: Stmt_bb39(c2,c4,c6); +; CHECK: } +; CHECK: } +; CHECK: } +; CHECK: Parallel loop with iterator 'c2' generated +; CHECK: Parallel loop with iterator 'c6' generated +; CHECK-NOT: Parallel loop + + +; IMPORT: for (c2=0;c2<=1023;c2++) { +; IMPORT: for (c4=0;c4<=1023;c4++) { +; IMPORT: for (c6=0;c6<=1023;c6++) { +; IMPORT: Stmt_bb23(c2,c4,c6); +; IMPORT: Stmt_bb39(c2,c4,c6); +; IMPORT: } +; IMPORT: } +; IMPORT: } +; IMPORT-NOT: Parallel loop + +; TILED: for (c2=0;c2<=1023;c2+=4) { +; TILED: for (c4=0;c4<=1023;c4+=4) { +; TILED: for (c6=0;c6<=1023;c6+=4) { +; TILED: for (c8=c2;c8<=c2+3;c8++) { +; TILED: for (c9=c4;c9<=c4+3;c9++) { +; TILED: for (c10=c6;c10<=c6+3;c10++) { +; TILED: Stmt_bb23(c8,c9,c10); +; TILED: } +; TILED: } +; TILED: } +; TILED: } +; TILED: } +; TILED: } +; TILED: for (c2=0;c2<=1023;c2+=4) { +; TILED: for (c4=0;c4<=1023;c4+=4) { +; TILED: for (c6=0;c6<=1023;c6+=4) { +; TILED: for (c8=c2;c8<=c2+3;c8++) { +; TILED: for (c9=c4;c9<=c4+3;c9++) { +; TILED: for (c10=c6;c10<=c6+3;c10++) { +; TILED: Stmt_bb39(c8,c9,c10); +; TILED: } +; TILED: } +; TILED: } +; TILED: } +; TILED: } +; TILED: } +; I am not sure if we actually may have parallel loops here. The dependency +; analysis does not detect any. This may however be because we do not +; correctly update the imported schedule. Add a check that hopefully fails +; after this is corrected. Or someone proves there are no parallel loops and +; we can remove this comment. +; TILDED-NOT: Parallel loop |
