[Frontend] Remove unused includes (NFC) (#116927)
[llvm-project.git] / llvm / test / Analysis / Delinearization / himeno_1.ll
blob879284498350ab6ffd19e8d7d289ebff9b42751a
1 ; RUN: opt < %s -passes='print<delinearization>' -disable-output 2>&1 | FileCheck %s
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)]
5 ; struct Mat {
6 ;   float* m;
7 ;   int mnums;
8 ;   int mrows;
9 ;   int mcols;
10 ;   int mdeps;
11 ; };
13 ; typedef struct Mat Matrix;
15 ; void jacobi(int nn, Matrix* a, Matrix* p)
16 ; {
17 ;   long i, j, k, max,jmax,kmax;
19 ;   p_rows_sub = p->mrows - 1;
20 ;   p_cols_sub = p->mcols - 1;
21 ;   p_deps_sub = p->mdeps - 1;
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 ; }
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>]
34 %struct.Mat = type { ptr, i32, i32, i32, i32 }
36 define void @jacobi(i32 %nn, ptr nocapture %a, ptr nocapture %p) nounwind uwtable {
37 entry:
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.deps.ptr = getelementptr inbounds %struct.Mat, ptr %a, i64 0, i32 4
53   %a.deps = load i32, ptr %a.deps.ptr
54   %a.base = load ptr, ptr %a, align 8
55   br label %for.i
57 for.i:                                            ; preds = %for.i.inc, %entry
58   %i = phi i64 [ %i.inc, %for.i.inc ], [ 1, %entry ]
59   br label %for.j
61 for.j:                                            ; preds = %for.j.inc, %for.i
62   %j = phi i64 [ %j.inc, %for.j.inc ], [ 1, %for.i ]
63   %a.cols.sext = sext i32 %a.cols to i64
64   %a.deps.sext = sext i32 %a.deps to i64
65   br label %for.k
67 for.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
79 for.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
84 for.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
89 end:                                              ; preds = %for.i.inc
90   ret void