1; RUN: not --crash opt %loadPolly -polly-stmt-granularity=bb -polly-scops -analyze -polly-import-jscop -polly-import-jscop-postfix=transformed < %s 2>&1 | FileCheck %s
2;
3; #define Ni 1056
4; #define Nj 1056
5; #define Nk 1024
6;
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 uwtable
27define void @ImportArrays_Negative_Size(double %beta, [1024 x double]* nocapture readonly %A, [1056 x double]* nocapture %B) local_unnamed_addr {
28entry:
29  br label %for.cond1.preheader
30
31for.cond1.preheader:                              ; preds = %for.inc16, %entry
32  %indvars.iv35 = phi i64 [ 0, %entry ], [ %indvars.iv.next36, %for.inc16 ]
33  br label %for.cond4.preheader
34
35for.cond4.preheader:                              ; preds = %for.inc13, %for.cond1.preheader
36  %indvars.iv32 = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next33, %for.inc13 ]
37  %arrayidx12 = getelementptr inbounds [1056 x double], [1056 x double]* %B, i64 %indvars.iv35, i64 %indvars.iv32
38  br label %for.body6
39
40for.body6:                                        ; preds = %for.body6, %for.cond4.preheader
41  %indvars.iv = phi i64 [ 0, %for.cond4.preheader ], [ %indvars.iv.next.3, %for.body6 ]
42  %arrayidx8 = getelementptr inbounds [1024 x double], [1024 x double]* %A, i64 %indvars.iv35, i64 %indvars.iv
43  %0 = load double, double* %arrayidx8, align 8
44  %mul = fmul double %0, %beta
45  store double %mul, double* %arrayidx12, align 8
46  %indvars.iv.next = or i64 %indvars.iv, 1
47  %arrayidx8.1 = getelementptr inbounds [1024 x double], [1024 x double]* %A, i64 %indvars.iv35, i64 %indvars.iv.next
48  %1 = load double, double* %arrayidx8.1, align 8
49  %mul.1 = fmul double %1, %beta
50  store double %mul.1, double* %arrayidx12, align 8
51  %indvars.iv.next.1 = or i64 %indvars.iv, 2
52  %arrayidx8.2 = getelementptr inbounds [1024 x double], [1024 x double]* %A, i64 %indvars.iv35, i64 %indvars.iv.next.1
53  %2 = load double, double* %arrayidx8.2, align 8
54  %mul.2 = fmul double %2, %beta
55  store double %mul.2, double* %arrayidx12, align 8
56  %indvars.iv.next.2 = or i64 %indvars.iv, 3
57  %arrayidx8.3 = getelementptr inbounds [1024 x double], [1024 x double]* %A, i64 %indvars.iv35, i64 %indvars.iv.next.2
58  %3 = load double, double* %arrayidx8.3, align 8
59  %mul.3 = fmul double %3, %beta
60  store double %mul.3, double* %arrayidx12, align 8
61  %indvars.iv.next.3 = add nsw i64 %indvars.iv, 4
62  %exitcond.3 = icmp eq i64 %indvars.iv.next.3, 1024
63  br i1 %exitcond.3, label %for.inc13, label %for.body6
64
65for.inc13:                                        ; preds = %for.body6
66  %indvars.iv.next33 = add nuw nsw i64 %indvars.iv32, 1
67  %exitcond34 = icmp eq i64 %indvars.iv.next33, 1056
68  br i1 %exitcond34, label %for.inc16, label %for.cond4.preheader
69
70for.inc16:                                        ; preds = %for.inc13
71  %indvars.iv.next36 = add nuw nsw i64 %indvars.iv35, 1
72  %exitcond37 = icmp eq i64 %indvars.iv.next36, 1056
73  br i1 %exitcond37, label %for.end18, label %for.cond1.preheader
74
75for.end18:                                        ; preds = %for.inc16
76  ret void
77}
78