71 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<mse>' -polly-print-mse -disable-output < %s | FileCheck %s2; RUN: opt %loadNPMPolly '-passes=polly-custom<mse>' -polly-print-mse -pass-remarks-analysis=polly-mse -disable-output < %s 2>&1 | FileCheck %s --check-prefix=MSE3;4; Verify that Polly detects problems and does not expand the array5;6; Original source code :7;8; #define Ni 20009; #define Nj 300010;11; double mse(double A[Ni], double B[Nj]) {12; int i;13; double tmp = 6;14; for (i = 0; i < Ni; i++) {15; for (int j = 2; j<Nj; j++) {16; B[j-1] = j;17; }18; A[i] = B[i];19; }20; return tmp;21; }22;23; Check that the pass detects the problem of read from original array after expansion.24;25; MSE: The expansion of MemRef_B would lead to a read from the original array.26;27; CHECK-NOT: double MemRef_B2_expanded[2000][3000]; // Element size 828;29; Check that the memory accesses are not modified30;31; CHECK-NOT: new: { Stmt_for_body3[i0, i1] -> MemRef_B_Stmt_for_body3_expanded[i0, i1] };32; CHECK-NOT: new: { Stmt_for_end[i0] -> MemRef_B_Stmt_for_body3_expanded33;34target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"35target triple = "x86_64-unknown-linux-gnu"36 37define double @mse(ptr %A, ptr %B) {38entry:39 br label %entry.split40 41entry.split: ; preds = %entry42 br label %for.body43 44for.body: ; preds = %entry.split, %for.end45 %indvars.iv4 = phi i64 [ 0, %entry.split ], [ %indvars.iv.next5, %for.end ]46 br label %for.body347 48for.body3: ; preds = %for.body, %for.body349 %indvars.iv = phi i64 [ 2, %for.body ], [ %indvars.iv.next, %for.body3 ]50 %0 = trunc i64 %indvars.iv to i3251 %conv = sitofp i32 %0 to double52 %1 = add nsw i64 %indvars.iv, -153 %arrayidx = getelementptr inbounds double, ptr %B, i64 %154 store double %conv, ptr %arrayidx, align 855 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 156 %exitcond = icmp ne i64 %indvars.iv.next, 300057 br i1 %exitcond, label %for.body3, label %for.end58 59for.end: ; preds = %for.body360 %arrayidx5 = getelementptr inbounds double, ptr %B, i64 %indvars.iv461 %2 = load i64, ptr %arrayidx5, align 862 %arrayidx7 = getelementptr inbounds double, ptr %A, i64 %indvars.iv463 store i64 %2, ptr %arrayidx7, align 864 %indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 165 %exitcond6 = icmp ne i64 %indvars.iv.next5, 200066 br i1 %exitcond6, label %for.body, label %for.end1067 68for.end10: ; preds = %for.end69 ret double 6.000000e+0070}71