1; RUN: opt < %s -analyze -enable-new-pm=0 -delinearize | FileCheck %s
2; RUN: opt < %s -passes='print<delinearization>' -disable-output 2>&1 | FileCheck %s
3
4; #define MR(mt,n,r,c,d)  mt->m[(n) * mt->mrows * mt->mcols * mt->mdeps + (r) * mt->mcols* mt->mdeps + (c) * mt->mdeps + (d)]
5;
6; struct Mat {
7;   float* m;
8;   int mnums;
9;   int mrows;
10;   int mcols;
11;   int mdeps;
12; };
13;
14; typedef struct Mat Matrix;
15;
16; void jacobi(int nn, Matrix* a, Matrix* p)
17; {
18;   long i, j, k, max,jmax,kmax;
19;
20;   p_rows_sub = p->mrows - 1;
21;   p_cols_sub = p->mcols - 1;
22;   p_deps_sub = p->mdeps - 1;
23;
24;     for(i = 1; i < p_rows_sub; i++)
25;       for(j = 1; j < p_cols_sub; j++)
26;         for(k = 1; k < p_deps_sub; k++)
27;           MR(a,0,i,j,k) = i + j + k;
28; }
29
30; AddRec: {{{(4 + (4 * (sext i32 %a.deps to i64) * (1 + (sext i32 %a.cols to i64))) + %a.base),+,(4 * (sext i32 %a.deps to i64) * (sext i32 %a.cols to i64))}<%for.i>,+,(4 * (sext i32 %a.deps to i64))}<%for.j>,+,4}<%for.k>
31; CHECK: Base offset: %a.base
32; CHECK: ArrayDecl[UnknownSize][(sext i32 %a.cols to i64)][(sext i32 %a.deps to i64)] with elements of 4 bytes.
33; CHECK: ArrayRef[{1,+,1}<nuw><nsw><%for.i>][{1,+,1}<nuw><nsw><%for.j>][{1,+,1}<nuw><nsw><%for.k>]
34
35%struct.Mat = type { float*, i32, i32, i32, i32 }
36
37define void @jacobi(i32 %nn, %struct.Mat* nocapture %a, %struct.Mat* nocapture %p) nounwind uwtable {
38entry:
39  %p.rows.ptr = getelementptr inbounds %struct.Mat, %struct.Mat* %p, i64 0, i32 2
40  %p.rows = load i32, i32* %p.rows.ptr
41  %p.rows.sub = add i32 %p.rows, -1
42  %p.rows.sext = sext i32 %p.rows.sub to i64
43  %p.cols.ptr = getelementptr inbounds %struct.Mat, %struct.Mat* %p, i64 0, i32 3
44  %p.cols = load i32, i32* %p.cols.ptr
45  %p.cols.sub = add i32 %p.cols, -1
46  %p.cols.sext = sext i32 %p.cols.sub to i64
47  %p.deps.ptr = getelementptr inbounds %struct.Mat, %struct.Mat* %p, i64 0, i32 4
48  %p.deps = load i32, i32* %p.deps.ptr
49  %p.deps.sub = add i32 %p.deps, -1
50  %p.deps.sext = sext i32 %p.deps.sub to i64
51  %a.cols.ptr = getelementptr inbounds %struct.Mat, %struct.Mat* %a, i64 0, i32 3
52  %a.cols = load i32, i32* %a.cols.ptr
53  %a.deps.ptr = getelementptr inbounds %struct.Mat, %struct.Mat* %a, i64 0, i32 4
54  %a.deps = load i32, i32* %a.deps.ptr
55  %a.base.ptr = getelementptr inbounds %struct.Mat, %struct.Mat* %a, i64 0, i32 0
56  %a.base = load float*, float** %a.base.ptr, align 8
57  br label %for.i
58
59for.i:                                            ; preds = %for.i.inc, %entry
60  %i = phi i64 [ %i.inc, %for.i.inc ], [ 1, %entry ]
61  br label %for.j
62
63for.j:                                            ; preds = %for.j.inc, %for.i
64  %j = phi i64 [ %j.inc, %for.j.inc ], [ 1, %for.i ]
65  %a.cols.sext = sext i32 %a.cols to i64
66  %a.deps.sext = sext i32 %a.deps to i64
67  br label %for.k
68
69for.k:                                            ; preds = %for.k, %for.j
70  %k = phi i64 [ 1, %for.j ], [ %k.inc, %for.k ]
71  %tmp1 = mul nsw i64 %a.cols.sext, %i
72  %tmp2 = add i64 %tmp1, %j
73  %tmp3 = mul i64 %tmp2, %a.deps.sext
74  %tmp4 = add nsw i64 %k, %tmp3
75  %arrayidx = getelementptr inbounds float, float* %a.base, i64 %tmp4
76  store float 1.000000e+00, float* %arrayidx
77  %k.inc = add nsw i64 %k, 1
78  %k.exitcond = icmp eq i64 %k.inc, %p.deps.sext
79  br i1 %k.exitcond, label %for.j.inc, label %for.k
80
81for.j.inc:                                        ; preds = %for.k
82  %j.inc = add nsw i64 %j, 1
83  %j.exitcond = icmp eq i64 %j.inc, %p.cols.sext
84  br i1 %j.exitcond, label %for.i.inc, label %for.j
85
86for.i.inc:                                        ; preds = %for.j.inc
87  %i.inc = add nsw i64 %i, 1
88  %i.exitcond = icmp eq i64 %i.inc, %p.rows.sext
89  br i1 %i.exitcond, label %end, label %for.i
90
91end:                                              ; preds = %for.i.inc
92  ret void
93}
94