1; RUN: opt < %s -analyze -delinearize | FileCheck %s 2 3; void foo(long n, long m, long o, double A[n][m][o]) { 4; 5; for (long i = 0; i < n; i++) 6; for (long j = 0; j < m; j++) 7; for (long k = 0; k < o; k++) 8; A[i+3][j-4][k+7] = 1.0; 9; } 10 11; AddRec: {{{(56 + (8 * (-4 + (3 * %m)) * %o) + %A),+,(8 * %m * %o)}<%for.i>,+,(8 * %o)}<%for.j>,+,8}<%for.k> 12; CHECK: Base offset: %A 13; CHECK: ArrayDecl[UnknownSize][%m][%o] with elements of sizeof(double) bytes. 14; CHECK: ArrayRef[{3,+,1}<nw><%for.i>][{-4,+,1}<nw><%for.j>][{7,+,1}<nw><%for.k>] 15 16; AddRec: {{(48 + ((-24 + (24 * %m)) * %o) + %A),+,(8 * %m * %o)}<%for.i>,+,(8 * %o)}<%for.j> 17; CHECK: Base offset: %A 18; CHECK: ArrayDecl[UnknownSize][%o] with elements of sizeof(double) bytes. 19; CHECK: ArrayRef[{(-3 + (3 * %m)),+,%m}<%for.i>][{6,+,%o}<%for.j>] 20 21; AddRec: {(48 + ((-32 + (32 * %m)) * %o) + %A),+,(8 * %m * %o)}<%for.i> 22; CHECK: Base offset: %A 23; CHECK: ArrayDecl[UnknownSize] with elements of sizeof(double) bytes. 24; CHECK: ArrayRef[{(6 + ((-4 + (4 * %m)) * %o)),+,(%m * %o)}<%for.i>] 25 26define void @foo(i64 %n, i64 %m, i64 %o, double* %A) { 27entry: 28 br label %for.i 29 30for.i: 31 %i = phi i64 [ 0, %entry ], [ %i.inc, %for.i.inc ] 32 br label %for.j 33 34for.j: 35 %j = phi i64 [ 0, %for.i ], [ %j.inc, %for.j.inc ] 36 br label %for.k 37 38for.k: 39 %k = phi i64 [ 0, %for.j ], [ %k.inc, %for.k.inc ] 40 %offset0 = add nsw i64 %i, 3 41 %subscript0 = mul i64 %offset0, %m 42 %offset1 = add nsw i64 %j, -4 43 %subscript1 = add i64 %offset1, %subscript0 44 %subscript2 = mul i64 %subscript1, %o 45 %offset2 = add nsw i64 %k, 7 46 %subscript = add i64 %subscript2, %offset2 47 %idx = getelementptr inbounds double* %A, i64 %subscript 48 store double 1.0, double* %idx 49 br label %for.k.inc 50 51for.k.inc: 52 %k.inc = add nsw i64 %k, 1 53 %k.exitcond = icmp eq i64 %k.inc, %o 54 br i1 %k.exitcond, label %for.j.inc, label %for.k 55 56for.j.inc: 57 %j.inc = add nsw i64 %j, 1 58 %j.exitcond = icmp eq i64 %j.inc, %m 59 br i1 %j.exitcond, label %for.i.inc, label %for.j 60 61for.i.inc: 62 %i.inc = add nsw i64 %i, 1 63 %i.exitcond = icmp eq i64 %i.inc, %n 64 br i1 %i.exitcond, label %end, label %for.i 65 66end: 67 ret void 68} 69