67 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3;4; void foo(long n, float A[][n]) {5; for (long i = 0; i < 100; i++)6; for (long j = 0; j < n; j++)7; A[i][j] += A[i][n - j - 1];8; }9;10; Verify that the parameter in the subscript expression is correctly11; recovered.12;13; CHECK: Assumed Context:14; CHECK-NEXT: [n] -> { : }15;16; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]17; CHECK-NEXT: [n] -> { Stmt_for_body3[i0, i1] -> MemRef_A[i0, -1 + n - i1] };18;19target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"20 21define void @foo(i64 %n, ptr %A) {22entry:23 br label %for.cond24 25for.cond: ; preds = %for.inc8, %entry26 %i.0 = phi i64 [ 0, %entry ], [ %inc9, %for.inc8 ]27 %exitcond = icmp ne i64 %i.0, 10028 br i1 %exitcond, label %for.body, label %for.end1029 30for.body: ; preds = %for.cond31 br label %for.cond132 33for.cond1: ; preds = %for.inc, %for.body34 %j.0 = phi i64 [ 0, %for.body ], [ %inc, %for.inc ]35 %cmp2 = icmp slt i64 %j.0, %n36 br i1 %cmp2, label %for.body3, label %for.end37 38for.body3: ; preds = %for.cond139 %sub = sub nsw i64 %n, %j.040 %sub4 = add nsw i64 %sub, -141 %tmp = mul nsw i64 %i.0, %n42 %arrayidx.sum = add i64 %tmp, %sub443 %arrayidx5 = getelementptr inbounds float, ptr %A, i64 %arrayidx.sum44 %tmp1 = load float, ptr %arrayidx5, align 445 %tmp2 = mul nsw i64 %i.0, %n46 %arrayidx6.sum = add i64 %tmp2, %j.047 %arrayidx7 = getelementptr inbounds float, ptr %A, i64 %arrayidx6.sum48 %tmp3 = load float, ptr %arrayidx7, align 449 %add = fadd float %tmp3, %tmp150 store float %add, ptr %arrayidx7, align 451 br label %for.inc52 53for.inc: ; preds = %for.body354 %inc = add nuw nsw i64 %j.0, 155 br label %for.cond156 57for.end: ; preds = %for.cond158 br label %for.inc859 60for.inc8: ; preds = %for.end61 %inc9 = add nuw nsw i64 %i.0, 162 br label %for.cond63 64for.end10: ; preds = %for.cond65 ret void66}67