63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes='print<delinearization>' -disable-output 2>&1 | FileCheck %s3 4; void foo(long n, long m, long o, double A[n][m][o]) {5;6; for (long i = 0; i < n; i++)7; for (long j = 0; j < m; j++)8; for (long k = 0; k < o; k++)9; A[i+3][j-4][k+7] = 1.0;10; }11 12define void @foo(i64 %n, i64 %m, i64 %o, ptr %A) {13; CHECK-LABEL: 'foo'14; CHECK-NEXT: Inst: store double 1.000000e+00, ptr %idx, align 815; CHECK-NEXT: AccessFunction: {{\{\{\{}}(56 + (8 * (-4 + (3 * %m)) * %o)),+,(8 * %m * %o)}<%for.i>,+,(8 * %o)}<%for.j>,+,8}<%for.k>16; CHECK-NEXT: Base offset: %A17; CHECK-NEXT: ArrayDecl[UnknownSize][%m][%o] with elements of 8 bytes.18; CHECK-NEXT: ArrayRef[{3,+,1}<nuw><%for.i>][{-4,+,1}<nsw><%for.j>][{7,+,1}<nuw><nsw><%for.k>]19; CHECK-NEXT: Delinearization validation: Failed20;21entry:22 br label %for.i23 24for.i:25 %i = phi i64 [ 0, %entry ], [ %i.inc, %for.i.inc ]26 br label %for.j27 28for.j:29 %j = phi i64 [ 0, %for.i ], [ %j.inc, %for.j.inc ]30 br label %for.k31 32for.k:33 %k = phi i64 [ 0, %for.j ], [ %k.inc, %for.k.inc ]34 %offset0 = add nsw i64 %i, 335 %subscript0 = mul i64 %offset0, %m36 %offset1 = add nsw i64 %j, -437 %subscript1 = add i64 %offset1, %subscript038 %subscript2 = mul i64 %subscript1, %o39 %offset2 = add nsw i64 %k, 740 %subscript = add i64 %subscript2, %offset241 %idx = getelementptr inbounds double, ptr %A, i64 %subscript42 store double 1.0, ptr %idx43 br label %for.k.inc44 45for.k.inc:46 %k.inc = add nsw i64 %k, 147 %k.exitcond = icmp eq i64 %k.inc, %o48 br i1 %k.exitcond, label %for.j.inc, label %for.k49 50for.j.inc:51 %j.inc = add nsw i64 %j, 152 %j.exitcond = icmp eq i64 %j.inc, %m53 br i1 %j.exitcond, label %for.i.inc, label %for.j54 55for.i.inc:56 %i.inc = add nsw i64 %i, 157 %i.exitcond = icmp eq i64 %i.inc, %n58 br i1 %i.exitcond, label %end, label %for.i59 60end:61 ret void62}63