xref: /petsc/src/mat/impls/sell/seq/sell.c (revision 11a5261e40035b7c793f2783a2ba6c7cd4f3b077)
1d4002b98SHong Zhang 
2d4002b98SHong Zhang /*
3d4002b98SHong Zhang   Defines the basic matrix operations for the SELL matrix storage format.
4d4002b98SHong Zhang */
5d4002b98SHong Zhang #include <../src/mat/impls/sell/seq/sell.h> /*I   "petscmat.h"  I*/
6d4002b98SHong Zhang #include <petscblaslapack.h>
7d4002b98SHong Zhang #include <petsc/private/kernels/blocktranspose.h>
8ed73aabaSBarry Smith 
9ed73aabaSBarry Smith static PetscBool  cited      = PETSC_FALSE;
109371c9d4SSatish Balay static const char citation[] = "@inproceedings{ZhangELLPACK2018,\n"
11ed73aabaSBarry Smith                                " author = {Hong Zhang and Richard T. Mills and Karl Rupp and Barry F. Smith},\n"
12ed73aabaSBarry Smith                                " title = {Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}},\n"
13ed73aabaSBarry Smith                                " booktitle = {Proceedings of the 47th International Conference on Parallel Processing},\n"
14ed73aabaSBarry Smith                                " year = 2018\n"
15ed73aabaSBarry Smith                                "}\n";
16ed73aabaSBarry Smith 
175f70456aSHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && (defined(__AVX512F__) || (defined(__AVX2__) && defined(__FMA__)) || defined(__AVX__)) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
184243e2ceSHong Zhang 
19d4002b98SHong Zhang #include <immintrin.h>
20d4002b98SHong Zhang 
21d4002b98SHong Zhang #if !defined(_MM_SCALE_8)
22d4002b98SHong Zhang #define _MM_SCALE_8 8
23d4002b98SHong Zhang #endif
24d4002b98SHong Zhang 
25d4002b98SHong Zhang #if defined(__AVX512F__)
26d4002b98SHong Zhang /* these do not work
27d4002b98SHong Zhang    vec_idx  = _mm512_loadunpackhi_epi32(vec_idx,acolidx);
28d4002b98SHong Zhang    vec_vals = _mm512_loadunpackhi_pd(vec_vals,aval);
29d4002b98SHong Zhang   */
30d4002b98SHong Zhang #define AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \
31d4002b98SHong Zhang   /* if the mask bit is set, copy from acolidx, otherwise from vec_idx */ \
32ef588d5cSRichard Tran Mills   vec_idx  = _mm256_loadu_si256((__m256i const *)acolidx); \
33ef588d5cSRichard Tran Mills   vec_vals = _mm512_loadu_pd(aval); \
34d4002b98SHong Zhang   vec_x    = _mm512_i32gather_pd(vec_idx, x, _MM_SCALE_8); \
35a48a6482SHong Zhang   vec_y    = _mm512_fmadd_pd(vec_x, vec_vals, vec_y)
365f70456aSHong Zhang #elif defined(__AVX2__) && defined(__FMA__)
37a48a6482SHong Zhang #define AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \
38ef588d5cSRichard Tran Mills   vec_vals = _mm256_loadu_pd(aval); \
39ef588d5cSRichard Tran Mills   vec_idx  = _mm_loadu_si128((__m128i const *)acolidx); /* SSE2 */ \
40a48a6482SHong Zhang   vec_x    = _mm256_i32gather_pd(x, vec_idx, _MM_SCALE_8); \
41a48a6482SHong Zhang   vec_y    = _mm256_fmadd_pd(vec_x, vec_vals, vec_y)
42d4002b98SHong Zhang #endif
43d4002b98SHong Zhang #endif /* PETSC_HAVE_IMMINTRIN_H */
44d4002b98SHong Zhang 
45d4002b98SHong Zhang /*@C
46d4002b98SHong Zhang  MatSeqSELLSetPreallocation - For good matrix assembly performance
47d4002b98SHong Zhang  the user should preallocate the matrix storage by setting the parameter nz
48d4002b98SHong Zhang  (or the array nnz).  By setting these parameters accurately, performance
49d4002b98SHong Zhang  during matrix assembly can be increased significantly.
50d4002b98SHong Zhang 
51d083f849SBarry Smith  Collective
52d4002b98SHong Zhang 
53d4002b98SHong Zhang  Input Parameters:
54*11a5261eSBarry Smith  +  B - The `MATSEQSELL` matrix
55d4002b98SHong Zhang  .  nz - number of nonzeros per row (same for all rows)
56d4002b98SHong Zhang  -  nnz - array containing the number of nonzeros in the various rows
57d4002b98SHong Zhang  (possibly different for each row) or NULL
58d4002b98SHong Zhang 
59d4002b98SHong Zhang  Notes:
60d4002b98SHong Zhang  If nnz is given then nz is ignored.
61d4002b98SHong Zhang 
62d4002b98SHong Zhang  Specify the preallocated storage with either nz or nnz (not both).
63*11a5261eSBarry Smith  Set nz = `PETSC_DEFAULT` and nnz = NULL for PETSc to control dynamic memory
64d4002b98SHong Zhang  allocation.  For large problems you MUST preallocate memory or you
65d4002b98SHong Zhang  will get TERRIBLE performance, see the users' manual chapter on matrices.
66d4002b98SHong Zhang 
67*11a5261eSBarry Smith  You can call `MatGetInfo()` to get information on how effective the preallocation was;
68d4002b98SHong Zhang  for example the fields mallocs,nz_allocated,nz_used,nz_unneeded;
69d4002b98SHong Zhang  You can also run with the option -info and look for messages with the string
70d4002b98SHong Zhang  malloc in them to see if additional memory allocation was needed.
71d4002b98SHong Zhang 
72*11a5261eSBarry Smith  Developers: Use nz of `MAT_SKIP_ALLOCATION` to not allocate any space for the matrix
73d4002b98SHong Zhang  entries or columns indices.
74d4002b98SHong Zhang 
75c7ee91abSRichard Tran Mills  The maximum number of nonzeos in any row should be as accurate as possible.
76c7ee91abSRichard Tran Mills  If it is underestimated, you will get bad performance due to reallocation
77d4002b98SHong Zhang  (MatSeqXSELLReallocateSELL).
78d4002b98SHong Zhang 
79d4002b98SHong Zhang  Level: intermediate
80d4002b98SHong Zhang 
81*11a5261eSBarry Smith  .seealso: `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()`
82d4002b98SHong Zhang  @*/
839371c9d4SSatish Balay PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) {
84d4002b98SHong Zhang   PetscFunctionBegin;
85d4002b98SHong Zhang   PetscValidHeaderSpecific(B, MAT_CLASSID, 1);
86d4002b98SHong Zhang   PetscValidType(B, 1);
87cac4c232SBarry Smith   PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen));
88d4002b98SHong Zhang   PetscFunctionReturn(0);
89d4002b98SHong Zhang }
90d4002b98SHong Zhang 
919371c9d4SSatish Balay PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) {
92d4002b98SHong Zhang   Mat_SeqSELL *b;
93d4002b98SHong Zhang   PetscInt     i, j, totalslices;
94d4002b98SHong Zhang   PetscBool    skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE;
95d4002b98SHong Zhang 
96d4002b98SHong Zhang   PetscFunctionBegin;
97d4002b98SHong Zhang   if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE;
98d4002b98SHong Zhang   if (maxallocrow == MAT_SKIP_ALLOCATION) {
99d4002b98SHong Zhang     skipallocation = PETSC_TRUE;
100d4002b98SHong Zhang     maxallocrow    = 0;
101d4002b98SHong Zhang   }
102d4002b98SHong Zhang 
1039566063dSJacob Faibussowitsch   PetscCall(PetscLayoutSetUp(B->rmap));
1049566063dSJacob Faibussowitsch   PetscCall(PetscLayoutSetUp(B->cmap));
105d4002b98SHong Zhang 
106d4002b98SHong Zhang   /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */
107d4002b98SHong Zhang   if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5;
10808401ef6SPierre Jolivet   PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow);
109d4002b98SHong Zhang   if (rlen) {
110d4002b98SHong Zhang     for (i = 0; i < B->rmap->n; i++) {
11108401ef6SPierre Jolivet       PetscCheck(rlen[i] >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be less than 0: local row %" PetscInt_FMT " value %" PetscInt_FMT, i, rlen[i]);
11208401ef6SPierre Jolivet       PetscCheck(rlen[i] <= B->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be greater than row length: local row %" PetscInt_FMT " value %" PetscInt_FMT " rowlength %" PetscInt_FMT, i, rlen[i], B->cmap->n);
113d4002b98SHong Zhang     }
114d4002b98SHong Zhang   }
115d4002b98SHong Zhang 
116d4002b98SHong Zhang   B->preallocated = PETSC_TRUE;
117d4002b98SHong Zhang 
118d4002b98SHong Zhang   b = (Mat_SeqSELL *)B->data;
119d4002b98SHong Zhang 
120faa75363SBarry Smith   totalslices    = PetscCeilInt(B->rmap->n, 8);
121d4002b98SHong Zhang   b->totalslices = totalslices;
122d4002b98SHong Zhang   if (!skipallocation) {
1239566063dSJacob Faibussowitsch     if (B->rmap->n & 0x07) PetscCall(PetscInfo(B, "Padding rows to the SEQSELL matrix because the number of rows is not the multiple of 8 (value %" PetscInt_FMT ")\n", B->rmap->n));
124d4002b98SHong Zhang 
125d4002b98SHong Zhang     if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */
1269566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx));
1279566063dSJacob Faibussowitsch       PetscCall(PetscLogObjectMemory((PetscObject)B, (totalslices + 1) * sizeof(PetscInt)));
128d4002b98SHong Zhang     }
129d4002b98SHong Zhang     if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */
130d4002b98SHong Zhang       if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10;
131d4002b98SHong Zhang       else if (maxallocrow < 0) maxallocrow = 1;
132d4002b98SHong Zhang       for (i = 0; i <= totalslices; i++) b->sliidx[i] = i * 8 * maxallocrow;
133d4002b98SHong Zhang     } else {
134d4002b98SHong Zhang       maxallocrow  = 0;
135d4002b98SHong Zhang       b->sliidx[0] = 0;
136d4002b98SHong Zhang       for (i = 1; i < totalslices; i++) {
137d4002b98SHong Zhang         b->sliidx[i] = 0;
138ad540459SPierre Jolivet         for (j = 0; j < 8; j++) b->sliidx[i] = PetscMax(b->sliidx[i], rlen[8 * (i - 1) + j]);
139d4002b98SHong Zhang         maxallocrow = PetscMax(b->sliidx[i], maxallocrow);
1409566063dSJacob Faibussowitsch         PetscCall(PetscIntSumError(b->sliidx[i - 1], 8 * b->sliidx[i], &b->sliidx[i]));
141d4002b98SHong Zhang       }
142d4002b98SHong Zhang       /* last slice */
143d4002b98SHong Zhang       b->sliidx[totalslices] = 0;
144d4002b98SHong Zhang       for (j = (totalslices - 1) * 8; j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]);
145d4002b98SHong Zhang       maxallocrow            = PetscMax(b->sliidx[totalslices], maxallocrow);
146d4002b98SHong Zhang       b->sliidx[totalslices] = b->sliidx[totalslices - 1] + 8 * b->sliidx[totalslices];
147d4002b98SHong Zhang     }
148d4002b98SHong Zhang 
149d4002b98SHong Zhang     /* allocate space for val, colidx, rlen */
150d4002b98SHong Zhang     /* FIXME: should B's old memory be unlogged? */
1519566063dSJacob Faibussowitsch     PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx));
152d4002b98SHong Zhang     /* FIXME: assuming an element of the bit array takes 8 bits */
1539566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx));
1549566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)B, b->sliidx[totalslices] * (sizeof(PetscScalar) + sizeof(PetscInt))));
155d4002b98SHong Zhang     /* b->rlen will count nonzeros in each row so far. We dont copy rlen to b->rlen because the matrix has not been set. */
1569566063dSJacob Faibussowitsch     PetscCall(PetscCalloc1(8 * totalslices, &b->rlen));
1579566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)B, 8 * totalslices * sizeof(PetscInt)));
158d4002b98SHong Zhang 
159d4002b98SHong Zhang     b->singlemalloc = PETSC_TRUE;
160d4002b98SHong Zhang     b->free_val     = PETSC_TRUE;
161d4002b98SHong Zhang     b->free_colidx  = PETSC_TRUE;
162d4002b98SHong Zhang   } else {
163d4002b98SHong Zhang     b->free_val    = PETSC_FALSE;
164d4002b98SHong Zhang     b->free_colidx = PETSC_FALSE;
165d4002b98SHong Zhang   }
166d4002b98SHong Zhang 
167d4002b98SHong Zhang   b->nz               = 0;
168d4002b98SHong Zhang   b->maxallocrow      = maxallocrow;
169d4002b98SHong Zhang   b->rlenmax          = maxallocrow;
170d4002b98SHong Zhang   b->maxallocmat      = b->sliidx[totalslices];
171d4002b98SHong Zhang   B->info.nz_unneeded = (double)b->maxallocmat;
1721baa6e33SBarry Smith   if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE));
173d4002b98SHong Zhang   PetscFunctionReturn(0);
174d4002b98SHong Zhang }
175d4002b98SHong Zhang 
1769371c9d4SSatish Balay PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) {
1776108893eSStefano Zampini   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1786108893eSStefano Zampini   PetscInt     shift;
1796108893eSStefano Zampini 
1806108893eSStefano Zampini   PetscFunctionBegin;
181aed4548fSBarry Smith   PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row);
1826108893eSStefano Zampini   if (nz) *nz = a->rlen[row];
1836108893eSStefano Zampini   shift = a->sliidx[row >> 3] + (row & 0x07);
18448a46eb9SPierre Jolivet   if (!a->getrowcols) PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals));
1856108893eSStefano Zampini   if (idx) {
1866108893eSStefano Zampini     PetscInt j;
1876108893eSStefano Zampini     for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + 8 * j];
1886108893eSStefano Zampini     *idx = a->getrowcols;
1896108893eSStefano Zampini   }
1906108893eSStefano Zampini   if (v) {
1916108893eSStefano Zampini     PetscInt j;
1926108893eSStefano Zampini     for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + 8 * j];
1936108893eSStefano Zampini     *v = a->getrowvals;
1946108893eSStefano Zampini   }
1956108893eSStefano Zampini   PetscFunctionReturn(0);
1966108893eSStefano Zampini }
1976108893eSStefano Zampini 
1989371c9d4SSatish Balay PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) {
1996108893eSStefano Zampini   PetscFunctionBegin;
2006108893eSStefano Zampini   PetscFunctionReturn(0);
2016108893eSStefano Zampini }
2026108893eSStefano Zampini 
2039371c9d4SSatish Balay PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) {
204d4002b98SHong Zhang   Mat          B;
205d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
206e3f1f374SStefano Zampini   PetscInt     i;
207d4002b98SHong Zhang 
208d4002b98SHong Zhang   PetscFunctionBegin;
209ad013a7bSRichard Tran Mills   if (reuse == MAT_REUSE_MATRIX) {
210ad013a7bSRichard Tran Mills     B = *newmat;
2119566063dSJacob Faibussowitsch     PetscCall(MatZeroEntries(B));
212ad013a7bSRichard Tran Mills   } else {
2139566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
2149566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N));
2159566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQAIJ));
2169566063dSJacob Faibussowitsch     PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen));
217ad013a7bSRichard Tran Mills   }
218d4002b98SHong Zhang 
219e3f1f374SStefano Zampini   for (i = 0; i < A->rmap->n; i++) {
220e108cb99SStefano Zampini     PetscInt     nz = 0, *cols = NULL;
221e108cb99SStefano Zampini     PetscScalar *vals = NULL;
222e3f1f374SStefano Zampini 
2239566063dSJacob Faibussowitsch     PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals));
2249566063dSJacob Faibussowitsch     PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES));
2259566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals));
226d4002b98SHong Zhang   }
227e3f1f374SStefano Zampini 
2289566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
2299566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
230d4002b98SHong Zhang   B->rmap->bs = A->rmap->bs;
231d4002b98SHong Zhang 
232d4002b98SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
2339566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
234d4002b98SHong Zhang   } else {
235d4002b98SHong Zhang     *newmat = B;
236d4002b98SHong Zhang   }
237d4002b98SHong Zhang   PetscFunctionReturn(0);
238d4002b98SHong Zhang }
239d4002b98SHong Zhang 
240d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h>
241d4002b98SHong Zhang 
2429371c9d4SSatish Balay PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) {
243d4002b98SHong Zhang   Mat                B;
244d4002b98SHong Zhang   Mat_SeqAIJ        *a  = (Mat_SeqAIJ *)A->data;
245d4002b98SHong Zhang   PetscInt          *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols;
246d4002b98SHong Zhang   const PetscInt    *cols;
247d4002b98SHong Zhang   const PetscScalar *vals;
248d4002b98SHong Zhang 
249d4002b98SHong Zhang   PetscFunctionBegin;
250ad013a7bSRichard Tran Mills 
251ad013a7bSRichard Tran Mills   if (reuse == MAT_REUSE_MATRIX) {
252ad013a7bSRichard Tran Mills     B = *newmat;
253ad013a7bSRichard Tran Mills   } else {
254d5e5b2e5SBarry Smith     if (PetscDefined(USE_DEBUG) || !a->ilen) {
2559566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(m, &rowlengths));
256ad540459SPierre Jolivet       for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i];
257d5e5b2e5SBarry Smith     }
258d5e5b2e5SBarry Smith     if (PetscDefined(USE_DEBUG) && a->ilen) {
259d5e5b2e5SBarry Smith       PetscBool eq;
2609566063dSJacob Faibussowitsch       PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq));
26128b400f6SJacob Faibussowitsch       PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect");
2629566063dSJacob Faibussowitsch       PetscCall(PetscFree(rowlengths));
263d5e5b2e5SBarry Smith       rowlengths = a->ilen;
264d5e5b2e5SBarry Smith     } else if (a->ilen) rowlengths = a->ilen;
2659566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
2669566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, m, n, m, n));
2679566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQSELL));
2689566063dSJacob Faibussowitsch     PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths));
2699566063dSJacob Faibussowitsch     if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths));
270ad013a7bSRichard Tran Mills   }
271d4002b98SHong Zhang 
272d4002b98SHong Zhang   for (row = 0; row < m; row++) {
2739566063dSJacob Faibussowitsch     PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals));
2749566063dSJacob Faibussowitsch     PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES));
2759566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals));
276d4002b98SHong Zhang   }
2779566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
2789566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
279d4002b98SHong Zhang   B->rmap->bs = A->rmap->bs;
280d4002b98SHong Zhang 
281d4002b98SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
2829566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
283d4002b98SHong Zhang   } else {
284d4002b98SHong Zhang     *newmat = B;
285d4002b98SHong Zhang   }
286d4002b98SHong Zhang   PetscFunctionReturn(0);
287d4002b98SHong Zhang }
288d4002b98SHong Zhang 
2899371c9d4SSatish Balay PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) {
290d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
291d4002b98SHong Zhang   PetscScalar       *y;
292d4002b98SHong Zhang   const PetscScalar *x;
293d4002b98SHong Zhang   const MatScalar   *aval        = a->val;
294d4002b98SHong Zhang   PetscInt           totalslices = a->totalslices;
295d4002b98SHong Zhang   const PetscInt    *acolidx     = a->colidx;
2967285fed1SHong Zhang   PetscInt           i, j;
297d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
298d4002b98SHong Zhang   __m512d  vec_x, vec_y, vec_vals;
299d4002b98SHong Zhang   __m256i  vec_idx;
300d4002b98SHong Zhang   __mmask8 mask;
301d4002b98SHong Zhang   __m512d  vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4;
302d4002b98SHong Zhang   __m256i  vec_idx2, vec_idx3, vec_idx4;
3035f70456aSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX2__) && defined(__FMA__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
304a48a6482SHong Zhang   __m128i   vec_idx;
305a48a6482SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
306a48a6482SHong Zhang   MatScalar yval;
307a48a6482SHong Zhang   PetscInt  r, rows_left, row, nnz_in_row;
30821cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
309d4002b98SHong Zhang   __m128d   vec_x_tmp;
310d4002b98SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
311d4002b98SHong Zhang   MatScalar yval;
312d4002b98SHong Zhang   PetscInt  r, rows_left, row, nnz_in_row;
313d4002b98SHong Zhang #else
314d4002b98SHong Zhang   PetscScalar sum[8];
315d4002b98SHong Zhang #endif
316d4002b98SHong Zhang 
317d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
318d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval)
319d4002b98SHong Zhang #endif
320d4002b98SHong Zhang 
321d4002b98SHong Zhang   PetscFunctionBegin;
3229566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
3239566063dSJacob Faibussowitsch   PetscCall(VecGetArray(yy, &y));
324d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
325d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
326d4002b98SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
327d4002b98SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
328d4002b98SHong Zhang 
329d4002b98SHong Zhang     vec_y  = _mm512_setzero_pd();
330d4002b98SHong Zhang     vec_y2 = _mm512_setzero_pd();
331d4002b98SHong Zhang     vec_y3 = _mm512_setzero_pd();
332d4002b98SHong Zhang     vec_y4 = _mm512_setzero_pd();
333d4002b98SHong Zhang 
33438efe8efSHong Zhang     j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */
335d4002b98SHong Zhang     switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) {
336d4002b98SHong Zhang     case 3:
337d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3389371c9d4SSatish Balay       acolidx += 8;
3399371c9d4SSatish Balay       aval += 8;
340d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3419371c9d4SSatish Balay       acolidx += 8;
3429371c9d4SSatish Balay       aval += 8;
343d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
3449371c9d4SSatish Balay       acolidx += 8;
3459371c9d4SSatish Balay       aval += 8;
346d4002b98SHong Zhang       j += 3;
347d4002b98SHong Zhang       break;
348d4002b98SHong Zhang     case 2:
349d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3509371c9d4SSatish Balay       acolidx += 8;
3519371c9d4SSatish Balay       aval += 8;
352d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3539371c9d4SSatish Balay       acolidx += 8;
3549371c9d4SSatish Balay       aval += 8;
355d4002b98SHong Zhang       j += 2;
356d4002b98SHong Zhang       break;
357d4002b98SHong Zhang     case 1:
358d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3599371c9d4SSatish Balay       acolidx += 8;
3609371c9d4SSatish Balay       aval += 8;
361d4002b98SHong Zhang       j += 1;
362d4002b98SHong Zhang       break;
363d4002b98SHong Zhang     }
364d4002b98SHong Zhang #pragma novector
365d4002b98SHong Zhang     for (; j < (a->sliidx[i + 1] >> 3); j += 4) {
366d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3679371c9d4SSatish Balay       acolidx += 8;
3689371c9d4SSatish Balay       aval += 8;
369d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3709371c9d4SSatish Balay       acolidx += 8;
3719371c9d4SSatish Balay       aval += 8;
372d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
3739371c9d4SSatish Balay       acolidx += 8;
3749371c9d4SSatish Balay       aval += 8;
375d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4);
3769371c9d4SSatish Balay       acolidx += 8;
3779371c9d4SSatish Balay       aval += 8;
378d4002b98SHong Zhang     }
379d4002b98SHong Zhang 
380d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y2);
381d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y3);
382d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y4);
383d4002b98SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
384d4002b98SHong Zhang       mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07)));
385ef588d5cSRichard Tran Mills       _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y);
386d4002b98SHong Zhang     } else {
387ef588d5cSRichard Tran Mills       _mm512_storeu_pd(&y[8 * i], vec_y);
388d4002b98SHong Zhang     }
389d4002b98SHong Zhang   }
3905f70456aSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX2__) && defined(__FMA__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
391a48a6482SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
392a48a6482SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
393a48a6482SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
394a48a6482SHong Zhang 
395a48a6482SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
396a48a6482SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
397a48a6482SHong Zhang       rows_left = A->rmap->n - 8 * i;
398a48a6482SHong Zhang       for (r = 0; r < rows_left; ++r) {
399a48a6482SHong Zhang         yval       = (MatScalar)0;
400a48a6482SHong Zhang         row        = 8 * i + r;
401a48a6482SHong Zhang         nnz_in_row = a->rlen[row];
402a48a6482SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
403a48a6482SHong Zhang         y[row] = yval;
404a48a6482SHong Zhang       }
405a48a6482SHong Zhang       break;
406a48a6482SHong Zhang     }
407a48a6482SHong Zhang 
408a48a6482SHong Zhang     vec_y  = _mm256_setzero_pd();
409a48a6482SHong Zhang     vec_y2 = _mm256_setzero_pd();
410a48a6482SHong Zhang 
411a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
412a48a6482SHong Zhang #pragma novector
413a48a6482SHong Zhang #pragma unroll(2)
414a48a6482SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
415a48a6482SHong Zhang       AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
4169371c9d4SSatish Balay       aval += 4;
4179371c9d4SSatish Balay       acolidx += 4;
418a48a6482SHong Zhang       AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2);
4199371c9d4SSatish Balay       aval += 4;
4209371c9d4SSatish Balay       acolidx += 4;
421a48a6482SHong Zhang     }
422a48a6482SHong Zhang 
423ef588d5cSRichard Tran Mills     _mm256_storeu_pd(y + i * 8, vec_y);
424ef588d5cSRichard Tran Mills     _mm256_storeu_pd(y + i * 8 + 4, vec_y2);
425a48a6482SHong Zhang   }
42621cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
427d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
428d4002b98SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
429d4002b98SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
430d4002b98SHong Zhang 
431d4002b98SHong Zhang     vec_y  = _mm256_setzero_pd();
432d4002b98SHong Zhang     vec_y2 = _mm256_setzero_pd();
433d4002b98SHong Zhang 
434d4002b98SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
435d4002b98SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
436d4002b98SHong Zhang       rows_left = A->rmap->n - 8 * i;
437d4002b98SHong Zhang       for (r = 0; r < rows_left; ++r) {
438d4002b98SHong Zhang         yval       = (MatScalar)0;
439d4002b98SHong Zhang         row        = 8 * i + r;
440d4002b98SHong Zhang         nnz_in_row = a->rlen[row];
441d4002b98SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
442d4002b98SHong Zhang         y[row] = yval;
443d4002b98SHong Zhang       }
444d4002b98SHong Zhang       break;
445d4002b98SHong Zhang     }
446d4002b98SHong Zhang 
447d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
448a48a6482SHong Zhang #pragma novector
449a48a6482SHong Zhang #pragma unroll(2)
4507285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
451d4002b98SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
452165f9cc3SJed Brown       vec_x_tmp = _mm_setzero_pd();
453d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
454d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
455d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
456d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
457d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
458d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
459d4002b98SHong Zhang       vec_y     = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y);
460d4002b98SHong Zhang       aval += 4;
461d4002b98SHong Zhang 
462d4002b98SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
463d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
464d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
465d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
466d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
467d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
468d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
469d4002b98SHong Zhang       vec_y2    = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2);
470d4002b98SHong Zhang       aval += 4;
471d4002b98SHong Zhang     }
472d4002b98SHong Zhang 
473d4002b98SHong Zhang     _mm256_storeu_pd(y + i * 8, vec_y);
474d4002b98SHong Zhang     _mm256_storeu_pd(y + i * 8 + 4, vec_y2);
475d4002b98SHong Zhang   }
476d4002b98SHong Zhang #else
477d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
478d4002b98SHong Zhang     for (j = 0; j < 8; j++) sum[j] = 0.0;
479d4002b98SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
480d4002b98SHong Zhang       sum[0] += aval[j] * x[acolidx[j]];
481d4002b98SHong Zhang       sum[1] += aval[j + 1] * x[acolidx[j + 1]];
482d4002b98SHong Zhang       sum[2] += aval[j + 2] * x[acolidx[j + 2]];
483d4002b98SHong Zhang       sum[3] += aval[j + 3] * x[acolidx[j + 3]];
484d4002b98SHong Zhang       sum[4] += aval[j + 4] * x[acolidx[j + 4]];
485d4002b98SHong Zhang       sum[5] += aval[j + 5] * x[acolidx[j + 5]];
486d4002b98SHong Zhang       sum[6] += aval[j + 6] * x[acolidx[j + 6]];
487d4002b98SHong Zhang       sum[7] += aval[j + 7] * x[acolidx[j + 7]];
488d4002b98SHong Zhang     }
489d4002b98SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
490d4002b98SHong Zhang       for (j = 0; j < (A->rmap->n & 0x07); j++) y[8 * i + j] = sum[j];
491d4002b98SHong Zhang     } else {
4927285fed1SHong Zhang       for (j = 0; j < 8; j++) y[8 * i + j] = sum[j];
493d4002b98SHong Zhang     }
494d4002b98SHong Zhang   }
495d4002b98SHong Zhang #endif
496d4002b98SHong Zhang 
4979566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */
4989566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
4999566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(yy, &y));
500d4002b98SHong Zhang   PetscFunctionReturn(0);
501d4002b98SHong Zhang }
502d4002b98SHong Zhang 
503d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h>
5049371c9d4SSatish Balay PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) {
505d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
506d4002b98SHong Zhang   PetscScalar       *y, *z;
507d4002b98SHong Zhang   const PetscScalar *x;
508d4002b98SHong Zhang   const MatScalar   *aval        = a->val;
509d4002b98SHong Zhang   PetscInt           totalslices = a->totalslices;
510d4002b98SHong Zhang   const PetscInt    *acolidx     = a->colidx;
511d4002b98SHong Zhang   PetscInt           i, j;
512d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5137285fed1SHong Zhang   __m512d  vec_x, vec_y, vec_vals;
514d4002b98SHong Zhang   __m256i  vec_idx;
515d4002b98SHong Zhang   __mmask8 mask;
5167285fed1SHong Zhang   __m512d  vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4;
5177285fed1SHong Zhang   __m256i  vec_idx2, vec_idx3, vec_idx4;
51821cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5197285fed1SHong Zhang   __m128d   vec_x_tmp;
5207285fed1SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
5217285fed1SHong Zhang   MatScalar yval;
5227285fed1SHong Zhang   PetscInt  r, row, nnz_in_row;
523d4002b98SHong Zhang #else
524d4002b98SHong Zhang   PetscScalar sum[8];
525d4002b98SHong Zhang #endif
526d4002b98SHong Zhang 
527d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
528d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval)
529d4002b98SHong Zhang #endif
530d4002b98SHong Zhang 
531d4002b98SHong Zhang   PetscFunctionBegin;
5329566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
5339566063dSJacob Faibussowitsch   PetscCall(VecGetArrayPair(yy, zz, &y, &z));
534d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5357285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
5367285fed1SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
5377285fed1SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
5387285fed1SHong Zhang 
539d4002b98SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
540d4002b98SHong Zhang       mask  = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07)));
541ef588d5cSRichard Tran Mills       vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]);
5427285fed1SHong Zhang     } else {
543ef588d5cSRichard Tran Mills       vec_y = _mm512_loadu_pd(&y[8 * i]);
5447285fed1SHong Zhang     }
5457285fed1SHong Zhang     vec_y2 = _mm512_setzero_pd();
5467285fed1SHong Zhang     vec_y3 = _mm512_setzero_pd();
5477285fed1SHong Zhang     vec_y4 = _mm512_setzero_pd();
5487285fed1SHong Zhang 
5497285fed1SHong Zhang     j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */
5507285fed1SHong Zhang     switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) {
5517285fed1SHong Zhang     case 3:
5527285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5539371c9d4SSatish Balay       acolidx += 8;
5549371c9d4SSatish Balay       aval += 8;
5557285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5569371c9d4SSatish Balay       acolidx += 8;
5579371c9d4SSatish Balay       aval += 8;
5587285fed1SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
5599371c9d4SSatish Balay       acolidx += 8;
5609371c9d4SSatish Balay       aval += 8;
5617285fed1SHong Zhang       j += 3;
5627285fed1SHong Zhang       break;
5637285fed1SHong Zhang     case 2:
5647285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5659371c9d4SSatish Balay       acolidx += 8;
5669371c9d4SSatish Balay       aval += 8;
5677285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5689371c9d4SSatish Balay       acolidx += 8;
5699371c9d4SSatish Balay       aval += 8;
5707285fed1SHong Zhang       j += 2;
5717285fed1SHong Zhang       break;
5727285fed1SHong Zhang     case 1:
5737285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5749371c9d4SSatish Balay       acolidx += 8;
5759371c9d4SSatish Balay       aval += 8;
5767285fed1SHong Zhang       j += 1;
5777285fed1SHong Zhang       break;
5787285fed1SHong Zhang     }
5797285fed1SHong Zhang #pragma novector
5807285fed1SHong Zhang     for (; j < (a->sliidx[i + 1] >> 3); j += 4) {
5817285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5829371c9d4SSatish Balay       acolidx += 8;
5839371c9d4SSatish Balay       aval += 8;
5847285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5859371c9d4SSatish Balay       acolidx += 8;
5869371c9d4SSatish Balay       aval += 8;
5877285fed1SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
5889371c9d4SSatish Balay       acolidx += 8;
5899371c9d4SSatish Balay       aval += 8;
5907285fed1SHong Zhang       AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4);
5919371c9d4SSatish Balay       acolidx += 8;
5929371c9d4SSatish Balay       aval += 8;
5937285fed1SHong Zhang     }
5947285fed1SHong Zhang 
5957285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y2);
5967285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y3);
5977285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y4);
5987285fed1SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
599ef588d5cSRichard Tran Mills       _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y);
600d4002b98SHong Zhang     } else {
601ef588d5cSRichard Tran Mills       _mm512_storeu_pd(&z[8 * i], vec_y);
602d4002b98SHong Zhang     }
6037285fed1SHong Zhang   }
60421cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
6057285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
6067285fed1SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
6077285fed1SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
6087285fed1SHong Zhang 
6097285fed1SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
6107285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
6117285fed1SHong Zhang       for (r = 0; r < (A->rmap->n & 0x07); ++r) {
6127285fed1SHong Zhang         row        = 8 * i + r;
6137285fed1SHong Zhang         yval       = (MatScalar)0.0;
6147285fed1SHong Zhang         nnz_in_row = a->rlen[row];
6157285fed1SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
6167285fed1SHong Zhang         z[row] = y[row] + yval;
6177285fed1SHong Zhang       }
6187285fed1SHong Zhang       break;
6197285fed1SHong Zhang     }
6207285fed1SHong Zhang 
6217285fed1SHong Zhang     vec_y  = _mm256_loadu_pd(y + 8 * i);
6227285fed1SHong Zhang     vec_y2 = _mm256_loadu_pd(y + 8 * i + 4);
6237285fed1SHong Zhang 
6247285fed1SHong Zhang     /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
6257285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
6267285fed1SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
627165f9cc3SJed Brown       vec_x_tmp = _mm_setzero_pd();
6287285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6297285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
630165f9cc3SJed Brown       vec_x     = _mm256_setzero_pd();
6317285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
6327285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6337285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6347285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
6357285fed1SHong Zhang       vec_y     = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y);
6367285fed1SHong Zhang       aval += 4;
6377285fed1SHong Zhang 
6387285fed1SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
6397285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6407285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6417285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
6427285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6437285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6447285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
6457285fed1SHong Zhang       vec_y2    = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2);
6467285fed1SHong Zhang       aval += 4;
6477285fed1SHong Zhang     }
6487285fed1SHong Zhang 
6497285fed1SHong Zhang     _mm256_storeu_pd(z + i * 8, vec_y);
6507285fed1SHong Zhang     _mm256_storeu_pd(z + i * 8 + 4, vec_y2);
6517285fed1SHong Zhang   }
652d4002b98SHong Zhang #else
6537285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
6547285fed1SHong Zhang     for (j = 0; j < 8; j++) sum[j] = 0.0;
655d4002b98SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
656d4002b98SHong Zhang       sum[0] += aval[j] * x[acolidx[j]];
657d4002b98SHong Zhang       sum[1] += aval[j + 1] * x[acolidx[j + 1]];
658d4002b98SHong Zhang       sum[2] += aval[j + 2] * x[acolidx[j + 2]];
659d4002b98SHong Zhang       sum[3] += aval[j + 3] * x[acolidx[j + 3]];
660d4002b98SHong Zhang       sum[4] += aval[j + 4] * x[acolidx[j + 4]];
661d4002b98SHong Zhang       sum[5] += aval[j + 5] * x[acolidx[j + 5]];
662d4002b98SHong Zhang       sum[6] += aval[j + 6] * x[acolidx[j + 6]];
663d4002b98SHong Zhang       sum[7] += aval[j + 7] * x[acolidx[j + 7]];
664d4002b98SHong Zhang     }
6657285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
6667285fed1SHong Zhang       for (j = 0; j < (A->rmap->n & 0x07); j++) z[8 * i + j] = y[8 * i + j] + sum[j];
667d4002b98SHong Zhang     } else {
6687285fed1SHong Zhang       for (j = 0; j < 8; j++) z[8 * i + j] = y[8 * i + j] + sum[j];
6697285fed1SHong Zhang     }
670d4002b98SHong Zhang   }
671d4002b98SHong Zhang #endif
672d4002b98SHong Zhang 
6739566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->nz));
6749566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
6759566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayPair(yy, zz, &y, &z));
676d4002b98SHong Zhang   PetscFunctionReturn(0);
677d4002b98SHong Zhang }
678d4002b98SHong Zhang 
6799371c9d4SSatish Balay PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) {
680d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
681d4002b98SHong Zhang   PetscScalar       *y;
682d4002b98SHong Zhang   const PetscScalar *x;
683d4002b98SHong Zhang   const MatScalar   *aval    = a->val;
684d4002b98SHong Zhang   const PetscInt    *acolidx = a->colidx;
6857285fed1SHong Zhang   PetscInt           i, j, r, row, nnz_in_row, totalslices = a->totalslices;
686d4002b98SHong Zhang 
687d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
688d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval)
689d4002b98SHong Zhang #endif
690d4002b98SHong Zhang 
691d4002b98SHong Zhang   PetscFunctionBegin;
692b94d7dedSBarry Smith   if (A->symmetric == PETSC_BOOL3_TRUE) {
6939566063dSJacob Faibussowitsch     PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy));
6949fc32365SStefano Zampini     PetscFunctionReturn(0);
6959fc32365SStefano Zampini   }
6969566063dSJacob Faibussowitsch   if (zz != yy) PetscCall(VecCopy(zz, yy));
6979566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
6989566063dSJacob Faibussowitsch   PetscCall(VecGetArray(yy, &y));
699d4002b98SHong Zhang   for (i = 0; i < a->totalslices; i++) { /* loop over slices */
7007285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
7017285fed1SHong Zhang       for (r = 0; r < (A->rmap->n & 0x07); ++r) {
7027285fed1SHong Zhang         row        = 8 * i + r;
7037285fed1SHong Zhang         nnz_in_row = a->rlen[row];
7047285fed1SHong Zhang         for (j = 0; j < nnz_in_row; ++j) y[acolidx[8 * j + r]] += aval[8 * j + r] * x[row];
7057285fed1SHong Zhang       }
7067285fed1SHong Zhang       break;
7077285fed1SHong Zhang     }
7087285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
7097285fed1SHong Zhang       y[acolidx[j]] += aval[j] * x[8 * i];
7107285fed1SHong Zhang       y[acolidx[j + 1]] += aval[j + 1] * x[8 * i + 1];
7117285fed1SHong Zhang       y[acolidx[j + 2]] += aval[j + 2] * x[8 * i + 2];
7127285fed1SHong Zhang       y[acolidx[j + 3]] += aval[j + 3] * x[8 * i + 3];
7137285fed1SHong Zhang       y[acolidx[j + 4]] += aval[j + 4] * x[8 * i + 4];
7147285fed1SHong Zhang       y[acolidx[j + 5]] += aval[j + 5] * x[8 * i + 5];
7157285fed1SHong Zhang       y[acolidx[j + 6]] += aval[j + 6] * x[8 * i + 6];
7167285fed1SHong Zhang       y[acolidx[j + 7]] += aval[j + 7] * x[8 * i + 7];
717d4002b98SHong Zhang     }
718d4002b98SHong Zhang   }
7199566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->sliidx[a->totalslices]));
7209566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
7219566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(yy, &y));
722d4002b98SHong Zhang   PetscFunctionReturn(0);
723d4002b98SHong Zhang }
724d4002b98SHong Zhang 
7259371c9d4SSatish Balay PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) {
726d4002b98SHong Zhang   PetscFunctionBegin;
727b94d7dedSBarry Smith   if (A->symmetric == PETSC_BOOL3_TRUE) {
7289566063dSJacob Faibussowitsch     PetscCall(MatMult_SeqSELL(A, xx, yy));
7299fc32365SStefano Zampini   } else {
7309566063dSJacob Faibussowitsch     PetscCall(VecSet(yy, 0.0));
7319566063dSJacob Faibussowitsch     PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy));
7329fc32365SStefano Zampini   }
733d4002b98SHong Zhang   PetscFunctionReturn(0);
734d4002b98SHong Zhang }
735d4002b98SHong Zhang 
736d4002b98SHong Zhang /*
737d4002b98SHong Zhang      Checks for missing diagonals
738d4002b98SHong Zhang */
7399371c9d4SSatish Balay PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) {
740d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
741d4002b98SHong Zhang   PetscInt    *diag, i;
742d4002b98SHong Zhang 
743d4002b98SHong Zhang   PetscFunctionBegin;
744d4002b98SHong Zhang   *missing = PETSC_FALSE;
745d4002b98SHong Zhang   if (A->rmap->n > 0 && !(a->colidx)) {
746d4002b98SHong Zhang     *missing = PETSC_TRUE;
747d4002b98SHong Zhang     if (d) *d = 0;
7489566063dSJacob Faibussowitsch     PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n"));
749d4002b98SHong Zhang   } else {
750d4002b98SHong Zhang     diag = a->diag;
751d4002b98SHong Zhang     for (i = 0; i < A->rmap->n; i++) {
752d4002b98SHong Zhang       if (diag[i] == -1) {
753d4002b98SHong Zhang         *missing = PETSC_TRUE;
754d4002b98SHong Zhang         if (d) *d = i;
7559566063dSJacob Faibussowitsch         PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i));
756d4002b98SHong Zhang         break;
757d4002b98SHong Zhang       }
758d4002b98SHong Zhang     }
759d4002b98SHong Zhang   }
760d4002b98SHong Zhang   PetscFunctionReturn(0);
761d4002b98SHong Zhang }
762d4002b98SHong Zhang 
7639371c9d4SSatish Balay PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) {
764d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
765d4002b98SHong Zhang   PetscInt     i, j, m = A->rmap->n, shift;
766d4002b98SHong Zhang 
767d4002b98SHong Zhang   PetscFunctionBegin;
768d4002b98SHong Zhang   if (!a->diag) {
7699566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m, &a->diag));
7709566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)A, m * sizeof(PetscInt)));
771d4002b98SHong Zhang     a->free_diag = PETSC_TRUE;
772d4002b98SHong Zhang   }
773d4002b98SHong Zhang   for (i = 0; i < m; i++) {                      /* loop over rows */
774d4002b98SHong Zhang     shift      = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
775d4002b98SHong Zhang     a->diag[i] = -1;
776d4002b98SHong Zhang     for (j = 0; j < a->rlen[i]; j++) {
777d4002b98SHong Zhang       if (a->colidx[shift + j * 8] == i) {
778d4002b98SHong Zhang         a->diag[i] = shift + j * 8;
779d4002b98SHong Zhang         break;
780d4002b98SHong Zhang       }
781d4002b98SHong Zhang     }
782d4002b98SHong Zhang   }
783d4002b98SHong Zhang   PetscFunctionReturn(0);
784d4002b98SHong Zhang }
785d4002b98SHong Zhang 
786d4002b98SHong Zhang /*
787d4002b98SHong Zhang   Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways
788d4002b98SHong Zhang */
7899371c9d4SSatish Balay PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) {
790d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
791d4002b98SHong Zhang   PetscInt     i, *diag, m = A->rmap->n;
792d4002b98SHong Zhang   MatScalar   *val = a->val;
793d4002b98SHong Zhang   PetscScalar *idiag, *mdiag;
794d4002b98SHong Zhang 
795d4002b98SHong Zhang   PetscFunctionBegin;
796d4002b98SHong Zhang   if (a->idiagvalid) PetscFunctionReturn(0);
7979566063dSJacob Faibussowitsch   PetscCall(MatMarkDiagonal_SeqSELL(A));
798d4002b98SHong Zhang   diag = a->diag;
799d4002b98SHong Zhang   if (!a->idiag) {
8009566063dSJacob Faibussowitsch     PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work));
8019566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)A, 3 * m * sizeof(PetscScalar)));
802d4002b98SHong Zhang     val = a->val;
803d4002b98SHong Zhang   }
804d4002b98SHong Zhang   mdiag = a->mdiag;
805d4002b98SHong Zhang   idiag = a->idiag;
806d4002b98SHong Zhang 
807d4002b98SHong Zhang   if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) {
808d4002b98SHong Zhang     for (i = 0; i < m; i++) {
809d4002b98SHong Zhang       mdiag[i] = val[diag[i]];
810d4002b98SHong Zhang       if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */
811d4002b98SHong Zhang         if (PetscRealPart(fshift)) {
8129566063dSJacob Faibussowitsch           PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i));
813d4002b98SHong Zhang           A->factorerrortype             = MAT_FACTOR_NUMERIC_ZEROPIVOT;
814d4002b98SHong Zhang           A->factorerror_zeropivot_value = 0.0;
815d4002b98SHong Zhang           A->factorerror_zeropivot_row   = i;
81698921bdaSJacob Faibussowitsch         } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i);
817d4002b98SHong Zhang       }
818d4002b98SHong Zhang       idiag[i] = 1.0 / val[diag[i]];
819d4002b98SHong Zhang     }
8209566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(m));
821d4002b98SHong Zhang   } else {
822d4002b98SHong Zhang     for (i = 0; i < m; i++) {
823d4002b98SHong Zhang       mdiag[i] = val[diag[i]];
824d4002b98SHong Zhang       idiag[i] = omega / (fshift + val[diag[i]]);
825d4002b98SHong Zhang     }
8269566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(2.0 * m));
827d4002b98SHong Zhang   }
828d4002b98SHong Zhang   a->idiagvalid = PETSC_TRUE;
829d4002b98SHong Zhang   PetscFunctionReturn(0);
830d4002b98SHong Zhang }
831d4002b98SHong Zhang 
8329371c9d4SSatish Balay PetscErrorCode MatZeroEntries_SeqSELL(Mat A) {
833d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
834d4002b98SHong Zhang 
835d4002b98SHong Zhang   PetscFunctionBegin;
8369566063dSJacob Faibussowitsch   PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices]));
8379566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
838d4002b98SHong Zhang   PetscFunctionReturn(0);
839d4002b98SHong Zhang }
840d4002b98SHong Zhang 
8419371c9d4SSatish Balay PetscErrorCode MatDestroy_SeqSELL(Mat A) {
842d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
843d4002b98SHong Zhang 
844d4002b98SHong Zhang   PetscFunctionBegin;
845d4002b98SHong Zhang #if defined(PETSC_USE_LOG)
846c0aa6a63SJacob Faibussowitsch   PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz);
847d4002b98SHong Zhang #endif
8489566063dSJacob Faibussowitsch   PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx));
8499566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->row));
8509566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->col));
8519566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->diag));
8529566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->rlen));
8539566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->sliidx));
8549566063dSJacob Faibussowitsch   PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work));
8559566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->solve_work));
8569566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->icol));
8579566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->saved_values));
8589566063dSJacob Faibussowitsch   PetscCall(PetscFree2(a->getrowcols, a->getrowvals));
859d4002b98SHong Zhang 
8609566063dSJacob Faibussowitsch   PetscCall(PetscFree(A->data));
861d4002b98SHong Zhang 
8629566063dSJacob Faibussowitsch   PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL));
8639566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL));
8649566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL));
8659566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL));
8662e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL));
8672e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL));
8682e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL));
869d4002b98SHong Zhang   PetscFunctionReturn(0);
870d4002b98SHong Zhang }
871d4002b98SHong Zhang 
8729371c9d4SSatish Balay PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) {
873d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
874d4002b98SHong Zhang 
875d4002b98SHong Zhang   PetscFunctionBegin;
876d4002b98SHong Zhang   switch (op) {
8779371c9d4SSatish Balay   case MAT_ROW_ORIENTED: a->roworiented = flg; break;
8789371c9d4SSatish Balay   case MAT_KEEP_NONZERO_PATTERN: a->keepnonzeropattern = flg; break;
8799371c9d4SSatish Balay   case MAT_NEW_NONZERO_LOCATIONS: a->nonew = (flg ? 0 : 1); break;
8809371c9d4SSatish Balay   case MAT_NEW_NONZERO_LOCATION_ERR: a->nonew = (flg ? -1 : 0); break;
8819371c9d4SSatish Balay   case MAT_NEW_NONZERO_ALLOCATION_ERR: a->nonew = (flg ? -2 : 0); break;
8829371c9d4SSatish Balay   case MAT_UNUSED_NONZERO_LOCATION_ERR: a->nounused = (flg ? -1 : 0); break;
8838c78258cSHong Zhang   case MAT_FORCE_DIAGONAL_ENTRIES:
884d4002b98SHong Zhang   case MAT_IGNORE_OFF_PROC_ENTRIES:
885d4002b98SHong Zhang   case MAT_USE_HASH_TABLE:
8869371c9d4SSatish Balay   case MAT_SORTED_FULL: PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); break;
887d4002b98SHong Zhang   case MAT_SPD:
888d4002b98SHong Zhang   case MAT_SYMMETRIC:
889d4002b98SHong Zhang   case MAT_STRUCTURALLY_SYMMETRIC:
890d4002b98SHong Zhang   case MAT_HERMITIAN:
891d4002b98SHong Zhang   case MAT_SYMMETRY_ETERNAL:
892b94d7dedSBarry Smith   case MAT_STRUCTURAL_SYMMETRY_ETERNAL:
893b94d7dedSBarry Smith   case MAT_SPD_ETERNAL:
894d4002b98SHong Zhang     /* These options are handled directly by MatSetOption() */
895d4002b98SHong Zhang     break;
8969371c9d4SSatish Balay   default: SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op);
897d4002b98SHong Zhang   }
898d4002b98SHong Zhang   PetscFunctionReturn(0);
899d4002b98SHong Zhang }
900d4002b98SHong Zhang 
9019371c9d4SSatish Balay PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) {
902d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
903d4002b98SHong Zhang   PetscInt     i, j, n, shift;
904d4002b98SHong Zhang   PetscScalar *x, zero = 0.0;
905d4002b98SHong Zhang 
906d4002b98SHong Zhang   PetscFunctionBegin;
9079566063dSJacob Faibussowitsch   PetscCall(VecGetLocalSize(v, &n));
90808401ef6SPierre Jolivet   PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector");
909d4002b98SHong Zhang 
910d4002b98SHong Zhang   if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) {
911d4002b98SHong Zhang     PetscInt *diag = a->diag;
9129566063dSJacob Faibussowitsch     PetscCall(VecGetArray(v, &x));
913d4002b98SHong Zhang     for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]];
9149566063dSJacob Faibussowitsch     PetscCall(VecRestoreArray(v, &x));
915d4002b98SHong Zhang     PetscFunctionReturn(0);
916d4002b98SHong Zhang   }
917d4002b98SHong Zhang 
9189566063dSJacob Faibussowitsch   PetscCall(VecSet(v, zero));
9199566063dSJacob Faibussowitsch   PetscCall(VecGetArray(v, &x));
920d4002b98SHong Zhang   for (i = 0; i < n; i++) {                 /* loop over rows */
921d4002b98SHong Zhang     shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
922d4002b98SHong Zhang     x[i]  = 0;
923d4002b98SHong Zhang     for (j = 0; j < a->rlen[i]; j++) {
924d4002b98SHong Zhang       if (a->colidx[shift + j * 8] == i) {
925d4002b98SHong Zhang         x[i] = a->val[shift + j * 8];
926d4002b98SHong Zhang         break;
927d4002b98SHong Zhang       }
928d4002b98SHong Zhang     }
929d4002b98SHong Zhang   }
9309566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(v, &x));
931d4002b98SHong Zhang   PetscFunctionReturn(0);
932d4002b98SHong Zhang }
933d4002b98SHong Zhang 
9349371c9d4SSatish Balay PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) {
935d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
936d4002b98SHong Zhang   const PetscScalar *l, *r;
937d4002b98SHong Zhang   PetscInt           i, j, m, n, row;
938d4002b98SHong Zhang 
939d4002b98SHong Zhang   PetscFunctionBegin;
940d4002b98SHong Zhang   if (ll) {
941d4002b98SHong Zhang     /* The local size is used so that VecMPI can be passed to this routine
942d4002b98SHong Zhang        by MatDiagonalScale_MPISELL */
9439566063dSJacob Faibussowitsch     PetscCall(VecGetLocalSize(ll, &m));
94408401ef6SPierre Jolivet     PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length");
9459566063dSJacob Faibussowitsch     PetscCall(VecGetArrayRead(ll, &l));
946d4002b98SHong Zhang     for (i = 0; i < a->totalslices; i++) {                  /* loop over slices */
947dab86139SHong Zhang       if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
948dab86139SHong Zhang         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
949dab86139SHong Zhang           if (row < (A->rmap->n & 0x07)) a->val[j] *= l[8 * i + row];
950dab86139SHong Zhang         }
951dab86139SHong Zhang       } else {
952ad540459SPierre Jolivet         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) a->val[j] *= l[8 * i + row];
953d4002b98SHong Zhang       }
954dab86139SHong Zhang     }
9559566063dSJacob Faibussowitsch     PetscCall(VecRestoreArrayRead(ll, &l));
9569566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(a->nz));
957d4002b98SHong Zhang   }
958d4002b98SHong Zhang   if (rr) {
9599566063dSJacob Faibussowitsch     PetscCall(VecGetLocalSize(rr, &n));
96008401ef6SPierre Jolivet     PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length");
9619566063dSJacob Faibussowitsch     PetscCall(VecGetArrayRead(rr, &r));
962d4002b98SHong Zhang     for (i = 0; i < a->totalslices; i++) {                  /* loop over slices */
963dab86139SHong Zhang       if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
964dab86139SHong Zhang         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
965dab86139SHong Zhang           if (row < (A->rmap->n & 0x07)) a->val[j] *= r[a->colidx[j]];
966dab86139SHong Zhang         }
967dab86139SHong Zhang       } else {
968ad540459SPierre Jolivet         for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]];
969d4002b98SHong Zhang       }
970dab86139SHong Zhang     }
9719566063dSJacob Faibussowitsch     PetscCall(VecRestoreArrayRead(rr, &r));
9729566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(a->nz));
973d4002b98SHong Zhang   }
9749566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
975d4002b98SHong Zhang   PetscFunctionReturn(0);
976d4002b98SHong Zhang }
977d4002b98SHong Zhang 
9789371c9d4SSatish Balay PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) {
979d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
980d4002b98SHong Zhang   PetscInt    *cp, i, k, low, high, t, row, col, l;
981d4002b98SHong Zhang   PetscInt     shift;
982d4002b98SHong Zhang   MatScalar   *vp;
983d4002b98SHong Zhang 
984d4002b98SHong Zhang   PetscFunctionBegin;
98568aafef3SStefano Zampini   for (k = 0; k < m; k++) { /* loop over requested rows */
986d4002b98SHong Zhang     row = im[k];
987d4002b98SHong Zhang     if (row < 0) continue;
9886bdcaf15SBarry Smith     PetscCheck(row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row too large: row %" PetscInt_FMT " max %" PetscInt_FMT, row, A->rmap->n - 1);
989d4002b98SHong Zhang     shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */
990d4002b98SHong Zhang     cp    = a->colidx + shift;                  /* pointer to the row */
991d4002b98SHong Zhang     vp    = a->val + shift;                     /* pointer to the row */
99268aafef3SStefano Zampini     for (l = 0; l < n; l++) {                   /* loop over requested columns */
993d4002b98SHong Zhang       col = in[l];
994d4002b98SHong Zhang       if (col < 0) continue;
9956bdcaf15SBarry Smith       PetscCheck(col < A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Column too large: row %" PetscInt_FMT " max %" PetscInt_FMT, col, A->cmap->n - 1);
9969371c9d4SSatish Balay       high = a->rlen[row];
9979371c9d4SSatish Balay       low  = 0; /* assume unsorted */
998d4002b98SHong Zhang       while (high - low > 5) {
999d4002b98SHong Zhang         t = (low + high) / 2;
1000d4002b98SHong Zhang         if (*(cp + t * 8) > col) high = t;
1001d4002b98SHong Zhang         else low = t;
1002d4002b98SHong Zhang       }
1003d4002b98SHong Zhang       for (i = low; i < high; i++) {
1004d4002b98SHong Zhang         if (*(cp + 8 * i) > col) break;
1005d4002b98SHong Zhang         if (*(cp + 8 * i) == col) {
1006d4002b98SHong Zhang           *v++ = *(vp + 8 * i);
1007d4002b98SHong Zhang           goto finished;
1008d4002b98SHong Zhang         }
1009d4002b98SHong Zhang       }
1010d4002b98SHong Zhang       *v++ = 0.0;
1011d4002b98SHong Zhang     finished:;
1012d4002b98SHong Zhang     }
1013d4002b98SHong Zhang   }
1014d4002b98SHong Zhang   PetscFunctionReturn(0);
1015d4002b98SHong Zhang }
1016d4002b98SHong Zhang 
10179371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) {
1018d4002b98SHong Zhang   Mat_SeqSELL      *a = (Mat_SeqSELL *)A->data;
1019d4002b98SHong Zhang   PetscInt          i, j, m = A->rmap->n, shift;
1020d4002b98SHong Zhang   const char       *name;
1021d4002b98SHong Zhang   PetscViewerFormat format;
1022d4002b98SHong Zhang 
1023d4002b98SHong Zhang   PetscFunctionBegin;
10249566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
1025d4002b98SHong Zhang   if (format == PETSC_VIEWER_ASCII_MATLAB) {
1026d4002b98SHong Zhang     PetscInt nofinalvalue = 0;
1027d4002b98SHong Zhang     /*
1028d4002b98SHong Zhang     if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) {
1029d4002b98SHong Zhang       nofinalvalue = 1;
1030d4002b98SHong Zhang     }
1031d4002b98SHong Zhang     */
10329566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
10339566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n));
10349566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz));
1035d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10369566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue));
1037d4002b98SHong Zhang #else
10389566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue));
1039d4002b98SHong Zhang #endif
10409566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n"));
1041d4002b98SHong Zhang 
1042d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1043d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1044d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1045d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10469566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e %18.16e\n", i + 1, a->colidx[shift + 8 * j] + 1, (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j])));
1047d4002b98SHong Zhang #else
10489566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e\n", i + 1, a->colidx[shift + 8 * j] + 1, (double)a->val[shift + 8 * j]));
1049d4002b98SHong Zhang #endif
1050d4002b98SHong Zhang       }
1051d4002b98SHong Zhang     }
1052d4002b98SHong Zhang     /*
1053d4002b98SHong Zhang     if (nofinalvalue) {
1054d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10559566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e %18.16e\n",m,A->cmap->n,0.,0.));
1056d4002b98SHong Zhang #else
10579566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e\n",m,A->cmap->n,0.0));
1058d4002b98SHong Zhang #endif
1059d4002b98SHong Zhang     }
1060d4002b98SHong Zhang     */
10619566063dSJacob Faibussowitsch     PetscCall(PetscObjectGetName((PetscObject)A, &name));
10629566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name));
10639566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1064d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) {
1065d4002b98SHong Zhang     PetscFunctionReturn(0);
1066d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_COMMON) {
10679566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1068d4002b98SHong Zhang     for (i = 0; i < m; i++) {
10699566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1070d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1071d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1072d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1073d4002b98SHong Zhang         if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
10749566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j])));
1075d4002b98SHong Zhang         } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
10769566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)-PetscImaginaryPart(a->val[shift + 8 * j])));
1077d4002b98SHong Zhang         } else if (PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
10789566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j])));
1079d4002b98SHong Zhang         }
1080d4002b98SHong Zhang #else
10819566063dSJacob Faibussowitsch         if (a->val[shift + 8 * j] != 0.0) PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)a->val[shift + 8 * j]));
1082d4002b98SHong Zhang #endif
1083d4002b98SHong Zhang       }
10849566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1085d4002b98SHong Zhang     }
10869566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1087d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_DENSE) {
1088d4002b98SHong Zhang     PetscInt    cnt = 0, jcnt;
1089d4002b98SHong Zhang     PetscScalar value;
1090d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1091d4002b98SHong Zhang     PetscBool realonly = PETSC_TRUE;
1092d4002b98SHong Zhang     for (i = 0; i < a->sliidx[a->totalslices]; i++) {
1093d4002b98SHong Zhang       if (PetscImaginaryPart(a->val[i]) != 0.0) {
1094d4002b98SHong Zhang         realonly = PETSC_FALSE;
1095d4002b98SHong Zhang         break;
1096d4002b98SHong Zhang       }
1097d4002b98SHong Zhang     }
1098d4002b98SHong Zhang #endif
1099d4002b98SHong Zhang 
11009566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1101d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1102d4002b98SHong Zhang       jcnt  = 0;
1103d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1104d4002b98SHong Zhang       for (j = 0; j < A->cmap->n; j++) {
1105d4002b98SHong Zhang         if (jcnt < a->rlen[i] && j == a->colidx[shift + 8 * j]) {
1106d4002b98SHong Zhang           value = a->val[cnt++];
1107d4002b98SHong Zhang           jcnt++;
1108d4002b98SHong Zhang         } else {
1109d4002b98SHong Zhang           value = 0.0;
1110d4002b98SHong Zhang         }
1111d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1112d4002b98SHong Zhang         if (realonly) {
11139566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value)));
1114d4002b98SHong Zhang         } else {
11159566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value)));
1116d4002b98SHong Zhang         }
1117d4002b98SHong Zhang #else
11189566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value));
1119d4002b98SHong Zhang #endif
1120d4002b98SHong Zhang       }
11219566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1122d4002b98SHong Zhang     }
11239566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1124d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) {
1125d4002b98SHong Zhang     PetscInt fshift = 1;
11269566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1127d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
11289566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n"));
1129d4002b98SHong Zhang #else
11309566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n"));
1131d4002b98SHong Zhang #endif
11329566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz));
1133d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1134d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1135d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1136d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
11379566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g %g\n", i + fshift, a->colidx[shift + 8 * j] + fshift, (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j])));
1138d4002b98SHong Zhang #else
11399566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g\n", i + fshift, a->colidx[shift + 8 * j] + fshift, (double)a->val[shift + 8 * j]));
1140d4002b98SHong Zhang #endif
1141d4002b98SHong Zhang       }
1142d4002b98SHong Zhang     }
11439566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
114468aafef3SStefano Zampini   } else if (format == PETSC_VIEWER_NATIVE) {
114568aafef3SStefano Zampini     for (i = 0; i < a->totalslices; i++) { /* loop over slices */
114668aafef3SStefano Zampini       PetscInt row;
11479566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1]));
114868aafef3SStefano Zampini       for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
114968aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX)
115068aafef3SStefano Zampini         if (PetscImaginaryPart(a->val[j]) > 0.0) {
11519566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g + %g i\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j])));
115268aafef3SStefano Zampini         } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
11539566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g - %g i\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]), -(double)PetscImaginaryPart(a->val[j])));
115468aafef3SStefano Zampini         } else {
11559566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j])));
115668aafef3SStefano Zampini         }
115768aafef3SStefano Zampini #else
11589566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)a->val[j]));
115968aafef3SStefano Zampini #endif
116068aafef3SStefano Zampini       }
116168aafef3SStefano Zampini     }
1162d4002b98SHong Zhang   } else {
11639566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1164d4002b98SHong Zhang     if (A->factortype) {
1165d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1166d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07);
11679566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1168d4002b98SHong Zhang         /* L part */
1169d4002b98SHong Zhang         for (j = shift; j < a->diag[i]; j += 8) {
1170d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1171d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0) {
11729566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j])));
1173d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0) {
11749566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j]))));
1175d4002b98SHong Zhang           } else {
11769566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j])));
1177d4002b98SHong Zhang           }
1178d4002b98SHong Zhang #else
11799566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j]));
1180d4002b98SHong Zhang #endif
1181d4002b98SHong Zhang         }
1182d4002b98SHong Zhang         /* diagonal */
1183d4002b98SHong Zhang         j = a->diag[i];
1184d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1185d4002b98SHong Zhang         if (PetscImaginaryPart(a->val[j]) > 0.0) {
11869566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]), (double)PetscImaginaryPart(1.0 / a->val[j])));
1187d4002b98SHong Zhang         } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
11889566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]), (double)(-PetscImaginaryPart(1.0 / a->val[j]))));
1189d4002b98SHong Zhang         } else {
11909566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j])));
1191d4002b98SHong Zhang         }
1192d4002b98SHong Zhang #else
11939566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j])));
1194d4002b98SHong Zhang #endif
1195d4002b98SHong Zhang 
1196d4002b98SHong Zhang         /* U part */
1197d4002b98SHong Zhang         for (j = a->diag[i] + 1; j < shift + 8 * a->rlen[i]; j += 8) {
1198d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1199d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[j]) > 0.0) {
12009566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j])));
1201d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
12029566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j]))));
1203d4002b98SHong Zhang           } else {
12049566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j])));
1205d4002b98SHong Zhang           }
1206d4002b98SHong Zhang #else
12079566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j]));
1208d4002b98SHong Zhang #endif
1209d4002b98SHong Zhang         }
12109566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1211d4002b98SHong Zhang       }
1212d4002b98SHong Zhang     } else {
1213d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1214d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07);
12159566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1216d4002b98SHong Zhang         for (j = 0; j < a->rlen[i]; j++) {
1217d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1218d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[j]) > 0.0) {
12199566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)PetscImaginaryPart(a->val[shift + 8 * j])));
1220d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
12219566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]), (double)-PetscImaginaryPart(a->val[shift + 8 * j])));
1222d4002b98SHong Zhang           } else {
12239566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j])));
1224d4002b98SHong Zhang           }
1225d4002b98SHong Zhang #else
12269566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)a->val[shift + 8 * j]));
1227d4002b98SHong Zhang #endif
1228d4002b98SHong Zhang         }
12299566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1230d4002b98SHong Zhang       }
1231d4002b98SHong Zhang     }
12329566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1233d4002b98SHong Zhang   }
12349566063dSJacob Faibussowitsch   PetscCall(PetscViewerFlush(viewer));
1235d4002b98SHong Zhang   PetscFunctionReturn(0);
1236d4002b98SHong Zhang }
1237d4002b98SHong Zhang 
1238d4002b98SHong Zhang #include <petscdraw.h>
12399371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) {
1240d4002b98SHong Zhang   Mat               A = (Mat)Aa;
1241d4002b98SHong Zhang   Mat_SeqSELL      *a = (Mat_SeqSELL *)A->data;
1242d4002b98SHong Zhang   PetscInt          i, j, m = A->rmap->n, shift;
1243d4002b98SHong Zhang   int               color;
1244d4002b98SHong Zhang   PetscReal         xl, yl, xr, yr, x_l, x_r, y_l, y_r;
1245d4002b98SHong Zhang   PetscViewer       viewer;
1246d4002b98SHong Zhang   PetscViewerFormat format;
1247d4002b98SHong Zhang 
1248d4002b98SHong Zhang   PetscFunctionBegin;
12499566063dSJacob Faibussowitsch   PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer));
12509566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
12519566063dSJacob Faibussowitsch   PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr));
1252d4002b98SHong Zhang 
1253d4002b98SHong Zhang   /* loop over matrix elements drawing boxes */
1254d4002b98SHong Zhang 
1255d4002b98SHong Zhang   if (format != PETSC_VIEWER_DRAW_CONTOUR) {
1256d0609cedSBarry Smith     PetscDrawCollectiveBegin(draw);
1257d4002b98SHong Zhang     /* Blue for negative, Cyan for zero and  Red for positive */
1258d4002b98SHong Zhang     color = PETSC_DRAW_BLUE;
1259d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1260d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
12619371c9d4SSatish Balay       y_l   = m - i - 1.0;
12629371c9d4SSatish Balay       y_r   = y_l + 1.0;
1263d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
12649371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
12659371c9d4SSatish Balay         x_r = x_l + 1.0;
1266d4002b98SHong Zhang         if (PetscRealPart(a->val[shift + 8 * j]) >= 0.) continue;
12679566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1268d4002b98SHong Zhang       }
1269d4002b98SHong Zhang     }
1270d4002b98SHong Zhang     color = PETSC_DRAW_CYAN;
1271d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1272d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
12739371c9d4SSatish Balay       y_l   = m - i - 1.0;
12749371c9d4SSatish Balay       y_r   = y_l + 1.0;
1275d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
12769371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
12779371c9d4SSatish Balay         x_r = x_l + 1.0;
1278d4002b98SHong Zhang         if (a->val[shift + 8 * j] != 0.) continue;
12799566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1280d4002b98SHong Zhang       }
1281d4002b98SHong Zhang     }
1282d4002b98SHong Zhang     color = PETSC_DRAW_RED;
1283d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1284d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
12859371c9d4SSatish Balay       y_l   = m - i - 1.0;
12869371c9d4SSatish Balay       y_r   = y_l + 1.0;
1287d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
12889371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
12899371c9d4SSatish Balay         x_r = x_l + 1.0;
1290d4002b98SHong Zhang         if (PetscRealPart(a->val[shift + 8 * j]) <= 0.) continue;
12919566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1292d4002b98SHong Zhang       }
1293d4002b98SHong Zhang     }
1294d0609cedSBarry Smith     PetscDrawCollectiveEnd(draw);
1295d4002b98SHong Zhang   } else {
1296d4002b98SHong Zhang     /* use contour shading to indicate magnitude of values */
1297d4002b98SHong Zhang     /* first determine max of all nonzero values */
1298d4002b98SHong Zhang     PetscReal minv = 0.0, maxv = 0.0;
1299d4002b98SHong Zhang     PetscInt  count = 0;
1300d4002b98SHong Zhang     PetscDraw popup;
1301d4002b98SHong Zhang     for (i = 0; i < a->sliidx[a->totalslices]; i++) {
1302d4002b98SHong Zhang       if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]);
1303d4002b98SHong Zhang     }
1304d4002b98SHong Zhang     if (minv >= maxv) maxv = minv + PETSC_SMALL;
13059566063dSJacob Faibussowitsch     PetscCall(PetscDrawGetPopup(draw, &popup));
13069566063dSJacob Faibussowitsch     PetscCall(PetscDrawScalePopup(popup, minv, maxv));
1307d4002b98SHong Zhang 
1308d0609cedSBarry Smith     PetscDrawCollectiveBegin(draw);
1309d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1310d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1311d4002b98SHong Zhang       y_l   = m - i - 1.0;
1312d4002b98SHong Zhang       y_r   = y_l + 1.0;
1313d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1314d4002b98SHong Zhang         x_l   = a->colidx[shift + j * 8];
1315d4002b98SHong Zhang         x_r   = x_l + 1.0;
1316d4002b98SHong Zhang         color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv);
13179566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1318d4002b98SHong Zhang         count++;
1319d4002b98SHong Zhang       }
1320d4002b98SHong Zhang     }
1321d0609cedSBarry Smith     PetscDrawCollectiveEnd(draw);
1322d4002b98SHong Zhang   }
1323d4002b98SHong Zhang   PetscFunctionReturn(0);
1324d4002b98SHong Zhang }
1325d4002b98SHong Zhang 
1326d4002b98SHong Zhang #include <petscdraw.h>
13279371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) {
1328d4002b98SHong Zhang   PetscDraw draw;
1329d4002b98SHong Zhang   PetscReal xr, yr, xl, yl, h, w;
1330d4002b98SHong Zhang   PetscBool isnull;
1331d4002b98SHong Zhang 
1332d4002b98SHong Zhang   PetscFunctionBegin;
13339566063dSJacob Faibussowitsch   PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw));
13349566063dSJacob Faibussowitsch   PetscCall(PetscDrawIsNull(draw, &isnull));
1335d4002b98SHong Zhang   if (isnull) PetscFunctionReturn(0);
1336d4002b98SHong Zhang 
13379371c9d4SSatish Balay   xr = A->cmap->n;
13389371c9d4SSatish Balay   yr = A->rmap->n;
13399371c9d4SSatish Balay   h  = yr / 10.0;
13409371c9d4SSatish Balay   w  = xr / 10.0;
13419371c9d4SSatish Balay   xr += w;
13429371c9d4SSatish Balay   yr += h;
13439371c9d4SSatish Balay   xl = -w;
13449371c9d4SSatish Balay   yl = -h;
13459566063dSJacob Faibussowitsch   PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr));
13469566063dSJacob Faibussowitsch   PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer));
13479566063dSJacob Faibussowitsch   PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A));
13489566063dSJacob Faibussowitsch   PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL));
13499566063dSJacob Faibussowitsch   PetscCall(PetscDrawSave(draw));
1350d4002b98SHong Zhang   PetscFunctionReturn(0);
1351d4002b98SHong Zhang }
1352d4002b98SHong Zhang 
13539371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) {
1354d4002b98SHong Zhang   PetscBool iascii, isbinary, isdraw;
1355d4002b98SHong Zhang 
1356d4002b98SHong Zhang   PetscFunctionBegin;
13579566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii));
13589566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary));
13599566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw));
1360d4002b98SHong Zhang   if (iascii) {
13619566063dSJacob Faibussowitsch     PetscCall(MatView_SeqSELL_ASCII(A, viewer));
1362d4002b98SHong Zhang   } else if (isbinary) {
13639566063dSJacob Faibussowitsch     /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */
13641baa6e33SBarry Smith   } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer));
1365d4002b98SHong Zhang   PetscFunctionReturn(0);
1366d4002b98SHong Zhang }
1367d4002b98SHong Zhang 
13689371c9d4SSatish Balay PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) {
1369d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1370d4002b98SHong Zhang   PetscInt     i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k;
1371d4002b98SHong Zhang   MatScalar   *vp;
1372d4002b98SHong Zhang 
1373d4002b98SHong Zhang   PetscFunctionBegin;
1374d4002b98SHong Zhang   if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(0);
1375d4002b98SHong Zhang   /* To do: compress out the unused elements */
13769566063dSJacob Faibussowitsch   PetscCall(MatMarkDiagonal_SeqSELL(A));
13779566063dSJacob Faibussowitsch   PetscCall(PetscInfo(A, "Matrix size: %" PetscInt_FMT " X %" PetscInt_FMT "; storage space: %" PetscInt_FMT " allocated %" PetscInt_FMT " used (%" PetscInt_FMT " nonzeros+%" PetscInt_FMT " paddedzeros)\n", A->rmap->n, A->cmap->n, a->maxallocmat, a->sliidx[a->totalslices], a->nz, a->sliidx[a->totalslices] - a->nz));
13789566063dSJacob Faibussowitsch   PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs));
13799566063dSJacob Faibussowitsch   PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax));
1380d4002b98SHong Zhang   /* Set unused slots for column indices to last valid column index. Set unused slots for values to zero. This allows for a use of unmasked intrinsics -> higher performance */
1381d4002b98SHong Zhang   for (i = 0; i < a->totalslices; ++i) {
1382d4002b98SHong Zhang     shift = a->sliidx[i];                                      /* starting index of the slice */
1383d4002b98SHong Zhang     cp    = a->colidx + shift;                                 /* pointer to the column indices of the slice */
1384d4002b98SHong Zhang     vp    = a->val + shift;                                    /* pointer to the nonzero values of the slice */
1385d4002b98SHong Zhang     for (row_in_slice = 0; row_in_slice < 8; ++row_in_slice) { /* loop over rows in the slice */
1386d4002b98SHong Zhang       row     = 8 * i + row_in_slice;
1387d4002b98SHong Zhang       nrow    = a->rlen[row]; /* number of nonzeros in row */
1388d4002b98SHong Zhang       /*
1389d4002b98SHong Zhang         Search for the nearest nonzero. Normally setting the index to zero may cause extra communication.
1390d4002b98SHong Zhang         But if the entire slice are empty, it is fine to use 0 since the index will not be loaded.
1391d4002b98SHong Zhang       */
1392d4002b98SHong Zhang       lastcol = 0;
1393d4002b98SHong Zhang       if (nrow > 0) {                                /* nonempty row */
1394d4002b98SHong Zhang         lastcol = cp[8 * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */
1395d4002b98SHong Zhang       } else if (!row_in_slice) {                    /* first row of the currect slice is empty */
1396d4002b98SHong Zhang         for (j = 1; j < 8; j++) {
1397d4002b98SHong Zhang           if (a->rlen[8 * i + j]) {
1398d4002b98SHong Zhang             lastcol = cp[j];
1399d4002b98SHong Zhang             break;
1400d4002b98SHong Zhang           }
1401d4002b98SHong Zhang         }
1402d4002b98SHong Zhang       } else {
1403d4002b98SHong Zhang         if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */
1404d4002b98SHong Zhang       }
1405d4002b98SHong Zhang 
1406d4002b98SHong Zhang       for (k = nrow; k < (a->sliidx[i + 1] - shift) / 8; ++k) {
1407d4002b98SHong Zhang         cp[8 * k + row_in_slice] = lastcol;
1408d4002b98SHong Zhang         vp[8 * k + row_in_slice] = (MatScalar)0;
1409d4002b98SHong Zhang       }
1410d4002b98SHong Zhang     }
1411d4002b98SHong Zhang   }
1412d4002b98SHong Zhang 
1413d4002b98SHong Zhang   A->info.mallocs += a->reallocs;
1414d4002b98SHong Zhang   a->reallocs = 0;
1415d4002b98SHong Zhang 
14169566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
1417d4002b98SHong Zhang   PetscFunctionReturn(0);
1418d4002b98SHong Zhang }
1419d4002b98SHong Zhang 
14209371c9d4SSatish Balay PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) {
1421d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1422d4002b98SHong Zhang 
1423d4002b98SHong Zhang   PetscFunctionBegin;
1424d4002b98SHong Zhang   info->block_size   = 1.0;
14253966268fSBarry Smith   info->nz_allocated = a->maxallocmat;
14263966268fSBarry Smith   info->nz_used      = a->sliidx[a->totalslices]; /* include padding zeros */
14273966268fSBarry Smith   info->nz_unneeded  = (a->maxallocmat - a->sliidx[a->totalslices]);
14283966268fSBarry Smith   info->assemblies   = A->num_ass;
14293966268fSBarry Smith   info->mallocs      = A->info.mallocs;
1430d4002b98SHong Zhang   info->memory       = ((PetscObject)A)->mem;
1431d4002b98SHong Zhang   if (A->factortype) {
1432d4002b98SHong Zhang     info->fill_ratio_given  = A->info.fill_ratio_given;
1433d4002b98SHong Zhang     info->fill_ratio_needed = A->info.fill_ratio_needed;
1434d4002b98SHong Zhang     info->factor_mallocs    = A->info.factor_mallocs;
1435d4002b98SHong Zhang   } else {
1436d4002b98SHong Zhang     info->fill_ratio_given  = 0;
1437d4002b98SHong Zhang     info->fill_ratio_needed = 0;
1438d4002b98SHong Zhang     info->factor_mallocs    = 0;
1439d4002b98SHong Zhang   }
1440d4002b98SHong Zhang   PetscFunctionReturn(0);
1441d4002b98SHong Zhang }
1442d4002b98SHong Zhang 
14439371c9d4SSatish Balay PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) {
1444d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1445d4002b98SHong Zhang   PetscInt     shift, i, k, l, low, high, t, ii, row, col, nrow;
1446d4002b98SHong Zhang   PetscInt    *cp, nonew = a->nonew, lastcol = -1;
1447d4002b98SHong Zhang   MatScalar   *vp, value;
1448d4002b98SHong Zhang 
1449d4002b98SHong Zhang   PetscFunctionBegin;
1450d4002b98SHong Zhang   for (k = 0; k < m; k++) { /* loop over added rows */
1451d4002b98SHong Zhang     row = im[k];
1452d4002b98SHong Zhang     if (row < 0) continue;
14536bdcaf15SBarry Smith     PetscCheck(row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row too large: row %" PetscInt_FMT " max %" PetscInt_FMT, row, A->rmap->n - 1);
1454d4002b98SHong Zhang     shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */
1455d4002b98SHong Zhang     cp    = a->colidx + shift;                  /* pointer to the row */
1456d4002b98SHong Zhang     vp    = a->val + shift;                     /* pointer to the row */
1457d4002b98SHong Zhang     nrow  = a->rlen[row];
1458d4002b98SHong Zhang     low   = 0;
1459d4002b98SHong Zhang     high  = nrow;
1460d4002b98SHong Zhang 
1461d4002b98SHong Zhang     for (l = 0; l < n; l++) { /* loop over added columns */
1462d4002b98SHong Zhang       col = in[l];
1463d4002b98SHong Zhang       if (col < 0) continue;
14646bdcaf15SBarry Smith       PetscCheck(col < A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Col too large: row %" PetscInt_FMT " max %" PetscInt_FMT, col, A->cmap->n - 1);
1465d4002b98SHong Zhang       if (a->roworiented) {
1466d4002b98SHong Zhang         value = v[l + k * n];
1467d4002b98SHong Zhang       } else {
1468d4002b98SHong Zhang         value = v[k + l * m];
1469d4002b98SHong Zhang       }
1470d4002b98SHong Zhang       if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue;
1471d4002b98SHong Zhang 
1472ed73aabaSBarry Smith       /* search in this row for the specified column, i indicates the column to be set */
1473d4002b98SHong Zhang       if (col <= lastcol) low = 0;
1474d4002b98SHong Zhang       else high = nrow;
1475d4002b98SHong Zhang       lastcol = col;
1476d4002b98SHong Zhang       while (high - low > 5) {
1477d4002b98SHong Zhang         t = (low + high) / 2;
1478d4002b98SHong Zhang         if (*(cp + t * 8) > col) high = t;
1479d4002b98SHong Zhang         else low = t;
1480d4002b98SHong Zhang       }
1481d4002b98SHong Zhang       for (i = low; i < high; i++) {
1482d4002b98SHong Zhang         if (*(cp + i * 8) > col) break;
1483d4002b98SHong Zhang         if (*(cp + i * 8) == col) {
1484d4002b98SHong Zhang           if (is == ADD_VALUES) *(vp + i * 8) += value;
1485d4002b98SHong Zhang           else *(vp + i * 8) = value;
1486d4002b98SHong Zhang           low = i + 1;
1487d4002b98SHong Zhang           goto noinsert;
1488d4002b98SHong Zhang         }
1489d4002b98SHong Zhang       }
1490d4002b98SHong Zhang       if (value == 0.0 && a->ignorezeroentries) goto noinsert;
1491d4002b98SHong Zhang       if (nonew == 1) goto noinsert;
149208401ef6SPierre Jolivet       PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col);
1493d4002b98SHong Zhang       /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */
1494d4002b98SHong Zhang       MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, row / 8, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar);
1495d4002b98SHong Zhang       /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */
1496d4002b98SHong Zhang       for (ii = nrow - 1; ii >= i; ii--) {
1497d4002b98SHong Zhang         *(cp + (ii + 1) * 8) = *(cp + ii * 8);
1498d4002b98SHong Zhang         *(vp + (ii + 1) * 8) = *(vp + ii * 8);
1499d4002b98SHong Zhang       }
1500d4002b98SHong Zhang       a->rlen[row]++;
1501d4002b98SHong Zhang       *(cp + i * 8) = col;
1502d4002b98SHong Zhang       *(vp + i * 8) = value;
1503d4002b98SHong Zhang       a->nz++;
1504d4002b98SHong Zhang       A->nonzerostate++;
15059371c9d4SSatish Balay       low = i + 1;
15069371c9d4SSatish Balay       high++;
15079371c9d4SSatish Balay       nrow++;
1508d4002b98SHong Zhang     noinsert:;
1509d4002b98SHong Zhang     }
1510d4002b98SHong Zhang     a->rlen[row] = nrow;
1511d4002b98SHong Zhang   }
1512d4002b98SHong Zhang   PetscFunctionReturn(0);
1513d4002b98SHong Zhang }
1514d4002b98SHong Zhang 
15159371c9d4SSatish Balay PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) {
1516d4002b98SHong Zhang   PetscFunctionBegin;
1517d4002b98SHong Zhang   /* If the two matrices have the same copy implementation, use fast copy. */
1518d4002b98SHong Zhang   if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) {
1519d4002b98SHong Zhang     Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1520d4002b98SHong Zhang     Mat_SeqSELL *b = (Mat_SeqSELL *)B->data;
1521d4002b98SHong Zhang 
152208401ef6SPierre Jolivet     PetscCheck(a->sliidx[a->totalslices] == b->sliidx[b->totalslices], PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Number of nonzeros in two matrices are different");
15239566063dSJacob Faibussowitsch     PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices]));
1524d4002b98SHong Zhang   } else {
15259566063dSJacob Faibussowitsch     PetscCall(MatCopy_Basic(A, B, str));
1526d4002b98SHong Zhang   }
1527d4002b98SHong Zhang   PetscFunctionReturn(0);
1528d4002b98SHong Zhang }
1529d4002b98SHong Zhang 
15309371c9d4SSatish Balay PetscErrorCode MatSetUp_SeqSELL(Mat A) {
1531d4002b98SHong Zhang   PetscFunctionBegin;
15329566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL));
1533d4002b98SHong Zhang   PetscFunctionReturn(0);
1534d4002b98SHong Zhang }
1535d4002b98SHong Zhang 
15369371c9d4SSatish Balay PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) {
1537d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1538d4002b98SHong Zhang 
1539d4002b98SHong Zhang   PetscFunctionBegin;
1540d4002b98SHong Zhang   *array = a->val;
1541d4002b98SHong Zhang   PetscFunctionReturn(0);
1542d4002b98SHong Zhang }
1543d4002b98SHong Zhang 
15449371c9d4SSatish Balay PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) {
1545d4002b98SHong Zhang   PetscFunctionBegin;
1546d4002b98SHong Zhang   PetscFunctionReturn(0);
1547d4002b98SHong Zhang }
1548d4002b98SHong Zhang 
15499371c9d4SSatish Balay PetscErrorCode MatRealPart_SeqSELL(Mat A) {
1550d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1551d4002b98SHong Zhang   PetscInt     i;
1552d4002b98SHong Zhang   MatScalar   *aval = a->val;
1553d4002b98SHong Zhang 
1554d4002b98SHong Zhang   PetscFunctionBegin;
1555d4002b98SHong Zhang   for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscRealPart(aval[i]);
1556d4002b98SHong Zhang   PetscFunctionReturn(0);
1557d4002b98SHong Zhang }
1558d4002b98SHong Zhang 
15599371c9d4SSatish Balay PetscErrorCode MatImaginaryPart_SeqSELL(Mat A) {
1560d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1561d4002b98SHong Zhang   PetscInt     i;
1562d4002b98SHong Zhang   MatScalar   *aval = a->val;
1563d4002b98SHong Zhang 
1564d4002b98SHong Zhang   PetscFunctionBegin;
1565d4002b98SHong Zhang   for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscImaginaryPart(aval[i]);
15669566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
1567d4002b98SHong Zhang   PetscFunctionReturn(0);
1568d4002b98SHong Zhang }
1569d4002b98SHong Zhang 
15709371c9d4SSatish Balay PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) {
1571d4002b98SHong Zhang   Mat_SeqSELL *a      = (Mat_SeqSELL *)inA->data;
1572d4002b98SHong Zhang   MatScalar   *aval   = a->val;
1573d4002b98SHong Zhang   PetscScalar  oalpha = alpha;
1574d4002b98SHong Zhang   PetscBLASInt one    = 1, size;
1575d4002b98SHong Zhang 
1576d4002b98SHong Zhang   PetscFunctionBegin;
15779566063dSJacob Faibussowitsch   PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size));
1578792fecdfSBarry Smith   PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one));
15799566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(a->nz));
15809566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(inA));
1581d4002b98SHong Zhang   PetscFunctionReturn(0);
1582d4002b98SHong Zhang }
1583d4002b98SHong Zhang 
15849371c9d4SSatish Balay PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) {
1585d4002b98SHong Zhang   Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data;
1586d4002b98SHong Zhang 
1587d4002b98SHong Zhang   PetscFunctionBegin;
158848a46eb9SPierre Jolivet   if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL));
15899566063dSJacob Faibussowitsch   PetscCall(MatShift_Basic(Y, a));
1590d4002b98SHong Zhang   PetscFunctionReturn(0);
1591d4002b98SHong Zhang }
1592d4002b98SHong Zhang 
15939371c9d4SSatish Balay PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) {
1594d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
1595d4002b98SHong Zhang   PetscScalar       *x, sum, *t;
1596f4259b30SLisandro Dalcin   const MatScalar   *idiag = NULL, *mdiag;
1597d4002b98SHong Zhang   const PetscScalar *b, *xb;
1598d4002b98SHong Zhang   PetscInt           n, m = A->rmap->n, i, j, shift;
1599d4002b98SHong Zhang   const PetscInt    *diag;
1600d4002b98SHong Zhang 
1601d4002b98SHong Zhang   PetscFunctionBegin;
1602d4002b98SHong Zhang   its = its * lits;
1603d4002b98SHong Zhang 
1604d4002b98SHong Zhang   if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */
16059566063dSJacob Faibussowitsch   if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift));
1606d4002b98SHong Zhang   a->fshift = fshift;
1607d4002b98SHong Zhang   a->omega  = omega;
1608d4002b98SHong Zhang 
1609d4002b98SHong Zhang   diag  = a->diag;
1610d4002b98SHong Zhang   t     = a->ssor_work;
1611d4002b98SHong Zhang   idiag = a->idiag;
1612d4002b98SHong Zhang   mdiag = a->mdiag;
1613d4002b98SHong Zhang 
16149566063dSJacob Faibussowitsch   PetscCall(VecGetArray(xx, &x));
16159566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(bb, &b));
1616d4002b98SHong Zhang   /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */
161708401ef6SPierre Jolivet   PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented");
161808401ef6SPierre Jolivet   PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented");
1619aed4548fSBarry Smith   PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat");
1620d4002b98SHong Zhang 
1621d4002b98SHong Zhang   if (flag & SOR_ZERO_INITIAL_GUESS) {
1622d4002b98SHong Zhang     if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) {
1623d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1624d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1625d4002b98SHong Zhang         sum   = b[i];
1626d4002b98SHong Zhang         n     = (diag[i] - shift) / 8;
1627d4002b98SHong Zhang         for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1628d4002b98SHong Zhang         t[i] = sum;
1629d4002b98SHong Zhang         x[i] = sum * idiag[i];
1630d4002b98SHong Zhang       }
1631d4002b98SHong Zhang       xb = t;
16329566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(a->nz));
1633d4002b98SHong Zhang     } else xb = b;
1634d4002b98SHong Zhang     if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) {
1635d4002b98SHong Zhang       for (i = m - 1; i >= 0; i--) {
1636d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1637d4002b98SHong Zhang         sum   = xb[i];
1638d4002b98SHong Zhang         n     = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1639d4002b98SHong Zhang         for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1640d4002b98SHong Zhang         if (xb == b) {
1641d4002b98SHong Zhang           x[i] = sum * idiag[i];
1642d4002b98SHong Zhang         } else {
1643d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1644d4002b98SHong Zhang         }
1645d4002b98SHong Zhang       }
16469566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */
1647d4002b98SHong Zhang     }
1648d4002b98SHong Zhang     its--;
1649d4002b98SHong Zhang   }
1650d4002b98SHong Zhang   while (its--) {
1651d4002b98SHong Zhang     if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) {
1652d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1653d4002b98SHong Zhang         /* lower */
1654d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1655d4002b98SHong Zhang         sum   = b[i];
1656d4002b98SHong Zhang         n     = (diag[i] - shift) / 8;
1657d4002b98SHong Zhang         for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1658d4002b98SHong Zhang         t[i] = sum; /* save application of the lower-triangular part */
1659d4002b98SHong Zhang         /* upper */
1660d4002b98SHong Zhang         n    = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1661d4002b98SHong Zhang         for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1662d4002b98SHong Zhang         x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1663d4002b98SHong Zhang       }
1664d4002b98SHong Zhang       xb = t;
16659566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(2.0 * a->nz));
1666d4002b98SHong Zhang     } else xb = b;
1667d4002b98SHong Zhang     if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) {
1668d4002b98SHong Zhang       for (i = m - 1; i >= 0; i--) {
1669d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1670d4002b98SHong Zhang         sum   = xb[i];
1671d4002b98SHong Zhang         if (xb == b) {
1672d4002b98SHong Zhang           /* whole matrix (no checkpointing available) */
1673d4002b98SHong Zhang           n = a->rlen[i];
1674d4002b98SHong Zhang           for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1675d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i];
1676d4002b98SHong Zhang         } else { /* lower-triangular part has been saved, so only apply upper-triangular */
1677d4002b98SHong Zhang           n = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1678d4002b98SHong Zhang           for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1679d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1680d4002b98SHong Zhang         }
1681d4002b98SHong Zhang       }
1682d4002b98SHong Zhang       if (xb == b) {
16839566063dSJacob Faibussowitsch         PetscCall(PetscLogFlops(2.0 * a->nz));
1684d4002b98SHong Zhang       } else {
16859566063dSJacob Faibussowitsch         PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */
1686d4002b98SHong Zhang       }
1687d4002b98SHong Zhang     }
1688d4002b98SHong Zhang   }
16899566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(xx, &x));
16909566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(bb, &b));
1691d4002b98SHong Zhang   PetscFunctionReturn(0);
1692d4002b98SHong Zhang }
1693d4002b98SHong Zhang 
1694d4002b98SHong Zhang /* -------------------------------------------------------------------*/
1695d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL,
16966108893eSStefano Zampini                                        MatGetRow_SeqSELL,
16976108893eSStefano Zampini                                        MatRestoreRow_SeqSELL,
1698d4002b98SHong Zhang                                        MatMult_SeqSELL,
1699d4002b98SHong Zhang                                        /* 4*/ MatMultAdd_SeqSELL,
1700d4002b98SHong Zhang                                        MatMultTranspose_SeqSELL,
1701d4002b98SHong Zhang                                        MatMultTransposeAdd_SeqSELL,
1702f4259b30SLisandro Dalcin                                        NULL,
1703f4259b30SLisandro Dalcin                                        NULL,
1704f4259b30SLisandro Dalcin                                        NULL,
1705f4259b30SLisandro Dalcin                                        /* 10*/ NULL,
1706f4259b30SLisandro Dalcin                                        NULL,
1707f4259b30SLisandro Dalcin                                        NULL,
1708d4002b98SHong Zhang                                        MatSOR_SeqSELL,
1709f4259b30SLisandro Dalcin                                        NULL,
1710d4002b98SHong Zhang                                        /* 15*/ MatGetInfo_SeqSELL,
1711d4002b98SHong Zhang                                        MatEqual_SeqSELL,
1712d4002b98SHong Zhang                                        MatGetDiagonal_SeqSELL,
1713d4002b98SHong Zhang                                        MatDiagonalScale_SeqSELL,
1714f4259b30SLisandro Dalcin                                        NULL,
1715f4259b30SLisandro Dalcin                                        /* 20*/ NULL,
1716d4002b98SHong Zhang                                        MatAssemblyEnd_SeqSELL,
1717d4002b98SHong Zhang                                        MatSetOption_SeqSELL,
1718d4002b98SHong Zhang                                        MatZeroEntries_SeqSELL,
1719f4259b30SLisandro Dalcin                                        /* 24*/ NULL,
1720f4259b30SLisandro Dalcin                                        NULL,
1721f4259b30SLisandro Dalcin                                        NULL,
1722f4259b30SLisandro Dalcin                                        NULL,
1723f4259b30SLisandro Dalcin                                        NULL,
1724d4002b98SHong Zhang                                        /* 29*/ MatSetUp_SeqSELL,
1725f4259b30SLisandro Dalcin                                        NULL,
1726f4259b30SLisandro Dalcin                                        NULL,
1727f4259b30SLisandro Dalcin                                        NULL,
1728f4259b30SLisandro Dalcin                                        NULL,
1729d4002b98SHong Zhang                                        /* 34*/ MatDuplicate_SeqSELL,
1730f4259b30SLisandro Dalcin                                        NULL,
1731f4259b30SLisandro Dalcin                                        NULL,
1732f4259b30SLisandro Dalcin                                        NULL,
1733f4259b30SLisandro Dalcin                                        NULL,
1734f4259b30SLisandro Dalcin                                        /* 39*/ NULL,
1735f4259b30SLisandro Dalcin                                        NULL,
1736f4259b30SLisandro Dalcin                                        NULL,
1737d4002b98SHong Zhang                                        MatGetValues_SeqSELL,
1738d4002b98SHong Zhang                                        MatCopy_SeqSELL,
1739f4259b30SLisandro Dalcin                                        /* 44*/ NULL,
1740d4002b98SHong Zhang                                        MatScale_SeqSELL,
1741d4002b98SHong Zhang                                        MatShift_SeqSELL,
1742f4259b30SLisandro Dalcin                                        NULL,
1743f4259b30SLisandro Dalcin                                        NULL,
1744f4259b30SLisandro Dalcin                                        /* 49*/ NULL,
1745f4259b30SLisandro Dalcin                                        NULL,
1746f4259b30SLisandro Dalcin                                        NULL,
1747f4259b30SLisandro Dalcin                                        NULL,
1748f4259b30SLisandro Dalcin                                        NULL,
1749d4002b98SHong Zhang                                        /* 54*/ MatFDColoringCreate_SeqXAIJ,
1750f4259b30SLisandro Dalcin                                        NULL,
1751f4259b30SLisandro Dalcin                                        NULL,
1752f4259b30SLisandro Dalcin                                        NULL,
1753f4259b30SLisandro Dalcin                                        NULL,
1754f4259b30SLisandro Dalcin                                        /* 59*/ NULL,
1755d4002b98SHong Zhang                                        MatDestroy_SeqSELL,
1756d4002b98SHong Zhang                                        MatView_SeqSELL,
1757f4259b30SLisandro Dalcin                                        NULL,
1758f4259b30SLisandro Dalcin                                        NULL,
1759f4259b30SLisandro Dalcin                                        /* 64*/ NULL,
1760f4259b30SLisandro Dalcin                                        NULL,
1761f4259b30SLisandro Dalcin                                        NULL,
1762f4259b30SLisandro Dalcin                                        NULL,
1763f4259b30SLisandro Dalcin                                        NULL,
1764f4259b30SLisandro Dalcin                                        /* 69*/ NULL,
1765f4259b30SLisandro Dalcin                                        NULL,
1766f4259b30SLisandro Dalcin                                        NULL,
1767f4259b30SLisandro Dalcin                                        NULL,
1768f4259b30SLisandro Dalcin                                        NULL,
1769f4259b30SLisandro Dalcin                                        /* 74*/ NULL,
1770d4002b98SHong Zhang                                        MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */
1771f4259b30SLisandro Dalcin                                        NULL,
1772f4259b30SLisandro Dalcin                                        NULL,
1773f4259b30SLisandro Dalcin                                        NULL,
1774f4259b30SLisandro Dalcin                                        /* 79*/ NULL,
1775f4259b30SLisandro Dalcin                                        NULL,
1776f4259b30SLisandro Dalcin                                        NULL,
1777f4259b30SLisandro Dalcin                                        NULL,
1778f4259b30SLisandro Dalcin                                        NULL,
1779f4259b30SLisandro Dalcin                                        /* 84*/ NULL,
1780f4259b30SLisandro Dalcin                                        NULL,
1781f4259b30SLisandro Dalcin                                        NULL,
1782f4259b30SLisandro Dalcin                                        NULL,
1783f4259b30SLisandro Dalcin                                        NULL,
1784f4259b30SLisandro Dalcin                                        /* 89*/ NULL,
1785f4259b30SLisandro Dalcin                                        NULL,
1786f4259b30SLisandro Dalcin                                        NULL,
1787f4259b30SLisandro Dalcin                                        NULL,
1788f4259b30SLisandro Dalcin                                        NULL,
1789f4259b30SLisandro Dalcin                                        /* 94*/ NULL,
1790f4259b30SLisandro Dalcin                                        NULL,
1791f4259b30SLisandro Dalcin                                        NULL,
1792f4259b30SLisandro Dalcin                                        NULL,
1793f4259b30SLisandro Dalcin                                        NULL,
1794f4259b30SLisandro Dalcin                                        /* 99*/ NULL,
1795f4259b30SLisandro Dalcin                                        NULL,
1796f4259b30SLisandro Dalcin                                        NULL,
1797d4002b98SHong Zhang                                        MatConjugate_SeqSELL,
1798f4259b30SLisandro Dalcin                                        NULL,
1799f4259b30SLisandro Dalcin                                        /*104*/ NULL,
1800f4259b30SLisandro Dalcin                                        NULL,
1801f4259b30SLisandro Dalcin                                        NULL,
1802f4259b30SLisandro Dalcin                                        NULL,
1803f4259b30SLisandro Dalcin                                        NULL,
1804f4259b30SLisandro Dalcin                                        /*109*/ NULL,
1805f4259b30SLisandro Dalcin                                        NULL,
1806f4259b30SLisandro Dalcin                                        NULL,
1807f4259b30SLisandro Dalcin                                        NULL,
1808d4002b98SHong Zhang                                        MatMissingDiagonal_SeqSELL,
1809f4259b30SLisandro Dalcin                                        /*114*/ NULL,
1810f4259b30SLisandro Dalcin                                        NULL,
1811f4259b30SLisandro Dalcin                                        NULL,
1812f4259b30SLisandro Dalcin                                        NULL,
1813f4259b30SLisandro Dalcin                                        NULL,
1814f4259b30SLisandro Dalcin                                        /*119*/ NULL,
1815f4259b30SLisandro Dalcin                                        NULL,
1816f4259b30SLisandro Dalcin                                        NULL,
1817f4259b30SLisandro Dalcin                                        NULL,
1818f4259b30SLisandro Dalcin                                        NULL,
1819f4259b30SLisandro Dalcin                                        /*124*/ NULL,
1820f4259b30SLisandro Dalcin                                        NULL,
1821f4259b30SLisandro Dalcin                                        NULL,
1822f4259b30SLisandro Dalcin                                        NULL,
1823f4259b30SLisandro Dalcin                                        NULL,
1824f4259b30SLisandro Dalcin                                        /*129*/ NULL,
1825f4259b30SLisandro Dalcin                                        NULL,
1826f4259b30SLisandro Dalcin                                        NULL,
1827f4259b30SLisandro Dalcin                                        NULL,
1828f4259b30SLisandro Dalcin                                        NULL,
1829f4259b30SLisandro Dalcin                                        /*134*/ NULL,
1830f4259b30SLisandro Dalcin                                        NULL,
1831f4259b30SLisandro Dalcin                                        NULL,
1832f4259b30SLisandro Dalcin                                        NULL,
1833f4259b30SLisandro Dalcin                                        NULL,
1834f4259b30SLisandro Dalcin                                        /*139*/ NULL,
1835f4259b30SLisandro Dalcin                                        NULL,
1836f4259b30SLisandro Dalcin                                        NULL,
1837d4002b98SHong Zhang                                        MatFDColoringSetUp_SeqXAIJ,
1838f4259b30SLisandro Dalcin                                        NULL,
1839d70f29a3SPierre Jolivet                                        /*144*/ NULL,
1840d70f29a3SPierre Jolivet                                        NULL,
1841d70f29a3SPierre Jolivet                                        NULL,
184299a7f59eSMark Adams                                        NULL,
184399a7f59eSMark Adams                                        NULL,
18447fb60732SBarry Smith                                        NULL,
18459371c9d4SSatish Balay                                        /*150*/ NULL};
1846d4002b98SHong Zhang 
18479371c9d4SSatish Balay PetscErrorCode MatStoreValues_SeqSELL(Mat mat) {
1848d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data;
1849d4002b98SHong Zhang 
1850d4002b98SHong Zhang   PetscFunctionBegin;
185128b400f6SJacob Faibussowitsch   PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first");
1852d4002b98SHong Zhang 
1853d4002b98SHong Zhang   /* allocate space for values if not already there */
1854d4002b98SHong Zhang   if (!a->saved_values) {
18559566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values));
18569566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)mat, (a->sliidx[a->totalslices] + 1) * sizeof(PetscScalar)));
1857d4002b98SHong Zhang   }
1858d4002b98SHong Zhang 
1859d4002b98SHong Zhang   /* copy values over */
18609566063dSJacob Faibussowitsch   PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices]));
1861d4002b98SHong Zhang   PetscFunctionReturn(0);
1862d4002b98SHong Zhang }
1863d4002b98SHong Zhang 
18649371c9d4SSatish Balay PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) {
1865d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data;
1866d4002b98SHong Zhang 
1867d4002b98SHong Zhang   PetscFunctionBegin;
186828b400f6SJacob Faibussowitsch   PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first");
186928b400f6SJacob Faibussowitsch   PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first");
18709566063dSJacob Faibussowitsch   PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices]));
1871d4002b98SHong Zhang   PetscFunctionReturn(0);
1872d4002b98SHong Zhang }
1873d4002b98SHong Zhang 
1874d4002b98SHong Zhang /*@C
1875*11a5261eSBarry Smith  MatSeqSELLRestoreArray - returns access to the array where the data for a `MATSEQSELL` matrix is stored obtained by `MatSeqSELLGetArray()`
1876d4002b98SHong Zhang 
1877d4002b98SHong Zhang  Not Collective
1878d4002b98SHong Zhang 
1879d4002b98SHong Zhang  Input Parameters:
1880*11a5261eSBarry Smith  .  mat - a `MATSEQSELL` matrix
1881d4002b98SHong Zhang  .  array - pointer to the data
1882d4002b98SHong Zhang 
1883d4002b98SHong Zhang  Level: intermediate
1884d4002b98SHong Zhang 
1885*11a5261eSBarry Smith  .seealso: `MATSEQSELL`, `MatSeqSELLGetArray()`, `MatSeqSELLRestoreArrayF90()`
1886d4002b98SHong Zhang  @*/
18879371c9d4SSatish Balay PetscErrorCode MatSeqSELLRestoreArray(Mat A, PetscScalar **array) {
1888d4002b98SHong Zhang   PetscFunctionBegin;
1889cac4c232SBarry Smith   PetscUseMethod(A, "MatSeqSELLRestoreArray_C", (Mat, PetscScalar **), (A, array));
1890d4002b98SHong Zhang   PetscFunctionReturn(0);
1891d4002b98SHong Zhang }
1892d4002b98SHong Zhang 
18939371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) {
1894d4002b98SHong Zhang   Mat_SeqSELL *b;
1895d4002b98SHong Zhang   PetscMPIInt  size;
1896d4002b98SHong Zhang 
1897d4002b98SHong Zhang   PetscFunctionBegin;
18989566063dSJacob Faibussowitsch   PetscCall(PetscCitationsRegister(citation, &cited));
18999566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size));
190008401ef6SPierre Jolivet   PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1");
1901d4002b98SHong Zhang 
19029566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(B, &b));
1903d4002b98SHong Zhang 
1904d4002b98SHong Zhang   B->data = (void *)b;
1905d4002b98SHong Zhang 
19069566063dSJacob Faibussowitsch   PetscCall(PetscMemcpy(B->ops, &MatOps_Values, sizeof(struct _MatOps)));
1907d4002b98SHong Zhang 
1908f4259b30SLisandro Dalcin   b->row                = NULL;
1909f4259b30SLisandro Dalcin   b->col                = NULL;
1910f4259b30SLisandro Dalcin   b->icol               = NULL;
1911d4002b98SHong Zhang   b->reallocs           = 0;
1912d4002b98SHong Zhang   b->ignorezeroentries  = PETSC_FALSE;
1913d4002b98SHong Zhang   b->roworiented        = PETSC_TRUE;
1914d4002b98SHong Zhang   b->nonew              = 0;
1915f4259b30SLisandro Dalcin   b->diag               = NULL;
1916f4259b30SLisandro Dalcin   b->solve_work         = NULL;
1917f4259b30SLisandro Dalcin   B->spptr              = NULL;
1918f4259b30SLisandro Dalcin   b->saved_values       = NULL;
1919f4259b30SLisandro Dalcin   b->idiag              = NULL;
1920f4259b30SLisandro Dalcin   b->mdiag              = NULL;
1921f4259b30SLisandro Dalcin   b->ssor_work          = NULL;
1922d4002b98SHong Zhang   b->omega              = 1.0;
1923d4002b98SHong Zhang   b->fshift             = 0.0;
1924d4002b98SHong Zhang   b->idiagvalid         = PETSC_FALSE;
1925d4002b98SHong Zhang   b->keepnonzeropattern = PETSC_FALSE;
1926d4002b98SHong Zhang 
19279566063dSJacob Faibussowitsch   PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL));
19289566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL));
19299566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL));
19309566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL));
19319566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL));
19329566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL));
19339566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ));
1934d4002b98SHong Zhang   PetscFunctionReturn(0);
1935d4002b98SHong Zhang }
1936d4002b98SHong Zhang 
1937d4002b98SHong Zhang /*
1938d4002b98SHong Zhang  Given a matrix generated with MatGetFactor() duplicates all the information in A into B
1939d4002b98SHong Zhang  */
19409371c9d4SSatish Balay PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) {
1941ed73aabaSBarry Smith   Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data;
1942d4002b98SHong Zhang   PetscInt     i, m                           = A->rmap->n;
1943d4002b98SHong Zhang   PetscInt     totalslices = a->totalslices;
1944d4002b98SHong Zhang 
1945d4002b98SHong Zhang   PetscFunctionBegin;
1946d4002b98SHong Zhang   C->factortype = A->factortype;
1947f4259b30SLisandro Dalcin   c->row        = NULL;
1948f4259b30SLisandro Dalcin   c->col        = NULL;
1949f4259b30SLisandro Dalcin   c->icol       = NULL;
1950d4002b98SHong Zhang   c->reallocs   = 0;
1951d4002b98SHong Zhang   C->assembled  = PETSC_TRUE;
1952d4002b98SHong Zhang 
19539566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->rmap, &C->rmap));
19549566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->cmap, &C->cmap));
1955d4002b98SHong Zhang 
19569566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(8 * totalslices, &c->rlen));
19579566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectMemory((PetscObject)C, m * sizeof(PetscInt)));
19589566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx));
19599566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectMemory((PetscObject)C, (totalslices + 1) * sizeof(PetscInt)));
1960d4002b98SHong Zhang 
1961d4002b98SHong Zhang   for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i];
1962d4002b98SHong Zhang   for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i];
1963d4002b98SHong Zhang 
1964d4002b98SHong Zhang   /* allocate the matrix space */
1965d4002b98SHong Zhang   if (mallocmatspace) {
19669566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx));
19679566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)C, a->maxallocmat * (sizeof(PetscScalar) + sizeof(PetscInt))));
1968d4002b98SHong Zhang 
1969d4002b98SHong Zhang     c->singlemalloc = PETSC_TRUE;
1970d4002b98SHong Zhang 
1971d4002b98SHong Zhang     if (m > 0) {
19729566063dSJacob Faibussowitsch       PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat));
1973d4002b98SHong Zhang       if (cpvalues == MAT_COPY_VALUES) {
19749566063dSJacob Faibussowitsch         PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat));
1975d4002b98SHong Zhang       } else {
19769566063dSJacob Faibussowitsch         PetscCall(PetscArrayzero(c->val, a->maxallocmat));
1977d4002b98SHong Zhang       }
1978d4002b98SHong Zhang     }
1979d4002b98SHong Zhang   }
1980d4002b98SHong Zhang 
1981d4002b98SHong Zhang   c->ignorezeroentries = a->ignorezeroentries;
1982d4002b98SHong Zhang   c->roworiented       = a->roworiented;
1983d4002b98SHong Zhang   c->nonew             = a->nonew;
1984d4002b98SHong Zhang   if (a->diag) {
19859566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m, &c->diag));
19869566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)C, m * sizeof(PetscInt)));
1987ad540459SPierre Jolivet     for (i = 0; i < m; i++) c->diag[i] = a->diag[i];
1988f4259b30SLisandro Dalcin   } else c->diag = NULL;
1989d4002b98SHong Zhang 
1990f4259b30SLisandro Dalcin   c->solve_work         = NULL;
1991f4259b30SLisandro Dalcin   c->saved_values       = NULL;
1992f4259b30SLisandro Dalcin   c->idiag              = NULL;
1993f4259b30SLisandro Dalcin   c->ssor_work          = NULL;
1994d4002b98SHong Zhang   c->keepnonzeropattern = a->keepnonzeropattern;
1995d4002b98SHong Zhang   c->free_val           = PETSC_TRUE;
1996d4002b98SHong Zhang   c->free_colidx        = PETSC_TRUE;
1997d4002b98SHong Zhang 
1998d4002b98SHong Zhang   c->maxallocmat  = a->maxallocmat;
1999d4002b98SHong Zhang   c->maxallocrow  = a->maxallocrow;
2000d4002b98SHong Zhang   c->rlenmax      = a->rlenmax;
2001d4002b98SHong Zhang   c->nz           = a->nz;
2002d4002b98SHong Zhang   C->preallocated = PETSC_TRUE;
2003d4002b98SHong Zhang 
2004d4002b98SHong Zhang   c->nonzerorowcnt = a->nonzerorowcnt;
2005d4002b98SHong Zhang   C->nonzerostate  = A->nonzerostate;
2006d4002b98SHong Zhang 
20079566063dSJacob Faibussowitsch   PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist));
2008d4002b98SHong Zhang   PetscFunctionReturn(0);
2009d4002b98SHong Zhang }
2010d4002b98SHong Zhang 
20119371c9d4SSatish Balay PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) {
2012d4002b98SHong Zhang   PetscFunctionBegin;
20139566063dSJacob Faibussowitsch   PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B));
20149566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n));
201548a46eb9SPierre Jolivet   if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A));
20169566063dSJacob Faibussowitsch   PetscCall(MatSetType(*B, ((PetscObject)A)->type_name));
20179566063dSJacob Faibussowitsch   PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE));
2018d4002b98SHong Zhang   PetscFunctionReturn(0);
2019d4002b98SHong Zhang }
2020d4002b98SHong Zhang 
2021ed73aabaSBarry Smith /*MC
2022ed73aabaSBarry Smith    MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices,
2023ed73aabaSBarry Smith    based on the sliced Ellpack format
2024ed73aabaSBarry Smith 
2025ed73aabaSBarry Smith    Options Database Keys:
2026*11a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()`
2027ed73aabaSBarry Smith 
2028ed73aabaSBarry Smith    Level: beginner
2029ed73aabaSBarry Smith 
2030db781477SPatrick Sanan .seealso: `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ`
2031ed73aabaSBarry Smith M*/
2032ed73aabaSBarry Smith 
2033ed73aabaSBarry Smith /*MC
2034ed73aabaSBarry Smith    MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices.
2035ed73aabaSBarry Smith 
2036*11a5261eSBarry Smith    This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator,
2037*11a5261eSBarry Smith    and `MATMPISELL` otherwise.  As a result, for single process communicators,
2038*11a5261eSBarry Smith   `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported
2039ed73aabaSBarry Smith   for communicators controlling multiple processes.  It is recommended that you call both of
2040ed73aabaSBarry Smith   the above preallocation routines for simplicity.
2041ed73aabaSBarry Smith 
2042ed73aabaSBarry Smith    Options Database Keys:
2043ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions()
2044ed73aabaSBarry Smith 
2045ed73aabaSBarry Smith   Level: beginner
2046ed73aabaSBarry Smith 
2047ed73aabaSBarry Smith   Notes:
2048ed73aabaSBarry Smith    This format is only supported for real scalars, double precision, and 32 bit indices (the defaults).
2049ed73aabaSBarry Smith 
2050ed73aabaSBarry Smith    It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of
2051ed73aabaSBarry Smith    non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement.
2052ed73aabaSBarry Smith 
2053ed73aabaSBarry Smith   Developer Notes:
2054ed73aabaSBarry Smith    On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance.
2055ed73aabaSBarry Smith 
2056ed73aabaSBarry Smith    The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8
2057ed73aabaSBarry Smith .vb
2058ed73aabaSBarry Smith                             (2 0  3 4)
2059ed73aabaSBarry Smith    Consider the matrix A =  (5 0  6 0)
2060ed73aabaSBarry Smith                             (0 0  7 8)
2061ed73aabaSBarry Smith                             (0 0  9 9)
2062ed73aabaSBarry Smith 
2063ed73aabaSBarry Smith    symbolically the Ellpack format can be written as
2064ed73aabaSBarry Smith 
2065ed73aabaSBarry Smith         (2 3 4 |)           (0 2 3 |)
2066ed73aabaSBarry Smith    v =  (5 6 0 |)  colidx = (0 2 2 |)
2067ed73aabaSBarry Smith         --------            ---------
2068ed73aabaSBarry Smith         (7 8 |)             (2 3 |)
2069ed73aabaSBarry Smith         (9 9 |)             (2 3 |)
2070ed73aabaSBarry Smith 
2071ed73aabaSBarry Smith     The data for 2 contiguous rows of the matrix are stored together (in column-major format) (with any left-over rows handled as a special case).
2072ed73aabaSBarry Smith     Any of the rows in a slice fewer columns than the rest of the slice (row 1 above) are padded with a previous valid column in their "extra" colidx[] locations and
2073ed73aabaSBarry Smith     zeros in their "extra" v locations so that the matrix operations do not need special code to handle different length rows within the 2 rows in a slice.
2074ed73aabaSBarry Smith 
2075ed73aabaSBarry Smith     The one-dimensional representation of v used in the code is (2 5 3 6 4 0 7 9 8 9)  and for colidx is (0 0 2 2 3 2 2 2 3 3)
2076ed73aabaSBarry Smith 
2077ed73aabaSBarry Smith .ve
2078ed73aabaSBarry Smith 
2079ed73aabaSBarry Smith       See MatMult_SeqSELL() for how this format is used with the SIMD operations to achieve high performance.
2080ed73aabaSBarry Smith 
2081ed73aabaSBarry Smith  References:
2082606c0280SSatish Balay . * - Hong Zhang, Richard T. Mills, Karl Rupp, and Barry F. Smith, Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512},
2083ed73aabaSBarry Smith    Proceedings of the 47th International Conference on Parallel Processing, 2018.
2084ed73aabaSBarry Smith 
2085db781477SPatrick Sanan .seealso: `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ`
2086ed73aabaSBarry Smith M*/
2087ed73aabaSBarry Smith 
2088d4002b98SHong Zhang /*@C
2089*11a5261eSBarry Smith        MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format.
2090d4002b98SHong Zhang 
2091ed73aabaSBarry Smith  Collective on comm
2092d4002b98SHong Zhang 
2093d4002b98SHong Zhang  Input Parameters:
2094*11a5261eSBarry Smith +  comm - MPI communicator, set to `PETSC_COMM_SELF`
2095d4002b98SHong Zhang .  m - number of rows
2096d4002b98SHong Zhang .  n - number of columns
2097d4002b98SHong Zhang .  rlenmax - maximum number of nonzeros in a row
2098d4002b98SHong Zhang -  rlen - array containing the number of nonzeros in the various rows
2099d4002b98SHong Zhang  (possibly different for each row) or NULL
2100d4002b98SHong Zhang 
2101d4002b98SHong Zhang  Output Parameter:
2102d4002b98SHong Zhang .  A - the matrix
2103d4002b98SHong Zhang 
2104*11a5261eSBarry Smith  It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`,
2105f6f02116SRichard Tran Mills  MatXXXXSetPreallocation() paradigm instead of this routine directly.
2106*11a5261eSBarry Smith  [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`]
2107d4002b98SHong Zhang 
2108d4002b98SHong Zhang  Notes:
2109d4002b98SHong Zhang  If nnz is given then nz is ignored
2110d4002b98SHong Zhang 
2111d4002b98SHong Zhang  Specify the preallocated storage with either rlenmax or rlen (not both).
2112*11a5261eSBarry Smith  Set rlenmax = `PETSC_DEFAULT` and rlen = NULL for PETSc to control dynamic memory
2113d4002b98SHong Zhang  allocation.  For large problems you MUST preallocate memory or you
2114d4002b98SHong Zhang  will get TERRIBLE performance, see the users' manual chapter on matrices.
2115d4002b98SHong Zhang 
2116d4002b98SHong Zhang  Level: intermediate
2117d4002b98SHong Zhang 
2118*11a5261eSBarry Smith  .seealso: `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATSEQSELL`, `MATMPISELL`
2119d4002b98SHong Zhang  @*/
21209371c9d4SSatish Balay PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt maxallocrow, const PetscInt rlen[], Mat *A) {
2121d4002b98SHong Zhang   PetscFunctionBegin;
21229566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm, A));
21239566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(*A, m, n, m, n));
21249566063dSJacob Faibussowitsch   PetscCall(MatSetType(*A, MATSEQSELL));
21259566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, maxallocrow, rlen));
2126d4002b98SHong Zhang   PetscFunctionReturn(0);
2127d4002b98SHong Zhang }
2128d4002b98SHong Zhang 
21299371c9d4SSatish Balay PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) {
2130d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data;
2131d4002b98SHong Zhang   PetscInt     totalslices = a->totalslices;
2132d4002b98SHong Zhang 
2133d4002b98SHong Zhang   PetscFunctionBegin;
2134d4002b98SHong Zhang   /* If the  matrix dimensions are not equal,or no of nonzeros */
2135d4002b98SHong Zhang   if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) {
2136d4002b98SHong Zhang     *flg = PETSC_FALSE;
2137d4002b98SHong Zhang     PetscFunctionReturn(0);
2138d4002b98SHong Zhang   }
2139d4002b98SHong Zhang   /* if the a->colidx are the same */
21409566063dSJacob Faibussowitsch   PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg));
2141d4002b98SHong Zhang   if (!*flg) PetscFunctionReturn(0);
2142d4002b98SHong Zhang   /* if a->val are the same */
21439566063dSJacob Faibussowitsch   PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg));
2144d4002b98SHong Zhang   PetscFunctionReturn(0);
2145d4002b98SHong Zhang }
2146d4002b98SHong Zhang 
21479371c9d4SSatish Balay PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) {
2148d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
2149d4002b98SHong Zhang 
2150d4002b98SHong Zhang   PetscFunctionBegin;
2151d4002b98SHong Zhang   a->idiagvalid = PETSC_FALSE;
2152d4002b98SHong Zhang   PetscFunctionReturn(0);
2153d4002b98SHong Zhang }
2154d4002b98SHong Zhang 
21559371c9d4SSatish Balay PetscErrorCode MatConjugate_SeqSELL(Mat A) {
2156d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
2157d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
2158d4002b98SHong Zhang   PetscInt     i;
2159d4002b98SHong Zhang   PetscScalar *val = a->val;
2160d4002b98SHong Zhang 
2161d4002b98SHong Zhang   PetscFunctionBegin;
2162ad540459SPierre Jolivet   for (i = 0; i < a->sliidx[a->totalslices]; i++) val[i] = PetscConj(val[i]);
2163d4002b98SHong Zhang #else
2164d4002b98SHong Zhang   PetscFunctionBegin;
2165d4002b98SHong Zhang #endif
2166d4002b98SHong Zhang   PetscFunctionReturn(0);
2167d4002b98SHong Zhang }
2168