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