xref: /petsc/src/mat/impls/sell/seq/sell.c (revision 48a46eb9bd028bec07ec0f396b1a3abb43f14558)
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:
54d4002b98SHong Zhang  +  B - The 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).
63d4002b98SHong Zhang  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 
67d4002b98SHong Zhang  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 
72d4002b98SHong Zhang  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 
81db781477SPatrick Sanan  .seealso: `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()`
82d4002b98SHong Zhang 
83d4002b98SHong Zhang  @*/
849371c9d4SSatish Balay PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) {
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 
929371c9d4SSatish Balay PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) {
93d4002b98SHong Zhang   Mat_SeqSELL *b;
94d4002b98SHong Zhang   PetscInt     i, j, totalslices;
95d4002b98SHong Zhang   PetscBool    skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE;
96d4002b98SHong Zhang 
97d4002b98SHong Zhang   PetscFunctionBegin;
98d4002b98SHong Zhang   if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE;
99d4002b98SHong Zhang   if (maxallocrow == MAT_SKIP_ALLOCATION) {
100d4002b98SHong Zhang     skipallocation = PETSC_TRUE;
101d4002b98SHong Zhang     maxallocrow    = 0;
102d4002b98SHong Zhang   }
103d4002b98SHong Zhang 
1049566063dSJacob Faibussowitsch   PetscCall(PetscLayoutSetUp(B->rmap));
1059566063dSJacob Faibussowitsch   PetscCall(PetscLayoutSetUp(B->cmap));
106d4002b98SHong Zhang 
107d4002b98SHong Zhang   /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */
108d4002b98SHong Zhang   if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5;
10908401ef6SPierre Jolivet   PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow);
110d4002b98SHong Zhang   if (rlen) {
111d4002b98SHong Zhang     for (i = 0; i < B->rmap->n; i++) {
11208401ef6SPierre 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]);
11308401ef6SPierre 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);
114d4002b98SHong Zhang     }
115d4002b98SHong Zhang   }
116d4002b98SHong Zhang 
117d4002b98SHong Zhang   B->preallocated = PETSC_TRUE;
118d4002b98SHong Zhang 
119d4002b98SHong Zhang   b = (Mat_SeqSELL *)B->data;
120d4002b98SHong Zhang 
121faa75363SBarry Smith   totalslices    = PetscCeilInt(B->rmap->n, 8);
122d4002b98SHong Zhang   b->totalslices = totalslices;
123d4002b98SHong Zhang   if (!skipallocation) {
1249566063dSJacob 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));
125d4002b98SHong Zhang 
126d4002b98SHong Zhang     if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */
1279566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx));
1289566063dSJacob Faibussowitsch       PetscCall(PetscLogObjectMemory((PetscObject)B, (totalslices + 1) * sizeof(PetscInt)));
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;
1399371c9d4SSatish Balay         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));
1559566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)B, b->sliidx[totalslices] * (sizeof(PetscScalar) + sizeof(PetscInt))));
156d4002b98SHong 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. */
1579566063dSJacob Faibussowitsch     PetscCall(PetscCalloc1(8 * totalslices, &b->rlen));
1589566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)B, 8 * totalslices * sizeof(PetscInt)));
159d4002b98SHong Zhang 
160d4002b98SHong Zhang     b->singlemalloc = PETSC_TRUE;
161d4002b98SHong Zhang     b->free_val     = PETSC_TRUE;
162d4002b98SHong Zhang     b->free_colidx  = PETSC_TRUE;
163d4002b98SHong Zhang   } else {
164d4002b98SHong Zhang     b->free_val    = PETSC_FALSE;
165d4002b98SHong Zhang     b->free_colidx = PETSC_FALSE;
166d4002b98SHong Zhang   }
167d4002b98SHong Zhang 
168d4002b98SHong Zhang   b->nz               = 0;
169d4002b98SHong Zhang   b->maxallocrow      = maxallocrow;
170d4002b98SHong Zhang   b->rlenmax          = maxallocrow;
171d4002b98SHong Zhang   b->maxallocmat      = b->sliidx[totalslices];
172d4002b98SHong Zhang   B->info.nz_unneeded = (double)b->maxallocmat;
1731baa6e33SBarry Smith   if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE));
174d4002b98SHong Zhang   PetscFunctionReturn(0);
175d4002b98SHong Zhang }
176d4002b98SHong Zhang 
1779371c9d4SSatish Balay PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) {
1786108893eSStefano Zampini   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1796108893eSStefano Zampini   PetscInt     shift;
1806108893eSStefano Zampini 
1816108893eSStefano Zampini   PetscFunctionBegin;
182aed4548fSBarry Smith   PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row);
1836108893eSStefano Zampini   if (nz) *nz = a->rlen[row];
1846108893eSStefano Zampini   shift = a->sliidx[row >> 3] + (row & 0x07);
185*48a46eb9SPierre Jolivet   if (!a->getrowcols) PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals));
1866108893eSStefano Zampini   if (idx) {
1876108893eSStefano Zampini     PetscInt j;
1886108893eSStefano Zampini     for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + 8 * j];
1896108893eSStefano Zampini     *idx = a->getrowcols;
1906108893eSStefano Zampini   }
1916108893eSStefano Zampini   if (v) {
1926108893eSStefano Zampini     PetscInt j;
1936108893eSStefano Zampini     for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + 8 * j];
1946108893eSStefano Zampini     *v = a->getrowvals;
1956108893eSStefano Zampini   }
1966108893eSStefano Zampini   PetscFunctionReturn(0);
1976108893eSStefano Zampini }
1986108893eSStefano Zampini 
1999371c9d4SSatish Balay PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) {
2006108893eSStefano Zampini   PetscFunctionBegin;
2016108893eSStefano Zampini   PetscFunctionReturn(0);
2026108893eSStefano Zampini }
2036108893eSStefano Zampini 
2049371c9d4SSatish Balay PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) {
205d4002b98SHong Zhang   Mat          B;
206d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
207e3f1f374SStefano Zampini   PetscInt     i;
208d4002b98SHong Zhang 
209d4002b98SHong Zhang   PetscFunctionBegin;
210ad013a7bSRichard Tran Mills   if (reuse == MAT_REUSE_MATRIX) {
211ad013a7bSRichard Tran Mills     B = *newmat;
2129566063dSJacob Faibussowitsch     PetscCall(MatZeroEntries(B));
213ad013a7bSRichard Tran Mills   } else {
2149566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
2159566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N));
2169566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQAIJ));
2179566063dSJacob Faibussowitsch     PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen));
218ad013a7bSRichard Tran Mills   }
219d4002b98SHong Zhang 
220e3f1f374SStefano Zampini   for (i = 0; i < A->rmap->n; i++) {
221e108cb99SStefano Zampini     PetscInt     nz = 0, *cols = NULL;
222e108cb99SStefano Zampini     PetscScalar *vals = NULL;
223e3f1f374SStefano Zampini 
2249566063dSJacob Faibussowitsch     PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals));
2259566063dSJacob Faibussowitsch     PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES));
2269566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals));
227d4002b98SHong Zhang   }
228e3f1f374SStefano Zampini 
2299566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
2309566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
231d4002b98SHong Zhang   B->rmap->bs = A->rmap->bs;
232d4002b98SHong Zhang 
233d4002b98SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
2349566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
235d4002b98SHong Zhang   } else {
236d4002b98SHong Zhang     *newmat = B;
237d4002b98SHong Zhang   }
238d4002b98SHong Zhang   PetscFunctionReturn(0);
239d4002b98SHong Zhang }
240d4002b98SHong Zhang 
241d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h>
242d4002b98SHong Zhang 
2439371c9d4SSatish Balay PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) {
244d4002b98SHong Zhang   Mat                B;
245d4002b98SHong Zhang   Mat_SeqAIJ        *a  = (Mat_SeqAIJ *)A->data;
246d4002b98SHong Zhang   PetscInt          *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols;
247d4002b98SHong Zhang   const PetscInt    *cols;
248d4002b98SHong Zhang   const PetscScalar *vals;
249d4002b98SHong Zhang 
250d4002b98SHong Zhang   PetscFunctionBegin;
251ad013a7bSRichard Tran Mills 
252ad013a7bSRichard Tran Mills   if (reuse == MAT_REUSE_MATRIX) {
253ad013a7bSRichard Tran Mills     B = *newmat;
254ad013a7bSRichard Tran Mills   } else {
255d5e5b2e5SBarry Smith     if (PetscDefined(USE_DEBUG) || !a->ilen) {
2569566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(m, &rowlengths));
2579371c9d4SSatish Balay       for (i = 0; i < m; i++) { rowlengths[i] = ai[i + 1] - ai[i]; }
258d5e5b2e5SBarry Smith     }
259d5e5b2e5SBarry Smith     if (PetscDefined(USE_DEBUG) && a->ilen) {
260d5e5b2e5SBarry Smith       PetscBool eq;
2619566063dSJacob Faibussowitsch       PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq));
26228b400f6SJacob Faibussowitsch       PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect");
2639566063dSJacob Faibussowitsch       PetscCall(PetscFree(rowlengths));
264d5e5b2e5SBarry Smith       rowlengths = a->ilen;
265d5e5b2e5SBarry Smith     } else if (a->ilen) rowlengths = a->ilen;
2669566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
2679566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, m, n, m, n));
2689566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQSELL));
2699566063dSJacob Faibussowitsch     PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths));
2709566063dSJacob Faibussowitsch     if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths));
271ad013a7bSRichard Tran Mills   }
272d4002b98SHong Zhang 
273d4002b98SHong Zhang   for (row = 0; row < m; row++) {
2749566063dSJacob Faibussowitsch     PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals));
2759566063dSJacob Faibussowitsch     PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES));
2769566063dSJacob Faibussowitsch     PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals));
277d4002b98SHong Zhang   }
2789566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
2799566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
280d4002b98SHong Zhang   B->rmap->bs = A->rmap->bs;
281d4002b98SHong Zhang 
282d4002b98SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
2839566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
284d4002b98SHong Zhang   } else {
285d4002b98SHong Zhang     *newmat = B;
286d4002b98SHong Zhang   }
287d4002b98SHong Zhang   PetscFunctionReturn(0);
288d4002b98SHong Zhang }
289d4002b98SHong Zhang 
2909371c9d4SSatish Balay PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) {
291d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
292d4002b98SHong Zhang   PetscScalar       *y;
293d4002b98SHong Zhang   const PetscScalar *x;
294d4002b98SHong Zhang   const MatScalar   *aval        = a->val;
295d4002b98SHong Zhang   PetscInt           totalslices = a->totalslices;
296d4002b98SHong Zhang   const PetscInt    *acolidx     = a->colidx;
2977285fed1SHong Zhang   PetscInt           i, j;
298d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
299d4002b98SHong Zhang   __m512d  vec_x, vec_y, vec_vals;
300d4002b98SHong Zhang   __m256i  vec_idx;
301d4002b98SHong Zhang   __mmask8 mask;
302d4002b98SHong Zhang   __m512d  vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4;
303d4002b98SHong Zhang   __m256i  vec_idx2, vec_idx3, vec_idx4;
3045f70456aSHong 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)
305a48a6482SHong Zhang   __m128i   vec_idx;
306a48a6482SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
307a48a6482SHong Zhang   MatScalar yval;
308a48a6482SHong Zhang   PetscInt  r, rows_left, row, nnz_in_row;
30921cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
310d4002b98SHong Zhang   __m128d   vec_x_tmp;
311d4002b98SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
312d4002b98SHong Zhang   MatScalar yval;
313d4002b98SHong Zhang   PetscInt  r, rows_left, row, nnz_in_row;
314d4002b98SHong Zhang #else
315d4002b98SHong Zhang   PetscScalar sum[8];
316d4002b98SHong Zhang #endif
317d4002b98SHong Zhang 
318d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
319d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval)
320d4002b98SHong Zhang #endif
321d4002b98SHong Zhang 
322d4002b98SHong Zhang   PetscFunctionBegin;
3239566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
3249566063dSJacob Faibussowitsch   PetscCall(VecGetArray(yy, &y));
325d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
326d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
327d4002b98SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
328d4002b98SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
329d4002b98SHong Zhang 
330d4002b98SHong Zhang     vec_y  = _mm512_setzero_pd();
331d4002b98SHong Zhang     vec_y2 = _mm512_setzero_pd();
332d4002b98SHong Zhang     vec_y3 = _mm512_setzero_pd();
333d4002b98SHong Zhang     vec_y4 = _mm512_setzero_pd();
334d4002b98SHong Zhang 
33538efe8efSHong Zhang     j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */
336d4002b98SHong Zhang     switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) {
337d4002b98SHong Zhang     case 3:
338d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3399371c9d4SSatish Balay       acolidx += 8;
3409371c9d4SSatish Balay       aval += 8;
341d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3429371c9d4SSatish Balay       acolidx += 8;
3439371c9d4SSatish Balay       aval += 8;
344d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
3459371c9d4SSatish Balay       acolidx += 8;
3469371c9d4SSatish Balay       aval += 8;
347d4002b98SHong Zhang       j += 3;
348d4002b98SHong Zhang       break;
349d4002b98SHong Zhang     case 2:
350d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3519371c9d4SSatish Balay       acolidx += 8;
3529371c9d4SSatish Balay       aval += 8;
353d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3549371c9d4SSatish Balay       acolidx += 8;
3559371c9d4SSatish Balay       aval += 8;
356d4002b98SHong Zhang       j += 2;
357d4002b98SHong Zhang       break;
358d4002b98SHong Zhang     case 1:
359d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3609371c9d4SSatish Balay       acolidx += 8;
3619371c9d4SSatish Balay       aval += 8;
362d4002b98SHong Zhang       j += 1;
363d4002b98SHong Zhang       break;
364d4002b98SHong Zhang     }
365d4002b98SHong Zhang #pragma novector
366d4002b98SHong Zhang     for (; j < (a->sliidx[i + 1] >> 3); j += 4) {
367d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
3689371c9d4SSatish Balay       acolidx += 8;
3699371c9d4SSatish Balay       aval += 8;
370d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
3719371c9d4SSatish Balay       acolidx += 8;
3729371c9d4SSatish Balay       aval += 8;
373d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
3749371c9d4SSatish Balay       acolidx += 8;
3759371c9d4SSatish Balay       aval += 8;
376d4002b98SHong Zhang       AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4);
3779371c9d4SSatish Balay       acolidx += 8;
3789371c9d4SSatish Balay       aval += 8;
379d4002b98SHong Zhang     }
380d4002b98SHong Zhang 
381d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y2);
382d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y3);
383d4002b98SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y4);
384d4002b98SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
385d4002b98SHong Zhang       mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07)));
386ef588d5cSRichard Tran Mills       _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y);
387d4002b98SHong Zhang     } else {
388ef588d5cSRichard Tran Mills       _mm512_storeu_pd(&y[8 * i], vec_y);
389d4002b98SHong Zhang     }
390d4002b98SHong Zhang   }
3915f70456aSHong 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)
392a48a6482SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
393a48a6482SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
394a48a6482SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
395a48a6482SHong Zhang 
396a48a6482SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
397a48a6482SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
398a48a6482SHong Zhang       rows_left = A->rmap->n - 8 * i;
399a48a6482SHong Zhang       for (r = 0; r < rows_left; ++r) {
400a48a6482SHong Zhang         yval       = (MatScalar)0;
401a48a6482SHong Zhang         row        = 8 * i + r;
402a48a6482SHong Zhang         nnz_in_row = a->rlen[row];
403a48a6482SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
404a48a6482SHong Zhang         y[row] = yval;
405a48a6482SHong Zhang       }
406a48a6482SHong Zhang       break;
407a48a6482SHong Zhang     }
408a48a6482SHong Zhang 
409a48a6482SHong Zhang     vec_y  = _mm256_setzero_pd();
410a48a6482SHong Zhang     vec_y2 = _mm256_setzero_pd();
411a48a6482SHong Zhang 
412a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
413a48a6482SHong Zhang #pragma novector
414a48a6482SHong Zhang #pragma unroll(2)
415a48a6482SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
416a48a6482SHong Zhang       AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
4179371c9d4SSatish Balay       aval += 4;
4189371c9d4SSatish Balay       acolidx += 4;
419a48a6482SHong Zhang       AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2);
4209371c9d4SSatish Balay       aval += 4;
4219371c9d4SSatish Balay       acolidx += 4;
422a48a6482SHong Zhang     }
423a48a6482SHong Zhang 
424ef588d5cSRichard Tran Mills     _mm256_storeu_pd(y + i * 8, vec_y);
425ef588d5cSRichard Tran Mills     _mm256_storeu_pd(y + i * 8 + 4, vec_y2);
426a48a6482SHong Zhang   }
42721cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
428d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
429d4002b98SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
430d4002b98SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
431d4002b98SHong Zhang 
432d4002b98SHong Zhang     vec_y  = _mm256_setzero_pd();
433d4002b98SHong Zhang     vec_y2 = _mm256_setzero_pd();
434d4002b98SHong Zhang 
435d4002b98SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
436d4002b98SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
437d4002b98SHong Zhang       rows_left = A->rmap->n - 8 * i;
438d4002b98SHong Zhang       for (r = 0; r < rows_left; ++r) {
439d4002b98SHong Zhang         yval       = (MatScalar)0;
440d4002b98SHong Zhang         row        = 8 * i + r;
441d4002b98SHong Zhang         nnz_in_row = a->rlen[row];
442d4002b98SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
443d4002b98SHong Zhang         y[row] = yval;
444d4002b98SHong Zhang       }
445d4002b98SHong Zhang       break;
446d4002b98SHong Zhang     }
447d4002b98SHong Zhang 
448d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
449a48a6482SHong Zhang #pragma novector
450a48a6482SHong Zhang #pragma unroll(2)
4517285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
452d4002b98SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
453165f9cc3SJed Brown       vec_x_tmp = _mm_setzero_pd();
454d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
455d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
456d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
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, 1);
460d4002b98SHong Zhang       vec_y     = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y);
461d4002b98SHong Zhang       aval += 4;
462d4002b98SHong Zhang 
463d4002b98SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
464d4002b98SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
465d4002b98SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
466d4002b98SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
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, 1);
470d4002b98SHong Zhang       vec_y2    = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2);
471d4002b98SHong Zhang       aval += 4;
472d4002b98SHong Zhang     }
473d4002b98SHong Zhang 
474d4002b98SHong Zhang     _mm256_storeu_pd(y + i * 8, vec_y);
475d4002b98SHong Zhang     _mm256_storeu_pd(y + i * 8 + 4, vec_y2);
476d4002b98SHong Zhang   }
477d4002b98SHong Zhang #else
478d4002b98SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
479d4002b98SHong Zhang     for (j = 0; j < 8; j++) sum[j] = 0.0;
480d4002b98SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
481d4002b98SHong Zhang       sum[0] += aval[j] * x[acolidx[j]];
482d4002b98SHong Zhang       sum[1] += aval[j + 1] * x[acolidx[j + 1]];
483d4002b98SHong Zhang       sum[2] += aval[j + 2] * x[acolidx[j + 2]];
484d4002b98SHong Zhang       sum[3] += aval[j + 3] * x[acolidx[j + 3]];
485d4002b98SHong Zhang       sum[4] += aval[j + 4] * x[acolidx[j + 4]];
486d4002b98SHong Zhang       sum[5] += aval[j + 5] * x[acolidx[j + 5]];
487d4002b98SHong Zhang       sum[6] += aval[j + 6] * x[acolidx[j + 6]];
488d4002b98SHong Zhang       sum[7] += aval[j + 7] * x[acolidx[j + 7]];
489d4002b98SHong Zhang     }
490d4002b98SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
491d4002b98SHong Zhang       for (j = 0; j < (A->rmap->n & 0x07); j++) y[8 * i + j] = sum[j];
492d4002b98SHong Zhang     } else {
4937285fed1SHong Zhang       for (j = 0; j < 8; j++) y[8 * i + j] = sum[j];
494d4002b98SHong Zhang     }
495d4002b98SHong Zhang   }
496d4002b98SHong Zhang #endif
497d4002b98SHong Zhang 
4989566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */
4999566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
5009566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(yy, &y));
501d4002b98SHong Zhang   PetscFunctionReturn(0);
502d4002b98SHong Zhang }
503d4002b98SHong Zhang 
504d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h>
5059371c9d4SSatish Balay PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) {
506d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
507d4002b98SHong Zhang   PetscScalar       *y, *z;
508d4002b98SHong Zhang   const PetscScalar *x;
509d4002b98SHong Zhang   const MatScalar   *aval        = a->val;
510d4002b98SHong Zhang   PetscInt           totalslices = a->totalslices;
511d4002b98SHong Zhang   const PetscInt    *acolidx     = a->colidx;
512d4002b98SHong Zhang   PetscInt           i, j;
513d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5147285fed1SHong Zhang   __m512d  vec_x, vec_y, vec_vals;
515d4002b98SHong Zhang   __m256i  vec_idx;
516d4002b98SHong Zhang   __mmask8 mask;
5177285fed1SHong Zhang   __m512d  vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4;
5187285fed1SHong Zhang   __m256i  vec_idx2, vec_idx3, vec_idx4;
51921cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5207285fed1SHong Zhang   __m128d   vec_x_tmp;
5217285fed1SHong Zhang   __m256d   vec_x, vec_y, vec_y2, vec_vals;
5227285fed1SHong Zhang   MatScalar yval;
5237285fed1SHong Zhang   PetscInt  r, row, nnz_in_row;
524d4002b98SHong Zhang #else
525d4002b98SHong Zhang   PetscScalar sum[8];
526d4002b98SHong Zhang #endif
527d4002b98SHong Zhang 
528d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
529d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval)
530d4002b98SHong Zhang #endif
531d4002b98SHong Zhang 
532d4002b98SHong Zhang   PetscFunctionBegin;
5339566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
5349566063dSJacob Faibussowitsch   PetscCall(VecGetArrayPair(yy, zz, &y, &z));
535d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
5367285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
5377285fed1SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
5387285fed1SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
5397285fed1SHong Zhang 
540d4002b98SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
541d4002b98SHong Zhang       mask  = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07)));
542ef588d5cSRichard Tran Mills       vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]);
5437285fed1SHong Zhang     } else {
544ef588d5cSRichard Tran Mills       vec_y = _mm512_loadu_pd(&y[8 * i]);
5457285fed1SHong Zhang     }
5467285fed1SHong Zhang     vec_y2 = _mm512_setzero_pd();
5477285fed1SHong Zhang     vec_y3 = _mm512_setzero_pd();
5487285fed1SHong Zhang     vec_y4 = _mm512_setzero_pd();
5497285fed1SHong Zhang 
5507285fed1SHong Zhang     j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */
5517285fed1SHong Zhang     switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) {
5527285fed1SHong Zhang     case 3:
5537285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5549371c9d4SSatish Balay       acolidx += 8;
5559371c9d4SSatish Balay       aval += 8;
5567285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5579371c9d4SSatish Balay       acolidx += 8;
5589371c9d4SSatish Balay       aval += 8;
5597285fed1SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
5609371c9d4SSatish Balay       acolidx += 8;
5619371c9d4SSatish Balay       aval += 8;
5627285fed1SHong Zhang       j += 3;
5637285fed1SHong Zhang       break;
5647285fed1SHong Zhang     case 2:
5657285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5669371c9d4SSatish Balay       acolidx += 8;
5679371c9d4SSatish Balay       aval += 8;
5687285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5699371c9d4SSatish Balay       acolidx += 8;
5709371c9d4SSatish Balay       aval += 8;
5717285fed1SHong Zhang       j += 2;
5727285fed1SHong Zhang       break;
5737285fed1SHong Zhang     case 1:
5747285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5759371c9d4SSatish Balay       acolidx += 8;
5769371c9d4SSatish Balay       aval += 8;
5777285fed1SHong Zhang       j += 1;
5787285fed1SHong Zhang       break;
5797285fed1SHong Zhang     }
5807285fed1SHong Zhang #pragma novector
5817285fed1SHong Zhang     for (; j < (a->sliidx[i + 1] >> 3); j += 4) {
5827285fed1SHong Zhang       AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y);
5839371c9d4SSatish Balay       acolidx += 8;
5849371c9d4SSatish Balay       aval += 8;
5857285fed1SHong Zhang       AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2);
5869371c9d4SSatish Balay       acolidx += 8;
5879371c9d4SSatish Balay       aval += 8;
5887285fed1SHong Zhang       AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3);
5899371c9d4SSatish Balay       acolidx += 8;
5909371c9d4SSatish Balay       aval += 8;
5917285fed1SHong Zhang       AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4);
5929371c9d4SSatish Balay       acolidx += 8;
5939371c9d4SSatish Balay       aval += 8;
5947285fed1SHong Zhang     }
5957285fed1SHong Zhang 
5967285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y2);
5977285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y3);
5987285fed1SHong Zhang     vec_y = _mm512_add_pd(vec_y, vec_y4);
5997285fed1SHong Zhang     if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */
600ef588d5cSRichard Tran Mills       _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y);
601d4002b98SHong Zhang     } else {
602ef588d5cSRichard Tran Mills       _mm512_storeu_pd(&z[8 * i], vec_y);
603d4002b98SHong Zhang     }
6047285fed1SHong Zhang   }
60521cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES)
6067285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over full slices */
6077285fed1SHong Zhang     PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
6087285fed1SHong Zhang     PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0);
6097285fed1SHong Zhang 
6107285fed1SHong Zhang     /* last slice may have padding rows. Don't use vectorization. */
6117285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
6127285fed1SHong Zhang       for (r = 0; r < (A->rmap->n & 0x07); ++r) {
6137285fed1SHong Zhang         row        = 8 * i + r;
6147285fed1SHong Zhang         yval       = (MatScalar)0.0;
6157285fed1SHong Zhang         nnz_in_row = a->rlen[row];
6167285fed1SHong Zhang         for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]];
6177285fed1SHong Zhang         z[row] = y[row] + yval;
6187285fed1SHong Zhang       }
6197285fed1SHong Zhang       break;
6207285fed1SHong Zhang     }
6217285fed1SHong Zhang 
6227285fed1SHong Zhang     vec_y  = _mm256_loadu_pd(y + 8 * i);
6237285fed1SHong Zhang     vec_y2 = _mm256_loadu_pd(y + 8 * i + 4);
6247285fed1SHong Zhang 
6257285fed1SHong Zhang     /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */
6267285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
6277285fed1SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
628165f9cc3SJed Brown       vec_x_tmp = _mm_setzero_pd();
6297285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6307285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
631165f9cc3SJed Brown       vec_x     = _mm256_setzero_pd();
6327285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
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++);
6357285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
6367285fed1SHong Zhang       vec_y     = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y);
6377285fed1SHong Zhang       aval += 4;
6387285fed1SHong Zhang 
6397285fed1SHong Zhang       vec_vals  = _mm256_loadu_pd(aval);
6407285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6417285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6427285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0);
6437285fed1SHong Zhang       vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++);
6447285fed1SHong Zhang       vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++);
6457285fed1SHong Zhang       vec_x     = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1);
6467285fed1SHong Zhang       vec_y2    = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2);
6477285fed1SHong Zhang       aval += 4;
6487285fed1SHong Zhang     }
6497285fed1SHong Zhang 
6507285fed1SHong Zhang     _mm256_storeu_pd(z + i * 8, vec_y);
6517285fed1SHong Zhang     _mm256_storeu_pd(z + i * 8 + 4, vec_y2);
6527285fed1SHong Zhang   }
653d4002b98SHong Zhang #else
6547285fed1SHong Zhang   for (i = 0; i < totalslices; i++) { /* loop over slices */
6557285fed1SHong Zhang     for (j = 0; j < 8; j++) sum[j] = 0.0;
656d4002b98SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
657d4002b98SHong Zhang       sum[0] += aval[j] * x[acolidx[j]];
658d4002b98SHong Zhang       sum[1] += aval[j + 1] * x[acolidx[j + 1]];
659d4002b98SHong Zhang       sum[2] += aval[j + 2] * x[acolidx[j + 2]];
660d4002b98SHong Zhang       sum[3] += aval[j + 3] * x[acolidx[j + 3]];
661d4002b98SHong Zhang       sum[4] += aval[j + 4] * x[acolidx[j + 4]];
662d4002b98SHong Zhang       sum[5] += aval[j + 5] * x[acolidx[j + 5]];
663d4002b98SHong Zhang       sum[6] += aval[j + 6] * x[acolidx[j + 6]];
664d4002b98SHong Zhang       sum[7] += aval[j + 7] * x[acolidx[j + 7]];
665d4002b98SHong Zhang     }
6667285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
6677285fed1SHong Zhang       for (j = 0; j < (A->rmap->n & 0x07); j++) z[8 * i + j] = y[8 * i + j] + sum[j];
668d4002b98SHong Zhang     } else {
6697285fed1SHong Zhang       for (j = 0; j < 8; j++) z[8 * i + j] = y[8 * i + j] + sum[j];
6707285fed1SHong Zhang     }
671d4002b98SHong Zhang   }
672d4002b98SHong Zhang #endif
673d4002b98SHong Zhang 
6749566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->nz));
6759566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
6769566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayPair(yy, zz, &y, &z));
677d4002b98SHong Zhang   PetscFunctionReturn(0);
678d4002b98SHong Zhang }
679d4002b98SHong Zhang 
6809371c9d4SSatish Balay PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) {
681d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
682d4002b98SHong Zhang   PetscScalar       *y;
683d4002b98SHong Zhang   const PetscScalar *x;
684d4002b98SHong Zhang   const MatScalar   *aval    = a->val;
685d4002b98SHong Zhang   const PetscInt    *acolidx = a->colidx;
6867285fed1SHong Zhang   PetscInt           i, j, r, row, nnz_in_row, totalslices = a->totalslices;
687d4002b98SHong Zhang 
688d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT)
689d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval)
690d4002b98SHong Zhang #endif
691d4002b98SHong Zhang 
692d4002b98SHong Zhang   PetscFunctionBegin;
693b94d7dedSBarry Smith   if (A->symmetric == PETSC_BOOL3_TRUE) {
6949566063dSJacob Faibussowitsch     PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy));
6959fc32365SStefano Zampini     PetscFunctionReturn(0);
6969fc32365SStefano Zampini   }
6979566063dSJacob Faibussowitsch   if (zz != yy) PetscCall(VecCopy(zz, yy));
6989566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(xx, &x));
6999566063dSJacob Faibussowitsch   PetscCall(VecGetArray(yy, &y));
700d4002b98SHong Zhang   for (i = 0; i < a->totalslices; i++) { /* loop over slices */
7017285fed1SHong Zhang     if (i == totalslices - 1 && (A->rmap->n & 0x07)) {
7027285fed1SHong Zhang       for (r = 0; r < (A->rmap->n & 0x07); ++r) {
7037285fed1SHong Zhang         row        = 8 * i + r;
7047285fed1SHong Zhang         nnz_in_row = a->rlen[row];
7057285fed1SHong Zhang         for (j = 0; j < nnz_in_row; ++j) y[acolidx[8 * j + r]] += aval[8 * j + r] * x[row];
7067285fed1SHong Zhang       }
7077285fed1SHong Zhang       break;
7087285fed1SHong Zhang     }
7097285fed1SHong Zhang     for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) {
7107285fed1SHong Zhang       y[acolidx[j]] += aval[j] * x[8 * i];
7117285fed1SHong Zhang       y[acolidx[j + 1]] += aval[j + 1] * x[8 * i + 1];
7127285fed1SHong Zhang       y[acolidx[j + 2]] += aval[j + 2] * x[8 * i + 2];
7137285fed1SHong Zhang       y[acolidx[j + 3]] += aval[j + 3] * x[8 * i + 3];
7147285fed1SHong Zhang       y[acolidx[j + 4]] += aval[j + 4] * x[8 * i + 4];
7157285fed1SHong Zhang       y[acolidx[j + 5]] += aval[j + 5] * x[8 * i + 5];
7167285fed1SHong Zhang       y[acolidx[j + 6]] += aval[j + 6] * x[8 * i + 6];
7177285fed1SHong Zhang       y[acolidx[j + 7]] += aval[j + 7] * x[8 * i + 7];
718d4002b98SHong Zhang     }
719d4002b98SHong Zhang   }
7209566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(2.0 * a->sliidx[a->totalslices]));
7219566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(xx, &x));
7229566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(yy, &y));
723d4002b98SHong Zhang   PetscFunctionReturn(0);
724d4002b98SHong Zhang }
725d4002b98SHong Zhang 
7269371c9d4SSatish Balay PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) {
727d4002b98SHong Zhang   PetscFunctionBegin;
728b94d7dedSBarry Smith   if (A->symmetric == PETSC_BOOL3_TRUE) {
7299566063dSJacob Faibussowitsch     PetscCall(MatMult_SeqSELL(A, xx, yy));
7309fc32365SStefano Zampini   } else {
7319566063dSJacob Faibussowitsch     PetscCall(VecSet(yy, 0.0));
7329566063dSJacob Faibussowitsch     PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy));
7339fc32365SStefano Zampini   }
734d4002b98SHong Zhang   PetscFunctionReturn(0);
735d4002b98SHong Zhang }
736d4002b98SHong Zhang 
737d4002b98SHong Zhang /*
738d4002b98SHong Zhang      Checks for missing diagonals
739d4002b98SHong Zhang */
7409371c9d4SSatish Balay PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) {
741d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
742d4002b98SHong Zhang   PetscInt    *diag, i;
743d4002b98SHong Zhang 
744d4002b98SHong Zhang   PetscFunctionBegin;
745d4002b98SHong Zhang   *missing = PETSC_FALSE;
746d4002b98SHong Zhang   if (A->rmap->n > 0 && !(a->colidx)) {
747d4002b98SHong Zhang     *missing = PETSC_TRUE;
748d4002b98SHong Zhang     if (d) *d = 0;
7499566063dSJacob Faibussowitsch     PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n"));
750d4002b98SHong Zhang   } else {
751d4002b98SHong Zhang     diag = a->diag;
752d4002b98SHong Zhang     for (i = 0; i < A->rmap->n; i++) {
753d4002b98SHong Zhang       if (diag[i] == -1) {
754d4002b98SHong Zhang         *missing = PETSC_TRUE;
755d4002b98SHong Zhang         if (d) *d = i;
7569566063dSJacob Faibussowitsch         PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i));
757d4002b98SHong Zhang         break;
758d4002b98SHong Zhang       }
759d4002b98SHong Zhang     }
760d4002b98SHong Zhang   }
761d4002b98SHong Zhang   PetscFunctionReturn(0);
762d4002b98SHong Zhang }
763d4002b98SHong Zhang 
7649371c9d4SSatish Balay PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) {
765d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
766d4002b98SHong Zhang   PetscInt     i, j, m = A->rmap->n, shift;
767d4002b98SHong Zhang 
768d4002b98SHong Zhang   PetscFunctionBegin;
769d4002b98SHong Zhang   if (!a->diag) {
7709566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m, &a->diag));
7719566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)A, m * sizeof(PetscInt)));
772d4002b98SHong Zhang     a->free_diag = PETSC_TRUE;
773d4002b98SHong Zhang   }
774d4002b98SHong Zhang   for (i = 0; i < m; i++) {                      /* loop over rows */
775d4002b98SHong Zhang     shift      = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
776d4002b98SHong Zhang     a->diag[i] = -1;
777d4002b98SHong Zhang     for (j = 0; j < a->rlen[i]; j++) {
778d4002b98SHong Zhang       if (a->colidx[shift + j * 8] == i) {
779d4002b98SHong Zhang         a->diag[i] = shift + j * 8;
780d4002b98SHong Zhang         break;
781d4002b98SHong Zhang       }
782d4002b98SHong Zhang     }
783d4002b98SHong Zhang   }
784d4002b98SHong Zhang   PetscFunctionReturn(0);
785d4002b98SHong Zhang }
786d4002b98SHong Zhang 
787d4002b98SHong Zhang /*
788d4002b98SHong Zhang   Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways
789d4002b98SHong Zhang */
7909371c9d4SSatish Balay PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) {
791d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
792d4002b98SHong Zhang   PetscInt     i, *diag, m = A->rmap->n;
793d4002b98SHong Zhang   MatScalar   *val = a->val;
794d4002b98SHong Zhang   PetscScalar *idiag, *mdiag;
795d4002b98SHong Zhang 
796d4002b98SHong Zhang   PetscFunctionBegin;
797d4002b98SHong Zhang   if (a->idiagvalid) PetscFunctionReturn(0);
7989566063dSJacob Faibussowitsch   PetscCall(MatMarkDiagonal_SeqSELL(A));
799d4002b98SHong Zhang   diag = a->diag;
800d4002b98SHong Zhang   if (!a->idiag) {
8019566063dSJacob Faibussowitsch     PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work));
8029566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)A, 3 * m * sizeof(PetscScalar)));
803d4002b98SHong Zhang     val = a->val;
804d4002b98SHong Zhang   }
805d4002b98SHong Zhang   mdiag = a->mdiag;
806d4002b98SHong Zhang   idiag = a->idiag;
807d4002b98SHong Zhang 
808d4002b98SHong Zhang   if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) {
809d4002b98SHong Zhang     for (i = 0; i < m; i++) {
810d4002b98SHong Zhang       mdiag[i] = val[diag[i]];
811d4002b98SHong Zhang       if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */
812d4002b98SHong Zhang         if (PetscRealPart(fshift)) {
8139566063dSJacob Faibussowitsch           PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i));
814d4002b98SHong Zhang           A->factorerrortype             = MAT_FACTOR_NUMERIC_ZEROPIVOT;
815d4002b98SHong Zhang           A->factorerror_zeropivot_value = 0.0;
816d4002b98SHong Zhang           A->factorerror_zeropivot_row   = i;
81798921bdaSJacob Faibussowitsch         } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i);
818d4002b98SHong Zhang       }
819d4002b98SHong Zhang       idiag[i] = 1.0 / val[diag[i]];
820d4002b98SHong Zhang     }
8219566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(m));
822d4002b98SHong Zhang   } else {
823d4002b98SHong Zhang     for (i = 0; i < m; i++) {
824d4002b98SHong Zhang       mdiag[i] = val[diag[i]];
825d4002b98SHong Zhang       idiag[i] = omega / (fshift + val[diag[i]]);
826d4002b98SHong Zhang     }
8279566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(2.0 * m));
828d4002b98SHong Zhang   }
829d4002b98SHong Zhang   a->idiagvalid = PETSC_TRUE;
830d4002b98SHong Zhang   PetscFunctionReturn(0);
831d4002b98SHong Zhang }
832d4002b98SHong Zhang 
8339371c9d4SSatish Balay PetscErrorCode MatZeroEntries_SeqSELL(Mat A) {
834d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
835d4002b98SHong Zhang 
836d4002b98SHong Zhang   PetscFunctionBegin;
8379566063dSJacob Faibussowitsch   PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices]));
8389566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
839d4002b98SHong Zhang   PetscFunctionReturn(0);
840d4002b98SHong Zhang }
841d4002b98SHong Zhang 
8429371c9d4SSatish Balay PetscErrorCode MatDestroy_SeqSELL(Mat A) {
843d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
844d4002b98SHong Zhang 
845d4002b98SHong Zhang   PetscFunctionBegin;
846d4002b98SHong Zhang #if defined(PETSC_USE_LOG)
847c0aa6a63SJacob Faibussowitsch   PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz);
848d4002b98SHong Zhang #endif
8499566063dSJacob Faibussowitsch   PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx));
8509566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->row));
8519566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->col));
8529566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->diag));
8539566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->rlen));
8549566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->sliidx));
8559566063dSJacob Faibussowitsch   PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work));
8569566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->solve_work));
8579566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&a->icol));
8589566063dSJacob Faibussowitsch   PetscCall(PetscFree(a->saved_values));
8599566063dSJacob Faibussowitsch   PetscCall(PetscFree2(a->getrowcols, a->getrowvals));
860d4002b98SHong Zhang 
8619566063dSJacob Faibussowitsch   PetscCall(PetscFree(A->data));
862d4002b98SHong Zhang 
8639566063dSJacob Faibussowitsch   PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL));
8649566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL));
8659566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL));
8669566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL));
8672e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL));
8682e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL));
8692e956fe4SStefano Zampini   PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL));
870d4002b98SHong Zhang   PetscFunctionReturn(0);
871d4002b98SHong Zhang }
872d4002b98SHong Zhang 
8739371c9d4SSatish Balay PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) {
874d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
875d4002b98SHong Zhang 
876d4002b98SHong Zhang   PetscFunctionBegin;
877d4002b98SHong Zhang   switch (op) {
8789371c9d4SSatish Balay   case MAT_ROW_ORIENTED: a->roworiented = flg; break;
8799371c9d4SSatish Balay   case MAT_KEEP_NONZERO_PATTERN: a->keepnonzeropattern = flg; break;
8809371c9d4SSatish Balay   case MAT_NEW_NONZERO_LOCATIONS: a->nonew = (flg ? 0 : 1); break;
8819371c9d4SSatish Balay   case MAT_NEW_NONZERO_LOCATION_ERR: a->nonew = (flg ? -1 : 0); break;
8829371c9d4SSatish Balay   case MAT_NEW_NONZERO_ALLOCATION_ERR: a->nonew = (flg ? -2 : 0); break;
8839371c9d4SSatish Balay   case MAT_UNUSED_NONZERO_LOCATION_ERR: a->nounused = (flg ? -1 : 0); break;
8848c78258cSHong Zhang   case MAT_FORCE_DIAGONAL_ENTRIES:
885d4002b98SHong Zhang   case MAT_IGNORE_OFF_PROC_ENTRIES:
886d4002b98SHong Zhang   case MAT_USE_HASH_TABLE:
8879371c9d4SSatish Balay   case MAT_SORTED_FULL: PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); break;
888d4002b98SHong Zhang   case MAT_SPD:
889d4002b98SHong Zhang   case MAT_SYMMETRIC:
890d4002b98SHong Zhang   case MAT_STRUCTURALLY_SYMMETRIC:
891d4002b98SHong Zhang   case MAT_HERMITIAN:
892d4002b98SHong Zhang   case MAT_SYMMETRY_ETERNAL:
893b94d7dedSBarry Smith   case MAT_STRUCTURAL_SYMMETRY_ETERNAL:
894b94d7dedSBarry Smith   case MAT_SPD_ETERNAL:
895d4002b98SHong Zhang     /* These options are handled directly by MatSetOption() */
896d4002b98SHong Zhang     break;
8979371c9d4SSatish Balay   default: SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op);
898d4002b98SHong Zhang   }
899d4002b98SHong Zhang   PetscFunctionReturn(0);
900d4002b98SHong Zhang }
901d4002b98SHong Zhang 
9029371c9d4SSatish Balay PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) {
903d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
904d4002b98SHong Zhang   PetscInt     i, j, n, shift;
905d4002b98SHong Zhang   PetscScalar *x, zero = 0.0;
906d4002b98SHong Zhang 
907d4002b98SHong Zhang   PetscFunctionBegin;
9089566063dSJacob Faibussowitsch   PetscCall(VecGetLocalSize(v, &n));
90908401ef6SPierre Jolivet   PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector");
910d4002b98SHong Zhang 
911d4002b98SHong Zhang   if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) {
912d4002b98SHong Zhang     PetscInt *diag = a->diag;
9139566063dSJacob Faibussowitsch     PetscCall(VecGetArray(v, &x));
914d4002b98SHong Zhang     for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]];
9159566063dSJacob Faibussowitsch     PetscCall(VecRestoreArray(v, &x));
916d4002b98SHong Zhang     PetscFunctionReturn(0);
917d4002b98SHong Zhang   }
918d4002b98SHong Zhang 
9199566063dSJacob Faibussowitsch   PetscCall(VecSet(v, zero));
9209566063dSJacob Faibussowitsch   PetscCall(VecGetArray(v, &x));
921d4002b98SHong Zhang   for (i = 0; i < n; i++) {                 /* loop over rows */
922d4002b98SHong Zhang     shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
923d4002b98SHong Zhang     x[i]  = 0;
924d4002b98SHong Zhang     for (j = 0; j < a->rlen[i]; j++) {
925d4002b98SHong Zhang       if (a->colidx[shift + j * 8] == i) {
926d4002b98SHong Zhang         x[i] = a->val[shift + j * 8];
927d4002b98SHong Zhang         break;
928d4002b98SHong Zhang       }
929d4002b98SHong Zhang     }
930d4002b98SHong Zhang   }
9319566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(v, &x));
932d4002b98SHong Zhang   PetscFunctionReturn(0);
933d4002b98SHong Zhang }
934d4002b98SHong Zhang 
9359371c9d4SSatish Balay PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) {
936d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
937d4002b98SHong Zhang   const PetscScalar *l, *r;
938d4002b98SHong Zhang   PetscInt           i, j, m, n, row;
939d4002b98SHong Zhang 
940d4002b98SHong Zhang   PetscFunctionBegin;
941d4002b98SHong Zhang   if (ll) {
942d4002b98SHong Zhang     /* The local size is used so that VecMPI can be passed to this routine
943d4002b98SHong Zhang        by MatDiagonalScale_MPISELL */
9449566063dSJacob Faibussowitsch     PetscCall(VecGetLocalSize(ll, &m));
94508401ef6SPierre Jolivet     PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length");
9469566063dSJacob Faibussowitsch     PetscCall(VecGetArrayRead(ll, &l));
947d4002b98SHong Zhang     for (i = 0; i < a->totalslices; i++) {                  /* loop over slices */
948dab86139SHong Zhang       if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
949dab86139SHong Zhang         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
950dab86139SHong Zhang           if (row < (A->rmap->n & 0x07)) a->val[j] *= l[8 * i + row];
951dab86139SHong Zhang         }
952dab86139SHong Zhang       } else {
9539371c9d4SSatish Balay         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) { a->val[j] *= l[8 * i + row]; }
954d4002b98SHong Zhang       }
955dab86139SHong Zhang     }
9569566063dSJacob Faibussowitsch     PetscCall(VecRestoreArrayRead(ll, &l));
9579566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(a->nz));
958d4002b98SHong Zhang   }
959d4002b98SHong Zhang   if (rr) {
9609566063dSJacob Faibussowitsch     PetscCall(VecGetLocalSize(rr, &n));
96108401ef6SPierre Jolivet     PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length");
9629566063dSJacob Faibussowitsch     PetscCall(VecGetArrayRead(rr, &r));
963d4002b98SHong Zhang     for (i = 0; i < a->totalslices; i++) {                  /* loop over slices */
964dab86139SHong Zhang       if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */
965dab86139SHong Zhang         for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
966dab86139SHong Zhang           if (row < (A->rmap->n & 0x07)) a->val[j] *= r[a->colidx[j]];
967dab86139SHong Zhang         }
968dab86139SHong Zhang       } else {
9699371c9d4SSatish Balay         for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) { a->val[j] *= r[a->colidx[j]]; }
970d4002b98SHong Zhang       }
971dab86139SHong Zhang     }
9729566063dSJacob Faibussowitsch     PetscCall(VecRestoreArrayRead(rr, &r));
9739566063dSJacob Faibussowitsch     PetscCall(PetscLogFlops(a->nz));
974d4002b98SHong Zhang   }
9759566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
976d4002b98SHong Zhang   PetscFunctionReturn(0);
977d4002b98SHong Zhang }
978d4002b98SHong Zhang 
9799371c9d4SSatish Balay PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) {
980d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
981d4002b98SHong Zhang   PetscInt    *cp, i, k, low, high, t, row, col, l;
982d4002b98SHong Zhang   PetscInt     shift;
983d4002b98SHong Zhang   MatScalar   *vp;
984d4002b98SHong Zhang 
985d4002b98SHong Zhang   PetscFunctionBegin;
98668aafef3SStefano Zampini   for (k = 0; k < m; k++) { /* loop over requested rows */
987d4002b98SHong Zhang     row = im[k];
988d4002b98SHong Zhang     if (row < 0) continue;
9896bdcaf15SBarry 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);
990d4002b98SHong Zhang     shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */
991d4002b98SHong Zhang     cp    = a->colidx + shift;                  /* pointer to the row */
992d4002b98SHong Zhang     vp    = a->val + shift;                     /* pointer to the row */
99368aafef3SStefano Zampini     for (l = 0; l < n; l++) {                   /* loop over requested columns */
994d4002b98SHong Zhang       col = in[l];
995d4002b98SHong Zhang       if (col < 0) continue;
9966bdcaf15SBarry 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);
9979371c9d4SSatish Balay       high = a->rlen[row];
9989371c9d4SSatish Balay       low  = 0; /* assume unsorted */
999d4002b98SHong Zhang       while (high - low > 5) {
1000d4002b98SHong Zhang         t = (low + high) / 2;
1001d4002b98SHong Zhang         if (*(cp + t * 8) > col) high = t;
1002d4002b98SHong Zhang         else low = t;
1003d4002b98SHong Zhang       }
1004d4002b98SHong Zhang       for (i = low; i < high; i++) {
1005d4002b98SHong Zhang         if (*(cp + 8 * i) > col) break;
1006d4002b98SHong Zhang         if (*(cp + 8 * i) == col) {
1007d4002b98SHong Zhang           *v++ = *(vp + 8 * i);
1008d4002b98SHong Zhang           goto finished;
1009d4002b98SHong Zhang         }
1010d4002b98SHong Zhang       }
1011d4002b98SHong Zhang       *v++ = 0.0;
1012d4002b98SHong Zhang     finished:;
1013d4002b98SHong Zhang     }
1014d4002b98SHong Zhang   }
1015d4002b98SHong Zhang   PetscFunctionReturn(0);
1016d4002b98SHong Zhang }
1017d4002b98SHong Zhang 
10189371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) {
1019d4002b98SHong Zhang   Mat_SeqSELL      *a = (Mat_SeqSELL *)A->data;
1020d4002b98SHong Zhang   PetscInt          i, j, m = A->rmap->n, shift;
1021d4002b98SHong Zhang   const char       *name;
1022d4002b98SHong Zhang   PetscViewerFormat format;
1023d4002b98SHong Zhang 
1024d4002b98SHong Zhang   PetscFunctionBegin;
10259566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
1026d4002b98SHong Zhang   if (format == PETSC_VIEWER_ASCII_MATLAB) {
1027d4002b98SHong Zhang     PetscInt nofinalvalue = 0;
1028d4002b98SHong Zhang     /*
1029d4002b98SHong Zhang     if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) {
1030d4002b98SHong Zhang       nofinalvalue = 1;
1031d4002b98SHong Zhang     }
1032d4002b98SHong Zhang     */
10339566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
10349566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n));
10359566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz));
1036d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10379566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue));
1038d4002b98SHong Zhang #else
10399566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue));
1040d4002b98SHong Zhang #endif
10419566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n"));
1042d4002b98SHong Zhang 
1043d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1044d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1045d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1046d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10479566063dSJacob 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])));
1048d4002b98SHong Zhang #else
10499566063dSJacob 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]));
1050d4002b98SHong Zhang #endif
1051d4002b98SHong Zhang       }
1052d4002b98SHong Zhang     }
1053d4002b98SHong Zhang     /*
1054d4002b98SHong Zhang     if (nofinalvalue) {
1055d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
10569566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e %18.16e\n",m,A->cmap->n,0.,0.));
1057d4002b98SHong Zhang #else
10589566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT "  %18.16e\n",m,A->cmap->n,0.0));
1059d4002b98SHong Zhang #endif
1060d4002b98SHong Zhang     }
1061d4002b98SHong Zhang     */
10629566063dSJacob Faibussowitsch     PetscCall(PetscObjectGetName((PetscObject)A, &name));
10639566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name));
10649566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1065d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) {
1066d4002b98SHong Zhang     PetscFunctionReturn(0);
1067d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_COMMON) {
10689566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1069d4002b98SHong Zhang     for (i = 0; i < m; i++) {
10709566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1071d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1072d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1073d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1074d4002b98SHong Zhang         if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
10759566063dSJacob 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])));
1076d4002b98SHong Zhang         } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
10779566063dSJacob 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])));
1078d4002b98SHong Zhang         } else if (PetscRealPart(a->val[shift + 8 * j]) != 0.0) {
10799566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j])));
1080d4002b98SHong Zhang         }
1081d4002b98SHong Zhang #else
10829566063dSJacob 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]));
1083d4002b98SHong Zhang #endif
1084d4002b98SHong Zhang       }
10859566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1086d4002b98SHong Zhang     }
10879566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1088d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_DENSE) {
1089d4002b98SHong Zhang     PetscInt    cnt = 0, jcnt;
1090d4002b98SHong Zhang     PetscScalar value;
1091d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1092d4002b98SHong Zhang     PetscBool realonly = PETSC_TRUE;
1093d4002b98SHong Zhang     for (i = 0; i < a->sliidx[a->totalslices]; i++) {
1094d4002b98SHong Zhang       if (PetscImaginaryPart(a->val[i]) != 0.0) {
1095d4002b98SHong Zhang         realonly = PETSC_FALSE;
1096d4002b98SHong Zhang         break;
1097d4002b98SHong Zhang       }
1098d4002b98SHong Zhang     }
1099d4002b98SHong Zhang #endif
1100d4002b98SHong Zhang 
11019566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1102d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1103d4002b98SHong Zhang       jcnt  = 0;
1104d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1105d4002b98SHong Zhang       for (j = 0; j < A->cmap->n; j++) {
1106d4002b98SHong Zhang         if (jcnt < a->rlen[i] && j == a->colidx[shift + 8 * j]) {
1107d4002b98SHong Zhang           value = a->val[cnt++];
1108d4002b98SHong Zhang           jcnt++;
1109d4002b98SHong Zhang         } else {
1110d4002b98SHong Zhang           value = 0.0;
1111d4002b98SHong Zhang         }
1112d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1113d4002b98SHong Zhang         if (realonly) {
11149566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value)));
1115d4002b98SHong Zhang         } else {
11169566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value)));
1117d4002b98SHong Zhang         }
1118d4002b98SHong Zhang #else
11199566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value));
1120d4002b98SHong Zhang #endif
1121d4002b98SHong Zhang       }
11229566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1123d4002b98SHong Zhang     }
11249566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1125d4002b98SHong Zhang   } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) {
1126d4002b98SHong Zhang     PetscInt fshift = 1;
11279566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1128d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
11299566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n"));
1130d4002b98SHong Zhang #else
11319566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n"));
1132d4002b98SHong Zhang #endif
11339566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz));
1134d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1135d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1136d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1137d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
11389566063dSJacob 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])));
1139d4002b98SHong Zhang #else
11409566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g\n", i + fshift, a->colidx[shift + 8 * j] + fshift, (double)a->val[shift + 8 * j]));
1141d4002b98SHong Zhang #endif
1142d4002b98SHong Zhang       }
1143d4002b98SHong Zhang     }
11449566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
114568aafef3SStefano Zampini   } else if (format == PETSC_VIEWER_NATIVE) {
114668aafef3SStefano Zampini     for (i = 0; i < a->totalslices; i++) { /* loop over slices */
114768aafef3SStefano Zampini       PetscInt row;
11489566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1]));
114968aafef3SStefano Zampini       for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) {
115068aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX)
115168aafef3SStefano Zampini         if (PetscImaginaryPart(a->val[j]) > 0.0) {
11529566063dSJacob 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])));
115368aafef3SStefano Zampini         } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
11549566063dSJacob 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])));
115568aafef3SStefano Zampini         } else {
11569566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j])));
115768aafef3SStefano Zampini         }
115868aafef3SStefano Zampini #else
11599566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "  %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)a->val[j]));
116068aafef3SStefano Zampini #endif
116168aafef3SStefano Zampini       }
116268aafef3SStefano Zampini     }
1163d4002b98SHong Zhang   } else {
11649566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE));
1165d4002b98SHong Zhang     if (A->factortype) {
1166d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1167d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07);
11689566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1169d4002b98SHong Zhang         /* L part */
1170d4002b98SHong Zhang         for (j = shift; j < a->diag[i]; j += 8) {
1171d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1172d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0) {
11739566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j])));
1174d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0) {
11759566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j]))));
1176d4002b98SHong Zhang           } else {
11779566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j])));
1178d4002b98SHong Zhang           }
1179d4002b98SHong Zhang #else
11809566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j]));
1181d4002b98SHong Zhang #endif
1182d4002b98SHong Zhang         }
1183d4002b98SHong Zhang         /* diagonal */
1184d4002b98SHong Zhang         j = a->diag[i];
1185d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1186d4002b98SHong Zhang         if (PetscImaginaryPart(a->val[j]) > 0.0) {
11879566063dSJacob 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])));
1188d4002b98SHong Zhang         } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
11899566063dSJacob 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]))));
1190d4002b98SHong Zhang         } else {
11919566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j])));
1192d4002b98SHong Zhang         }
1193d4002b98SHong Zhang #else
11949566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j])));
1195d4002b98SHong Zhang #endif
1196d4002b98SHong Zhang 
1197d4002b98SHong Zhang         /* U part */
1198d4002b98SHong Zhang         for (j = a->diag[i] + 1; j < shift + 8 * a->rlen[i]; j += 8) {
1199d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1200d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[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[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         }
12119566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1212d4002b98SHong Zhang       }
1213d4002b98SHong Zhang     } else {
1214d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1215d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07);
12169566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i));
1217d4002b98SHong Zhang         for (j = 0; j < a->rlen[i]; j++) {
1218d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
1219d4002b98SHong Zhang           if (PetscImaginaryPart(a->val[j]) > 0.0) {
12209566063dSJacob 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])));
1221d4002b98SHong Zhang           } else if (PetscImaginaryPart(a->val[j]) < 0.0) {
12229566063dSJacob 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])));
1223d4002b98SHong Zhang           } else {
12249566063dSJacob Faibussowitsch             PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j])));
1225d4002b98SHong Zhang           }
1226d4002b98SHong Zhang #else
12279566063dSJacob Faibussowitsch           PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)a->val[shift + 8 * j]));
1228d4002b98SHong Zhang #endif
1229d4002b98SHong Zhang         }
12309566063dSJacob Faibussowitsch         PetscCall(PetscViewerASCIIPrintf(viewer, "\n"));
1231d4002b98SHong Zhang       }
1232d4002b98SHong Zhang     }
12339566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE));
1234d4002b98SHong Zhang   }
12359566063dSJacob Faibussowitsch   PetscCall(PetscViewerFlush(viewer));
1236d4002b98SHong Zhang   PetscFunctionReturn(0);
1237d4002b98SHong Zhang }
1238d4002b98SHong Zhang 
1239d4002b98SHong Zhang #include <petscdraw.h>
12409371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) {
1241d4002b98SHong Zhang   Mat               A = (Mat)Aa;
1242d4002b98SHong Zhang   Mat_SeqSELL      *a = (Mat_SeqSELL *)A->data;
1243d4002b98SHong Zhang   PetscInt          i, j, m = A->rmap->n, shift;
1244d4002b98SHong Zhang   int               color;
1245d4002b98SHong Zhang   PetscReal         xl, yl, xr, yr, x_l, x_r, y_l, y_r;
1246d4002b98SHong Zhang   PetscViewer       viewer;
1247d4002b98SHong Zhang   PetscViewerFormat format;
1248d4002b98SHong Zhang 
1249d4002b98SHong Zhang   PetscFunctionBegin;
12509566063dSJacob Faibussowitsch   PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer));
12519566063dSJacob Faibussowitsch   PetscCall(PetscViewerGetFormat(viewer, &format));
12529566063dSJacob Faibussowitsch   PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr));
1253d4002b98SHong Zhang 
1254d4002b98SHong Zhang   /* loop over matrix elements drawing boxes */
1255d4002b98SHong Zhang 
1256d4002b98SHong Zhang   if (format != PETSC_VIEWER_DRAW_CONTOUR) {
1257d0609cedSBarry Smith     PetscDrawCollectiveBegin(draw);
1258d4002b98SHong Zhang     /* Blue for negative, Cyan for zero and  Red for positive */
1259d4002b98SHong Zhang     color = PETSC_DRAW_BLUE;
1260d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1261d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
12629371c9d4SSatish Balay       y_l   = m - i - 1.0;
12639371c9d4SSatish Balay       y_r   = y_l + 1.0;
1264d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
12659371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
12669371c9d4SSatish Balay         x_r = x_l + 1.0;
1267d4002b98SHong Zhang         if (PetscRealPart(a->val[shift + 8 * j]) >= 0.) continue;
12689566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1269d4002b98SHong Zhang       }
1270d4002b98SHong Zhang     }
1271d4002b98SHong Zhang     color = PETSC_DRAW_CYAN;
1272d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1273d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
12749371c9d4SSatish Balay       y_l   = m - i - 1.0;
12759371c9d4SSatish Balay       y_r   = y_l + 1.0;
1276d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
12779371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
12789371c9d4SSatish Balay         x_r = x_l + 1.0;
1279d4002b98SHong Zhang         if (a->val[shift + 8 * j] != 0.) continue;
12809566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1281d4002b98SHong Zhang       }
1282d4002b98SHong Zhang     }
1283d4002b98SHong Zhang     color = PETSC_DRAW_RED;
1284d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1285d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
12869371c9d4SSatish Balay       y_l   = m - i - 1.0;
12879371c9d4SSatish Balay       y_r   = y_l + 1.0;
1288d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
12899371c9d4SSatish Balay         x_l = a->colidx[shift + j * 8];
12909371c9d4SSatish Balay         x_r = x_l + 1.0;
1291d4002b98SHong Zhang         if (PetscRealPart(a->val[shift + 8 * j]) <= 0.) continue;
12929566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1293d4002b98SHong Zhang       }
1294d4002b98SHong Zhang     }
1295d0609cedSBarry Smith     PetscDrawCollectiveEnd(draw);
1296d4002b98SHong Zhang   } else {
1297d4002b98SHong Zhang     /* use contour shading to indicate magnitude of values */
1298d4002b98SHong Zhang     /* first determine max of all nonzero values */
1299d4002b98SHong Zhang     PetscReal minv = 0.0, maxv = 0.0;
1300d4002b98SHong Zhang     PetscInt  count = 0;
1301d4002b98SHong Zhang     PetscDraw popup;
1302d4002b98SHong Zhang     for (i = 0; i < a->sliidx[a->totalslices]; i++) {
1303d4002b98SHong Zhang       if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]);
1304d4002b98SHong Zhang     }
1305d4002b98SHong Zhang     if (minv >= maxv) maxv = minv + PETSC_SMALL;
13069566063dSJacob Faibussowitsch     PetscCall(PetscDrawGetPopup(draw, &popup));
13079566063dSJacob Faibussowitsch     PetscCall(PetscDrawScalePopup(popup, minv, maxv));
1308d4002b98SHong Zhang 
1309d0609cedSBarry Smith     PetscDrawCollectiveBegin(draw);
1310d4002b98SHong Zhang     for (i = 0; i < m; i++) {
1311d4002b98SHong Zhang       shift = a->sliidx[i >> 3] + (i & 0x07);
1312d4002b98SHong Zhang       y_l   = m - i - 1.0;
1313d4002b98SHong Zhang       y_r   = y_l + 1.0;
1314d4002b98SHong Zhang       for (j = 0; j < a->rlen[i]; j++) {
1315d4002b98SHong Zhang         x_l   = a->colidx[shift + j * 8];
1316d4002b98SHong Zhang         x_r   = x_l + 1.0;
1317d4002b98SHong Zhang         color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv);
13189566063dSJacob Faibussowitsch         PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color));
1319d4002b98SHong Zhang         count++;
1320d4002b98SHong Zhang       }
1321d4002b98SHong Zhang     }
1322d0609cedSBarry Smith     PetscDrawCollectiveEnd(draw);
1323d4002b98SHong Zhang   }
1324d4002b98SHong Zhang   PetscFunctionReturn(0);
1325d4002b98SHong Zhang }
1326d4002b98SHong Zhang 
1327d4002b98SHong Zhang #include <petscdraw.h>
13289371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) {
1329d4002b98SHong Zhang   PetscDraw draw;
1330d4002b98SHong Zhang   PetscReal xr, yr, xl, yl, h, w;
1331d4002b98SHong Zhang   PetscBool isnull;
1332d4002b98SHong Zhang 
1333d4002b98SHong Zhang   PetscFunctionBegin;
13349566063dSJacob Faibussowitsch   PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw));
13359566063dSJacob Faibussowitsch   PetscCall(PetscDrawIsNull(draw, &isnull));
1336d4002b98SHong Zhang   if (isnull) PetscFunctionReturn(0);
1337d4002b98SHong Zhang 
13389371c9d4SSatish Balay   xr = A->cmap->n;
13399371c9d4SSatish Balay   yr = A->rmap->n;
13409371c9d4SSatish Balay   h  = yr / 10.0;
13419371c9d4SSatish Balay   w  = xr / 10.0;
13429371c9d4SSatish Balay   xr += w;
13439371c9d4SSatish Balay   yr += h;
13449371c9d4SSatish Balay   xl = -w;
13459371c9d4SSatish Balay   yl = -h;
13469566063dSJacob Faibussowitsch   PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr));
13479566063dSJacob Faibussowitsch   PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer));
13489566063dSJacob Faibussowitsch   PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A));
13499566063dSJacob Faibussowitsch   PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL));
13509566063dSJacob Faibussowitsch   PetscCall(PetscDrawSave(draw));
1351d4002b98SHong Zhang   PetscFunctionReturn(0);
1352d4002b98SHong Zhang }
1353d4002b98SHong Zhang 
13549371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) {
1355d4002b98SHong Zhang   PetscBool iascii, isbinary, isdraw;
1356d4002b98SHong Zhang 
1357d4002b98SHong Zhang   PetscFunctionBegin;
13589566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii));
13599566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary));
13609566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw));
1361d4002b98SHong Zhang   if (iascii) {
13629566063dSJacob Faibussowitsch     PetscCall(MatView_SeqSELL_ASCII(A, viewer));
1363d4002b98SHong Zhang   } else if (isbinary) {
13649566063dSJacob Faibussowitsch     /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */
13651baa6e33SBarry Smith   } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer));
1366d4002b98SHong Zhang   PetscFunctionReturn(0);
1367d4002b98SHong Zhang }
1368d4002b98SHong Zhang 
13699371c9d4SSatish Balay PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) {
1370d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1371d4002b98SHong Zhang   PetscInt     i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k;
1372d4002b98SHong Zhang   MatScalar   *vp;
1373d4002b98SHong Zhang 
1374d4002b98SHong Zhang   PetscFunctionBegin;
1375d4002b98SHong Zhang   if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(0);
1376d4002b98SHong Zhang   /* To do: compress out the unused elements */
13779566063dSJacob Faibussowitsch   PetscCall(MatMarkDiagonal_SeqSELL(A));
13789566063dSJacob 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));
13799566063dSJacob Faibussowitsch   PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs));
13809566063dSJacob Faibussowitsch   PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax));
1381d4002b98SHong 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 */
1382d4002b98SHong Zhang   for (i = 0; i < a->totalslices; ++i) {
1383d4002b98SHong Zhang     shift = a->sliidx[i];                                      /* starting index of the slice */
1384d4002b98SHong Zhang     cp    = a->colidx + shift;                                 /* pointer to the column indices of the slice */
1385d4002b98SHong Zhang     vp    = a->val + shift;                                    /* pointer to the nonzero values of the slice */
1386d4002b98SHong Zhang     for (row_in_slice = 0; row_in_slice < 8; ++row_in_slice) { /* loop over rows in the slice */
1387d4002b98SHong Zhang       row     = 8 * i + row_in_slice;
1388d4002b98SHong Zhang       nrow    = a->rlen[row]; /* number of nonzeros in row */
1389d4002b98SHong Zhang       /*
1390d4002b98SHong Zhang         Search for the nearest nonzero. Normally setting the index to zero may cause extra communication.
1391d4002b98SHong Zhang         But if the entire slice are empty, it is fine to use 0 since the index will not be loaded.
1392d4002b98SHong Zhang       */
1393d4002b98SHong Zhang       lastcol = 0;
1394d4002b98SHong Zhang       if (nrow > 0) {                                /* nonempty row */
1395d4002b98SHong Zhang         lastcol = cp[8 * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */
1396d4002b98SHong Zhang       } else if (!row_in_slice) {                    /* first row of the currect slice is empty */
1397d4002b98SHong Zhang         for (j = 1; j < 8; j++) {
1398d4002b98SHong Zhang           if (a->rlen[8 * i + j]) {
1399d4002b98SHong Zhang             lastcol = cp[j];
1400d4002b98SHong Zhang             break;
1401d4002b98SHong Zhang           }
1402d4002b98SHong Zhang         }
1403d4002b98SHong Zhang       } else {
1404d4002b98SHong Zhang         if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */
1405d4002b98SHong Zhang       }
1406d4002b98SHong Zhang 
1407d4002b98SHong Zhang       for (k = nrow; k < (a->sliidx[i + 1] - shift) / 8; ++k) {
1408d4002b98SHong Zhang         cp[8 * k + row_in_slice] = lastcol;
1409d4002b98SHong Zhang         vp[8 * k + row_in_slice] = (MatScalar)0;
1410d4002b98SHong Zhang       }
1411d4002b98SHong Zhang     }
1412d4002b98SHong Zhang   }
1413d4002b98SHong Zhang 
1414d4002b98SHong Zhang   A->info.mallocs += a->reallocs;
1415d4002b98SHong Zhang   a->reallocs = 0;
1416d4002b98SHong Zhang 
14179566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
1418d4002b98SHong Zhang   PetscFunctionReturn(0);
1419d4002b98SHong Zhang }
1420d4002b98SHong Zhang 
14219371c9d4SSatish Balay PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) {
1422d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1423d4002b98SHong Zhang 
1424d4002b98SHong Zhang   PetscFunctionBegin;
1425d4002b98SHong Zhang   info->block_size   = 1.0;
14263966268fSBarry Smith   info->nz_allocated = a->maxallocmat;
14273966268fSBarry Smith   info->nz_used      = a->sliidx[a->totalslices]; /* include padding zeros */
14283966268fSBarry Smith   info->nz_unneeded  = (a->maxallocmat - a->sliidx[a->totalslices]);
14293966268fSBarry Smith   info->assemblies   = A->num_ass;
14303966268fSBarry Smith   info->mallocs      = A->info.mallocs;
1431d4002b98SHong Zhang   info->memory       = ((PetscObject)A)->mem;
1432d4002b98SHong Zhang   if (A->factortype) {
1433d4002b98SHong Zhang     info->fill_ratio_given  = A->info.fill_ratio_given;
1434d4002b98SHong Zhang     info->fill_ratio_needed = A->info.fill_ratio_needed;
1435d4002b98SHong Zhang     info->factor_mallocs    = A->info.factor_mallocs;
1436d4002b98SHong Zhang   } else {
1437d4002b98SHong Zhang     info->fill_ratio_given  = 0;
1438d4002b98SHong Zhang     info->fill_ratio_needed = 0;
1439d4002b98SHong Zhang     info->factor_mallocs    = 0;
1440d4002b98SHong Zhang   }
1441d4002b98SHong Zhang   PetscFunctionReturn(0);
1442d4002b98SHong Zhang }
1443d4002b98SHong Zhang 
14449371c9d4SSatish Balay PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) {
1445d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1446d4002b98SHong Zhang   PetscInt     shift, i, k, l, low, high, t, ii, row, col, nrow;
1447d4002b98SHong Zhang   PetscInt    *cp, nonew = a->nonew, lastcol = -1;
1448d4002b98SHong Zhang   MatScalar   *vp, value;
1449d4002b98SHong Zhang 
1450d4002b98SHong Zhang   PetscFunctionBegin;
1451d4002b98SHong Zhang   for (k = 0; k < m; k++) { /* loop over added rows */
1452d4002b98SHong Zhang     row = im[k];
1453d4002b98SHong Zhang     if (row < 0) continue;
14546bdcaf15SBarry 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);
1455d4002b98SHong Zhang     shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */
1456d4002b98SHong Zhang     cp    = a->colidx + shift;                  /* pointer to the row */
1457d4002b98SHong Zhang     vp    = a->val + shift;                     /* pointer to the row */
1458d4002b98SHong Zhang     nrow  = a->rlen[row];
1459d4002b98SHong Zhang     low   = 0;
1460d4002b98SHong Zhang     high  = nrow;
1461d4002b98SHong Zhang 
1462d4002b98SHong Zhang     for (l = 0; l < n; l++) { /* loop over added columns */
1463d4002b98SHong Zhang       col = in[l];
1464d4002b98SHong Zhang       if (col < 0) continue;
14656bdcaf15SBarry 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);
1466d4002b98SHong Zhang       if (a->roworiented) {
1467d4002b98SHong Zhang         value = v[l + k * n];
1468d4002b98SHong Zhang       } else {
1469d4002b98SHong Zhang         value = v[k + l * m];
1470d4002b98SHong Zhang       }
1471d4002b98SHong Zhang       if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue;
1472d4002b98SHong Zhang 
1473ed73aabaSBarry Smith       /* search in this row for the specified column, i indicates the column to be set */
1474d4002b98SHong Zhang       if (col <= lastcol) low = 0;
1475d4002b98SHong Zhang       else high = nrow;
1476d4002b98SHong Zhang       lastcol = col;
1477d4002b98SHong Zhang       while (high - low > 5) {
1478d4002b98SHong Zhang         t = (low + high) / 2;
1479d4002b98SHong Zhang         if (*(cp + t * 8) > col) high = t;
1480d4002b98SHong Zhang         else low = t;
1481d4002b98SHong Zhang       }
1482d4002b98SHong Zhang       for (i = low; i < high; i++) {
1483d4002b98SHong Zhang         if (*(cp + i * 8) > col) break;
1484d4002b98SHong Zhang         if (*(cp + i * 8) == col) {
1485d4002b98SHong Zhang           if (is == ADD_VALUES) *(vp + i * 8) += value;
1486d4002b98SHong Zhang           else *(vp + i * 8) = value;
1487d4002b98SHong Zhang           low = i + 1;
1488d4002b98SHong Zhang           goto noinsert;
1489d4002b98SHong Zhang         }
1490d4002b98SHong Zhang       }
1491d4002b98SHong Zhang       if (value == 0.0 && a->ignorezeroentries) goto noinsert;
1492d4002b98SHong Zhang       if (nonew == 1) goto noinsert;
149308401ef6SPierre Jolivet       PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col);
1494d4002b98SHong Zhang       /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */
1495d4002b98SHong Zhang       MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, row / 8, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar);
1496d4002b98SHong Zhang       /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */
1497d4002b98SHong Zhang       for (ii = nrow - 1; ii >= i; ii--) {
1498d4002b98SHong Zhang         *(cp + (ii + 1) * 8) = *(cp + ii * 8);
1499d4002b98SHong Zhang         *(vp + (ii + 1) * 8) = *(vp + ii * 8);
1500d4002b98SHong Zhang       }
1501d4002b98SHong Zhang       a->rlen[row]++;
1502d4002b98SHong Zhang       *(cp + i * 8) = col;
1503d4002b98SHong Zhang       *(vp + i * 8) = value;
1504d4002b98SHong Zhang       a->nz++;
1505d4002b98SHong Zhang       A->nonzerostate++;
15069371c9d4SSatish Balay       low = i + 1;
15079371c9d4SSatish Balay       high++;
15089371c9d4SSatish Balay       nrow++;
1509d4002b98SHong Zhang     noinsert:;
1510d4002b98SHong Zhang     }
1511d4002b98SHong Zhang     a->rlen[row] = nrow;
1512d4002b98SHong Zhang   }
1513d4002b98SHong Zhang   PetscFunctionReturn(0);
1514d4002b98SHong Zhang }
1515d4002b98SHong Zhang 
15169371c9d4SSatish Balay PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) {
1517d4002b98SHong Zhang   PetscFunctionBegin;
1518d4002b98SHong Zhang   /* If the two matrices have the same copy implementation, use fast copy. */
1519d4002b98SHong Zhang   if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) {
1520d4002b98SHong Zhang     Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1521d4002b98SHong Zhang     Mat_SeqSELL *b = (Mat_SeqSELL *)B->data;
1522d4002b98SHong Zhang 
152308401ef6SPierre 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");
15249566063dSJacob Faibussowitsch     PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices]));
1525d4002b98SHong Zhang   } else {
15269566063dSJacob Faibussowitsch     PetscCall(MatCopy_Basic(A, B, str));
1527d4002b98SHong Zhang   }
1528d4002b98SHong Zhang   PetscFunctionReturn(0);
1529d4002b98SHong Zhang }
1530d4002b98SHong Zhang 
15319371c9d4SSatish Balay PetscErrorCode MatSetUp_SeqSELL(Mat A) {
1532d4002b98SHong Zhang   PetscFunctionBegin;
15339566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL));
1534d4002b98SHong Zhang   PetscFunctionReturn(0);
1535d4002b98SHong Zhang }
1536d4002b98SHong Zhang 
15379371c9d4SSatish Balay PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) {
1538d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1539d4002b98SHong Zhang 
1540d4002b98SHong Zhang   PetscFunctionBegin;
1541d4002b98SHong Zhang   *array = a->val;
1542d4002b98SHong Zhang   PetscFunctionReturn(0);
1543d4002b98SHong Zhang }
1544d4002b98SHong Zhang 
15459371c9d4SSatish Balay PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) {
1546d4002b98SHong Zhang   PetscFunctionBegin;
1547d4002b98SHong Zhang   PetscFunctionReturn(0);
1548d4002b98SHong Zhang }
1549d4002b98SHong Zhang 
15509371c9d4SSatish Balay PetscErrorCode MatRealPart_SeqSELL(Mat A) {
1551d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1552d4002b98SHong Zhang   PetscInt     i;
1553d4002b98SHong Zhang   MatScalar   *aval = a->val;
1554d4002b98SHong Zhang 
1555d4002b98SHong Zhang   PetscFunctionBegin;
1556d4002b98SHong Zhang   for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscRealPart(aval[i]);
1557d4002b98SHong Zhang   PetscFunctionReturn(0);
1558d4002b98SHong Zhang }
1559d4002b98SHong Zhang 
15609371c9d4SSatish Balay PetscErrorCode MatImaginaryPart_SeqSELL(Mat A) {
1561d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
1562d4002b98SHong Zhang   PetscInt     i;
1563d4002b98SHong Zhang   MatScalar   *aval = a->val;
1564d4002b98SHong Zhang 
1565d4002b98SHong Zhang   PetscFunctionBegin;
1566d4002b98SHong Zhang   for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscImaginaryPart(aval[i]);
15679566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(A));
1568d4002b98SHong Zhang   PetscFunctionReturn(0);
1569d4002b98SHong Zhang }
1570d4002b98SHong Zhang 
15719371c9d4SSatish Balay PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) {
1572d4002b98SHong Zhang   Mat_SeqSELL *a      = (Mat_SeqSELL *)inA->data;
1573d4002b98SHong Zhang   MatScalar   *aval   = a->val;
1574d4002b98SHong Zhang   PetscScalar  oalpha = alpha;
1575d4002b98SHong Zhang   PetscBLASInt one    = 1, size;
1576d4002b98SHong Zhang 
1577d4002b98SHong Zhang   PetscFunctionBegin;
15789566063dSJacob Faibussowitsch   PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size));
1579792fecdfSBarry Smith   PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one));
15809566063dSJacob Faibussowitsch   PetscCall(PetscLogFlops(a->nz));
15819566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLInvalidateDiagonal(inA));
1582d4002b98SHong Zhang   PetscFunctionReturn(0);
1583d4002b98SHong Zhang }
1584d4002b98SHong Zhang 
15859371c9d4SSatish Balay PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) {
1586d4002b98SHong Zhang   Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data;
1587d4002b98SHong Zhang 
1588d4002b98SHong Zhang   PetscFunctionBegin;
1589*48a46eb9SPierre Jolivet   if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL));
15909566063dSJacob Faibussowitsch   PetscCall(MatShift_Basic(Y, a));
1591d4002b98SHong Zhang   PetscFunctionReturn(0);
1592d4002b98SHong Zhang }
1593d4002b98SHong Zhang 
15949371c9d4SSatish Balay PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) {
1595d4002b98SHong Zhang   Mat_SeqSELL       *a = (Mat_SeqSELL *)A->data;
1596d4002b98SHong Zhang   PetscScalar       *x, sum, *t;
1597f4259b30SLisandro Dalcin   const MatScalar   *idiag = NULL, *mdiag;
1598d4002b98SHong Zhang   const PetscScalar *b, *xb;
1599d4002b98SHong Zhang   PetscInt           n, m = A->rmap->n, i, j, shift;
1600d4002b98SHong Zhang   const PetscInt    *diag;
1601d4002b98SHong Zhang 
1602d4002b98SHong Zhang   PetscFunctionBegin;
1603d4002b98SHong Zhang   its = its * lits;
1604d4002b98SHong Zhang 
1605d4002b98SHong Zhang   if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */
16069566063dSJacob Faibussowitsch   if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift));
1607d4002b98SHong Zhang   a->fshift = fshift;
1608d4002b98SHong Zhang   a->omega  = omega;
1609d4002b98SHong Zhang 
1610d4002b98SHong Zhang   diag  = a->diag;
1611d4002b98SHong Zhang   t     = a->ssor_work;
1612d4002b98SHong Zhang   idiag = a->idiag;
1613d4002b98SHong Zhang   mdiag = a->mdiag;
1614d4002b98SHong Zhang 
16159566063dSJacob Faibussowitsch   PetscCall(VecGetArray(xx, &x));
16169566063dSJacob Faibussowitsch   PetscCall(VecGetArrayRead(bb, &b));
1617d4002b98SHong Zhang   /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */
161808401ef6SPierre Jolivet   PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented");
161908401ef6SPierre Jolivet   PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented");
1620aed4548fSBarry Smith   PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat");
1621d4002b98SHong Zhang 
1622d4002b98SHong Zhang   if (flag & SOR_ZERO_INITIAL_GUESS) {
1623d4002b98SHong Zhang     if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) {
1624d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1625d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1626d4002b98SHong Zhang         sum   = b[i];
1627d4002b98SHong Zhang         n     = (diag[i] - shift) / 8;
1628d4002b98SHong Zhang         for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1629d4002b98SHong Zhang         t[i] = sum;
1630d4002b98SHong Zhang         x[i] = sum * idiag[i];
1631d4002b98SHong Zhang       }
1632d4002b98SHong Zhang       xb = t;
16339566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(a->nz));
1634d4002b98SHong Zhang     } else xb = b;
1635d4002b98SHong Zhang     if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) {
1636d4002b98SHong Zhang       for (i = m - 1; i >= 0; i--) {
1637d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1638d4002b98SHong Zhang         sum   = xb[i];
1639d4002b98SHong Zhang         n     = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1640d4002b98SHong Zhang         for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1641d4002b98SHong Zhang         if (xb == b) {
1642d4002b98SHong Zhang           x[i] = sum * idiag[i];
1643d4002b98SHong Zhang         } else {
1644d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1645d4002b98SHong Zhang         }
1646d4002b98SHong Zhang       }
16479566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */
1648d4002b98SHong Zhang     }
1649d4002b98SHong Zhang     its--;
1650d4002b98SHong Zhang   }
1651d4002b98SHong Zhang   while (its--) {
1652d4002b98SHong Zhang     if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) {
1653d4002b98SHong Zhang       for (i = 0; i < m; i++) {
1654d4002b98SHong Zhang         /* lower */
1655d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1656d4002b98SHong Zhang         sum   = b[i];
1657d4002b98SHong Zhang         n     = (diag[i] - shift) / 8;
1658d4002b98SHong Zhang         for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1659d4002b98SHong Zhang         t[i] = sum; /* save application of the lower-triangular part */
1660d4002b98SHong Zhang         /* upper */
1661d4002b98SHong Zhang         n    = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1662d4002b98SHong Zhang         for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1663d4002b98SHong Zhang         x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1664d4002b98SHong Zhang       }
1665d4002b98SHong Zhang       xb = t;
16669566063dSJacob Faibussowitsch       PetscCall(PetscLogFlops(2.0 * a->nz));
1667d4002b98SHong Zhang     } else xb = b;
1668d4002b98SHong Zhang     if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) {
1669d4002b98SHong Zhang       for (i = m - 1; i >= 0; i--) {
1670d4002b98SHong Zhang         shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */
1671d4002b98SHong Zhang         sum   = xb[i];
1672d4002b98SHong Zhang         if (xb == b) {
1673d4002b98SHong Zhang           /* whole matrix (no checkpointing available) */
1674d4002b98SHong Zhang           n = a->rlen[i];
1675d4002b98SHong Zhang           for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]];
1676d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i];
1677d4002b98SHong Zhang         } else { /* lower-triangular part has been saved, so only apply upper-triangular */
1678d4002b98SHong Zhang           n = a->rlen[i] - (diag[i] - shift) / 8 - 1;
1679d4002b98SHong Zhang           for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]];
1680d4002b98SHong Zhang           x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */
1681d4002b98SHong Zhang         }
1682d4002b98SHong Zhang       }
1683d4002b98SHong Zhang       if (xb == b) {
16849566063dSJacob Faibussowitsch         PetscCall(PetscLogFlops(2.0 * a->nz));
1685d4002b98SHong Zhang       } else {
16869566063dSJacob Faibussowitsch         PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */
1687d4002b98SHong Zhang       }
1688d4002b98SHong Zhang     }
1689d4002b98SHong Zhang   }
16909566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(xx, &x));
16919566063dSJacob Faibussowitsch   PetscCall(VecRestoreArrayRead(bb, &b));
1692d4002b98SHong Zhang   PetscFunctionReturn(0);
1693d4002b98SHong Zhang }
1694d4002b98SHong Zhang 
1695d4002b98SHong Zhang /* -------------------------------------------------------------------*/
1696d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL,
16976108893eSStefano Zampini                                        MatGetRow_SeqSELL,
16986108893eSStefano Zampini                                        MatRestoreRow_SeqSELL,
1699d4002b98SHong Zhang                                        MatMult_SeqSELL,
1700d4002b98SHong Zhang                                        /* 4*/ MatMultAdd_SeqSELL,
1701d4002b98SHong Zhang                                        MatMultTranspose_SeqSELL,
1702d4002b98SHong Zhang                                        MatMultTransposeAdd_SeqSELL,
1703f4259b30SLisandro Dalcin                                        NULL,
1704f4259b30SLisandro Dalcin                                        NULL,
1705f4259b30SLisandro Dalcin                                        NULL,
1706f4259b30SLisandro Dalcin                                        /* 10*/ NULL,
1707f4259b30SLisandro Dalcin                                        NULL,
1708f4259b30SLisandro Dalcin                                        NULL,
1709d4002b98SHong Zhang                                        MatSOR_SeqSELL,
1710f4259b30SLisandro Dalcin                                        NULL,
1711d4002b98SHong Zhang                                        /* 15*/ MatGetInfo_SeqSELL,
1712d4002b98SHong Zhang                                        MatEqual_SeqSELL,
1713d4002b98SHong Zhang                                        MatGetDiagonal_SeqSELL,
1714d4002b98SHong Zhang                                        MatDiagonalScale_SeqSELL,
1715f4259b30SLisandro Dalcin                                        NULL,
1716f4259b30SLisandro Dalcin                                        /* 20*/ NULL,
1717d4002b98SHong Zhang                                        MatAssemblyEnd_SeqSELL,
1718d4002b98SHong Zhang                                        MatSetOption_SeqSELL,
1719d4002b98SHong Zhang                                        MatZeroEntries_SeqSELL,
1720f4259b30SLisandro Dalcin                                        /* 24*/ NULL,
1721f4259b30SLisandro Dalcin                                        NULL,
1722f4259b30SLisandro Dalcin                                        NULL,
1723f4259b30SLisandro Dalcin                                        NULL,
1724f4259b30SLisandro Dalcin                                        NULL,
1725d4002b98SHong Zhang                                        /* 29*/ MatSetUp_SeqSELL,
1726f4259b30SLisandro Dalcin                                        NULL,
1727f4259b30SLisandro Dalcin                                        NULL,
1728f4259b30SLisandro Dalcin                                        NULL,
1729f4259b30SLisandro Dalcin                                        NULL,
1730d4002b98SHong Zhang                                        /* 34*/ MatDuplicate_SeqSELL,
1731f4259b30SLisandro Dalcin                                        NULL,
1732f4259b30SLisandro Dalcin                                        NULL,
1733f4259b30SLisandro Dalcin                                        NULL,
1734f4259b30SLisandro Dalcin                                        NULL,
1735f4259b30SLisandro Dalcin                                        /* 39*/ NULL,
1736f4259b30SLisandro Dalcin                                        NULL,
1737f4259b30SLisandro Dalcin                                        NULL,
1738d4002b98SHong Zhang                                        MatGetValues_SeqSELL,
1739d4002b98SHong Zhang                                        MatCopy_SeqSELL,
1740f4259b30SLisandro Dalcin                                        /* 44*/ NULL,
1741d4002b98SHong Zhang                                        MatScale_SeqSELL,
1742d4002b98SHong Zhang                                        MatShift_SeqSELL,
1743f4259b30SLisandro Dalcin                                        NULL,
1744f4259b30SLisandro Dalcin                                        NULL,
1745f4259b30SLisandro Dalcin                                        /* 49*/ NULL,
1746f4259b30SLisandro Dalcin                                        NULL,
1747f4259b30SLisandro Dalcin                                        NULL,
1748f4259b30SLisandro Dalcin                                        NULL,
1749f4259b30SLisandro Dalcin                                        NULL,
1750d4002b98SHong Zhang                                        /* 54*/ MatFDColoringCreate_SeqXAIJ,
1751f4259b30SLisandro Dalcin                                        NULL,
1752f4259b30SLisandro Dalcin                                        NULL,
1753f4259b30SLisandro Dalcin                                        NULL,
1754f4259b30SLisandro Dalcin                                        NULL,
1755f4259b30SLisandro Dalcin                                        /* 59*/ NULL,
1756d4002b98SHong Zhang                                        MatDestroy_SeqSELL,
1757d4002b98SHong Zhang                                        MatView_SeqSELL,
1758f4259b30SLisandro Dalcin                                        NULL,
1759f4259b30SLisandro Dalcin                                        NULL,
1760f4259b30SLisandro Dalcin                                        /* 64*/ NULL,
1761f4259b30SLisandro Dalcin                                        NULL,
1762f4259b30SLisandro Dalcin                                        NULL,
1763f4259b30SLisandro Dalcin                                        NULL,
1764f4259b30SLisandro Dalcin                                        NULL,
1765f4259b30SLisandro Dalcin                                        /* 69*/ NULL,
1766f4259b30SLisandro Dalcin                                        NULL,
1767f4259b30SLisandro Dalcin                                        NULL,
1768f4259b30SLisandro Dalcin                                        NULL,
1769f4259b30SLisandro Dalcin                                        NULL,
1770f4259b30SLisandro Dalcin                                        /* 74*/ NULL,
1771d4002b98SHong Zhang                                        MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */
1772f4259b30SLisandro Dalcin                                        NULL,
1773f4259b30SLisandro Dalcin                                        NULL,
1774f4259b30SLisandro Dalcin                                        NULL,
1775f4259b30SLisandro Dalcin                                        /* 79*/ NULL,
1776f4259b30SLisandro Dalcin                                        NULL,
1777f4259b30SLisandro Dalcin                                        NULL,
1778f4259b30SLisandro Dalcin                                        NULL,
1779f4259b30SLisandro Dalcin                                        NULL,
1780f4259b30SLisandro Dalcin                                        /* 84*/ NULL,
1781f4259b30SLisandro Dalcin                                        NULL,
1782f4259b30SLisandro Dalcin                                        NULL,
1783f4259b30SLisandro Dalcin                                        NULL,
1784f4259b30SLisandro Dalcin                                        NULL,
1785f4259b30SLisandro Dalcin                                        /* 89*/ NULL,
1786f4259b30SLisandro Dalcin                                        NULL,
1787f4259b30SLisandro Dalcin                                        NULL,
1788f4259b30SLisandro Dalcin                                        NULL,
1789f4259b30SLisandro Dalcin                                        NULL,
1790f4259b30SLisandro Dalcin                                        /* 94*/ NULL,
1791f4259b30SLisandro Dalcin                                        NULL,
1792f4259b30SLisandro Dalcin                                        NULL,
1793f4259b30SLisandro Dalcin                                        NULL,
1794f4259b30SLisandro Dalcin                                        NULL,
1795f4259b30SLisandro Dalcin                                        /* 99*/ NULL,
1796f4259b30SLisandro Dalcin                                        NULL,
1797f4259b30SLisandro Dalcin                                        NULL,
1798d4002b98SHong Zhang                                        MatConjugate_SeqSELL,
1799f4259b30SLisandro Dalcin                                        NULL,
1800f4259b30SLisandro Dalcin                                        /*104*/ NULL,
1801f4259b30SLisandro Dalcin                                        NULL,
1802f4259b30SLisandro Dalcin                                        NULL,
1803f4259b30SLisandro Dalcin                                        NULL,
1804f4259b30SLisandro Dalcin                                        NULL,
1805f4259b30SLisandro Dalcin                                        /*109*/ NULL,
1806f4259b30SLisandro Dalcin                                        NULL,
1807f4259b30SLisandro Dalcin                                        NULL,
1808f4259b30SLisandro Dalcin                                        NULL,
1809d4002b98SHong Zhang                                        MatMissingDiagonal_SeqSELL,
1810f4259b30SLisandro Dalcin                                        /*114*/ NULL,
1811f4259b30SLisandro Dalcin                                        NULL,
1812f4259b30SLisandro Dalcin                                        NULL,
1813f4259b30SLisandro Dalcin                                        NULL,
1814f4259b30SLisandro Dalcin                                        NULL,
1815f4259b30SLisandro Dalcin                                        /*119*/ NULL,
1816f4259b30SLisandro Dalcin                                        NULL,
1817f4259b30SLisandro Dalcin                                        NULL,
1818f4259b30SLisandro Dalcin                                        NULL,
1819f4259b30SLisandro Dalcin                                        NULL,
1820f4259b30SLisandro Dalcin                                        /*124*/ NULL,
1821f4259b30SLisandro Dalcin                                        NULL,
1822f4259b30SLisandro Dalcin                                        NULL,
1823f4259b30SLisandro Dalcin                                        NULL,
1824f4259b30SLisandro Dalcin                                        NULL,
1825f4259b30SLisandro Dalcin                                        /*129*/ NULL,
1826f4259b30SLisandro Dalcin                                        NULL,
1827f4259b30SLisandro Dalcin                                        NULL,
1828f4259b30SLisandro Dalcin                                        NULL,
1829f4259b30SLisandro Dalcin                                        NULL,
1830f4259b30SLisandro Dalcin                                        /*134*/ NULL,
1831f4259b30SLisandro Dalcin                                        NULL,
1832f4259b30SLisandro Dalcin                                        NULL,
1833f4259b30SLisandro Dalcin                                        NULL,
1834f4259b30SLisandro Dalcin                                        NULL,
1835f4259b30SLisandro Dalcin                                        /*139*/ NULL,
1836f4259b30SLisandro Dalcin                                        NULL,
1837f4259b30SLisandro Dalcin                                        NULL,
1838d4002b98SHong Zhang                                        MatFDColoringSetUp_SeqXAIJ,
1839f4259b30SLisandro Dalcin                                        NULL,
1840d70f29a3SPierre Jolivet                                        /*144*/ NULL,
1841d70f29a3SPierre Jolivet                                        NULL,
1842d70f29a3SPierre Jolivet                                        NULL,
184399a7f59eSMark Adams                                        NULL,
184499a7f59eSMark Adams                                        NULL,
18457fb60732SBarry Smith                                        NULL,
18469371c9d4SSatish Balay                                        /*150*/ NULL};
1847d4002b98SHong Zhang 
18489371c9d4SSatish Balay PetscErrorCode MatStoreValues_SeqSELL(Mat mat) {
1849d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data;
1850d4002b98SHong Zhang 
1851d4002b98SHong Zhang   PetscFunctionBegin;
185228b400f6SJacob Faibussowitsch   PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first");
1853d4002b98SHong Zhang 
1854d4002b98SHong Zhang   /* allocate space for values if not already there */
1855d4002b98SHong Zhang   if (!a->saved_values) {
18569566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values));
18579566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)mat, (a->sliidx[a->totalslices] + 1) * sizeof(PetscScalar)));
1858d4002b98SHong Zhang   }
1859d4002b98SHong Zhang 
1860d4002b98SHong Zhang   /* copy values over */
18619566063dSJacob Faibussowitsch   PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices]));
1862d4002b98SHong Zhang   PetscFunctionReturn(0);
1863d4002b98SHong Zhang }
1864d4002b98SHong Zhang 
18659371c9d4SSatish Balay PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) {
1866d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data;
1867d4002b98SHong Zhang 
1868d4002b98SHong Zhang   PetscFunctionBegin;
186928b400f6SJacob Faibussowitsch   PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first");
187028b400f6SJacob Faibussowitsch   PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first");
18719566063dSJacob Faibussowitsch   PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices]));
1872d4002b98SHong Zhang   PetscFunctionReturn(0);
1873d4002b98SHong Zhang }
1874d4002b98SHong Zhang 
1875d4002b98SHong Zhang /*@C
1876d4002b98SHong Zhang  MatSeqSELLRestoreArray - returns access to the array where the data for a MATSEQSELL matrix is stored obtained by MatSeqSELLGetArray()
1877d4002b98SHong Zhang 
1878d4002b98SHong Zhang  Not Collective
1879d4002b98SHong Zhang 
1880d4002b98SHong Zhang  Input Parameters:
1881d4002b98SHong Zhang  .  mat - a MATSEQSELL matrix
1882d4002b98SHong Zhang  .  array - pointer to the data
1883d4002b98SHong Zhang 
1884d4002b98SHong Zhang  Level: intermediate
1885d4002b98SHong Zhang 
1886db781477SPatrick Sanan  .seealso: `MatSeqSELLGetArray()`, `MatSeqSELLRestoreArrayF90()`
1887d4002b98SHong Zhang  @*/
18889371c9d4SSatish Balay PetscErrorCode MatSeqSELLRestoreArray(Mat A, PetscScalar **array) {
1889d4002b98SHong Zhang   PetscFunctionBegin;
1890cac4c232SBarry Smith   PetscUseMethod(A, "MatSeqSELLRestoreArray_C", (Mat, PetscScalar **), (A, array));
1891d4002b98SHong Zhang   PetscFunctionReturn(0);
1892d4002b98SHong Zhang }
1893d4002b98SHong Zhang 
18949371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) {
1895d4002b98SHong Zhang   Mat_SeqSELL *b;
1896d4002b98SHong Zhang   PetscMPIInt  size;
1897d4002b98SHong Zhang 
1898d4002b98SHong Zhang   PetscFunctionBegin;
18999566063dSJacob Faibussowitsch   PetscCall(PetscCitationsRegister(citation, &cited));
19009566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size));
190108401ef6SPierre Jolivet   PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1");
1902d4002b98SHong Zhang 
19039566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(B, &b));
1904d4002b98SHong Zhang 
1905d4002b98SHong Zhang   B->data = (void *)b;
1906d4002b98SHong Zhang 
19079566063dSJacob Faibussowitsch   PetscCall(PetscMemcpy(B->ops, &MatOps_Values, sizeof(struct _MatOps)));
1908d4002b98SHong Zhang 
1909f4259b30SLisandro Dalcin   b->row                = NULL;
1910f4259b30SLisandro Dalcin   b->col                = NULL;
1911f4259b30SLisandro Dalcin   b->icol               = NULL;
1912d4002b98SHong Zhang   b->reallocs           = 0;
1913d4002b98SHong Zhang   b->ignorezeroentries  = PETSC_FALSE;
1914d4002b98SHong Zhang   b->roworiented        = PETSC_TRUE;
1915d4002b98SHong Zhang   b->nonew              = 0;
1916f4259b30SLisandro Dalcin   b->diag               = NULL;
1917f4259b30SLisandro Dalcin   b->solve_work         = NULL;
1918f4259b30SLisandro Dalcin   B->spptr              = NULL;
1919f4259b30SLisandro Dalcin   b->saved_values       = NULL;
1920f4259b30SLisandro Dalcin   b->idiag              = NULL;
1921f4259b30SLisandro Dalcin   b->mdiag              = NULL;
1922f4259b30SLisandro Dalcin   b->ssor_work          = NULL;
1923d4002b98SHong Zhang   b->omega              = 1.0;
1924d4002b98SHong Zhang   b->fshift             = 0.0;
1925d4002b98SHong Zhang   b->idiagvalid         = PETSC_FALSE;
1926d4002b98SHong Zhang   b->keepnonzeropattern = PETSC_FALSE;
1927d4002b98SHong Zhang 
19289566063dSJacob Faibussowitsch   PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL));
19299566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL));
19309566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL));
19319566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL));
19329566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL));
19339566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL));
19349566063dSJacob Faibussowitsch   PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ));
1935d4002b98SHong Zhang   PetscFunctionReturn(0);
1936d4002b98SHong Zhang }
1937d4002b98SHong Zhang 
1938d4002b98SHong Zhang /*
1939d4002b98SHong Zhang  Given a matrix generated with MatGetFactor() duplicates all the information in A into B
1940d4002b98SHong Zhang  */
19419371c9d4SSatish Balay PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) {
1942ed73aabaSBarry Smith   Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data;
1943d4002b98SHong Zhang   PetscInt     i, m                           = A->rmap->n;
1944d4002b98SHong Zhang   PetscInt     totalslices = a->totalslices;
1945d4002b98SHong Zhang 
1946d4002b98SHong Zhang   PetscFunctionBegin;
1947d4002b98SHong Zhang   C->factortype = A->factortype;
1948f4259b30SLisandro Dalcin   c->row        = NULL;
1949f4259b30SLisandro Dalcin   c->col        = NULL;
1950f4259b30SLisandro Dalcin   c->icol       = NULL;
1951d4002b98SHong Zhang   c->reallocs   = 0;
1952d4002b98SHong Zhang   C->assembled  = PETSC_TRUE;
1953d4002b98SHong Zhang 
19549566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->rmap, &C->rmap));
19559566063dSJacob Faibussowitsch   PetscCall(PetscLayoutReference(A->cmap, &C->cmap));
1956d4002b98SHong Zhang 
19579566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(8 * totalslices, &c->rlen));
19589566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectMemory((PetscObject)C, m * sizeof(PetscInt)));
19599566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx));
19609566063dSJacob Faibussowitsch   PetscCall(PetscLogObjectMemory((PetscObject)C, (totalslices + 1) * sizeof(PetscInt)));
1961d4002b98SHong Zhang 
1962d4002b98SHong Zhang   for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i];
1963d4002b98SHong Zhang   for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i];
1964d4002b98SHong Zhang 
1965d4002b98SHong Zhang   /* allocate the matrix space */
1966d4002b98SHong Zhang   if (mallocmatspace) {
19679566063dSJacob Faibussowitsch     PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx));
19689566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)C, a->maxallocmat * (sizeof(PetscScalar) + sizeof(PetscInt))));
1969d4002b98SHong Zhang 
1970d4002b98SHong Zhang     c->singlemalloc = PETSC_TRUE;
1971d4002b98SHong Zhang 
1972d4002b98SHong Zhang     if (m > 0) {
19739566063dSJacob Faibussowitsch       PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat));
1974d4002b98SHong Zhang       if (cpvalues == MAT_COPY_VALUES) {
19759566063dSJacob Faibussowitsch         PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat));
1976d4002b98SHong Zhang       } else {
19779566063dSJacob Faibussowitsch         PetscCall(PetscArrayzero(c->val, a->maxallocmat));
1978d4002b98SHong Zhang       }
1979d4002b98SHong Zhang     }
1980d4002b98SHong Zhang   }
1981d4002b98SHong Zhang 
1982d4002b98SHong Zhang   c->ignorezeroentries = a->ignorezeroentries;
1983d4002b98SHong Zhang   c->roworiented       = a->roworiented;
1984d4002b98SHong Zhang   c->nonew             = a->nonew;
1985d4002b98SHong Zhang   if (a->diag) {
19869566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(m, &c->diag));
19879566063dSJacob Faibussowitsch     PetscCall(PetscLogObjectMemory((PetscObject)C, m * sizeof(PetscInt)));
19889371c9d4SSatish Balay     for (i = 0; i < m; i++) { c->diag[i] = a->diag[i]; }
1989f4259b30SLisandro Dalcin   } else c->diag = NULL;
1990d4002b98SHong Zhang 
1991f4259b30SLisandro Dalcin   c->solve_work         = NULL;
1992f4259b30SLisandro Dalcin   c->saved_values       = NULL;
1993f4259b30SLisandro Dalcin   c->idiag              = NULL;
1994f4259b30SLisandro Dalcin   c->ssor_work          = NULL;
1995d4002b98SHong Zhang   c->keepnonzeropattern = a->keepnonzeropattern;
1996d4002b98SHong Zhang   c->free_val           = PETSC_TRUE;
1997d4002b98SHong Zhang   c->free_colidx        = PETSC_TRUE;
1998d4002b98SHong Zhang 
1999d4002b98SHong Zhang   c->maxallocmat  = a->maxallocmat;
2000d4002b98SHong Zhang   c->maxallocrow  = a->maxallocrow;
2001d4002b98SHong Zhang   c->rlenmax      = a->rlenmax;
2002d4002b98SHong Zhang   c->nz           = a->nz;
2003d4002b98SHong Zhang   C->preallocated = PETSC_TRUE;
2004d4002b98SHong Zhang 
2005d4002b98SHong Zhang   c->nonzerorowcnt = a->nonzerorowcnt;
2006d4002b98SHong Zhang   C->nonzerostate  = A->nonzerostate;
2007d4002b98SHong Zhang 
20089566063dSJacob Faibussowitsch   PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist));
2009d4002b98SHong Zhang   PetscFunctionReturn(0);
2010d4002b98SHong Zhang }
2011d4002b98SHong Zhang 
20129371c9d4SSatish Balay PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) {
2013d4002b98SHong Zhang   PetscFunctionBegin;
20149566063dSJacob Faibussowitsch   PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B));
20159566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n));
2016*48a46eb9SPierre Jolivet   if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A));
20179566063dSJacob Faibussowitsch   PetscCall(MatSetType(*B, ((PetscObject)A)->type_name));
20189566063dSJacob Faibussowitsch   PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE));
2019d4002b98SHong Zhang   PetscFunctionReturn(0);
2020d4002b98SHong Zhang }
2021d4002b98SHong Zhang 
2022ed73aabaSBarry Smith /*MC
2023ed73aabaSBarry Smith    MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices,
2024ed73aabaSBarry Smith    based on the sliced Ellpack format
2025ed73aabaSBarry Smith 
2026ed73aabaSBarry Smith    Options Database Keys:
2027ed73aabaSBarry Smith . -mat_type seqsell - sets the matrix type to "seqsell" during a call to MatSetFromOptions()
2028ed73aabaSBarry Smith 
2029ed73aabaSBarry Smith    Level: beginner
2030ed73aabaSBarry Smith 
2031db781477SPatrick Sanan .seealso: `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ`
2032ed73aabaSBarry Smith M*/
2033ed73aabaSBarry Smith 
2034ed73aabaSBarry Smith /*MC
2035ed73aabaSBarry Smith    MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices.
2036ed73aabaSBarry Smith 
2037ed73aabaSBarry Smith    This matrix type is identical to MATSEQSELL when constructed with a single process communicator,
2038ed73aabaSBarry Smith    and MATMPISELL otherwise.  As a result, for single process communicators,
2039ed73aabaSBarry Smith   MatSeqSELLSetPreallocation() is supported, and similarly MatMPISELLSetPreallocation() is supported
2040ed73aabaSBarry Smith   for communicators controlling multiple processes.  It is recommended that you call both of
2041ed73aabaSBarry Smith   the above preallocation routines for simplicity.
2042ed73aabaSBarry Smith 
2043ed73aabaSBarry Smith    Options Database Keys:
2044ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions()
2045ed73aabaSBarry Smith 
2046ed73aabaSBarry Smith   Level: beginner
2047ed73aabaSBarry Smith 
2048ed73aabaSBarry Smith   Notes:
2049ed73aabaSBarry Smith    This format is only supported for real scalars, double precision, and 32 bit indices (the defaults).
2050ed73aabaSBarry Smith 
2051ed73aabaSBarry Smith    It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of
2052ed73aabaSBarry Smith    non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement.
2053ed73aabaSBarry Smith 
2054ed73aabaSBarry Smith   Developer Notes:
2055ed73aabaSBarry Smith    On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance.
2056ed73aabaSBarry Smith 
2057ed73aabaSBarry Smith    The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8
2058ed73aabaSBarry Smith .vb
2059ed73aabaSBarry Smith                             (2 0  3 4)
2060ed73aabaSBarry Smith    Consider the matrix A =  (5 0  6 0)
2061ed73aabaSBarry Smith                             (0 0  7 8)
2062ed73aabaSBarry Smith                             (0 0  9 9)
2063ed73aabaSBarry Smith 
2064ed73aabaSBarry Smith    symbolically the Ellpack format can be written as
2065ed73aabaSBarry Smith 
2066ed73aabaSBarry Smith         (2 3 4 |)           (0 2 3 |)
2067ed73aabaSBarry Smith    v =  (5 6 0 |)  colidx = (0 2 2 |)
2068ed73aabaSBarry Smith         --------            ---------
2069ed73aabaSBarry Smith         (7 8 |)             (2 3 |)
2070ed73aabaSBarry Smith         (9 9 |)             (2 3 |)
2071ed73aabaSBarry Smith 
2072ed73aabaSBarry 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).
2073ed73aabaSBarry 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
2074ed73aabaSBarry 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.
2075ed73aabaSBarry Smith 
2076ed73aabaSBarry 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)
2077ed73aabaSBarry Smith 
2078ed73aabaSBarry Smith .ve
2079ed73aabaSBarry Smith 
2080ed73aabaSBarry Smith       See MatMult_SeqSELL() for how this format is used with the SIMD operations to achieve high performance.
2081ed73aabaSBarry Smith 
2082ed73aabaSBarry Smith  References:
2083606c0280SSatish Balay . * - Hong Zhang, Richard T. Mills, Karl Rupp, and Barry F. Smith, Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512},
2084ed73aabaSBarry Smith    Proceedings of the 47th International Conference on Parallel Processing, 2018.
2085ed73aabaSBarry Smith 
2086db781477SPatrick Sanan .seealso: `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ`
2087ed73aabaSBarry Smith M*/
2088ed73aabaSBarry Smith 
2089d4002b98SHong Zhang /*@C
2090d4002b98SHong Zhang        MatCreateSeqSELL - Creates a sparse matrix in SELL format.
2091d4002b98SHong Zhang 
2092ed73aabaSBarry Smith  Collective on comm
2093d4002b98SHong Zhang 
2094d4002b98SHong Zhang  Input Parameters:
2095d4002b98SHong Zhang +  comm - MPI communicator, set to PETSC_COMM_SELF
2096d4002b98SHong Zhang .  m - number of rows
2097d4002b98SHong Zhang .  n - number of columns
2098d4002b98SHong Zhang .  rlenmax - maximum number of nonzeros in a row
2099d4002b98SHong Zhang -  rlen - array containing the number of nonzeros in the various rows
2100d4002b98SHong Zhang  (possibly different for each row) or NULL
2101d4002b98SHong Zhang 
2102d4002b98SHong Zhang  Output Parameter:
2103d4002b98SHong Zhang .  A - the matrix
2104d4002b98SHong Zhang 
2105d4002b98SHong Zhang  It is recommended that one use the MatCreate(), MatSetType() and/or MatSetFromOptions(),
2106f6f02116SRichard Tran Mills  MatXXXXSetPreallocation() paradigm instead of this routine directly.
2107d4002b98SHong Zhang  [MatXXXXSetPreallocation() is, for example, MatSeqSELLSetPreallocation]
2108d4002b98SHong Zhang 
2109d4002b98SHong Zhang  Notes:
2110d4002b98SHong Zhang  If nnz is given then nz is ignored
2111d4002b98SHong Zhang 
2112d4002b98SHong Zhang  Specify the preallocated storage with either rlenmax or rlen (not both).
2113d4002b98SHong Zhang  Set rlenmax=PETSC_DEFAULT and rlen=NULL for PETSc to control dynamic memory
2114d4002b98SHong Zhang  allocation.  For large problems you MUST preallocate memory or you
2115d4002b98SHong Zhang  will get TERRIBLE performance, see the users' manual chapter on matrices.
2116d4002b98SHong Zhang 
2117d4002b98SHong Zhang  Level: intermediate
2118d4002b98SHong Zhang 
2119db781477SPatrick Sanan  .seealso: `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATSEQSELL`, `MATMPISELL`
2120d4002b98SHong Zhang 
2121d4002b98SHong Zhang  @*/
21229371c9d4SSatish Balay PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt maxallocrow, const PetscInt rlen[], Mat *A) {
2123d4002b98SHong Zhang   PetscFunctionBegin;
21249566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm, A));
21259566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(*A, m, n, m, n));
21269566063dSJacob Faibussowitsch   PetscCall(MatSetType(*A, MATSEQSELL));
21279566063dSJacob Faibussowitsch   PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, maxallocrow, rlen));
2128d4002b98SHong Zhang   PetscFunctionReturn(0);
2129d4002b98SHong Zhang }
2130d4002b98SHong Zhang 
21319371c9d4SSatish Balay PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) {
2132d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data;
2133d4002b98SHong Zhang   PetscInt     totalslices = a->totalslices;
2134d4002b98SHong Zhang 
2135d4002b98SHong Zhang   PetscFunctionBegin;
2136d4002b98SHong Zhang   /* If the  matrix dimensions are not equal,or no of nonzeros */
2137d4002b98SHong Zhang   if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) {
2138d4002b98SHong Zhang     *flg = PETSC_FALSE;
2139d4002b98SHong Zhang     PetscFunctionReturn(0);
2140d4002b98SHong Zhang   }
2141d4002b98SHong Zhang   /* if the a->colidx are the same */
21429566063dSJacob Faibussowitsch   PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg));
2143d4002b98SHong Zhang   if (!*flg) PetscFunctionReturn(0);
2144d4002b98SHong Zhang   /* if a->val are the same */
21459566063dSJacob Faibussowitsch   PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg));
2146d4002b98SHong Zhang   PetscFunctionReturn(0);
2147d4002b98SHong Zhang }
2148d4002b98SHong Zhang 
21499371c9d4SSatish Balay PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) {
2150d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
2151d4002b98SHong Zhang 
2152d4002b98SHong Zhang   PetscFunctionBegin;
2153d4002b98SHong Zhang   a->idiagvalid = PETSC_FALSE;
2154d4002b98SHong Zhang   PetscFunctionReturn(0);
2155d4002b98SHong Zhang }
2156d4002b98SHong Zhang 
21579371c9d4SSatish Balay PetscErrorCode MatConjugate_SeqSELL(Mat A) {
2158d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX)
2159d4002b98SHong Zhang   Mat_SeqSELL *a = (Mat_SeqSELL *)A->data;
2160d4002b98SHong Zhang   PetscInt     i;
2161d4002b98SHong Zhang   PetscScalar *val = a->val;
2162d4002b98SHong Zhang 
2163d4002b98SHong Zhang   PetscFunctionBegin;
21649371c9d4SSatish Balay   for (i = 0; i < a->sliidx[a->totalslices]; i++) { val[i] = PetscConj(val[i]); }
2165d4002b98SHong Zhang #else
2166d4002b98SHong Zhang   PetscFunctionBegin;
2167d4002b98SHong Zhang #endif
2168d4002b98SHong Zhang   PetscFunctionReturn(0);
2169d4002b98SHong Zhang }
2170