78 lines · plain
1; RUN: not --crash opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-custom<import-jscop>' -polly-import-jscop-postfix=transformed -disable-output < %s 2>&1 | FileCheck %s2;3; #define Ni 10564; #define Nj 10565; #define Nk 10246;7; void ImportArray_Negative_size(double beta, double A[Ni][Nk], double B[Ni][Nj]) {8; int i,j,k;9;10; for (i = 0; i < Ni; i++) {11; for (j = 0; j < Nj; j++) {12; for (k = 0; k < Nk; ++k) {13; B[i][j] = beta * A[i][k];14; }15; }16; }17; }18;19; Verify if the JSONImporter checks if the size of the new array is positive.20; CHECK: The size at index 0 is =< 0.21;22; ModuleID = 'ImportArrays-Negative-size.ll'23;24target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"25 26; Function Attrs: nounwind uwtable27define void @ImportArrays_Negative_Size(double %beta, ptr nocapture readonly %A, ptr nocapture %B) local_unnamed_addr {28entry:29 br label %for.cond1.preheader30 31for.cond1.preheader: ; preds = %for.inc16, %entry32 %indvars.iv35 = phi i64 [ 0, %entry ], [ %indvars.iv.next36, %for.inc16 ]33 br label %for.cond4.preheader34 35for.cond4.preheader: ; preds = %for.inc13, %for.cond1.preheader36 %indvars.iv32 = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next33, %for.inc13 ]37 %arrayidx12 = getelementptr inbounds [1056 x double], ptr %B, i64 %indvars.iv35, i64 %indvars.iv3238 br label %for.body639 40for.body6: ; preds = %for.body6, %for.cond4.preheader41 %indvars.iv = phi i64 [ 0, %for.cond4.preheader ], [ %indvars.iv.next.3, %for.body6 ]42 %arrayidx8 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv43 %0 = load double, ptr %arrayidx8, align 844 %mul = fmul double %0, %beta45 store double %mul, ptr %arrayidx12, align 846 %indvars.iv.next = or disjoint i64 %indvars.iv, 147 %arrayidx8.1 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next48 %1 = load double, ptr %arrayidx8.1, align 849 %mul.1 = fmul double %1, %beta50 store double %mul.1, ptr %arrayidx12, align 851 %indvars.iv.next.1 = or disjoint i64 %indvars.iv, 252 %arrayidx8.2 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next.153 %2 = load double, ptr %arrayidx8.2, align 854 %mul.2 = fmul double %2, %beta55 store double %mul.2, ptr %arrayidx12, align 856 %indvars.iv.next.2 = or disjoint i64 %indvars.iv, 357 %arrayidx8.3 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next.258 %3 = load double, ptr %arrayidx8.3, align 859 %mul.3 = fmul double %3, %beta60 store double %mul.3, ptr %arrayidx12, align 861 %indvars.iv.next.3 = add nsw i64 %indvars.iv, 462 %exitcond.3 = icmp eq i64 %indvars.iv.next.3, 102463 br i1 %exitcond.3, label %for.inc13, label %for.body664 65for.inc13: ; preds = %for.body666 %indvars.iv.next33 = add nuw nsw i64 %indvars.iv32, 167 %exitcond34 = icmp eq i64 %indvars.iv.next33, 105668 br i1 %exitcond34, label %for.inc16, label %for.cond4.preheader69 70for.inc16: ; preds = %for.inc1371 %indvars.iv.next36 = add nuw nsw i64 %indvars.iv35, 172 %exitcond37 = icmp eq i64 %indvars.iv.next36, 105673 br i1 %exitcond37, label %for.end18, label %for.cond1.preheader74 75for.end18: ; preds = %for.inc1676 ret void77}78