xref: /petsc/src/mat/impls/sell/seq/sell.c (revision 0fdf79fb08699bf9be0aa4d8ba0185e387a216c8)
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:
5411a5261eSBarry 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).
6311a5261eSBarry 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 
6711a5261eSBarry 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 
7211a5261eSBarry 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 
8111a5261eSBarry Smith  .seealso: `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()`
82d4002b98SHong Zhang  @*/
83d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[])
84d71ae5a4SJacob Faibussowitsch {
85d4002b98SHong Zhang   PetscFunctionBegin;
86d4002b98SHong Zhang   PetscValidHeaderSpecific(B, MAT_CLASSID, 1);
87d4002b98SHong Zhang   PetscValidType(B, 1);
88cac4c232SBarry Smith   PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen));
89d4002b98SHong Zhang   PetscFunctionReturn(0);
90d4002b98SHong Zhang }
91d4002b98SHong Zhang 
92d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[])
93d71ae5a4SJacob Faibussowitsch {
94d4002b98SHong Zhang   Mat_SeqSELL *b;
95d4002b98SHong Zhang   PetscInt     i, j, totalslices;
96d4002b98SHong Zhang   PetscBool    skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE;
97d4002b98SHong Zhang 
98d4002b98SHong Zhang   PetscFunctionBegin;
99d4002b98SHong Zhang   if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE;
100d4002b98SHong Zhang   if (maxallocrow == MAT_SKIP_ALLOCATION) {
101d4002b98SHong Zhang     skipallocation = PETSC_TRUE;
102d4002b98SHong Zhang     maxallocrow    = 0;
103d4002b98SHong Zhang   }
104d4002b98SHong Zhang 
1059566063dSJacob Faibussowitsch   PetscCall(PetscLayoutSetUp(B->rmap));
1069566063dSJacob Faibussowitsch   PetscCall(PetscLayoutSetUp(B->cmap));
107d4002b98SHong Zhang 
108d4002b98SHong Zhang   /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */
109d4002b98SHong Zhang   if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5;
11008401ef6SPierre Jolivet   PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow);
111d4002b98SHong Zhang   if (rlen) {
112d4002b98SHong Zhang     for (i = 0; i < B->rmap->n; i++) {
11308401ef6SPierre 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]);
11408401ef6SPierre 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);
115d4002b98SHong Zhang     }
116d4002b98SHong Zhang   }
117d4002b98SHong Zhang 
118d4002b98SHong Zhang   B->preallocated = PETSC_TRUE;
119d4002b98SHong Zhang 
120d4002b98SHong Zhang   b = (Mat_SeqSELL *)B->data;
121d4002b98SHong Zhang 
122faa75363SBarry Smith   totalslices    = PetscCeilInt(B->rmap->n, 8);
123d4002b98SHong Zhang   b->totalslices = totalslices;
124d4002b98SHong Zhang   if (!skipallocation) {
1259566063dSJacob 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));
126d4002b98SHong Zhang 
127d4002b98SHong Zhang     if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */
1289566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx));
129d4002b98SHong Zhang     }
130d4002b98SHong Zhang     if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */
131d4002b98SHong Zhang       if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10;
132d4002b98SHong Zhang       else if (maxallocrow < 0) maxallocrow = 1;
133d4002b98SHong Zhang       for (i = 0; i <= totalslices; i++) b->sliidx[i] = i * 8 * maxallocrow;
134d4002b98SHong Zhang     } else {
135d4002b98SHong Zhang       maxallocrow  = 0;
136d4002b98SHong Zhang       b->sliidx[0] = 0;
137d4002b98SHong Zhang       for (i = 1; i < totalslices; i++) {
138d4002b98SHong Zhang         b->sliidx[i] = 0;
139ad540459SPierre Jolivet         for (j = 0; j < 8; j++) b->sliidx[i] = PetscMax(b->sliidx[i], rlen[8 * (i - 1) + j]);
140d4002b98SHong Zhang         maxallocrow = PetscMax(b->sliidx[i], maxallocrow);
1419566063dSJacob Faibussowitsch         PetscCall(PetscIntSumError(b->sliidx[i - 1], 8 * b->sliidx[i], &b->sliidx[i]));
142d4002b98SHong Zhang       }
143d4002b98SHong Zhang       /* last slice */
144d4002b98SHong Zhang       b->sliidx[totalslices] = 0;
145d4002b98SHong Zhang       for (j = (totalslices - 1) * 8; j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]);
146d4002b98SHong Zhang       maxallocrow            = PetscMax(b->sliidx[totalslices], maxallocrow);
147d4002b98SHong Zhang       b->sliidx[totalslices] = b->sliidx[totalslices - 1] + 8 * b->sliidx[totalslices];
148d4002b98SHong Zhang     }
149d4002b98SHong Zhang 
150d4002b98SHong Zhang     /* allocate space for val, colidx, rlen */
151d4002b98SHong Zhang     /* FIXME: should B's old memory be unlogged? */
1529566063dSJacob Faibussowitsch     PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx));
153d4002b98SHong Zhang     /* FIXME: assuming an element of the bit array takes 8 bits */
1549566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx));
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));
157d4002b98SHong Zhang 
158d4002b98SHong Zhang     b->singlemalloc = PETSC_TRUE;
159d4002b98SHong Zhang     b->free_val     = PETSC_TRUE;
160d4002b98SHong Zhang     b->free_colidx  = PETSC_TRUE;
161d4002b98SHong Zhang   } else {
162d4002b98SHong Zhang     b->free_val    = PETSC_FALSE;
163d4002b98SHong Zhang     b->free_colidx = PETSC_FALSE;
164d4002b98SHong Zhang   }
165d4002b98SHong Zhang 
166d4002b98SHong Zhang   b->nz               = 0;
167d4002b98SHong Zhang   b->maxallocrow      = maxallocrow;
168d4002b98SHong Zhang   b->rlenmax          = maxallocrow;
169d4002b98SHong Zhang   b->maxallocmat      = b->sliidx[totalslices];
170d4002b98SHong Zhang   B->info.nz_unneeded = (double)b->maxallocmat;
1711baa6e33SBarry Smith   if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE));
172d4002b98SHong Zhang   PetscFunctionReturn(0);
173d4002b98SHong Zhang }
174d4002b98SHong Zhang 
175d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v)
176d71ae5a4SJacob Faibussowitsch {
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 
198d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v)
199d71ae5a4SJacob Faibussowitsch {
2006108893eSStefano Zampini   PetscFunctionBegin;
2016108893eSStefano Zampini   PetscFunctionReturn(0);
2026108893eSStefano Zampini }
2036108893eSStefano Zampini 
204d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat)
205d71ae5a4SJacob Faibussowitsch {
206d4002b98SHong Zhang   Mat          B;
207d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
208e3f1f374SStefano Zampini   PetscInt     i;
209d4002b98SHong Zhang 
210d4002b98SHong Zhang   PetscFunctionBegin;
211ad013a7bSRichard Tran Mills   if (reuse == MAT_REUSE_MATRIX) {
212ad013a7bSRichard Tran Mills     B = *newmat;
2139566063dSJacob Faibussowitsch     PetscCall(MatZeroEntries(B));
214ad013a7bSRichard Tran Mills   } else {
2159566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
2169566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N));
2179566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQAIJ));
2189566063dSJacob Faibussowitsch     PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen));
219ad013a7bSRichard Tran Mills   }
220d4002b98SHong Zhang 
221e3f1f374SStefano Zampini   for (i = 0; i < A->rmap->n; i++) {
222e108cb99SStefano Zampini     PetscInt     nz = 0, *cols = NULL;
223e108cb99SStefano Zampini     PetscScalar *vals = NULL;
224e3f1f374SStefano Zampini 
2259566063dSJacob Faibussowitsch     PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals));
2269566063dSJacob Faibussowitsch     PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES));
2279566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals));
228d4002b98SHong Zhang   }
229e3f1f374SStefano Zampini 
2309566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
2319566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
232d4002b98SHong Zhang   B->rmap->bs = A->rmap->bs;
233d4002b98SHong Zhang 
234d4002b98SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
2359566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
236d4002b98SHong Zhang   } else {
237d4002b98SHong Zhang     *newmat = B;
238d4002b98SHong Zhang   }
239d4002b98SHong Zhang   PetscFunctionReturn(0);
240d4002b98SHong Zhang }
241d4002b98SHong Zhang 
242d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h>
243d4002b98SHong Zhang 
244d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat)
245d71ae5a4SJacob Faibussowitsch {
246d4002b98SHong Zhang   Mat                B;
247d4002b98SHong Zhang   Mat_SeqAIJ        *a  = (Mat_SeqAIJ *)A->data;
248d4002b98SHong Zhang   PetscInt          *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols;
249d4002b98SHong Zhang   const PetscInt    *cols;
250d4002b98SHong Zhang   const PetscScalar *vals;
251d4002b98SHong Zhang 
252d4002b98SHong Zhang   PetscFunctionBegin;
253ad013a7bSRichard Tran Mills 
254ad013a7bSRichard Tran Mills   if (reuse == MAT_REUSE_MATRIX) {
255ad013a7bSRichard Tran Mills     B = *newmat;
256ad013a7bSRichard Tran Mills   } else {
257d5e5b2e5SBarry Smith     if (PetscDefined(USE_DEBUG) || !a->ilen) {
2589566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(m, &rowlengths));
259ad540459SPierre Jolivet       for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i];
260d5e5b2e5SBarry Smith     }
261d5e5b2e5SBarry Smith     if (PetscDefined(USE_DEBUG) && a->ilen) {
262d5e5b2e5SBarry Smith       PetscBool eq;
2639566063dSJacob Faibussowitsch       PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq));
26428b400f6SJacob Faibussowitsch       PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect");
2659566063dSJacob Faibussowitsch       PetscCall(PetscFree(rowlengths));
266d5e5b2e5SBarry Smith       rowlengths = a->ilen;
267d5e5b2e5SBarry Smith     } else if (a->ilen) rowlengths = a->ilen;
2689566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
2699566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, m, n, m, n));
2709566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQSELL));
2719566063dSJacob Faibussowitsch     PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths));
2729566063dSJacob Faibussowitsch     if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths));
273ad013a7bSRichard Tran Mills   }
274d4002b98SHong Zhang 
275d4002b98SHong Zhang   for (row = 0; row < m; row++) {
2769566063dSJacob Faibussowitsch     PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals));
2779566063dSJacob Faibussowitsch     PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES));
2789566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals));
279d4002b98SHong Zhang   }
2809566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
2819566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
282d4002b98SHong Zhang   B->rmap->bs = A->rmap->bs;
283d4002b98SHong Zhang 
284d4002b98SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
2859566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
286d4002b98SHong Zhang   } else {
287d4002b98SHong Zhang     *newmat = B;
288d4002b98SHong Zhang   }
289d4002b98SHong Zhang   PetscFunctionReturn(0);
290d4002b98SHong Zhang }
291d4002b98SHong Zhang 
292d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy)
293d71ae5a4SJacob Faibussowitsch {
294d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
295d4002b98SHong Zhang   PetscScalar       *y;
296d4002b98SHong Zhang   const PetscScalar *x;
297d4002b98SHong Zhang   const MatScalar   *aval        = a->val;
298d4002b98SHong Zhang   PetscInt           totalslices = a->totalslices;
299d4002b98SHong Zhang   const PetscInt    *acolidx     = a->colidx;
3007285fed1SHong Zhang   PetscInt           i, j;
301d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
302d4002b98SHong Zhang   __m512d  vec_x, vec_y, vec_vals;
303d4002b98SHong Zhang   __m256i  vec_idx;
304d4002b98SHong Zhang   __mmask8 mask;
305d4002b98SHong Zhang   __m512d  vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4;
306d4002b98SHong Zhang   __m256i  vec_idx2, vec_idx3, vec_idx4;
3075f70456aSHong 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)
308a48a6482SHong Zhang   __m128i   vec_idx;
309a48a6482SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
310a48a6482SHong Zhang   MatScalar yval;
311a48a6482SHong Zhang   PetscInt  r, rows_left, row, nnz_in_row;
31221cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
313d4002b98SHong Zhang   __m128d   vec_x_tmp;
314d4002b98SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
315d4002b98SHong Zhang   MatScalar yval;
316d4002b98SHong Zhang   PetscInt  r, rows_left, row, nnz_in_row;
317d4002b98SHong Zhang #else
318d4002b98SHong Zhang   PetscScalar sum[8];
319d4002b98SHong Zhang #endif
320d4002b98SHong Zhang 
321d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
322d4002b98SHong Zhang   #pragma disjoint(*x, *y, *aval)
323d4002b98SHong Zhang #endif
324d4002b98SHong Zhang 
325d4002b98SHong Zhang   PetscFunctionBegin;
3269566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
3279566063dSJacob Faibussowitsch   PetscCall(VecGetArray(yy, &y));
328d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
329d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
330d4002b98SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
331d4002b98SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
332d4002b98SHong Zhang 
333d4002b98SHong Zhang     vec_y  = _mm512_setzero_pd();
334d4002b98SHong Zhang     vec_y2 = _mm512_setzero_pd();
335d4002b98SHong Zhang     vec_y3 = _mm512_setzero_pd();
336d4002b98SHong Zhang     vec_y4 = _mm512_setzero_pd();
337d4002b98SHong Zhang 
33838efe8efSHong Zhang     j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */
339d4002b98SHong Zhang     switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) {
340d4002b98SHong Zhang     case 3:
341d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3429371c9d4SSatish Balay       acolidx += 8;
3439371c9d4SSatish Balay       aval += 8;
344d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3459371c9d4SSatish Balay       acolidx += 8;
3469371c9d4SSatish Balay       aval += 8;
347d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
3489371c9d4SSatish Balay       acolidx += 8;
3499371c9d4SSatish Balay       aval += 8;
350d4002b98SHong Zhang       j += 3;
351d4002b98SHong Zhang       break;
352d4002b98SHong Zhang     case 2:
353d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3549371c9d4SSatish Balay       acolidx += 8;
3559371c9d4SSatish Balay       aval += 8;
356d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3579371c9d4SSatish Balay       acolidx += 8;
3589371c9d4SSatish Balay       aval += 8;
359d4002b98SHong Zhang       j += 2;
360d4002b98SHong Zhang       break;
361d4002b98SHong Zhang     case 1:
362d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3639371c9d4SSatish Balay       acolidx += 8;
3649371c9d4SSatish Balay       aval += 8;
365d4002b98SHong Zhang       j += 1;
366d4002b98SHong Zhang       break;
367d4002b98SHong Zhang     }
368d4002b98SHong Zhang   #pragma novector
369d4002b98SHong Zhang     for (; j < (a->sliidx[i + 1] >> 3); j += 4) {
370d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3719371c9d4SSatish Balay       acolidx += 8;
3729371c9d4SSatish Balay       aval += 8;
373d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3749371c9d4SSatish Balay       acolidx += 8;
3759371c9d4SSatish Balay       aval += 8;
376d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
3779371c9d4SSatish Balay       acolidx += 8;
3789371c9d4SSatish Balay       aval += 8;
379d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4);
3809371c9d4SSatish Balay       acolidx += 8;
3819371c9d4SSatish Balay       aval += 8;
382d4002b98SHong Zhang     }
383d4002b98SHong Zhang 
384d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y2);
385d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y3);
386d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y4);
387d4002b98SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
388d4002b98SHong Zhang       mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07)));
389ef588d5cSRichard Tran Mills       _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y);
390d4002b98SHong Zhang     } else {
391ef588d5cSRichard Tran Mills       _mm512_storeu_pd(&y[8 * i], vec_y);
392d4002b98SHong Zhang     }
393d4002b98SHong Zhang   }
3945f70456aSHong 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)
395a48a6482SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
396a48a6482SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
397a48a6482SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
398a48a6482SHong Zhang 
399a48a6482SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
400a48a6482SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
401a48a6482SHong Zhang       rows_left = A->rmap->n - 8 * i;
402a48a6482SHong Zhang       for (r = 0; r < rows_left; ++r) {
403a48a6482SHong Zhang         yval       = (MatScalar)0;
404a48a6482SHong Zhang         row        = 8 * i + r;
405a48a6482SHong Zhang         nnz_in_row = a->rlen[row];
406a48a6482SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
407a48a6482SHong Zhang         y[row] = yval;
408a48a6482SHong Zhang       }
409a48a6482SHong Zhang       break;
410a48a6482SHong Zhang     }
411a48a6482SHong Zhang 
412a48a6482SHong Zhang     vec_y  = _mm256_setzero_pd();
413a48a6482SHong Zhang     vec_y2 = _mm256_setzero_pd();
414a48a6482SHong Zhang 
415a48a6482SHong Zhang   /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
416a48a6482SHong Zhang   #pragma novector
417a48a6482SHong Zhang   #pragma unroll(2)
418a48a6482SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
419a48a6482SHong Zhang       AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
4209371c9d4SSatish Balay       aval += 4;
4219371c9d4SSatish Balay       acolidx += 4;
422a48a6482SHong Zhang       AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2);
4239371c9d4SSatish Balay       aval += 4;
4249371c9d4SSatish Balay       acolidx += 4;
425a48a6482SHong Zhang     }
426a48a6482SHong Zhang 
427ef588d5cSRichard Tran Mills     _mm256_storeu_pd(y + i * 8, vec_y);
428ef588d5cSRichard Tran Mills     _mm256_storeu_pd(y + i * 8 + 4, vec_y2);
429a48a6482SHong Zhang   }
43021cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
431d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
432d4002b98SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
433d4002b98SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
434d4002b98SHong Zhang 
435d4002b98SHong Zhang     vec_y  = _mm256_setzero_pd();
436d4002b98SHong Zhang     vec_y2 = _mm256_setzero_pd();
437d4002b98SHong Zhang 
438d4002b98SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
439d4002b98SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
440d4002b98SHong Zhang       rows_left = A->rmap->n - 8 * i;
441d4002b98SHong Zhang       for (r = 0; r < rows_left; ++r) {
442d4002b98SHong Zhang         yval       = (MatScalar)0;
443d4002b98SHong Zhang         row        = 8 * i + r;
444d4002b98SHong Zhang         nnz_in_row = a->rlen[row];
445d4002b98SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
446d4002b98SHong Zhang         y[row] = yval;
447d4002b98SHong Zhang       }
448d4002b98SHong Zhang       break;
449d4002b98SHong Zhang     }
450d4002b98SHong Zhang 
451d4002b98SHong Zhang   /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
452a48a6482SHong Zhang   #pragma novector
453a48a6482SHong Zhang   #pragma unroll(2)
4547285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
455d4002b98SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
456165f9cc3SJed Brown       vec_x_tmp = _mm_setzero_pd();
457d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
458d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
459d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
460d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
461d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
462d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
463d4002b98SHong Zhang       vec_y     = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y);
464d4002b98SHong Zhang       aval += 4;
465d4002b98SHong Zhang 
466d4002b98SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
467d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
468d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
469d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
470d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
471d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
472d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
473d4002b98SHong Zhang       vec_y2    = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2);
474d4002b98SHong Zhang       aval += 4;
475d4002b98SHong Zhang     }
476d4002b98SHong Zhang 
477d4002b98SHong Zhang     _mm256_storeu_pd(y + i * 8, vec_y);
478d4002b98SHong Zhang     _mm256_storeu_pd(y + i * 8 + 4, vec_y2);
479d4002b98SHong Zhang   }
480d4002b98SHong Zhang #else
481d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
482d4002b98SHong Zhang     for (j = 0; j < 8; j++) sum[j] = 0.0;
483d4002b98SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
484d4002b98SHong Zhang       sum[0] += aval[j] * x[acolidx[j]];
485d4002b98SHong Zhang       sum[1] += aval[j + 1] * x[acolidx[j + 1]];
486d4002b98SHong Zhang       sum[2] += aval[j + 2] * x[acolidx[j + 2]];
487d4002b98SHong Zhang       sum[3] += aval[j + 3] * x[acolidx[j + 3]];
488d4002b98SHong Zhang       sum[4] += aval[j + 4] * x[acolidx[j + 4]];
489d4002b98SHong Zhang       sum[5] += aval[j + 5] * x[acolidx[j + 5]];
490d4002b98SHong Zhang       sum[6] += aval[j + 6] * x[acolidx[j + 6]];
491d4002b98SHong Zhang       sum[7] += aval[j + 7] * x[acolidx[j + 7]];
492d4002b98SHong Zhang     }
493d4002b98SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
494d4002b98SHong Zhang       for (j = 0; j < (A->rmap->n & 0x07); j++) y[8 * i + j] = sum[j];
495d4002b98SHong Zhang     } else {
4967285fed1SHong Zhang       for (j = 0; j < 8; j++) y[8 * i + j] = sum[j];
497d4002b98SHong Zhang     }
498d4002b98SHong Zhang   }
499d4002b98SHong Zhang #endif
500d4002b98SHong Zhang 
5019566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */
5029566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
5039566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(yy, &y));
504d4002b98SHong Zhang   PetscFunctionReturn(0);
505d4002b98SHong Zhang }
506d4002b98SHong Zhang 
507d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h>
508d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz)
509d71ae5a4SJacob Faibussowitsch {
510d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
511d4002b98SHong Zhang   PetscScalar       *y, *z;
512d4002b98SHong Zhang   const PetscScalar *x;
513d4002b98SHong Zhang   const MatScalar   *aval        = a->val;
514d4002b98SHong Zhang   PetscInt           totalslices = a->totalslices;
515d4002b98SHong Zhang   const PetscInt    *acolidx     = a->colidx;
516d4002b98SHong Zhang   PetscInt           i, j;
517d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5187285fed1SHong Zhang   __m512d  vec_x, vec_y, vec_vals;
519d4002b98SHong Zhang   __m256i  vec_idx;
520d4002b98SHong Zhang   __mmask8 mask;
5217285fed1SHong Zhang   __m512d  vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4;
5227285fed1SHong Zhang   __m256i  vec_idx2, vec_idx3, vec_idx4;
52321cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5247285fed1SHong Zhang   __m128d   vec_x_tmp;
5257285fed1SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
5267285fed1SHong Zhang   MatScalar yval;
5277285fed1SHong Zhang   PetscInt  r, row, nnz_in_row;
528d4002b98SHong Zhang #else
529d4002b98SHong Zhang   PetscScalar sum[8];
530d4002b98SHong Zhang #endif
531d4002b98SHong Zhang 
532d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
533d4002b98SHong Zhang   #pragma disjoint(*x, *y, *aval)
534d4002b98SHong Zhang #endif
535d4002b98SHong Zhang 
536d4002b98SHong Zhang   PetscFunctionBegin;
5379566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
5389566063dSJacob Faibussowitsch   PetscCall(VecGetArrayPair(yy, zz, &y, &z));
539d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5407285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
5417285fed1SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
5427285fed1SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
5437285fed1SHong Zhang 
544d4002b98SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
545d4002b98SHong Zhang       mask  = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07)));
546ef588d5cSRichard Tran Mills       vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]);
5477285fed1SHong Zhang     } else {
548ef588d5cSRichard Tran Mills       vec_y = _mm512_loadu_pd(&y[8 * i]);
5497285fed1SHong Zhang     }
5507285fed1SHong Zhang     vec_y2 = _mm512_setzero_pd();
5517285fed1SHong Zhang     vec_y3 = _mm512_setzero_pd();
5527285fed1SHong Zhang     vec_y4 = _mm512_setzero_pd();
5537285fed1SHong Zhang 
5547285fed1SHong Zhang     j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */
5557285fed1SHong Zhang     switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) {
5567285fed1SHong Zhang     case 3:
5577285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5589371c9d4SSatish Balay       acolidx += 8;
5599371c9d4SSatish Balay       aval += 8;
5607285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5619371c9d4SSatish Balay       acolidx += 8;
5629371c9d4SSatish Balay       aval += 8;
5637285fed1SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
5649371c9d4SSatish Balay       acolidx += 8;
5659371c9d4SSatish Balay       aval += 8;
5667285fed1SHong Zhang       j += 3;
5677285fed1SHong Zhang       break;
5687285fed1SHong Zhang     case 2:
5697285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5709371c9d4SSatish Balay       acolidx += 8;
5719371c9d4SSatish Balay       aval += 8;
5727285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5739371c9d4SSatish Balay       acolidx += 8;
5749371c9d4SSatish Balay       aval += 8;
5757285fed1SHong Zhang       j += 2;
5767285fed1SHong Zhang       break;
5777285fed1SHong Zhang     case 1:
5787285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5799371c9d4SSatish Balay       acolidx += 8;
5809371c9d4SSatish Balay       aval += 8;
5817285fed1SHong Zhang       j += 1;
5827285fed1SHong Zhang       break;
5837285fed1SHong Zhang     }
5847285fed1SHong Zhang   #pragma novector
5857285fed1SHong Zhang     for (; j < (a->sliidx[i + 1] >> 3); j += 4) {
5867285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5879371c9d4SSatish Balay       acolidx += 8;
5889371c9d4SSatish Balay       aval += 8;
5897285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5909371c9d4SSatish Balay       acolidx += 8;
5919371c9d4SSatish Balay       aval += 8;
5927285fed1SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
5939371c9d4SSatish Balay       acolidx += 8;
5949371c9d4SSatish Balay       aval += 8;
5957285fed1SHong Zhang       AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4);
5969371c9d4SSatish Balay       acolidx += 8;
5979371c9d4SSatish Balay       aval += 8;
5987285fed1SHong Zhang     }
5997285fed1SHong Zhang 
6007285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y2);
6017285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y3);
6027285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y4);
6037285fed1SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
604ef588d5cSRichard Tran Mills       _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y);
605d4002b98SHong Zhang     } else {
606ef588d5cSRichard Tran Mills       _mm512_storeu_pd(&z[8 * i], vec_y);
607d4002b98SHong Zhang     }
6087285fed1SHong Zhang   }
60921cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
6107285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
6117285fed1SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
6127285fed1SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
6137285fed1SHong Zhang 
6147285fed1SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
6157285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
6167285fed1SHong Zhang       for (r = 0; r < (A->rmap->n & 0x07); ++r) {
6177285fed1SHong Zhang         row        = 8 * i + r;
6187285fed1SHong Zhang         yval       = (MatScalar)0.0;
6197285fed1SHong Zhang         nnz_in_row = a->rlen[row];
6207285fed1SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
6217285fed1SHong Zhang         z[row] = y[row] + yval;
6227285fed1SHong Zhang       }
6237285fed1SHong Zhang       break;
6247285fed1SHong Zhang     }
6257285fed1SHong Zhang 
6267285fed1SHong Zhang     vec_y  = _mm256_loadu_pd(y + 8 * i);
6277285fed1SHong Zhang     vec_y2 = _mm256_loadu_pd(y + 8 * i + 4);
6287285fed1SHong Zhang 
6297285fed1SHong Zhang     /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
6307285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
6317285fed1SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
632165f9cc3SJed Brown       vec_x_tmp = _mm_setzero_pd();
6337285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6347285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
635165f9cc3SJed Brown       vec_x     = _mm256_setzero_pd();
6367285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
6377285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6387285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6397285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
6407285fed1SHong Zhang       vec_y     = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y);
6417285fed1SHong Zhang       aval += 4;
6427285fed1SHong Zhang 
6437285fed1SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
6447285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6457285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6467285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
6477285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6487285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6497285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
6507285fed1SHong Zhang       vec_y2    = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2);
6517285fed1SHong Zhang       aval += 4;
6527285fed1SHong Zhang     }
6537285fed1SHong Zhang 
6547285fed1SHong Zhang     _mm256_storeu_pd(z + i * 8, vec_y);
6557285fed1SHong Zhang     _mm256_storeu_pd(z + i * 8 + 4, vec_y2);
6567285fed1SHong Zhang   }
657d4002b98SHong Zhang #else
6587285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
6597285fed1SHong Zhang     for (j = 0; j < 8; j++) sum[j] = 0.0;
660d4002b98SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
661d4002b98SHong Zhang       sum[0] += aval[j] * x[acolidx[j]];
662d4002b98SHong Zhang       sum[1] += aval[j + 1] * x[acolidx[j + 1]];
663d4002b98SHong Zhang       sum[2] += aval[j + 2] * x[acolidx[j + 2]];
664d4002b98SHong Zhang       sum[3] += aval[j + 3] * x[acolidx[j + 3]];
665d4002b98SHong Zhang       sum[4] += aval[j + 4] * x[acolidx[j + 4]];
666d4002b98SHong Zhang       sum[5] += aval[j + 5] * x[acolidx[j + 5]];
667d4002b98SHong Zhang       sum[6] += aval[j + 6] * x[acolidx[j + 6]];
668d4002b98SHong Zhang       sum[7] += aval[j + 7] * x[acolidx[j + 7]];
669d4002b98SHong Zhang     }
6707285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
6717285fed1SHong Zhang       for (j = 0; j < (A->rmap->n & 0x07); j++) z[8 * i + j] = y[8 * i + j] + sum[j];
672d4002b98SHong Zhang     } else {
6737285fed1SHong Zhang       for (j = 0; j < 8; j++) z[8 * i + j] = y[8 * i + j] + sum[j];
6747285fed1SHong Zhang     }
675d4002b98SHong Zhang   }
676d4002b98SHong Zhang #endif
677d4002b98SHong Zhang 
6789566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->nz));
6799566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
6809566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayPair(yy, zz, &y, &z));
681d4002b98SHong Zhang   PetscFunctionReturn(0);
682d4002b98SHong Zhang }
683d4002b98SHong Zhang 
684d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy)
685d71ae5a4SJacob Faibussowitsch {
686d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
687d4002b98SHong Zhang   PetscScalar       *y;
688d4002b98SHong Zhang   const PetscScalar *x;
689d4002b98SHong Zhang   const MatScalar   *aval    = a->val;
690d4002b98SHong Zhang   const PetscInt    *acolidx = a->colidx;
6917285fed1SHong Zhang   PetscInt           i, j, r, row, nnz_in_row, totalslices = a->totalslices;
692d4002b98SHong Zhang 
693d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
694d4002b98SHong Zhang   #pragma disjoint(*x, *y, *aval)
695d4002b98SHong Zhang #endif
696d4002b98SHong Zhang 
697d4002b98SHong Zhang   PetscFunctionBegin;
698b94d7dedSBarry Smith   if (A->symmetric == PETSC_BOOL3_TRUE) {
6999566063dSJacob Faibussowitsch     PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy));
7009fc32365SStefano Zampini     PetscFunctionReturn(0);
7019fc32365SStefano Zampini   }
7029566063dSJacob Faibussowitsch   if (zz != yy) PetscCall(VecCopy(zz, yy));
7039566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
7049566063dSJacob Faibussowitsch   PetscCall(VecGetArray(yy, &y));
705d4002b98SHong Zhang   for (i = 0; i < a->totalslices; i++) { /* loop over slices */
7067285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
7077285fed1SHong Zhang       for (r = 0; r < (A->rmap->n & 0x07); ++r) {
7087285fed1SHong Zhang         row        = 8 * i + r;
7097285fed1SHong Zhang         nnz_in_row = a->rlen[row];
7107285fed1SHong Zhang         for (j = 0; j < nnz_in_row; ++j) y[acolidx[8 * j + r]] += aval[8 * j + r] * x[row];
7117285fed1SHong Zhang       }
7127285fed1SHong Zhang       break;
7137285fed1SHong Zhang     }
7147285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
7157285fed1SHong Zhang       y[acolidx[j]] += aval[j] * x[8 * i];
7167285fed1SHong Zhang       y[acolidx[j + 1]] += aval[j + 1] * x[8 * i + 1];
7177285fed1SHong Zhang       y[acolidx[j + 2]] += aval[j + 2] * x[8 * i + 2];
7187285fed1SHong Zhang       y[acolidx[j + 3]] += aval[j + 3] * x[8 * i + 3];
7197285fed1SHong Zhang       y[acolidx[j + 4]] += aval[j + 4] * x[8 * i + 4];
7207285fed1SHong Zhang       y[acolidx[j + 5]] += aval[j + 5] * x[8 * i + 5];
7217285fed1SHong Zhang       y[acolidx[j + 6]] += aval[j + 6] * x[8 * i + 6];
7227285fed1SHong Zhang       y[acolidx[j + 7]] += aval[j + 7] * x[8 * i + 7];
723d4002b98SHong Zhang     }
724d4002b98SHong Zhang   }
7259566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->sliidx[a->totalslices]));
7269566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
7279566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(yy, &y));
728d4002b98SHong Zhang   PetscFunctionReturn(0);
729d4002b98SHong Zhang }
730d4002b98SHong Zhang 
731d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy)
732d71ae5a4SJacob Faibussowitsch {
733d4002b98SHong Zhang   PetscFunctionBegin;
734b94d7dedSBarry Smith   if (A->symmetric == PETSC_BOOL3_TRUE) {
7359566063dSJacob Faibussowitsch     PetscCall(MatMult_SeqSELL(A, xx, yy));
7369fc32365SStefano Zampini   } else {
7379566063dSJacob Faibussowitsch     PetscCall(VecSet(yy, 0.0));
7389566063dSJacob Faibussowitsch     PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy));
7399fc32365SStefano Zampini   }
740d4002b98SHong Zhang   PetscFunctionReturn(0);
741d4002b98SHong Zhang }
742d4002b98SHong Zhang 
743d4002b98SHong Zhang /*
744d4002b98SHong Zhang      Checks for missing diagonals
745d4002b98SHong Zhang */
746d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d)
747d71ae5a4SJacob Faibussowitsch {
748d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
749d4002b98SHong Zhang   PetscInt    *diag, i;
750d4002b98SHong Zhang 
751d4002b98SHong Zhang   PetscFunctionBegin;
752d4002b98SHong Zhang   *missing = PETSC_FALSE;
753d4002b98SHong Zhang   if (A->rmap->n > 0 && !(a->colidx)) {
754d4002b98SHong Zhang     *missing = PETSC_TRUE;
755d4002b98SHong Zhang     if (d) *d = 0;
7569566063dSJacob Faibussowitsch     PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n"));
757d4002b98SHong Zhang   } else {
758d4002b98SHong Zhang     diag = a->diag;
759d4002b98SHong Zhang     for (i = 0; i < A->rmap->n; i++) {
760d4002b98SHong Zhang       if (diag[i] == -1) {
761d4002b98SHong Zhang         *missing = PETSC_TRUE;
762d4002b98SHong Zhang         if (d) *d = i;
7639566063dSJacob Faibussowitsch         PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i));
764d4002b98SHong Zhang         break;
765d4002b98SHong Zhang       }
766d4002b98SHong Zhang     }
767d4002b98SHong Zhang   }
768d4002b98SHong Zhang   PetscFunctionReturn(0);
769d4002b98SHong Zhang }
770d4002b98SHong Zhang 
771d71ae5a4SJacob Faibussowitsch PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A)
772d71ae5a4SJacob Faibussowitsch {
773d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
774d4002b98SHong Zhang   PetscInt     i, j, m = A->rmap->n, shift;
775d4002b98SHong Zhang 
776d4002b98SHong Zhang   PetscFunctionBegin;
777d4002b98SHong Zhang   if (!a->diag) {
7789566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m, &a->diag));
779d4002b98SHong Zhang     a->free_diag = PETSC_TRUE;
780d4002b98SHong Zhang   }
781d4002b98SHong Zhang   for (i = 0; i < m; i++) {                      /* loop over rows */
782d4002b98SHong Zhang     shift      = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
783d4002b98SHong Zhang     a->diag[i] = -1;
784d4002b98SHong Zhang     for (j = 0; j < a->rlen[i]; j++) {
785d4002b98SHong Zhang       if (a->colidx[shift + j * 8] == i) {
786d4002b98SHong Zhang         a->diag[i] = shift + j * 8;
787d4002b98SHong Zhang         break;
788d4002b98SHong Zhang       }
789d4002b98SHong Zhang     }
790d4002b98SHong Zhang   }
791d4002b98SHong Zhang   PetscFunctionReturn(0);
792d4002b98SHong Zhang }
793d4002b98SHong Zhang 
794d4002b98SHong Zhang /*
795d4002b98SHong Zhang   Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways
796d4002b98SHong Zhang */
797d71ae5a4SJacob Faibussowitsch PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift)
798d71ae5a4SJacob Faibussowitsch {
799d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
800d4002b98SHong Zhang   PetscInt     i, *diag, m = A->rmap->n;
801d4002b98SHong Zhang   MatScalar   *val = a->val;
802d4002b98SHong Zhang   PetscScalar *idiag, *mdiag;
803d4002b98SHong Zhang 
804d4002b98SHong Zhang   PetscFunctionBegin;
805d4002b98SHong Zhang   if (a->idiagvalid) PetscFunctionReturn(0);
8069566063dSJacob Faibussowitsch   PetscCall(MatMarkDiagonal_SeqSELL(A));
807d4002b98SHong Zhang   diag = a->diag;
808d4002b98SHong Zhang   if (!a->idiag) {
8099566063dSJacob Faibussowitsch     PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work));
810d4002b98SHong Zhang     val = a->val;
811d4002b98SHong Zhang   }
812d4002b98SHong Zhang   mdiag = a->mdiag;
813d4002b98SHong Zhang   idiag = a->idiag;
814d4002b98SHong Zhang 
815d4002b98SHong Zhang   if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) {
816d4002b98SHong Zhang     for (i = 0; i < m; i++) {
817d4002b98SHong Zhang       mdiag[i] = val[diag[i]];
818d4002b98SHong Zhang       if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */
819*0fdf79fbSJacob Faibussowitsch         PetscCheck(PetscRealPart(fshift), PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i);
8209566063dSJacob Faibussowitsch         PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i));
821d4002b98SHong Zhang         A->factorerrortype             = MAT_FACTOR_NUMERIC_ZEROPIVOT;
822d4002b98SHong Zhang         A->factorerror_zeropivot_value = 0.0;
823d4002b98SHong Zhang         A->factorerror_zeropivot_row   = i;
824d4002b98SHong Zhang       }
825d4002b98SHong Zhang       idiag[i] = 1.0 / val[diag[i]];
826d4002b98SHong Zhang     }
8279566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(m));
828d4002b98SHong Zhang   } else {
829d4002b98SHong Zhang     for (i = 0; i < m; i++) {
830d4002b98SHong Zhang       mdiag[i] = val[diag[i]];
831d4002b98SHong Zhang       idiag[i] = omega / (fshift + val[diag[i]]);
832d4002b98SHong Zhang     }
8339566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(2.0 * m));
834d4002b98SHong Zhang   }
835d4002b98SHong Zhang   a->idiagvalid = PETSC_TRUE;
836d4002b98SHong Zhang   PetscFunctionReturn(0);
837d4002b98SHong Zhang }
838d4002b98SHong Zhang 
839d71ae5a4SJacob Faibussowitsch PetscErrorCode MatZeroEntries_SeqSELL(Mat A)
840d71ae5a4SJacob Faibussowitsch {
841d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
842d4002b98SHong Zhang 
843d4002b98SHong Zhang   PetscFunctionBegin;
8449566063dSJacob Faibussowitsch   PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices]));
8459566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
846d4002b98SHong Zhang   PetscFunctionReturn(0);
847d4002b98SHong Zhang }
848d4002b98SHong Zhang 
849d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDestroy_SeqSELL(Mat A)
850d71ae5a4SJacob Faibussowitsch {
851d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
852d4002b98SHong Zhang 
853d4002b98SHong Zhang   PetscFunctionBegin;
854d4002b98SHong Zhang #if defined(PETSC_USE_LOG)
855c0aa6a63SJacob Faibussowitsch   PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz);
856d4002b98SHong Zhang #endif
8579566063dSJacob Faibussowitsch   PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx));
8589566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->row));
8599566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->col));
8609566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->diag));
8619566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->rlen));
8629566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->sliidx));
8639566063dSJacob Faibussowitsch   PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work));
8649566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->solve_work));
8659566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->icol));
8669566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->saved_values));
8679566063dSJacob Faibussowitsch   PetscCall(PetscFree2(a->getrowcols, a->getrowvals));
868d4002b98SHong Zhang 
8699566063dSJacob Faibussowitsch   PetscCall(PetscFree(A->data));
870d4002b98SHong Zhang 
8719566063dSJacob Faibussowitsch   PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL));
8729566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL));
8739566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL));
8749566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL));
8752e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL));
8762e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL));
8772e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL));
878d4002b98SHong Zhang   PetscFunctionReturn(0);
879d4002b98SHong Zhang }
880d4002b98SHong Zhang 
881d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg)
882d71ae5a4SJacob Faibussowitsch {
883d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
884d4002b98SHong Zhang 
885d4002b98SHong Zhang   PetscFunctionBegin;
886d4002b98SHong Zhang   switch (op) {
887d71ae5a4SJacob Faibussowitsch   case MAT_ROW_ORIENTED:
888d71ae5a4SJacob Faibussowitsch     a->roworiented = flg;
889d71ae5a4SJacob Faibussowitsch     break;
890d71ae5a4SJacob Faibussowitsch   case MAT_KEEP_NONZERO_PATTERN:
891d71ae5a4SJacob Faibussowitsch     a->keepnonzeropattern = flg;
892d71ae5a4SJacob Faibussowitsch     break;
893d71ae5a4SJacob Faibussowitsch   case MAT_NEW_NONZERO_LOCATIONS:
894d71ae5a4SJacob Faibussowitsch     a->nonew = (flg ? 0 : 1);
895d71ae5a4SJacob Faibussowitsch     break;
896d71ae5a4SJacob Faibussowitsch   case MAT_NEW_NONZERO_LOCATION_ERR:
897d71ae5a4SJacob Faibussowitsch     a->nonew = (flg ? -1 : 0);
898d71ae5a4SJacob Faibussowitsch     break;
899d71ae5a4SJacob Faibussowitsch   case MAT_NEW_NONZERO_ALLOCATION_ERR:
900d71ae5a4SJacob Faibussowitsch     a->nonew = (flg ? -2 : 0);
901d71ae5a4SJacob Faibussowitsch     break;
902d71ae5a4SJacob Faibussowitsch   case MAT_UNUSED_NONZERO_LOCATION_ERR:
903d71ae5a4SJacob Faibussowitsch     a->nounused = (flg ? -1 : 0);
904d71ae5a4SJacob Faibussowitsch     break;
9058c78258cSHong Zhang   case MAT_FORCE_DIAGONAL_ENTRIES:
906d4002b98SHong Zhang   case MAT_IGNORE_OFF_PROC_ENTRIES:
907d4002b98SHong Zhang   case MAT_USE_HASH_TABLE:
908d71ae5a4SJacob Faibussowitsch   case MAT_SORTED_FULL:
909d71ae5a4SJacob Faibussowitsch     PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op]));
910d71ae5a4SJacob Faibussowitsch     break;
911d4002b98SHong Zhang   case MAT_SPD:
912d4002b98SHong Zhang   case MAT_SYMMETRIC:
913d4002b98SHong Zhang   case MAT_STRUCTURALLY_SYMMETRIC:
914d4002b98SHong Zhang   case MAT_HERMITIAN:
915d4002b98SHong Zhang   case MAT_SYMMETRY_ETERNAL:
916b94d7dedSBarry Smith   case MAT_STRUCTURAL_SYMMETRY_ETERNAL:
917b94d7dedSBarry Smith   case MAT_SPD_ETERNAL:
918d4002b98SHong Zhang     /* These options are handled directly by MatSetOption() */
919d4002b98SHong Zhang     break;
920d71ae5a4SJacob Faibussowitsch   default:
921d71ae5a4SJacob Faibussowitsch     SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op);
922d4002b98SHong Zhang   }
923d4002b98SHong Zhang   PetscFunctionReturn(0);
924d4002b98SHong Zhang }
925d4002b98SHong Zhang 
926d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v)
927d71ae5a4SJacob Faibussowitsch {
928d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
929d4002b98SHong Zhang   PetscInt     i, j, n, shift;
930d4002b98SHong Zhang   PetscScalar *x, zero = 0.0;
931d4002b98SHong Zhang 
932d4002b98SHong Zhang   PetscFunctionBegin;
9339566063dSJacob Faibussowitsch   PetscCall(VecGetLocalSize(v, &n));
93408401ef6SPierre Jolivet   PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector");
935d4002b98SHong Zhang 
936d4002b98SHong Zhang   if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) {
937d4002b98SHong Zhang     PetscInt *diag = a->diag;
9389566063dSJacob Faibussowitsch     PetscCall(VecGetArray(v, &x));
939d4002b98SHong Zhang     for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]];
9409566063dSJacob Faibussowitsch     PetscCall(VecRestoreArray(v, &x));
941d4002b98SHong Zhang     PetscFunctionReturn(0);
942d4002b98SHong Zhang   }
943d4002b98SHong Zhang 
9449566063dSJacob Faibussowitsch   PetscCall(VecSet(v, zero));
9459566063dSJacob Faibussowitsch   PetscCall(VecGetArray(v, &x));
946d4002b98SHong Zhang   for (i = 0; i < n; i++) {                 /* loop over rows */
947d4002b98SHong Zhang     shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
948d4002b98SHong Zhang     x[i]  = 0;
949d4002b98SHong Zhang     for (j = 0; j < a->rlen[i]; j++) {
950d4002b98SHong Zhang       if (a->colidx[shift + j * 8] == i) {
951d4002b98SHong Zhang         x[i] = a->val[shift + j * 8];
952d4002b98SHong Zhang         break;
953d4002b98SHong Zhang       }
954d4002b98SHong Zhang     }
955d4002b98SHong Zhang   }
9569566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(v, &x));
957d4002b98SHong Zhang   PetscFunctionReturn(0);
958d4002b98SHong Zhang }
959d4002b98SHong Zhang 
960d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr)
961d71ae5a4SJacob Faibussowitsch {
962d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
963d4002b98SHong Zhang   const PetscScalar *l, *r;
964d4002b98SHong Zhang   PetscInt           i, j, m, n, row;
965d4002b98SHong Zhang 
966d4002b98SHong Zhang   PetscFunctionBegin;
967d4002b98SHong Zhang   if (ll) {
968d4002b98SHong Zhang     /* The local size is used so that VecMPI can be passed to this routine
969d4002b98SHong Zhang        by MatDiagonalScale_MPISELL */
9709566063dSJacob Faibussowitsch     PetscCall(VecGetLocalSize(ll, &m));
97108401ef6SPierre Jolivet     PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length");
9729566063dSJacob Faibussowitsch     PetscCall(VecGetArrayRead(ll, &l));
973d4002b98SHong Zhang     for (i = 0; i < a->totalslices; i++) {                  /* loop over slices */
974dab86139SHong Zhang       if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
975dab86139SHong Zhang         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
976dab86139SHong Zhang           if (row < (A->rmap->n & 0x07)) a->val[j] *= l[8 * i + row];
977dab86139SHong Zhang         }
978dab86139SHong Zhang       } else {
979ad540459SPierre 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];
980d4002b98SHong Zhang       }
981dab86139SHong Zhang     }
9829566063dSJacob Faibussowitsch     PetscCall(VecRestoreArrayRead(ll, &l));
9839566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(a->nz));
984d4002b98SHong Zhang   }
985d4002b98SHong Zhang   if (rr) {
9869566063dSJacob Faibussowitsch     PetscCall(VecGetLocalSize(rr, &n));
98708401ef6SPierre Jolivet     PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length");
9889566063dSJacob Faibussowitsch     PetscCall(VecGetArrayRead(rr, &r));
989d4002b98SHong Zhang     for (i = 0; i < a->totalslices; i++) {                  /* loop over slices */
990dab86139SHong Zhang       if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
991dab86139SHong Zhang         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
992dab86139SHong Zhang           if (row < (A->rmap->n & 0x07)) a->val[j] *= r[a->colidx[j]];
993dab86139SHong Zhang         }
994dab86139SHong Zhang       } else {
995ad540459SPierre Jolivet         for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]];
996d4002b98SHong Zhang       }
997dab86139SHong Zhang     }
9989566063dSJacob Faibussowitsch     PetscCall(VecRestoreArrayRead(rr, &r));
9999566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(a->nz));
1000d4002b98SHong Zhang   }
10019566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
1002d4002b98SHong Zhang   PetscFunctionReturn(0);
1003d4002b98SHong Zhang }
1004d4002b98SHong Zhang 
1005d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[])
1006d71ae5a4SJacob Faibussowitsch {
1007d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1008d4002b98SHong Zhang   PetscInt    *cp, i, k, low, high, t, row, col, l;
1009d4002b98SHong Zhang   PetscInt     shift;
1010d4002b98SHong Zhang   MatScalar   *vp;
1011d4002b98SHong Zhang 
1012d4002b98SHong Zhang   PetscFunctionBegin;
101368aafef3SStefano Zampini   for (k = 0; k < m; k++) { /* loop over requested rows */
1014d4002b98SHong Zhang     row = im[k];
1015d4002b98SHong Zhang     if (row < 0) continue;
10166bdcaf15SBarry 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);
1017d4002b98SHong Zhang     shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */
1018d4002b98SHong Zhang     cp    = a->colidx + shift;                  /* pointer to the row */
1019d4002b98SHong Zhang     vp    = a->val + shift;                     /* pointer to the row */
102068aafef3SStefano Zampini     for (l = 0; l < n; l++) {                   /* loop over requested columns */
1021d4002b98SHong Zhang       col = in[l];
1022d4002b98SHong Zhang       if (col < 0) continue;
10236bdcaf15SBarry 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);
10249371c9d4SSatish Balay       high = a->rlen[row];
10259371c9d4SSatish Balay       low  = 0; /* assume unsorted */
1026d4002b98SHong Zhang       while (high - low > 5) {
1027d4002b98SHong Zhang         t = (low + high) / 2;
1028d4002b98SHong Zhang         if (*(cp + t * 8) > col) high = t;
1029d4002b98SHong Zhang         else low = t;
1030d4002b98SHong Zhang       }
1031d4002b98SHong Zhang       for (i = low; i < high; i++) {
1032d4002b98SHong Zhang         if (*(cp + 8 * i) > col) break;
1033d4002b98SHong Zhang         if (*(cp + 8 * i) == col) {
1034d4002b98SHong Zhang           *v++ = *(vp + 8 * i);
1035d4002b98SHong Zhang           goto finished;
1036d4002b98SHong Zhang         }
1037d4002b98SHong Zhang       }
1038d4002b98SHong Zhang       *v++ = 0.0;
1039d4002b98SHong Zhang     finished:;
1040d4002b98SHong Zhang     }
1041d4002b98SHong Zhang   }
1042d4002b98SHong Zhang   PetscFunctionReturn(0);
1043d4002b98SHong Zhang }
1044d4002b98SHong Zhang 
1045d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer)
1046d71ae5a4SJacob Faibussowitsch {
1047d4002b98SHong Zhang   Mat_SeqSELL      *a = (Mat_SeqSELL *)A->data;
1048d4002b98SHong Zhang   PetscInt          i, j, m = A->rmap->n, shift;
1049d4002b98SHong Zhang   const char       *name;
1050d4002b98SHong Zhang   PetscViewerFormat format;
1051d4002b98SHong Zhang 
1052d4002b98SHong Zhang   PetscFunctionBegin;
10539566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
1054d4002b98SHong Zhang   if (format == PETSC_VIEWER_ASCII_MATLAB) {
1055d4002b98SHong Zhang     PetscInt nofinalvalue = 0;
1056d4002b98SHong Zhang     /*
1057d4002b98SHong Zhang     if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) {
1058d4002b98SHong Zhang       nofinalvalue = 1;
1059d4002b98SHong Zhang     }
1060d4002b98SHong Zhang     */
10619566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
10629566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n));
10639566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz));
1064d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10659566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue));
1066d4002b98SHong Zhang #else
10679566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue));
1068d4002b98SHong Zhang #endif
10699566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n"));
1070d4002b98SHong Zhang 
1071d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1072d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1073d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1074d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10759566063dSJacob 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])));
1076d4002b98SHong Zhang #else
10779566063dSJacob 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]));
1078d4002b98SHong Zhang #endif
1079d4002b98SHong Zhang       }
1080d4002b98SHong Zhang     }
1081d4002b98SHong Zhang     /*
1082d4002b98SHong Zhang     if (nofinalvalue) {
1083d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10849566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e %18.16e\n",m,A->cmap->n,0.,0.));
1085d4002b98SHong Zhang #else
10869566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e\n",m,A->cmap->n,0.0));
1087d4002b98SHong Zhang #endif
1088d4002b98SHong Zhang     }
1089d4002b98SHong Zhang     */
10909566063dSJacob Faibussowitsch     PetscCall(PetscObjectGetName((PetscObject)A, &name));
10919566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name));
10929566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1093d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) {
1094d4002b98SHong Zhang     PetscFunctionReturn(0);
1095d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_COMMON) {
10969566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1097d4002b98SHong Zhang     for (i = 0; i < m; i++) {
10989566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1099d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1100d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1101d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1102d4002b98SHong Zhang         if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
11039566063dSJacob 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])));
1104d4002b98SHong Zhang         } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
11059566063dSJacob 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])));
1106d4002b98SHong Zhang         } else if (PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
11079566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j])));
1108d4002b98SHong Zhang         }
1109d4002b98SHong Zhang #else
11109566063dSJacob 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]));
1111d4002b98SHong Zhang #endif
1112d4002b98SHong Zhang       }
11139566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1114d4002b98SHong Zhang     }
11159566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1116d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_DENSE) {
1117d4002b98SHong Zhang     PetscInt    cnt = 0, jcnt;
1118d4002b98SHong Zhang     PetscScalar value;
1119d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1120d4002b98SHong Zhang     PetscBool realonly = PETSC_TRUE;
1121d4002b98SHong Zhang     for (i = 0; i < a->sliidx[a->totalslices]; i++) {
1122d4002b98SHong Zhang       if (PetscImaginaryPart(a->val[i]) != 0.0) {
1123d4002b98SHong Zhang         realonly = PETSC_FALSE;
1124d4002b98SHong Zhang         break;
1125d4002b98SHong Zhang       }
1126d4002b98SHong Zhang     }
1127d4002b98SHong Zhang #endif
1128d4002b98SHong Zhang 
11299566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1130d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1131d4002b98SHong Zhang       jcnt  = 0;
1132d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1133d4002b98SHong Zhang       for (j = 0; j < A->cmap->n; j++) {
1134d4002b98SHong Zhang         if (jcnt < a->rlen[i] && j == a->colidx[shift + 8 * j]) {
1135d4002b98SHong Zhang           value = a->val[cnt++];
1136d4002b98SHong Zhang           jcnt++;
1137d4002b98SHong Zhang         } else {
1138d4002b98SHong Zhang           value = 0.0;
1139d4002b98SHong Zhang         }
1140d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1141d4002b98SHong Zhang         if (realonly) {
11429566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value)));
1143d4002b98SHong Zhang         } else {
11449566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value)));
1145d4002b98SHong Zhang         }
1146d4002b98SHong Zhang #else
11479566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value));
1148d4002b98SHong Zhang #endif
1149d4002b98SHong Zhang       }
11509566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1151d4002b98SHong Zhang     }
11529566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1153d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) {
1154d4002b98SHong Zhang     PetscInt fshift = 1;
11559566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1156d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
11579566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n"));
1158d4002b98SHong Zhang #else
11599566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n"));
1160d4002b98SHong Zhang #endif
11619566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz));
1162d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1163d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1164d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1165d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
11669566063dSJacob 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])));
1167d4002b98SHong Zhang #else
11689566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g\n", i + fshift, a->colidx[shift + 8 * j] + fshift, (double)a->val[shift + 8 * j]));
1169d4002b98SHong Zhang #endif
1170d4002b98SHong Zhang       }
1171d4002b98SHong Zhang     }
11729566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
117368aafef3SStefano Zampini   } else if (format == PETSC_VIEWER_NATIVE) {
117468aafef3SStefano Zampini     for (i = 0; i < a->totalslices; i++) { /* loop over slices */
117568aafef3SStefano Zampini       PetscInt row;
11769566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1]));
117768aafef3SStefano Zampini       for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
117868aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX)
117968aafef3SStefano Zampini         if (PetscImaginaryPart(a->val[j]) > 0.0) {
11809566063dSJacob 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])));
118168aafef3SStefano Zampini         } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
11829566063dSJacob 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])));
118368aafef3SStefano Zampini         } else {
11849566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j])));
118568aafef3SStefano Zampini         }
118668aafef3SStefano Zampini #else
11879566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)a->val[j]));
118868aafef3SStefano Zampini #endif
118968aafef3SStefano Zampini       }
119068aafef3SStefano Zampini     }
1191d4002b98SHong Zhang   } else {
11929566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1193d4002b98SHong Zhang     if (A->factortype) {
1194d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1195d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07);
11969566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1197d4002b98SHong Zhang         /* L part */
1198d4002b98SHong Zhang         for (j = shift; j < a->diag[i]; j += 8) {
1199d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1200d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0) {
12019566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j])));
1202d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0) {
12039566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j]))));
1204d4002b98SHong Zhang           } else {
12059566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j])));
1206d4002b98SHong Zhang           }
1207d4002b98SHong Zhang #else
12089566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j]));
1209d4002b98SHong Zhang #endif
1210d4002b98SHong Zhang         }
1211d4002b98SHong Zhang         /* diagonal */
1212d4002b98SHong Zhang         j = a->diag[i];
1213d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1214d4002b98SHong Zhang         if (PetscImaginaryPart(a->val[j]) > 0.0) {
12159566063dSJacob 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])));
1216d4002b98SHong Zhang         } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
12179566063dSJacob 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]))));
1218d4002b98SHong Zhang         } else {
12199566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j])));
1220d4002b98SHong Zhang         }
1221d4002b98SHong Zhang #else
12229566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j])));
1223d4002b98SHong Zhang #endif
1224d4002b98SHong Zhang 
1225d4002b98SHong Zhang         /* U part */
1226d4002b98SHong Zhang         for (j = a->diag[i] + 1; j < shift + 8 * a->rlen[i]; j += 8) {
1227d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1228d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[j]) > 0.0) {
12299566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j])));
1230d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
12319566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j]))));
1232d4002b98SHong Zhang           } else {
12339566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j])));
1234d4002b98SHong Zhang           }
1235d4002b98SHong Zhang #else
12369566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j]));
1237d4002b98SHong Zhang #endif
1238d4002b98SHong Zhang         }
12399566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1240d4002b98SHong Zhang       }
1241d4002b98SHong Zhang     } else {
1242d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1243d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07);
12449566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1245d4002b98SHong Zhang         for (j = 0; j < a->rlen[i]; j++) {
1246d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1247d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[j]) > 0.0) {
12489566063dSJacob 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])));
1249d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
12509566063dSJacob 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])));
1251d4002b98SHong Zhang           } else {
12529566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j])));
1253d4002b98SHong Zhang           }
1254d4002b98SHong Zhang #else
12559566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)a->val[shift + 8 * j]));
1256d4002b98SHong Zhang #endif
1257d4002b98SHong Zhang         }
12589566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1259d4002b98SHong Zhang       }
1260d4002b98SHong Zhang     }
12619566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1262d4002b98SHong Zhang   }
12639566063dSJacob Faibussowitsch   PetscCall(PetscViewerFlush(viewer));
1264d4002b98SHong Zhang   PetscFunctionReturn(0);
1265d4002b98SHong Zhang }
1266d4002b98SHong Zhang 
1267d4002b98SHong Zhang #include <petscdraw.h>
1268d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa)
1269d71ae5a4SJacob Faibussowitsch {
1270d4002b98SHong Zhang   Mat               A = (Mat)Aa;
1271d4002b98SHong Zhang   Mat_SeqSELL      *a = (Mat_SeqSELL *)A->data;
1272d4002b98SHong Zhang   PetscInt          i, j, m = A->rmap->n, shift;
1273d4002b98SHong Zhang   int               color;
1274d4002b98SHong Zhang   PetscReal         xl, yl, xr, yr, x_l, x_r, y_l, y_r;
1275d4002b98SHong Zhang   PetscViewer       viewer;
1276d4002b98SHong Zhang   PetscViewerFormat format;
1277d4002b98SHong Zhang 
1278d4002b98SHong Zhang   PetscFunctionBegin;
12799566063dSJacob Faibussowitsch   PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer));
12809566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
12819566063dSJacob Faibussowitsch   PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr));
1282d4002b98SHong Zhang 
1283d4002b98SHong Zhang   /* loop over matrix elements drawing boxes */
1284d4002b98SHong Zhang 
1285d4002b98SHong Zhang   if (format != PETSC_VIEWER_DRAW_CONTOUR) {
1286d0609cedSBarry Smith     PetscDrawCollectiveBegin(draw);
1287d4002b98SHong Zhang     /* Blue for negative, Cyan for zero and  Red for positive */
1288d4002b98SHong Zhang     color = PETSC_DRAW_BLUE;
1289d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1290d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
12919371c9d4SSatish Balay       y_l   = m - i - 1.0;
12929371c9d4SSatish Balay       y_r   = y_l + 1.0;
1293d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
12949371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
12959371c9d4SSatish Balay         x_r = x_l + 1.0;
1296d4002b98SHong Zhang         if (PetscRealPart(a->val[shift + 8 * j]) >= 0.) continue;
12979566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1298d4002b98SHong Zhang       }
1299d4002b98SHong Zhang     }
1300d4002b98SHong Zhang     color = PETSC_DRAW_CYAN;
1301d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1302d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
13039371c9d4SSatish Balay       y_l   = m - i - 1.0;
13049371c9d4SSatish Balay       y_r   = y_l + 1.0;
1305d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
13069371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
13079371c9d4SSatish Balay         x_r = x_l + 1.0;
1308d4002b98SHong Zhang         if (a->val[shift + 8 * j] != 0.) continue;
13099566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1310d4002b98SHong Zhang       }
1311d4002b98SHong Zhang     }
1312d4002b98SHong Zhang     color = PETSC_DRAW_RED;
1313d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1314d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
13159371c9d4SSatish Balay       y_l   = m - i - 1.0;
13169371c9d4SSatish Balay       y_r   = y_l + 1.0;
1317d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
13189371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
13199371c9d4SSatish Balay         x_r = x_l + 1.0;
1320d4002b98SHong Zhang         if (PetscRealPart(a->val[shift + 8 * j]) <= 0.) continue;
13219566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1322d4002b98SHong Zhang       }
1323d4002b98SHong Zhang     }
1324d0609cedSBarry Smith     PetscDrawCollectiveEnd(draw);
1325d4002b98SHong Zhang   } else {
1326d4002b98SHong Zhang     /* use contour shading to indicate magnitude of values */
1327d4002b98SHong Zhang     /* first determine max of all nonzero values */
1328d4002b98SHong Zhang     PetscReal minv = 0.0, maxv = 0.0;
1329d4002b98SHong Zhang     PetscInt  count = 0;
1330d4002b98SHong Zhang     PetscDraw popup;
1331d4002b98SHong Zhang     for (i = 0; i < a->sliidx[a->totalslices]; i++) {
1332d4002b98SHong Zhang       if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]);
1333d4002b98SHong Zhang     }
1334d4002b98SHong Zhang     if (minv >= maxv) maxv = minv + PETSC_SMALL;
13359566063dSJacob Faibussowitsch     PetscCall(PetscDrawGetPopup(draw, &popup));
13369566063dSJacob Faibussowitsch     PetscCall(PetscDrawScalePopup(popup, minv, maxv));
1337d4002b98SHong Zhang 
1338d0609cedSBarry Smith     PetscDrawCollectiveBegin(draw);
1339d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1340d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1341d4002b98SHong Zhang       y_l   = m - i - 1.0;
1342d4002b98SHong Zhang       y_r   = y_l + 1.0;
1343d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1344d4002b98SHong Zhang         x_l   = a->colidx[shift + j * 8];
1345d4002b98SHong Zhang         x_r   = x_l + 1.0;
1346d4002b98SHong Zhang         color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv);
13479566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1348d4002b98SHong Zhang         count++;
1349d4002b98SHong Zhang       }
1350d4002b98SHong Zhang     }
1351d0609cedSBarry Smith     PetscDrawCollectiveEnd(draw);
1352d4002b98SHong Zhang   }
1353d4002b98SHong Zhang   PetscFunctionReturn(0);
1354d4002b98SHong Zhang }
1355d4002b98SHong Zhang 
1356d4002b98SHong Zhang #include <petscdraw.h>
1357d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer)
1358d71ae5a4SJacob Faibussowitsch {
1359d4002b98SHong Zhang   PetscDraw draw;
1360d4002b98SHong Zhang   PetscReal xr, yr, xl, yl, h, w;
1361d4002b98SHong Zhang   PetscBool isnull;
1362d4002b98SHong Zhang 
1363d4002b98SHong Zhang   PetscFunctionBegin;
13649566063dSJacob Faibussowitsch   PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw));
13659566063dSJacob Faibussowitsch   PetscCall(PetscDrawIsNull(draw, &isnull));
1366d4002b98SHong Zhang   if (isnull) PetscFunctionReturn(0);
1367d4002b98SHong Zhang 
13689371c9d4SSatish Balay   xr = A->cmap->n;
13699371c9d4SSatish Balay   yr = A->rmap->n;
13709371c9d4SSatish Balay   h  = yr / 10.0;
13719371c9d4SSatish Balay   w  = xr / 10.0;
13729371c9d4SSatish Balay   xr += w;
13739371c9d4SSatish Balay   yr += h;
13749371c9d4SSatish Balay   xl = -w;
13759371c9d4SSatish Balay   yl = -h;
13769566063dSJacob Faibussowitsch   PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr));
13779566063dSJacob Faibussowitsch   PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer));
13789566063dSJacob Faibussowitsch   PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A));
13799566063dSJacob Faibussowitsch   PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL));
13809566063dSJacob Faibussowitsch   PetscCall(PetscDrawSave(draw));
1381d4002b98SHong Zhang   PetscFunctionReturn(0);
1382d4002b98SHong Zhang }
1383d4002b98SHong Zhang 
1384d71ae5a4SJacob Faibussowitsch PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer)
1385d71ae5a4SJacob Faibussowitsch {
1386d4002b98SHong Zhang   PetscBool iascii, isbinary, isdraw;
1387d4002b98SHong Zhang 
1388d4002b98SHong Zhang   PetscFunctionBegin;
13899566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii));
13909566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary));
13919566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw));
1392d4002b98SHong Zhang   if (iascii) {
13939566063dSJacob Faibussowitsch     PetscCall(MatView_SeqSELL_ASCII(A, viewer));
1394d4002b98SHong Zhang   } else if (isbinary) {
13959566063dSJacob Faibussowitsch     /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */
13961baa6e33SBarry Smith   } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer));
1397d4002b98SHong Zhang   PetscFunctionReturn(0);
1398d4002b98SHong Zhang }
1399d4002b98SHong Zhang 
1400d71ae5a4SJacob Faibussowitsch PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode)
1401d71ae5a4SJacob Faibussowitsch {
1402d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1403d4002b98SHong Zhang   PetscInt     i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k;
1404d4002b98SHong Zhang   MatScalar   *vp;
1405d4002b98SHong Zhang 
1406d4002b98SHong Zhang   PetscFunctionBegin;
1407d4002b98SHong Zhang   if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(0);
1408d4002b98SHong Zhang   /* To do: compress out the unused elements */
14099566063dSJacob Faibussowitsch   PetscCall(MatMarkDiagonal_SeqSELL(A));
14109566063dSJacob 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));
14119566063dSJacob Faibussowitsch   PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs));
14129566063dSJacob Faibussowitsch   PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax));
1413d4002b98SHong 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 */
1414d4002b98SHong Zhang   for (i = 0; i < a->totalslices; ++i) {
1415d4002b98SHong Zhang     shift = a->sliidx[i];                                      /* starting index of the slice */
1416d4002b98SHong Zhang     cp    = a->colidx + shift;                                 /* pointer to the column indices of the slice */
1417d4002b98SHong Zhang     vp    = a->val + shift;                                    /* pointer to the nonzero values of the slice */
1418d4002b98SHong Zhang     for (row_in_slice = 0; row_in_slice < 8; ++row_in_slice) { /* loop over rows in the slice */
1419d4002b98SHong Zhang       row  = 8 * i + row_in_slice;
1420d4002b98SHong Zhang       nrow = a->rlen[row]; /* number of nonzeros in row */
1421d4002b98SHong Zhang       /*
1422d4002b98SHong Zhang         Search for the nearest nonzero. Normally setting the index to zero may cause extra communication.
1423d4002b98SHong Zhang         But if the entire slice are empty, it is fine to use 0 since the index will not be loaded.
1424d4002b98SHong Zhang       */
1425d4002b98SHong Zhang       lastcol = 0;
1426d4002b98SHong Zhang       if (nrow > 0) {                                /* nonempty row */
1427d4002b98SHong Zhang         lastcol = cp[8 * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */
1428d4002b98SHong Zhang       } else if (!row_in_slice) {                    /* first row of the currect slice is empty */
1429d4002b98SHong Zhang         for (j = 1; j < 8; j++) {
1430d4002b98SHong Zhang           if (a->rlen[8 * i + j]) {
1431d4002b98SHong Zhang             lastcol = cp[j];
1432d4002b98SHong Zhang             break;
1433d4002b98SHong Zhang           }
1434d4002b98SHong Zhang         }
1435d4002b98SHong Zhang       } else {
1436d4002b98SHong Zhang         if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */
1437d4002b98SHong Zhang       }
1438d4002b98SHong Zhang 
1439d4002b98SHong Zhang       for (k = nrow; k < (a->sliidx[i + 1] - shift) / 8; ++k) {
1440d4002b98SHong Zhang         cp[8 * k + row_in_slice] = lastcol;
1441d4002b98SHong Zhang         vp[8 * k + row_in_slice] = (MatScalar)0;
1442d4002b98SHong Zhang       }
1443d4002b98SHong Zhang     }
1444d4002b98SHong Zhang   }
1445d4002b98SHong Zhang 
1446d4002b98SHong Zhang   A->info.mallocs += a->reallocs;
1447d4002b98SHong Zhang   a->reallocs = 0;
1448d4002b98SHong Zhang 
14499566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
1450d4002b98SHong Zhang   PetscFunctionReturn(0);
1451d4002b98SHong Zhang }
1452d4002b98SHong Zhang 
1453d71ae5a4SJacob Faibussowitsch PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info)
1454d71ae5a4SJacob Faibussowitsch {
1455d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1456d4002b98SHong Zhang 
1457d4002b98SHong Zhang   PetscFunctionBegin;
1458d4002b98SHong Zhang   info->block_size   = 1.0;
14593966268fSBarry Smith   info->nz_allocated = a->maxallocmat;
14603966268fSBarry Smith   info->nz_used      = a->sliidx[a->totalslices]; /* include padding zeros */
14613966268fSBarry Smith   info->nz_unneeded  = (a->maxallocmat - a->sliidx[a->totalslices]);
14623966268fSBarry Smith   info->assemblies   = A->num_ass;
14633966268fSBarry Smith   info->mallocs      = A->info.mallocs;
14644dfa11a4SJacob Faibussowitsch   info->memory       = 0; /* REVIEW ME */
1465d4002b98SHong Zhang   if (A->factortype) {
1466d4002b98SHong Zhang     info->fill_ratio_given  = A->info.fill_ratio_given;
1467d4002b98SHong Zhang     info->fill_ratio_needed = A->info.fill_ratio_needed;
1468d4002b98SHong Zhang     info->factor_mallocs    = A->info.factor_mallocs;
1469d4002b98SHong Zhang   } else {
1470d4002b98SHong Zhang     info->fill_ratio_given  = 0;
1471d4002b98SHong Zhang     info->fill_ratio_needed = 0;
1472d4002b98SHong Zhang     info->factor_mallocs    = 0;
1473d4002b98SHong Zhang   }
1474d4002b98SHong Zhang   PetscFunctionReturn(0);
1475d4002b98SHong Zhang }
1476d4002b98SHong Zhang 
1477d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is)
1478d71ae5a4SJacob Faibussowitsch {
1479d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1480d4002b98SHong Zhang   PetscInt     shift, i, k, l, low, high, t, ii, row, col, nrow;
1481d4002b98SHong Zhang   PetscInt    *cp, nonew = a->nonew, lastcol = -1;
1482d4002b98SHong Zhang   MatScalar   *vp, value;
1483d4002b98SHong Zhang 
1484d4002b98SHong Zhang   PetscFunctionBegin;
1485d4002b98SHong Zhang   for (k = 0; k < m; k++) { /* loop over added rows */
1486d4002b98SHong Zhang     row = im[k];
1487d4002b98SHong Zhang     if (row < 0) continue;
14886bdcaf15SBarry 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);
1489d4002b98SHong Zhang     shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */
1490d4002b98SHong Zhang     cp    = a->colidx + shift;                  /* pointer to the row */
1491d4002b98SHong Zhang     vp    = a->val + shift;                     /* pointer to the row */
1492d4002b98SHong Zhang     nrow  = a->rlen[row];
1493d4002b98SHong Zhang     low   = 0;
1494d4002b98SHong Zhang     high  = nrow;
1495d4002b98SHong Zhang 
1496d4002b98SHong Zhang     for (l = 0; l < n; l++) { /* loop over added columns */
1497d4002b98SHong Zhang       col = in[l];
1498d4002b98SHong Zhang       if (col < 0) continue;
14996bdcaf15SBarry 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);
1500d4002b98SHong Zhang       if (a->roworiented) {
1501d4002b98SHong Zhang         value = v[l + k * n];
1502d4002b98SHong Zhang       } else {
1503d4002b98SHong Zhang         value = v[k + l * m];
1504d4002b98SHong Zhang       }
1505d4002b98SHong Zhang       if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue;
1506d4002b98SHong Zhang 
1507ed73aabaSBarry Smith       /* search in this row for the specified column, i indicates the column to be set */
1508d4002b98SHong Zhang       if (col <= lastcol) low = 0;
1509d4002b98SHong Zhang       else high = nrow;
1510d4002b98SHong Zhang       lastcol = col;
1511d4002b98SHong Zhang       while (high - low > 5) {
1512d4002b98SHong Zhang         t = (low + high) / 2;
1513d4002b98SHong Zhang         if (*(cp + t * 8) > col) high = t;
1514d4002b98SHong Zhang         else low = t;
1515d4002b98SHong Zhang       }
1516d4002b98SHong Zhang       for (i = low; i < high; i++) {
1517d4002b98SHong Zhang         if (*(cp + i * 8) > col) break;
1518d4002b98SHong Zhang         if (*(cp + i * 8) == col) {
1519d4002b98SHong Zhang           if (is == ADD_VALUES) *(vp + i * 8) += value;
1520d4002b98SHong Zhang           else *(vp + i * 8) = value;
1521d4002b98SHong Zhang           low = i + 1;
1522d4002b98SHong Zhang           goto noinsert;
1523d4002b98SHong Zhang         }
1524d4002b98SHong Zhang       }
1525d4002b98SHong Zhang       if (value == 0.0 && a->ignorezeroentries) goto noinsert;
1526d4002b98SHong Zhang       if (nonew == 1) goto noinsert;
152708401ef6SPierre Jolivet       PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col);
1528d4002b98SHong Zhang       /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */
1529d4002b98SHong Zhang       MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, row / 8, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar);
1530d4002b98SHong Zhang       /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */
1531d4002b98SHong Zhang       for (ii = nrow - 1; ii >= i; ii--) {
1532d4002b98SHong Zhang         *(cp + (ii + 1) * 8) = *(cp + ii * 8);
1533d4002b98SHong Zhang         *(vp + (ii + 1) * 8) = *(vp + ii * 8);
1534d4002b98SHong Zhang       }
1535d4002b98SHong Zhang       a->rlen[row]++;
1536d4002b98SHong Zhang       *(cp + i * 8) = col;
1537d4002b98SHong Zhang       *(vp + i * 8) = value;
1538d4002b98SHong Zhang       a->nz++;
1539d4002b98SHong Zhang       A->nonzerostate++;
15409371c9d4SSatish Balay       low = i + 1;
15419371c9d4SSatish Balay       high++;
15429371c9d4SSatish Balay       nrow++;
1543d4002b98SHong Zhang     noinsert:;
1544d4002b98SHong Zhang     }
1545d4002b98SHong Zhang     a->rlen[row] = nrow;
1546d4002b98SHong Zhang   }
1547d4002b98SHong Zhang   PetscFunctionReturn(0);
1548d4002b98SHong Zhang }
1549d4002b98SHong Zhang 
1550d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str)
1551d71ae5a4SJacob Faibussowitsch {
1552d4002b98SHong Zhang   PetscFunctionBegin;
1553d4002b98SHong Zhang   /* If the two matrices have the same copy implementation, use fast copy. */
1554d4002b98SHong Zhang   if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) {
1555d4002b98SHong Zhang     Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1556d4002b98SHong Zhang     Mat_SeqSELL *b = (Mat_SeqSELL *)B->data;
1557d4002b98SHong Zhang 
155808401ef6SPierre 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");
15599566063dSJacob Faibussowitsch     PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices]));
1560d4002b98SHong Zhang   } else {
15619566063dSJacob Faibussowitsch     PetscCall(MatCopy_Basic(A, B, str));
1562d4002b98SHong Zhang   }
1563d4002b98SHong Zhang   PetscFunctionReturn(0);
1564d4002b98SHong Zhang }
1565d4002b98SHong Zhang 
1566d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSetUp_SeqSELL(Mat A)
1567d71ae5a4SJacob Faibussowitsch {
1568d4002b98SHong Zhang   PetscFunctionBegin;
15699566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL));
1570d4002b98SHong Zhang   PetscFunctionReturn(0);
1571d4002b98SHong Zhang }
1572d4002b98SHong Zhang 
1573d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[])
1574d71ae5a4SJacob Faibussowitsch {
1575d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1576d4002b98SHong Zhang 
1577d4002b98SHong Zhang   PetscFunctionBegin;
1578d4002b98SHong Zhang   *array = a->val;
1579d4002b98SHong Zhang   PetscFunctionReturn(0);
1580d4002b98SHong Zhang }
1581d4002b98SHong Zhang 
1582d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[])
1583d71ae5a4SJacob Faibussowitsch {
1584d4002b98SHong Zhang   PetscFunctionBegin;
1585d4002b98SHong Zhang   PetscFunctionReturn(0);
1586d4002b98SHong Zhang }
1587d4002b98SHong Zhang 
1588d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRealPart_SeqSELL(Mat A)
1589d71ae5a4SJacob Faibussowitsch {
1590d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1591d4002b98SHong Zhang   PetscInt     i;
1592d4002b98SHong Zhang   MatScalar   *aval = a->val;
1593d4002b98SHong Zhang 
1594d4002b98SHong Zhang   PetscFunctionBegin;
1595d4002b98SHong Zhang   for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscRealPart(aval[i]);
1596d4002b98SHong Zhang   PetscFunctionReturn(0);
1597d4002b98SHong Zhang }
1598d4002b98SHong Zhang 
1599d71ae5a4SJacob Faibussowitsch PetscErrorCode MatImaginaryPart_SeqSELL(Mat A)
1600d71ae5a4SJacob Faibussowitsch {
1601d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1602d4002b98SHong Zhang   PetscInt     i;
1603d4002b98SHong Zhang   MatScalar   *aval = a->val;
1604d4002b98SHong Zhang 
1605d4002b98SHong Zhang   PetscFunctionBegin;
1606d4002b98SHong Zhang   for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscImaginaryPart(aval[i]);
16079566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
1608d4002b98SHong Zhang   PetscFunctionReturn(0);
1609d4002b98SHong Zhang }
1610d4002b98SHong Zhang 
1611d71ae5a4SJacob Faibussowitsch PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha)
1612d71ae5a4SJacob Faibussowitsch {
1613d4002b98SHong Zhang   Mat_SeqSELL *a      = (Mat_SeqSELL *)inA->data;
1614d4002b98SHong Zhang   MatScalar   *aval   = a->val;
1615d4002b98SHong Zhang   PetscScalar  oalpha = alpha;
1616d4002b98SHong Zhang   PetscBLASInt one    = 1, size;
1617d4002b98SHong Zhang 
1618d4002b98SHong Zhang   PetscFunctionBegin;
16199566063dSJacob Faibussowitsch   PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size));
1620792fecdfSBarry Smith   PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one));
16219566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(a->nz));
16229566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(inA));
1623d4002b98SHong Zhang   PetscFunctionReturn(0);
1624d4002b98SHong Zhang }
1625d4002b98SHong Zhang 
1626d71ae5a4SJacob Faibussowitsch PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a)
1627d71ae5a4SJacob Faibussowitsch {
1628d4002b98SHong Zhang   Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data;
1629d4002b98SHong Zhang 
1630d4002b98SHong Zhang   PetscFunctionBegin;
163148a46eb9SPierre Jolivet   if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL));
16329566063dSJacob Faibussowitsch   PetscCall(MatShift_Basic(Y, a));
1633d4002b98SHong Zhang   PetscFunctionReturn(0);
1634d4002b98SHong Zhang }
1635d4002b98SHong Zhang 
1636d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx)
1637d71ae5a4SJacob Faibussowitsch {
1638d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
1639d4002b98SHong Zhang   PetscScalar       *x, sum, *t;
1640f4259b30SLisandro Dalcin   const MatScalar   *idiag = NULL, *mdiag;
1641d4002b98SHong Zhang   const PetscScalar *b, *xb;
1642d4002b98SHong Zhang   PetscInt           n, m = A->rmap->n, i, j, shift;
1643d4002b98SHong Zhang   const PetscInt    *diag;
1644d4002b98SHong Zhang 
1645d4002b98SHong Zhang   PetscFunctionBegin;
1646d4002b98SHong Zhang   its = its * lits;
1647d4002b98SHong Zhang 
1648d4002b98SHong Zhang   if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */
16499566063dSJacob Faibussowitsch   if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift));
1650d4002b98SHong Zhang   a->fshift = fshift;
1651d4002b98SHong Zhang   a->omega  = omega;
1652d4002b98SHong Zhang 
1653d4002b98SHong Zhang   diag  = a->diag;
1654d4002b98SHong Zhang   t     = a->ssor_work;
1655d4002b98SHong Zhang   idiag = a->idiag;
1656d4002b98SHong Zhang   mdiag = a->mdiag;
1657d4002b98SHong Zhang 
16589566063dSJacob Faibussowitsch   PetscCall(VecGetArray(xx, &x));
16599566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(bb, &b));
1660d4002b98SHong Zhang   /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */
166108401ef6SPierre Jolivet   PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented");
166208401ef6SPierre Jolivet   PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented");
1663aed4548fSBarry Smith   PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat");
1664d4002b98SHong Zhang 
1665d4002b98SHong Zhang   if (flag & SOR_ZERO_INITIAL_GUESS) {
1666d4002b98SHong Zhang     if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) {
1667d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1668d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1669d4002b98SHong Zhang         sum   = b[i];
1670d4002b98SHong Zhang         n     = (diag[i] - shift) / 8;
1671d4002b98SHong Zhang         for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1672d4002b98SHong Zhang         t[i] = sum;
1673d4002b98SHong Zhang         x[i] = sum * idiag[i];
1674d4002b98SHong Zhang       }
1675d4002b98SHong Zhang       xb = t;
16769566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(a->nz));
1677d4002b98SHong Zhang     } else xb = b;
1678d4002b98SHong Zhang     if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) {
1679d4002b98SHong Zhang       for (i = m - 1; i >= 0; i--) {
1680d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1681d4002b98SHong Zhang         sum   = xb[i];
1682d4002b98SHong Zhang         n     = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1683d4002b98SHong Zhang         for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1684d4002b98SHong Zhang         if (xb == b) {
1685d4002b98SHong Zhang           x[i] = sum * idiag[i];
1686d4002b98SHong Zhang         } else {
1687d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1688d4002b98SHong Zhang         }
1689d4002b98SHong Zhang       }
16909566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */
1691d4002b98SHong Zhang     }
1692d4002b98SHong Zhang     its--;
1693d4002b98SHong Zhang   }
1694d4002b98SHong Zhang   while (its--) {
1695d4002b98SHong Zhang     if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) {
1696d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1697d4002b98SHong Zhang         /* lower */
1698d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1699d4002b98SHong Zhang         sum   = b[i];
1700d4002b98SHong Zhang         n     = (diag[i] - shift) / 8;
1701d4002b98SHong Zhang         for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1702d4002b98SHong Zhang         t[i] = sum; /* save application of the lower-triangular part */
1703d4002b98SHong Zhang         /* upper */
1704d4002b98SHong Zhang         n = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1705d4002b98SHong Zhang         for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1706d4002b98SHong Zhang         x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1707d4002b98SHong Zhang       }
1708d4002b98SHong Zhang       xb = t;
17099566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(2.0 * a->nz));
1710d4002b98SHong Zhang     } else xb = b;
1711d4002b98SHong Zhang     if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) {
1712d4002b98SHong Zhang       for (i = m - 1; i >= 0; i--) {
1713d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1714d4002b98SHong Zhang         sum   = xb[i];
1715d4002b98SHong Zhang         if (xb == b) {
1716d4002b98SHong Zhang           /* whole matrix (no checkpointing available) */
1717d4002b98SHong Zhang           n = a->rlen[i];
1718d4002b98SHong Zhang           for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1719d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i];
1720d4002b98SHong Zhang         } else { /* lower-triangular part has been saved, so only apply upper-triangular */
1721d4002b98SHong Zhang           n = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1722d4002b98SHong Zhang           for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1723d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1724d4002b98SHong Zhang         }
1725d4002b98SHong Zhang       }
1726d4002b98SHong Zhang       if (xb == b) {
17279566063dSJacob Faibussowitsch         PetscCall(PetscLogFlops(2.0 * a->nz));
1728d4002b98SHong Zhang       } else {
17299566063dSJacob Faibussowitsch         PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */
1730d4002b98SHong Zhang       }
1731d4002b98SHong Zhang     }
1732d4002b98SHong Zhang   }
17339566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(xx, &x));
17349566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(bb, &b));
1735d4002b98SHong Zhang   PetscFunctionReturn(0);
1736d4002b98SHong Zhang }
1737d4002b98SHong Zhang 
1738d4002b98SHong Zhang /* -------------------------------------------------------------------*/
1739d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL,
17406108893eSStefano Zampini                                        MatGetRow_SeqSELL,
17416108893eSStefano Zampini                                        MatRestoreRow_SeqSELL,
1742d4002b98SHong Zhang                                        MatMult_SeqSELL,
1743d4002b98SHong Zhang                                        /* 4*/ MatMultAdd_SeqSELL,
1744d4002b98SHong Zhang                                        MatMultTranspose_SeqSELL,
1745d4002b98SHong Zhang                                        MatMultTransposeAdd_SeqSELL,
1746f4259b30SLisandro Dalcin                                        NULL,
1747f4259b30SLisandro Dalcin                                        NULL,
1748f4259b30SLisandro Dalcin                                        NULL,
1749f4259b30SLisandro Dalcin                                        /* 10*/ NULL,
1750f4259b30SLisandro Dalcin                                        NULL,
1751f4259b30SLisandro Dalcin                                        NULL,
1752d4002b98SHong Zhang                                        MatSOR_SeqSELL,
1753f4259b30SLisandro Dalcin                                        NULL,
1754d4002b98SHong Zhang                                        /* 15*/ MatGetInfo_SeqSELL,
1755d4002b98SHong Zhang                                        MatEqual_SeqSELL,
1756d4002b98SHong Zhang                                        MatGetDiagonal_SeqSELL,
1757d4002b98SHong Zhang                                        MatDiagonalScale_SeqSELL,
1758f4259b30SLisandro Dalcin                                        NULL,
1759f4259b30SLisandro Dalcin                                        /* 20*/ NULL,
1760d4002b98SHong Zhang                                        MatAssemblyEnd_SeqSELL,
1761d4002b98SHong Zhang                                        MatSetOption_SeqSELL,
1762d4002b98SHong Zhang                                        MatZeroEntries_SeqSELL,
1763f4259b30SLisandro Dalcin                                        /* 24*/ NULL,
1764f4259b30SLisandro Dalcin                                        NULL,
1765f4259b30SLisandro Dalcin                                        NULL,
1766f4259b30SLisandro Dalcin                                        NULL,
1767f4259b30SLisandro Dalcin                                        NULL,
1768d4002b98SHong Zhang                                        /* 29*/ MatSetUp_SeqSELL,
1769f4259b30SLisandro Dalcin                                        NULL,
1770f4259b30SLisandro Dalcin                                        NULL,
1771f4259b30SLisandro Dalcin                                        NULL,
1772f4259b30SLisandro Dalcin                                        NULL,
1773d4002b98SHong Zhang                                        /* 34*/ MatDuplicate_SeqSELL,
1774f4259b30SLisandro Dalcin                                        NULL,
1775f4259b30SLisandro Dalcin                                        NULL,
1776f4259b30SLisandro Dalcin                                        NULL,
1777f4259b30SLisandro Dalcin                                        NULL,
1778f4259b30SLisandro Dalcin                                        /* 39*/ NULL,
1779f4259b30SLisandro Dalcin                                        NULL,
1780f4259b30SLisandro Dalcin                                        NULL,
1781d4002b98SHong Zhang                                        MatGetValues_SeqSELL,
1782d4002b98SHong Zhang                                        MatCopy_SeqSELL,
1783f4259b30SLisandro Dalcin                                        /* 44*/ NULL,
1784d4002b98SHong Zhang                                        MatScale_SeqSELL,
1785d4002b98SHong Zhang                                        MatShift_SeqSELL,
1786f4259b30SLisandro Dalcin                                        NULL,
1787f4259b30SLisandro Dalcin                                        NULL,
1788f4259b30SLisandro Dalcin                                        /* 49*/ NULL,
1789f4259b30SLisandro Dalcin                                        NULL,
1790f4259b30SLisandro Dalcin                                        NULL,
1791f4259b30SLisandro Dalcin                                        NULL,
1792f4259b30SLisandro Dalcin                                        NULL,
1793d4002b98SHong Zhang                                        /* 54*/ MatFDColoringCreate_SeqXAIJ,
1794f4259b30SLisandro Dalcin                                        NULL,
1795f4259b30SLisandro Dalcin                                        NULL,
1796f4259b30SLisandro Dalcin                                        NULL,
1797f4259b30SLisandro Dalcin                                        NULL,
1798f4259b30SLisandro Dalcin                                        /* 59*/ NULL,
1799d4002b98SHong Zhang                                        MatDestroy_SeqSELL,
1800d4002b98SHong Zhang                                        MatView_SeqSELL,
1801f4259b30SLisandro Dalcin                                        NULL,
1802f4259b30SLisandro Dalcin                                        NULL,
1803f4259b30SLisandro Dalcin                                        /* 64*/ NULL,
1804f4259b30SLisandro Dalcin                                        NULL,
1805f4259b30SLisandro Dalcin                                        NULL,
1806f4259b30SLisandro Dalcin                                        NULL,
1807f4259b30SLisandro Dalcin                                        NULL,
1808f4259b30SLisandro Dalcin                                        /* 69*/ NULL,
1809f4259b30SLisandro Dalcin                                        NULL,
1810f4259b30SLisandro Dalcin                                        NULL,
1811f4259b30SLisandro Dalcin                                        NULL,
1812f4259b30SLisandro Dalcin                                        NULL,
1813f4259b30SLisandro Dalcin                                        /* 74*/ NULL,
1814d4002b98SHong Zhang                                        MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */
1815f4259b30SLisandro Dalcin                                        NULL,
1816f4259b30SLisandro Dalcin                                        NULL,
1817f4259b30SLisandro Dalcin                                        NULL,
1818f4259b30SLisandro Dalcin                                        /* 79*/ NULL,
1819f4259b30SLisandro Dalcin                                        NULL,
1820f4259b30SLisandro Dalcin                                        NULL,
1821f4259b30SLisandro Dalcin                                        NULL,
1822f4259b30SLisandro Dalcin                                        NULL,
1823f4259b30SLisandro Dalcin                                        /* 84*/ NULL,
1824f4259b30SLisandro Dalcin                                        NULL,
1825f4259b30SLisandro Dalcin                                        NULL,
1826f4259b30SLisandro Dalcin                                        NULL,
1827f4259b30SLisandro Dalcin                                        NULL,
1828f4259b30SLisandro Dalcin                                        /* 89*/ NULL,
1829f4259b30SLisandro Dalcin                                        NULL,
1830f4259b30SLisandro Dalcin                                        NULL,
1831f4259b30SLisandro Dalcin                                        NULL,
1832f4259b30SLisandro Dalcin                                        NULL,
1833f4259b30SLisandro Dalcin                                        /* 94*/ NULL,
1834f4259b30SLisandro Dalcin                                        NULL,
1835f4259b30SLisandro Dalcin                                        NULL,
1836f4259b30SLisandro Dalcin                                        NULL,
1837f4259b30SLisandro Dalcin                                        NULL,
1838f4259b30SLisandro Dalcin                                        /* 99*/ NULL,
1839f4259b30SLisandro Dalcin                                        NULL,
1840f4259b30SLisandro Dalcin                                        NULL,
1841d4002b98SHong Zhang                                        MatConjugate_SeqSELL,
1842f4259b30SLisandro Dalcin                                        NULL,
1843f4259b30SLisandro Dalcin                                        /*104*/ NULL,
1844f4259b30SLisandro Dalcin                                        NULL,
1845f4259b30SLisandro Dalcin                                        NULL,
1846f4259b30SLisandro Dalcin                                        NULL,
1847f4259b30SLisandro Dalcin                                        NULL,
1848f4259b30SLisandro Dalcin                                        /*109*/ NULL,
1849f4259b30SLisandro Dalcin                                        NULL,
1850f4259b30SLisandro Dalcin                                        NULL,
1851f4259b30SLisandro Dalcin                                        NULL,
1852d4002b98SHong Zhang                                        MatMissingDiagonal_SeqSELL,
1853f4259b30SLisandro Dalcin                                        /*114*/ NULL,
1854f4259b30SLisandro Dalcin                                        NULL,
1855f4259b30SLisandro Dalcin                                        NULL,
1856f4259b30SLisandro Dalcin                                        NULL,
1857f4259b30SLisandro Dalcin                                        NULL,
1858f4259b30SLisandro Dalcin                                        /*119*/ NULL,
1859f4259b30SLisandro Dalcin                                        NULL,
1860f4259b30SLisandro Dalcin                                        NULL,
1861f4259b30SLisandro Dalcin                                        NULL,
1862f4259b30SLisandro Dalcin                                        NULL,
1863f4259b30SLisandro Dalcin                                        /*124*/ NULL,
1864f4259b30SLisandro Dalcin                                        NULL,
1865f4259b30SLisandro Dalcin                                        NULL,
1866f4259b30SLisandro Dalcin                                        NULL,
1867f4259b30SLisandro Dalcin                                        NULL,
1868f4259b30SLisandro Dalcin                                        /*129*/ NULL,
1869f4259b30SLisandro Dalcin                                        NULL,
1870f4259b30SLisandro Dalcin                                        NULL,
1871f4259b30SLisandro Dalcin                                        NULL,
1872f4259b30SLisandro Dalcin                                        NULL,
1873f4259b30SLisandro Dalcin                                        /*134*/ NULL,
1874f4259b30SLisandro Dalcin                                        NULL,
1875f4259b30SLisandro Dalcin                                        NULL,
1876f4259b30SLisandro Dalcin                                        NULL,
1877f4259b30SLisandro Dalcin                                        NULL,
1878f4259b30SLisandro Dalcin                                        /*139*/ NULL,
1879f4259b30SLisandro Dalcin                                        NULL,
1880f4259b30SLisandro Dalcin                                        NULL,
1881d4002b98SHong Zhang                                        MatFDColoringSetUp_SeqXAIJ,
1882f4259b30SLisandro Dalcin                                        NULL,
1883d70f29a3SPierre Jolivet                                        /*144*/ NULL,
1884d70f29a3SPierre Jolivet                                        NULL,
1885d70f29a3SPierre Jolivet                                        NULL,
188699a7f59eSMark Adams                                        NULL,
188799a7f59eSMark Adams                                        NULL,
18887fb60732SBarry Smith                                        NULL,
18899371c9d4SSatish Balay                                        /*150*/ NULL};
1890d4002b98SHong Zhang 
1891d71ae5a4SJacob Faibussowitsch PetscErrorCode MatStoreValues_SeqSELL(Mat mat)
1892d71ae5a4SJacob Faibussowitsch {
1893d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data;
1894d4002b98SHong Zhang 
1895d4002b98SHong Zhang   PetscFunctionBegin;
189628b400f6SJacob Faibussowitsch   PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first");
1897d4002b98SHong Zhang 
1898d4002b98SHong Zhang   /* allocate space for values if not already there */
18994dfa11a4SJacob Faibussowitsch   if (!a->saved_values) { PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); }
1900d4002b98SHong Zhang 
1901d4002b98SHong Zhang   /* copy values over */
19029566063dSJacob Faibussowitsch   PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices]));
1903d4002b98SHong Zhang   PetscFunctionReturn(0);
1904d4002b98SHong Zhang }
1905d4002b98SHong Zhang 
1906d71ae5a4SJacob Faibussowitsch PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat)
1907d71ae5a4SJacob Faibussowitsch {
1908d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data;
1909d4002b98SHong Zhang 
1910d4002b98SHong Zhang   PetscFunctionBegin;
191128b400f6SJacob Faibussowitsch   PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first");
191228b400f6SJacob Faibussowitsch   PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first");
19139566063dSJacob Faibussowitsch   PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices]));
1914d4002b98SHong Zhang   PetscFunctionReturn(0);
1915d4002b98SHong Zhang }
1916d4002b98SHong Zhang 
1917d4002b98SHong Zhang /*@C
191811a5261eSBarry Smith  MatSeqSELLRestoreArray - returns access to the array where the data for a `MATSEQSELL` matrix is stored obtained by `MatSeqSELLGetArray()`
1919d4002b98SHong Zhang 
1920d4002b98SHong Zhang  Not Collective
1921d4002b98SHong Zhang 
1922d4002b98SHong Zhang  Input Parameters:
192311a5261eSBarry Smith  .  mat - a `MATSEQSELL` matrix
1924d4002b98SHong Zhang  .  array - pointer to the data
1925d4002b98SHong Zhang 
1926d4002b98SHong Zhang  Level: intermediate
1927d4002b98SHong Zhang 
192811a5261eSBarry Smith  .seealso: `MATSEQSELL`, `MatSeqSELLGetArray()`, `MatSeqSELLRestoreArrayF90()`
1929d4002b98SHong Zhang  @*/
1930d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLRestoreArray(Mat A, PetscScalar **array)
1931d71ae5a4SJacob Faibussowitsch {
1932d4002b98SHong Zhang   PetscFunctionBegin;
1933cac4c232SBarry Smith   PetscUseMethod(A, "MatSeqSELLRestoreArray_C", (Mat, PetscScalar **), (A, array));
1934d4002b98SHong Zhang   PetscFunctionReturn(0);
1935d4002b98SHong Zhang }
1936d4002b98SHong Zhang 
1937d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B)
1938d71ae5a4SJacob Faibussowitsch {
1939d4002b98SHong Zhang   Mat_SeqSELL *b;
1940d4002b98SHong Zhang   PetscMPIInt  size;
1941d4002b98SHong Zhang 
1942d4002b98SHong Zhang   PetscFunctionBegin;
19439566063dSJacob Faibussowitsch   PetscCall(PetscCitationsRegister(citation, &cited));
19449566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size));
194508401ef6SPierre Jolivet   PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1");
1946d4002b98SHong Zhang 
19474dfa11a4SJacob Faibussowitsch   PetscCall(PetscNew(&b));
1948d4002b98SHong Zhang 
1949d4002b98SHong Zhang   B->data = (void *)b;
1950d4002b98SHong Zhang 
19519566063dSJacob Faibussowitsch   PetscCall(PetscMemcpy(B->ops, &MatOps_Values, sizeof(struct _MatOps)));
1952d4002b98SHong Zhang 
1953f4259b30SLisandro Dalcin   b->row                = NULL;
1954f4259b30SLisandro Dalcin   b->col                = NULL;
1955f4259b30SLisandro Dalcin   b->icol               = NULL;
1956d4002b98SHong Zhang   b->reallocs           = 0;
1957d4002b98SHong Zhang   b->ignorezeroentries  = PETSC_FALSE;
1958d4002b98SHong Zhang   b->roworiented        = PETSC_TRUE;
1959d4002b98SHong Zhang   b->nonew              = 0;
1960f4259b30SLisandro Dalcin   b->diag               = NULL;
1961f4259b30SLisandro Dalcin   b->solve_work         = NULL;
1962f4259b30SLisandro Dalcin   B->spptr              = NULL;
1963f4259b30SLisandro Dalcin   b->saved_values       = NULL;
1964f4259b30SLisandro Dalcin   b->idiag              = NULL;
1965f4259b30SLisandro Dalcin   b->mdiag              = NULL;
1966f4259b30SLisandro Dalcin   b->ssor_work          = NULL;
1967d4002b98SHong Zhang   b->omega              = 1.0;
1968d4002b98SHong Zhang   b->fshift             = 0.0;
1969d4002b98SHong Zhang   b->idiagvalid         = PETSC_FALSE;
1970d4002b98SHong Zhang   b->keepnonzeropattern = PETSC_FALSE;
1971d4002b98SHong Zhang 
19729566063dSJacob Faibussowitsch   PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL));
19739566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL));
19749566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL));
19759566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL));
19769566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL));
19779566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL));
19789566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ));
1979d4002b98SHong Zhang   PetscFunctionReturn(0);
1980d4002b98SHong Zhang }
1981d4002b98SHong Zhang 
1982d4002b98SHong Zhang /*
1983d4002b98SHong Zhang  Given a matrix generated with MatGetFactor() duplicates all the information in A into B
1984d4002b98SHong Zhang  */
1985d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace)
1986d71ae5a4SJacob Faibussowitsch {
1987ed73aabaSBarry Smith   Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data;
1988d4002b98SHong Zhang   PetscInt     i, m                           = A->rmap->n;
1989d4002b98SHong Zhang   PetscInt     totalslices = a->totalslices;
1990d4002b98SHong Zhang 
1991d4002b98SHong Zhang   PetscFunctionBegin;
1992d4002b98SHong Zhang   C->factortype = A->factortype;
1993f4259b30SLisandro Dalcin   c->row        = NULL;
1994f4259b30SLisandro Dalcin   c->col        = NULL;
1995f4259b30SLisandro Dalcin   c->icol       = NULL;
1996d4002b98SHong Zhang   c->reallocs   = 0;
1997d4002b98SHong Zhang   C->assembled  = PETSC_TRUE;
1998d4002b98SHong Zhang 
19999566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->rmap, &C->rmap));
20009566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->cmap, &C->cmap));
2001d4002b98SHong Zhang 
20029566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(8 * totalslices, &c->rlen));
20039566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx));
2004d4002b98SHong Zhang 
2005d4002b98SHong Zhang   for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i];
2006d4002b98SHong Zhang   for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i];
2007d4002b98SHong Zhang 
2008d4002b98SHong Zhang   /* allocate the matrix space */
2009d4002b98SHong Zhang   if (mallocmatspace) {
20109566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx));
2011d4002b98SHong Zhang 
2012d4002b98SHong Zhang     c->singlemalloc = PETSC_TRUE;
2013d4002b98SHong Zhang 
2014d4002b98SHong Zhang     if (m > 0) {
20159566063dSJacob Faibussowitsch       PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat));
2016d4002b98SHong Zhang       if (cpvalues == MAT_COPY_VALUES) {
20179566063dSJacob Faibussowitsch         PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat));
2018d4002b98SHong Zhang       } else {
20199566063dSJacob Faibussowitsch         PetscCall(PetscArrayzero(c->val, a->maxallocmat));
2020d4002b98SHong Zhang       }
2021d4002b98SHong Zhang     }
2022d4002b98SHong Zhang   }
2023d4002b98SHong Zhang 
2024d4002b98SHong Zhang   c->ignorezeroentries = a->ignorezeroentries;
2025d4002b98SHong Zhang   c->roworiented       = a->roworiented;
2026d4002b98SHong Zhang   c->nonew             = a->nonew;
2027d4002b98SHong Zhang   if (a->diag) {
20289566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m, &c->diag));
2029ad540459SPierre Jolivet     for (i = 0; i < m; i++) c->diag[i] = a->diag[i];
2030f4259b30SLisandro Dalcin   } else c->diag = NULL;
2031d4002b98SHong Zhang 
2032f4259b30SLisandro Dalcin   c->solve_work         = NULL;
2033f4259b30SLisandro Dalcin   c->saved_values       = NULL;
2034f4259b30SLisandro Dalcin   c->idiag              = NULL;
2035f4259b30SLisandro Dalcin   c->ssor_work          = NULL;
2036d4002b98SHong Zhang   c->keepnonzeropattern = a->keepnonzeropattern;
2037d4002b98SHong Zhang   c->free_val           = PETSC_TRUE;
2038d4002b98SHong Zhang   c->free_colidx        = PETSC_TRUE;
2039d4002b98SHong Zhang 
2040d4002b98SHong Zhang   c->maxallocmat  = a->maxallocmat;
2041d4002b98SHong Zhang   c->maxallocrow  = a->maxallocrow;
2042d4002b98SHong Zhang   c->rlenmax      = a->rlenmax;
2043d4002b98SHong Zhang   c->nz           = a->nz;
2044d4002b98SHong Zhang   C->preallocated = PETSC_TRUE;
2045d4002b98SHong Zhang 
2046d4002b98SHong Zhang   c->nonzerorowcnt = a->nonzerorowcnt;
2047d4002b98SHong Zhang   C->nonzerostate  = A->nonzerostate;
2048d4002b98SHong Zhang 
20499566063dSJacob Faibussowitsch   PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist));
2050d4002b98SHong Zhang   PetscFunctionReturn(0);
2051d4002b98SHong Zhang }
2052d4002b98SHong Zhang 
2053d71ae5a4SJacob Faibussowitsch PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B)
2054d71ae5a4SJacob Faibussowitsch {
2055d4002b98SHong Zhang   PetscFunctionBegin;
20569566063dSJacob Faibussowitsch   PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B));
20579566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n));
205848a46eb9SPierre Jolivet   if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A));
20599566063dSJacob Faibussowitsch   PetscCall(MatSetType(*B, ((PetscObject)A)->type_name));
20609566063dSJacob Faibussowitsch   PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE));
2061d4002b98SHong Zhang   PetscFunctionReturn(0);
2062d4002b98SHong Zhang }
2063d4002b98SHong Zhang 
2064ed73aabaSBarry Smith /*MC
2065ed73aabaSBarry Smith    MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices,
2066ed73aabaSBarry Smith    based on the sliced Ellpack format
2067ed73aabaSBarry Smith 
2068ed73aabaSBarry Smith    Options Database Keys:
206911a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()`
2070ed73aabaSBarry Smith 
2071ed73aabaSBarry Smith    Level: beginner
2072ed73aabaSBarry Smith 
2073db781477SPatrick Sanan .seealso: `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ`
2074ed73aabaSBarry Smith M*/
2075ed73aabaSBarry Smith 
2076ed73aabaSBarry Smith /*MC
2077ed73aabaSBarry Smith    MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices.
2078ed73aabaSBarry Smith 
207911a5261eSBarry Smith    This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator,
208011a5261eSBarry Smith    and `MATMPISELL` otherwise.  As a result, for single process communicators,
208111a5261eSBarry Smith   `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported
2082ed73aabaSBarry Smith   for communicators controlling multiple processes.  It is recommended that you call both of
2083ed73aabaSBarry Smith   the above preallocation routines for simplicity.
2084ed73aabaSBarry Smith 
2085ed73aabaSBarry Smith    Options Database Keys:
2086ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions()
2087ed73aabaSBarry Smith 
2088ed73aabaSBarry Smith   Level: beginner
2089ed73aabaSBarry Smith 
2090ed73aabaSBarry Smith   Notes:
2091ed73aabaSBarry Smith    This format is only supported for real scalars, double precision, and 32 bit indices (the defaults).
2092ed73aabaSBarry Smith 
2093ed73aabaSBarry Smith    It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of
2094ed73aabaSBarry Smith    non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement.
2095ed73aabaSBarry Smith 
2096ed73aabaSBarry Smith   Developer Notes:
2097ed73aabaSBarry Smith    On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance.
2098ed73aabaSBarry Smith 
2099ed73aabaSBarry Smith    The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8
2100ed73aabaSBarry Smith .vb
2101ed73aabaSBarry Smith                             (2 0  3 4)
2102ed73aabaSBarry Smith    Consider the matrix A =  (5 0  6 0)
2103ed73aabaSBarry Smith                             (0 0  7 8)
2104ed73aabaSBarry Smith                             (0 0  9 9)
2105ed73aabaSBarry Smith 
2106ed73aabaSBarry Smith    symbolically the Ellpack format can be written as
2107ed73aabaSBarry Smith 
2108ed73aabaSBarry Smith         (2 3 4 |)           (0 2 3 |)
2109ed73aabaSBarry Smith    v =  (5 6 0 |)  colidx = (0 2 2 |)
2110ed73aabaSBarry Smith         --------            ---------
2111ed73aabaSBarry Smith         (7 8 |)             (2 3 |)
2112ed73aabaSBarry Smith         (9 9 |)             (2 3 |)
2113ed73aabaSBarry Smith 
2114ed73aabaSBarry 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).
2115ed73aabaSBarry 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
2116ed73aabaSBarry 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.
2117ed73aabaSBarry Smith 
2118ed73aabaSBarry 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)
2119ed73aabaSBarry Smith 
2120ed73aabaSBarry Smith .ve
2121ed73aabaSBarry Smith 
2122ed73aabaSBarry Smith       See MatMult_SeqSELL() for how this format is used with the SIMD operations to achieve high performance.
2123ed73aabaSBarry Smith 
2124ed73aabaSBarry Smith  References:
2125606c0280SSatish Balay . * - Hong Zhang, Richard T. Mills, Karl Rupp, and Barry F. Smith, Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512},
2126ed73aabaSBarry Smith    Proceedings of the 47th International Conference on Parallel Processing, 2018.
2127ed73aabaSBarry Smith 
2128db781477SPatrick Sanan .seealso: `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ`
2129ed73aabaSBarry Smith M*/
2130ed73aabaSBarry Smith 
2131d4002b98SHong Zhang /*@C
213211a5261eSBarry Smith        MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format.
2133d4002b98SHong Zhang 
2134ed73aabaSBarry Smith  Collective on comm
2135d4002b98SHong Zhang 
2136d4002b98SHong Zhang  Input Parameters:
213711a5261eSBarry Smith +  comm - MPI communicator, set to `PETSC_COMM_SELF`
2138d4002b98SHong Zhang .  m - number of rows
2139d4002b98SHong Zhang .  n - number of columns
2140d4002b98SHong Zhang .  rlenmax - maximum number of nonzeros in a row
2141d4002b98SHong Zhang -  rlen - array containing the number of nonzeros in the various rows
2142d4002b98SHong Zhang  (possibly different for each row) or NULL
2143d4002b98SHong Zhang 
2144d4002b98SHong Zhang  Output Parameter:
2145d4002b98SHong Zhang .  A - the matrix
2146d4002b98SHong Zhang 
214711a5261eSBarry Smith  It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`,
2148f6f02116SRichard Tran Mills  MatXXXXSetPreallocation() paradigm instead of this routine directly.
214911a5261eSBarry Smith  [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`]
2150d4002b98SHong Zhang 
2151d4002b98SHong Zhang  Notes:
2152d4002b98SHong Zhang  If nnz is given then nz is ignored
2153d4002b98SHong Zhang 
2154d4002b98SHong Zhang  Specify the preallocated storage with either rlenmax or rlen (not both).
215511a5261eSBarry Smith  Set rlenmax = `PETSC_DEFAULT` and rlen = NULL for PETSc to control dynamic memory
2156d4002b98SHong Zhang  allocation.  For large problems you MUST preallocate memory or you
2157d4002b98SHong Zhang  will get TERRIBLE performance, see the users' manual chapter on matrices.
2158d4002b98SHong Zhang 
2159d4002b98SHong Zhang  Level: intermediate
2160d4002b98SHong Zhang 
216111a5261eSBarry Smith  .seealso: `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATSEQSELL`, `MATMPISELL`
2162d4002b98SHong Zhang  @*/
2163d71ae5a4SJacob Faibussowitsch PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt maxallocrow, const PetscInt rlen[], Mat *A)
2164d71ae5a4SJacob Faibussowitsch {
2165d4002b98SHong Zhang   PetscFunctionBegin;
21669566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm, A));
21679566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(*A, m, n, m, n));
21689566063dSJacob Faibussowitsch   PetscCall(MatSetType(*A, MATSEQSELL));
21699566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, maxallocrow, rlen));
2170d4002b98SHong Zhang   PetscFunctionReturn(0);
2171d4002b98SHong Zhang }
2172d4002b98SHong Zhang 
2173d71ae5a4SJacob Faibussowitsch PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg)
2174d71ae5a4SJacob Faibussowitsch {
2175d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data;
2176d4002b98SHong Zhang   PetscInt     totalslices = a->totalslices;
2177d4002b98SHong Zhang 
2178d4002b98SHong Zhang   PetscFunctionBegin;
2179d4002b98SHong Zhang   /* If the  matrix dimensions are not equal,or no of nonzeros */
2180d4002b98SHong Zhang   if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) {
2181d4002b98SHong Zhang     *flg = PETSC_FALSE;
2182d4002b98SHong Zhang     PetscFunctionReturn(0);
2183d4002b98SHong Zhang   }
2184d4002b98SHong Zhang   /* if the a->colidx are the same */
21859566063dSJacob Faibussowitsch   PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg));
2186d4002b98SHong Zhang   if (!*flg) PetscFunctionReturn(0);
2187d4002b98SHong Zhang   /* if a->val are the same */
21889566063dSJacob Faibussowitsch   PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg));
2189d4002b98SHong Zhang   PetscFunctionReturn(0);
2190d4002b98SHong Zhang }
2191d4002b98SHong Zhang 
2192d71ae5a4SJacob Faibussowitsch PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A)
2193d71ae5a4SJacob Faibussowitsch {
2194d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
2195d4002b98SHong Zhang 
2196d4002b98SHong Zhang   PetscFunctionBegin;
2197d4002b98SHong Zhang   a->idiagvalid = PETSC_FALSE;
2198d4002b98SHong Zhang   PetscFunctionReturn(0);
2199d4002b98SHong Zhang }
2200d4002b98SHong Zhang 
2201d71ae5a4SJacob Faibussowitsch PetscErrorCode MatConjugate_SeqSELL(Mat A)
2202d71ae5a4SJacob Faibussowitsch {
2203d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
2204d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
2205d4002b98SHong Zhang   PetscInt     i;
2206d4002b98SHong Zhang   PetscScalar *val = a->val;
2207d4002b98SHong Zhang 
2208d4002b98SHong Zhang   PetscFunctionBegin;
2209ad540459SPierre Jolivet   for (i = 0; i < a->sliidx[a->totalslices]; i++) val[i] = PetscConj(val[i]);
2210d4002b98SHong Zhang #else
2211d4002b98SHong Zhang   PetscFunctionBegin;
2212d4002b98SHong Zhang #endif
2213d4002b98SHong Zhang   PetscFunctionReturn(0);
2214d4002b98SHong Zhang }
2215