60 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][j][k] = 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: {{\{\{\{}}0,+,(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[{0,+,1}<nuw><nsw><%for.i>][{0,+,1}<nuw><nsw><%for.j>][{0,+,1}<nuw><nsw><%for.k>]19; CHECK-NEXT: Delinearization validation: Succeeded20;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 %subscript0 = mul i64 %i, %m35 %subscript1 = add i64 %j, %subscript036 %subscript2 = mul i64 %subscript1, %o37 %subscript = add i64 %subscript2, %k38 %idx = getelementptr inbounds double, ptr %A, i64 %subscript39 store double 1.0, ptr %idx40 br label %for.k.inc41 42for.k.inc:43 %k.inc = add nsw i64 %k, 144 %k.exitcond = icmp eq i64 %k.inc, %o45 br i1 %k.exitcond, label %for.j.inc, label %for.k46 47for.j.inc:48 %j.inc = add nsw i64 %j, 149 %j.exitcond = icmp eq i64 %j.inc, %m50 br i1 %j.exitcond, label %for.i.inc, label %for.j51 52for.i.inc:53 %i.inc = add nsw i64 %i, 154 %i.exitcond = icmp eq i64 %i.inc, %n55 br i1 %i.exitcond, label %end, label %for.i56 57end:58 ret void59}60