65 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<import-jscop;codegen>' -polly-import-jscop-postfix=transformed -S < %s | FileCheck %s2;3; Partial write of a (mapped) scalar in a non-affine subregion.4;5; for (int j = 0; j < n; j += 1) {6;subregion:7; val = 21.0 + 21.0;8; if (undef > undef)9;subregion_true: ;10;11;subregion_exit:12; if (j >= 5)13;user:14; A[0] = val;15; }16 17define void @partial_write_mapped_scalar_subregion(i32 %n, ptr noalias nonnull %A) {18entry:19 br label %for20 21for:22 %j = phi i32 [0, %entry], [%j.inc, %inc]23 %j.cmp = icmp slt i32 %j, %n24 br i1 %j.cmp, label %subregion, label %exit25 26 subregion:27 %val = fadd double 21.0, 21.028 %nonaffine.cond = fcmp ogt double undef, undef29 br i1 %nonaffine.cond, label %subregion_true, label %subregion_exit30 31 subregion_true:32 br label %subregion_exit33 34 subregion_exit:35 %if.cond = icmp sgt i32 %j, 536 br i1 %if.cond, label %user, label %inc37 38 user:39 store double %val, ptr %A40 br label %inc41 42inc:43 %j.inc = add nuw nsw i32 %j, 144 br label %for45 46exit:47 br label %return48 49return:50 ret void51}52 53 54; CHECK-LABEL: polly.stmt.subregion_exit.exit:55; CHECK-NEXT: %1 = icmp sge i64 %polly.indvar, 556; CHECK-NEXT: %polly.Stmt_subregion__TO__subregion_exit_Write0.cond = icmp ne i1 %1, false57; CHECK-NEXT: br i1 %polly.Stmt_subregion__TO__subregion_exit_Write0.cond, label %polly.stmt.subregion_exit.exit.Stmt_subregion__TO__subregion_exit_Write0.partial, label %polly.stmt.subregion_exit.exit.cont58 59; CHECK-LABEL: polly.stmt.subregion_exit.exit.Stmt_subregion__TO__subregion_exit_Write0.partial:60; CHECK-NEXT: %polly.access.A = getelementptr double, ptr %A, i64 161; CHECK-NEXT: store double %p_val, ptr %polly.access.A62; CHECK-NEXT: br label %polly.stmt.subregion_exit.exit.cont63 64; CHECK-LABEL: polly.stmt.subregion_exit.exit.cont:65