1d4002b98SHong Zhang 2d4002b98SHong Zhang /* 3d4002b98SHong Zhang Defines the basic matrix operations for the SELL matrix storage format. 4d4002b98SHong Zhang */ 5d4002b98SHong Zhang #include <../src/mat/impls/sell/seq/sell.h> /*I "petscmat.h" I*/ 6d4002b98SHong Zhang #include <petscblaslapack.h> 7d4002b98SHong Zhang #include <petsc/private/kernels/blocktranspose.h> 8ed73aabaSBarry Smith 9ed73aabaSBarry Smith static PetscBool cited = PETSC_FALSE; 109371c9d4SSatish Balay static const char citation[] = "@inproceedings{ZhangELLPACK2018,\n" 11ed73aabaSBarry Smith " author = {Hong Zhang and Richard T. Mills and Karl Rupp and Barry F. Smith},\n" 12ed73aabaSBarry Smith " title = {Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}},\n" 13ed73aabaSBarry Smith " booktitle = {Proceedings of the 47th International Conference on Parallel Processing},\n" 14ed73aabaSBarry Smith " year = 2018\n" 15ed73aabaSBarry Smith "}\n"; 16ed73aabaSBarry Smith 175f70456aSHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && (defined(__AVX512F__) || (defined(__AVX2__) && defined(__FMA__)) || defined(__AVX__)) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 184243e2ceSHong Zhang 19d4002b98SHong Zhang #include <immintrin.h> 20d4002b98SHong Zhang 21d4002b98SHong Zhang #if !defined(_MM_SCALE_8) 22d4002b98SHong Zhang #define _MM_SCALE_8 8 23d4002b98SHong Zhang #endif 24d4002b98SHong Zhang 25d4002b98SHong Zhang #if defined(__AVX512F__) 26d4002b98SHong Zhang /* these do not work 27d4002b98SHong Zhang vec_idx = _mm512_loadunpackhi_epi32(vec_idx,acolidx); 28d4002b98SHong Zhang vec_vals = _mm512_loadunpackhi_pd(vec_vals,aval); 29d4002b98SHong Zhang */ 30d4002b98SHong Zhang #define AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 31d4002b98SHong Zhang /* if the mask bit is set, copy from acolidx, otherwise from vec_idx */ \ 32ef588d5cSRichard Tran Mills vec_idx = _mm256_loadu_si256((__m256i const *)acolidx); \ 33ef588d5cSRichard Tran Mills vec_vals = _mm512_loadu_pd(aval); \ 34d4002b98SHong Zhang vec_x = _mm512_i32gather_pd(vec_idx, x, _MM_SCALE_8); \ 35a48a6482SHong Zhang vec_y = _mm512_fmadd_pd(vec_x, vec_vals, vec_y) 365f70456aSHong Zhang #elif defined(__AVX2__) && defined(__FMA__) 37a48a6482SHong Zhang #define AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y) \ 38ef588d5cSRichard Tran Mills vec_vals = _mm256_loadu_pd(aval); \ 39ef588d5cSRichard Tran Mills vec_idx = _mm_loadu_si128((__m128i const *)acolidx); /* SSE2 */ \ 40a48a6482SHong Zhang vec_x = _mm256_i32gather_pd(x, vec_idx, _MM_SCALE_8); \ 41a48a6482SHong Zhang vec_y = _mm256_fmadd_pd(vec_x, vec_vals, vec_y) 42d4002b98SHong Zhang #endif 43d4002b98SHong Zhang #endif /* PETSC_HAVE_IMMINTRIN_H */ 44d4002b98SHong Zhang 45d4002b98SHong Zhang /*@C 46d4002b98SHong Zhang MatSeqSELLSetPreallocation - For good matrix assembly performance 47d4002b98SHong Zhang the user should preallocate the matrix storage by setting the parameter nz 48d4002b98SHong Zhang (or the array nnz). By setting these parameters accurately, performance 49d4002b98SHong Zhang during matrix assembly can be increased significantly. 50d4002b98SHong Zhang 51d083f849SBarry Smith Collective 52d4002b98SHong Zhang 53d4002b98SHong Zhang Input Parameters: 5411a5261eSBarry Smith + B - The `MATSEQSELL` matrix 55d4002b98SHong Zhang . nz - number of nonzeros per row (same for all rows) 56d4002b98SHong Zhang - nnz - array containing the number of nonzeros in the various rows 57d4002b98SHong Zhang (possibly different for each row) or NULL 58d4002b98SHong Zhang 59d4002b98SHong Zhang Notes: 60d4002b98SHong Zhang If nnz is given then nz is ignored. 61d4002b98SHong Zhang 62d4002b98SHong Zhang Specify the preallocated storage with either nz or nnz (not both). 6311a5261eSBarry Smith Set nz = `PETSC_DEFAULT` and nnz = NULL for PETSc to control dynamic memory 64d4002b98SHong Zhang allocation. For large problems you MUST preallocate memory or you 65d4002b98SHong Zhang will get TERRIBLE performance, see the users' manual chapter on matrices. 66d4002b98SHong Zhang 6711a5261eSBarry Smith You can call `MatGetInfo()` to get information on how effective the preallocation was; 68d4002b98SHong Zhang for example the fields mallocs,nz_allocated,nz_used,nz_unneeded; 69d4002b98SHong Zhang You can also run with the option -info and look for messages with the string 70d4002b98SHong Zhang malloc in them to see if additional memory allocation was needed. 71d4002b98SHong Zhang 7211a5261eSBarry Smith Developers: Use nz of `MAT_SKIP_ALLOCATION` to not allocate any space for the matrix 73d4002b98SHong Zhang entries or columns indices. 74d4002b98SHong Zhang 75c7ee91abSRichard Tran Mills The maximum number of nonzeos in any row should be as accurate as possible. 76c7ee91abSRichard Tran Mills If it is underestimated, you will get bad performance due to reallocation 77d4002b98SHong Zhang (MatSeqXSELLReallocateSELL). 78d4002b98SHong Zhang 79d4002b98SHong Zhang Level: intermediate 80d4002b98SHong Zhang 8111a5261eSBarry Smith .seealso: `MATSEQSELL`, `MATSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatGetInfo()` 82d4002b98SHong Zhang @*/ 839371c9d4SSatish Balay PetscErrorCode MatSeqSELLSetPreallocation(Mat B, PetscInt rlenmax, const PetscInt rlen[]) { 84d4002b98SHong Zhang PetscFunctionBegin; 85d4002b98SHong Zhang PetscValidHeaderSpecific(B, MAT_CLASSID, 1); 86d4002b98SHong Zhang PetscValidType(B, 1); 87cac4c232SBarry Smith PetscTryMethod(B, "MatSeqSELLSetPreallocation_C", (Mat, PetscInt, const PetscInt[]), (B, rlenmax, rlen)); 88d4002b98SHong Zhang PetscFunctionReturn(0); 89d4002b98SHong Zhang } 90d4002b98SHong Zhang 919371c9d4SSatish Balay PetscErrorCode MatSeqSELLSetPreallocation_SeqSELL(Mat B, PetscInt maxallocrow, const PetscInt rlen[]) { 92d4002b98SHong Zhang Mat_SeqSELL *b; 93d4002b98SHong Zhang PetscInt i, j, totalslices; 94d4002b98SHong Zhang PetscBool skipallocation = PETSC_FALSE, realalloc = PETSC_FALSE; 95d4002b98SHong Zhang 96d4002b98SHong Zhang PetscFunctionBegin; 97d4002b98SHong Zhang if (maxallocrow >= 0 || rlen) realalloc = PETSC_TRUE; 98d4002b98SHong Zhang if (maxallocrow == MAT_SKIP_ALLOCATION) { 99d4002b98SHong Zhang skipallocation = PETSC_TRUE; 100d4002b98SHong Zhang maxallocrow = 0; 101d4002b98SHong Zhang } 102d4002b98SHong Zhang 1039566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->rmap)); 1049566063dSJacob Faibussowitsch PetscCall(PetscLayoutSetUp(B->cmap)); 105d4002b98SHong Zhang 106d4002b98SHong Zhang /* FIXME: if one preallocates more space than needed, the matrix does not shrink automatically, but for best performance it should */ 107d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 5; 10808401ef6SPierre Jolivet PetscCheck(maxallocrow >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "maxallocrow cannot be less than 0: value %" PetscInt_FMT, maxallocrow); 109d4002b98SHong Zhang if (rlen) { 110d4002b98SHong Zhang for (i = 0; i < B->rmap->n; i++) { 11108401ef6SPierre Jolivet PetscCheck(rlen[i] >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be less than 0: local row %" PetscInt_FMT " value %" PetscInt_FMT, i, rlen[i]); 11208401ef6SPierre Jolivet PetscCheck(rlen[i] <= B->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "rlen cannot be greater than row length: local row %" PetscInt_FMT " value %" PetscInt_FMT " rowlength %" PetscInt_FMT, i, rlen[i], B->cmap->n); 113d4002b98SHong Zhang } 114d4002b98SHong Zhang } 115d4002b98SHong Zhang 116d4002b98SHong Zhang B->preallocated = PETSC_TRUE; 117d4002b98SHong Zhang 118d4002b98SHong Zhang b = (Mat_SeqSELL *)B->data; 119d4002b98SHong Zhang 120faa75363SBarry Smith totalslices = PetscCeilInt(B->rmap->n, 8); 121d4002b98SHong Zhang b->totalslices = totalslices; 122d4002b98SHong Zhang if (!skipallocation) { 1239566063dSJacob Faibussowitsch if (B->rmap->n & 0x07) PetscCall(PetscInfo(B, "Padding rows to the SEQSELL matrix because the number of rows is not the multiple of 8 (value %" PetscInt_FMT ")\n", B->rmap->n)); 124d4002b98SHong Zhang 125d4002b98SHong Zhang if (!b->sliidx) { /* sliidx gives the starting index of each slice, the last element is the total space allocated */ 1269566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &b->sliidx)); 127d4002b98SHong Zhang } 128d4002b98SHong Zhang if (!rlen) { /* if rlen is not provided, allocate same space for all the slices */ 129d4002b98SHong Zhang if (maxallocrow == PETSC_DEFAULT || maxallocrow == PETSC_DECIDE) maxallocrow = 10; 130d4002b98SHong Zhang else if (maxallocrow < 0) maxallocrow = 1; 131d4002b98SHong Zhang for (i = 0; i <= totalslices; i++) b->sliidx[i] = i * 8 * maxallocrow; 132d4002b98SHong Zhang } else { 133d4002b98SHong Zhang maxallocrow = 0; 134d4002b98SHong Zhang b->sliidx[0] = 0; 135d4002b98SHong Zhang for (i = 1; i < totalslices; i++) { 136d4002b98SHong Zhang b->sliidx[i] = 0; 137ad540459SPierre Jolivet for (j = 0; j < 8; j++) b->sliidx[i] = PetscMax(b->sliidx[i], rlen[8 * (i - 1) + j]); 138d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[i], maxallocrow); 1399566063dSJacob Faibussowitsch PetscCall(PetscIntSumError(b->sliidx[i - 1], 8 * b->sliidx[i], &b->sliidx[i])); 140d4002b98SHong Zhang } 141d4002b98SHong Zhang /* last slice */ 142d4002b98SHong Zhang b->sliidx[totalslices] = 0; 143d4002b98SHong Zhang for (j = (totalslices - 1) * 8; j < B->rmap->n; j++) b->sliidx[totalslices] = PetscMax(b->sliidx[totalslices], rlen[j]); 144d4002b98SHong Zhang maxallocrow = PetscMax(b->sliidx[totalslices], maxallocrow); 145d4002b98SHong Zhang b->sliidx[totalslices] = b->sliidx[totalslices - 1] + 8 * b->sliidx[totalslices]; 146d4002b98SHong Zhang } 147d4002b98SHong Zhang 148d4002b98SHong Zhang /* allocate space for val, colidx, rlen */ 149d4002b98SHong Zhang /* FIXME: should B's old memory be unlogged? */ 1509566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(B, &b->val, &b->colidx)); 151d4002b98SHong Zhang /* FIXME: assuming an element of the bit array takes 8 bits */ 1529566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(b->sliidx[totalslices], &b->val, b->sliidx[totalslices], &b->colidx)); 153d4002b98SHong 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. */ 1549566063dSJacob Faibussowitsch PetscCall(PetscCalloc1(8 * totalslices, &b->rlen)); 155d4002b98SHong Zhang 156d4002b98SHong Zhang b->singlemalloc = PETSC_TRUE; 157d4002b98SHong Zhang b->free_val = PETSC_TRUE; 158d4002b98SHong Zhang b->free_colidx = PETSC_TRUE; 159d4002b98SHong Zhang } else { 160d4002b98SHong Zhang b->free_val = PETSC_FALSE; 161d4002b98SHong Zhang b->free_colidx = PETSC_FALSE; 162d4002b98SHong Zhang } 163d4002b98SHong Zhang 164d4002b98SHong Zhang b->nz = 0; 165d4002b98SHong Zhang b->maxallocrow = maxallocrow; 166d4002b98SHong Zhang b->rlenmax = maxallocrow; 167d4002b98SHong Zhang b->maxallocmat = b->sliidx[totalslices]; 168d4002b98SHong Zhang B->info.nz_unneeded = (double)b->maxallocmat; 1691baa6e33SBarry Smith if (realalloc) PetscCall(MatSetOption(B, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_TRUE)); 170d4002b98SHong Zhang PetscFunctionReturn(0); 171d4002b98SHong Zhang } 172d4002b98SHong Zhang 1739371c9d4SSatish Balay PetscErrorCode MatGetRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) { 1746108893eSStefano Zampini Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1756108893eSStefano Zampini PetscInt shift; 1766108893eSStefano Zampini 1776108893eSStefano Zampini PetscFunctionBegin; 178aed4548fSBarry Smith PetscCheck(row >= 0 && row < A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Row %" PetscInt_FMT " out of range", row); 1796108893eSStefano Zampini if (nz) *nz = a->rlen[row]; 1806108893eSStefano Zampini shift = a->sliidx[row >> 3] + (row & 0x07); 18148a46eb9SPierre Jolivet if (!a->getrowcols) PetscCall(PetscMalloc2(a->rlenmax, &a->getrowcols, a->rlenmax, &a->getrowvals)); 1826108893eSStefano Zampini if (idx) { 1836108893eSStefano Zampini PetscInt j; 1846108893eSStefano Zampini for (j = 0; j < a->rlen[row]; j++) a->getrowcols[j] = a->colidx[shift + 8 * j]; 1856108893eSStefano Zampini *idx = a->getrowcols; 1866108893eSStefano Zampini } 1876108893eSStefano Zampini if (v) { 1886108893eSStefano Zampini PetscInt j; 1896108893eSStefano Zampini for (j = 0; j < a->rlen[row]; j++) a->getrowvals[j] = a->val[shift + 8 * j]; 1906108893eSStefano Zampini *v = a->getrowvals; 1916108893eSStefano Zampini } 1926108893eSStefano Zampini PetscFunctionReturn(0); 1936108893eSStefano Zampini } 1946108893eSStefano Zampini 1959371c9d4SSatish Balay PetscErrorCode MatRestoreRow_SeqSELL(Mat A, PetscInt row, PetscInt *nz, PetscInt **idx, PetscScalar **v) { 1966108893eSStefano Zampini PetscFunctionBegin; 1976108893eSStefano Zampini PetscFunctionReturn(0); 1986108893eSStefano Zampini } 1996108893eSStefano Zampini 2009371c9d4SSatish Balay PetscErrorCode MatConvert_SeqSELL_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) { 201d4002b98SHong Zhang Mat B; 202d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 203e3f1f374SStefano Zampini PetscInt i; 204d4002b98SHong Zhang 205d4002b98SHong Zhang PetscFunctionBegin; 206ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 207ad013a7bSRichard Tran Mills B = *newmat; 2089566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(B)); 209ad013a7bSRichard Tran Mills } else { 2109566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2119566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, A->rmap->n, A->cmap->n, A->rmap->N, A->cmap->N)); 2129566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQAIJ)); 2139566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation(B, 0, a->rlen)); 214ad013a7bSRichard Tran Mills } 215d4002b98SHong Zhang 216e3f1f374SStefano Zampini for (i = 0; i < A->rmap->n; i++) { 217e108cb99SStefano Zampini PetscInt nz = 0, *cols = NULL; 218e108cb99SStefano Zampini PetscScalar *vals = NULL; 219e3f1f374SStefano Zampini 2209566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqSELL(A, i, &nz, &cols, &vals)); 2219566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 1, &i, nz, cols, vals, INSERT_VALUES)); 2229566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqSELL(A, i, &nz, &cols, &vals)); 223d4002b98SHong Zhang } 224e3f1f374SStefano Zampini 2259566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2269566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 227d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 228d4002b98SHong Zhang 229d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2309566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 231d4002b98SHong Zhang } else { 232d4002b98SHong Zhang *newmat = B; 233d4002b98SHong Zhang } 234d4002b98SHong Zhang PetscFunctionReturn(0); 235d4002b98SHong Zhang } 236d4002b98SHong Zhang 237d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 238d4002b98SHong Zhang 2399371c9d4SSatish Balay PetscErrorCode MatConvert_SeqAIJ_SeqSELL(Mat A, MatType newtype, MatReuse reuse, Mat *newmat) { 240d4002b98SHong Zhang Mat B; 241d4002b98SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ *)A->data; 242d4002b98SHong Zhang PetscInt *ai = a->i, m = A->rmap->N, n = A->cmap->N, i, *rowlengths, row, ncols; 243d4002b98SHong Zhang const PetscInt *cols; 244d4002b98SHong Zhang const PetscScalar *vals; 245d4002b98SHong Zhang 246d4002b98SHong Zhang PetscFunctionBegin; 247ad013a7bSRichard Tran Mills 248ad013a7bSRichard Tran Mills if (reuse == MAT_REUSE_MATRIX) { 249ad013a7bSRichard Tran Mills B = *newmat; 250ad013a7bSRichard Tran Mills } else { 251d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) || !a->ilen) { 2529566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &rowlengths)); 253ad540459SPierre Jolivet for (i = 0; i < m; i++) rowlengths[i] = ai[i + 1] - ai[i]; 254d5e5b2e5SBarry Smith } 255d5e5b2e5SBarry Smith if (PetscDefined(USE_DEBUG) && a->ilen) { 256d5e5b2e5SBarry Smith PetscBool eq; 2579566063dSJacob Faibussowitsch PetscCall(PetscMemcmp(rowlengths, a->ilen, m * sizeof(PetscInt), &eq)); 25828b400f6SJacob Faibussowitsch PetscCheck(eq, PETSC_COMM_SELF, PETSC_ERR_PLIB, "SeqAIJ ilen array incorrect"); 2599566063dSJacob Faibussowitsch PetscCall(PetscFree(rowlengths)); 260d5e5b2e5SBarry Smith rowlengths = a->ilen; 261d5e5b2e5SBarry Smith } else if (a->ilen) rowlengths = a->ilen; 2629566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B)); 2639566063dSJacob Faibussowitsch PetscCall(MatSetSizes(B, m, n, m, n)); 2649566063dSJacob Faibussowitsch PetscCall(MatSetType(B, MATSEQSELL)); 2659566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(B, 0, rowlengths)); 2669566063dSJacob Faibussowitsch if (rowlengths != a->ilen) PetscCall(PetscFree(rowlengths)); 267ad013a7bSRichard Tran Mills } 268d4002b98SHong Zhang 269d4002b98SHong Zhang for (row = 0; row < m; row++) { 2709566063dSJacob Faibussowitsch PetscCall(MatGetRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 2719566063dSJacob Faibussowitsch PetscCall(MatSetValues_SeqSELL(B, 1, &row, ncols, cols, vals, INSERT_VALUES)); 2729566063dSJacob Faibussowitsch PetscCall(MatRestoreRow_SeqAIJ(A, row, &ncols, (PetscInt **)&cols, (PetscScalar **)&vals)); 273d4002b98SHong Zhang } 2749566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2759566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 276d4002b98SHong Zhang B->rmap->bs = A->rmap->bs; 277d4002b98SHong Zhang 278d4002b98SHong Zhang if (reuse == MAT_INPLACE_MATRIX) { 2799566063dSJacob Faibussowitsch PetscCall(MatHeaderReplace(A, &B)); 280d4002b98SHong Zhang } else { 281d4002b98SHong Zhang *newmat = B; 282d4002b98SHong Zhang } 283d4002b98SHong Zhang PetscFunctionReturn(0); 284d4002b98SHong Zhang } 285d4002b98SHong Zhang 2869371c9d4SSatish Balay PetscErrorCode MatMult_SeqSELL(Mat A, Vec xx, Vec yy) { 287d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 288d4002b98SHong Zhang PetscScalar *y; 289d4002b98SHong Zhang const PetscScalar *x; 290d4002b98SHong Zhang const MatScalar *aval = a->val; 291d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 292d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 2937285fed1SHong Zhang PetscInt i, j; 294d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 295d4002b98SHong Zhang __m512d vec_x, vec_y, vec_vals; 296d4002b98SHong Zhang __m256i vec_idx; 297d4002b98SHong Zhang __mmask8 mask; 298d4002b98SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 299d4002b98SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 3005f70456aSHong 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) 301a48a6482SHong Zhang __m128i vec_idx; 302a48a6482SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 303a48a6482SHong Zhang MatScalar yval; 304a48a6482SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 30521cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 306d4002b98SHong Zhang __m128d vec_x_tmp; 307d4002b98SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 308d4002b98SHong Zhang MatScalar yval; 309d4002b98SHong Zhang PetscInt r, rows_left, row, nnz_in_row; 310d4002b98SHong Zhang #else 311d4002b98SHong Zhang PetscScalar sum[8]; 312d4002b98SHong Zhang #endif 313d4002b98SHong Zhang 314d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 315d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 316d4002b98SHong Zhang #endif 317d4002b98SHong Zhang 318d4002b98SHong Zhang PetscFunctionBegin; 3199566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 3209566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 321d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 322d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 323d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 324d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 325d4002b98SHong Zhang 326d4002b98SHong Zhang vec_y = _mm512_setzero_pd(); 327d4002b98SHong Zhang vec_y2 = _mm512_setzero_pd(); 328d4002b98SHong Zhang vec_y3 = _mm512_setzero_pd(); 329d4002b98SHong Zhang vec_y4 = _mm512_setzero_pd(); 330d4002b98SHong Zhang 33138efe8efSHong Zhang j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */ 332d4002b98SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 333d4002b98SHong Zhang case 3: 334d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3359371c9d4SSatish Balay acolidx += 8; 3369371c9d4SSatish Balay aval += 8; 337d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3389371c9d4SSatish Balay acolidx += 8; 3399371c9d4SSatish Balay aval += 8; 340d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3419371c9d4SSatish Balay acolidx += 8; 3429371c9d4SSatish Balay aval += 8; 343d4002b98SHong Zhang j += 3; 344d4002b98SHong Zhang break; 345d4002b98SHong Zhang case 2: 346d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3479371c9d4SSatish Balay acolidx += 8; 3489371c9d4SSatish Balay aval += 8; 349d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3509371c9d4SSatish Balay acolidx += 8; 3519371c9d4SSatish Balay aval += 8; 352d4002b98SHong Zhang j += 2; 353d4002b98SHong Zhang break; 354d4002b98SHong Zhang case 1: 355d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3569371c9d4SSatish Balay acolidx += 8; 3579371c9d4SSatish Balay aval += 8; 358d4002b98SHong Zhang j += 1; 359d4002b98SHong Zhang break; 360d4002b98SHong Zhang } 361d4002b98SHong Zhang #pragma novector 362d4002b98SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 363d4002b98SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 3649371c9d4SSatish Balay acolidx += 8; 3659371c9d4SSatish Balay aval += 8; 366d4002b98SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 3679371c9d4SSatish Balay acolidx += 8; 3689371c9d4SSatish Balay aval += 8; 369d4002b98SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 3709371c9d4SSatish Balay acolidx += 8; 3719371c9d4SSatish Balay aval += 8; 372d4002b98SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 3739371c9d4SSatish Balay acolidx += 8; 3749371c9d4SSatish Balay aval += 8; 375d4002b98SHong Zhang } 376d4002b98SHong Zhang 377d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 378d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 379d4002b98SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 380d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 381d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 382ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&y[8 * i], mask, vec_y); 383d4002b98SHong Zhang } else { 384ef588d5cSRichard Tran Mills _mm512_storeu_pd(&y[8 * i], vec_y); 385d4002b98SHong Zhang } 386d4002b98SHong Zhang } 3875f70456aSHong 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) 388a48a6482SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 389a48a6482SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 390a48a6482SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 391a48a6482SHong Zhang 392a48a6482SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 393a48a6482SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 394a48a6482SHong Zhang rows_left = A->rmap->n - 8 * i; 395a48a6482SHong Zhang for (r = 0; r < rows_left; ++r) { 396a48a6482SHong Zhang yval = (MatScalar)0; 397a48a6482SHong Zhang row = 8 * i + r; 398a48a6482SHong Zhang nnz_in_row = a->rlen[row]; 399a48a6482SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 400a48a6482SHong Zhang y[row] = yval; 401a48a6482SHong Zhang } 402a48a6482SHong Zhang break; 403a48a6482SHong Zhang } 404a48a6482SHong Zhang 405a48a6482SHong Zhang vec_y = _mm256_setzero_pd(); 406a48a6482SHong Zhang vec_y2 = _mm256_setzero_pd(); 407a48a6482SHong Zhang 408a48a6482SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 409a48a6482SHong Zhang #pragma novector 410a48a6482SHong Zhang #pragma unroll(2) 411a48a6482SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 412a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 4139371c9d4SSatish Balay aval += 4; 4149371c9d4SSatish Balay acolidx += 4; 415a48a6482SHong Zhang AVX2_Mult_Private(vec_idx, vec_x, vec_vals, vec_y2); 4169371c9d4SSatish Balay aval += 4; 4179371c9d4SSatish Balay acolidx += 4; 418a48a6482SHong Zhang } 419a48a6482SHong Zhang 420ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8, vec_y); 421ef588d5cSRichard Tran Mills _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 422a48a6482SHong Zhang } 42321cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 424d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 425d4002b98SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 426d4002b98SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 427d4002b98SHong Zhang 428d4002b98SHong Zhang vec_y = _mm256_setzero_pd(); 429d4002b98SHong Zhang vec_y2 = _mm256_setzero_pd(); 430d4002b98SHong Zhang 431d4002b98SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 432d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 433d4002b98SHong Zhang rows_left = A->rmap->n - 8 * i; 434d4002b98SHong Zhang for (r = 0; r < rows_left; ++r) { 435d4002b98SHong Zhang yval = (MatScalar)0; 436d4002b98SHong Zhang row = 8 * i + r; 437d4002b98SHong Zhang nnz_in_row = a->rlen[row]; 438d4002b98SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 439d4002b98SHong Zhang y[row] = yval; 440d4002b98SHong Zhang } 441d4002b98SHong Zhang break; 442d4002b98SHong Zhang } 443d4002b98SHong Zhang 444d4002b98SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 445a48a6482SHong Zhang #pragma novector 446a48a6482SHong Zhang #pragma unroll(2) 4477285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 448d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 449165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 450d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 451d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 452d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 453d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 454d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 455d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 456d4002b98SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 457d4002b98SHong Zhang aval += 4; 458d4002b98SHong Zhang 459d4002b98SHong Zhang vec_vals = _mm256_loadu_pd(aval); 460d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 461d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 462d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 463d4002b98SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 464d4002b98SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 465d4002b98SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 466d4002b98SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 467d4002b98SHong Zhang aval += 4; 468d4002b98SHong Zhang } 469d4002b98SHong Zhang 470d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8, vec_y); 471d4002b98SHong Zhang _mm256_storeu_pd(y + i * 8 + 4, vec_y2); 472d4002b98SHong Zhang } 473d4002b98SHong Zhang #else 474d4002b98SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 475d4002b98SHong Zhang for (j = 0; j < 8; j++) sum[j] = 0.0; 476d4002b98SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 477d4002b98SHong Zhang sum[0] += aval[j] * x[acolidx[j]]; 478d4002b98SHong Zhang sum[1] += aval[j + 1] * x[acolidx[j + 1]]; 479d4002b98SHong Zhang sum[2] += aval[j + 2] * x[acolidx[j + 2]]; 480d4002b98SHong Zhang sum[3] += aval[j + 3] * x[acolidx[j + 3]]; 481d4002b98SHong Zhang sum[4] += aval[j + 4] * x[acolidx[j + 4]]; 482d4002b98SHong Zhang sum[5] += aval[j + 5] * x[acolidx[j + 5]]; 483d4002b98SHong Zhang sum[6] += aval[j + 6] * x[acolidx[j + 6]]; 484d4002b98SHong Zhang sum[7] += aval[j + 7] * x[acolidx[j + 7]]; 485d4002b98SHong Zhang } 486d4002b98SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */ 487d4002b98SHong Zhang for (j = 0; j < (A->rmap->n & 0x07); j++) y[8 * i + j] = sum[j]; 488d4002b98SHong Zhang } else { 4897285fed1SHong Zhang for (j = 0; j < 8; j++) y[8 * i + j] = sum[j]; 490d4002b98SHong Zhang } 491d4002b98SHong Zhang } 492d4002b98SHong Zhang #endif 493d4002b98SHong Zhang 4949566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz - a->nonzerorowcnt)); /* theoretical minimal FLOPs */ 4959566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 4969566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 497d4002b98SHong Zhang PetscFunctionReturn(0); 498d4002b98SHong Zhang } 499d4002b98SHong Zhang 500d4002b98SHong Zhang #include <../src/mat/impls/aij/seq/ftn-kernels/fmultadd.h> 5019371c9d4SSatish Balay PetscErrorCode MatMultAdd_SeqSELL(Mat A, Vec xx, Vec yy, Vec zz) { 502d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 503d4002b98SHong Zhang PetscScalar *y, *z; 504d4002b98SHong Zhang const PetscScalar *x; 505d4002b98SHong Zhang const MatScalar *aval = a->val; 506d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 507d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 508d4002b98SHong Zhang PetscInt i, j; 509d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5107285fed1SHong Zhang __m512d vec_x, vec_y, vec_vals; 511d4002b98SHong Zhang __m256i vec_idx; 512d4002b98SHong Zhang __mmask8 mask; 5137285fed1SHong Zhang __m512d vec_x2, vec_y2, vec_vals2, vec_x3, vec_y3, vec_vals3, vec_x4, vec_y4, vec_vals4; 5147285fed1SHong Zhang __m256i vec_idx2, vec_idx3, vec_idx4; 51521cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5167285fed1SHong Zhang __m128d vec_x_tmp; 5177285fed1SHong Zhang __m256d vec_x, vec_y, vec_y2, vec_vals; 5187285fed1SHong Zhang MatScalar yval; 5197285fed1SHong Zhang PetscInt r, row, nnz_in_row; 520d4002b98SHong Zhang #else 521d4002b98SHong Zhang PetscScalar sum[8]; 522d4002b98SHong Zhang #endif 523d4002b98SHong Zhang 524d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 525d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 526d4002b98SHong Zhang #endif 527d4002b98SHong Zhang 528d4002b98SHong Zhang PetscFunctionBegin; 5299566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 5309566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy, zz, &y, &z)); 531d4002b98SHong Zhang #if defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 5327285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 5337285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5347285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 5357285fed1SHong Zhang 536d4002b98SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 537d4002b98SHong Zhang mask = (__mmask8)(0xff >> (8 - (A->rmap->n & 0x07))); 538ef588d5cSRichard Tran Mills vec_y = _mm512_mask_loadu_pd(vec_y, mask, &y[8 * i]); 5397285fed1SHong Zhang } else { 540ef588d5cSRichard Tran Mills vec_y = _mm512_loadu_pd(&y[8 * i]); 5417285fed1SHong Zhang } 5427285fed1SHong Zhang vec_y2 = _mm512_setzero_pd(); 5437285fed1SHong Zhang vec_y3 = _mm512_setzero_pd(); 5447285fed1SHong Zhang vec_y4 = _mm512_setzero_pd(); 5457285fed1SHong Zhang 5467285fed1SHong Zhang j = a->sliidx[i] >> 3; /* 8 bytes are read at each time, corresponding to a slice columnn */ 5477285fed1SHong Zhang switch ((a->sliidx[i + 1] - a->sliidx[i]) / 8 & 3) { 5487285fed1SHong Zhang case 3: 5497285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5509371c9d4SSatish Balay acolidx += 8; 5519371c9d4SSatish Balay aval += 8; 5527285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5539371c9d4SSatish Balay acolidx += 8; 5549371c9d4SSatish Balay aval += 8; 5557285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5569371c9d4SSatish Balay acolidx += 8; 5579371c9d4SSatish Balay aval += 8; 5587285fed1SHong Zhang j += 3; 5597285fed1SHong Zhang break; 5607285fed1SHong Zhang case 2: 5617285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5629371c9d4SSatish Balay acolidx += 8; 5639371c9d4SSatish Balay aval += 8; 5647285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5659371c9d4SSatish Balay acolidx += 8; 5669371c9d4SSatish Balay aval += 8; 5677285fed1SHong Zhang j += 2; 5687285fed1SHong Zhang break; 5697285fed1SHong Zhang case 1: 5707285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5719371c9d4SSatish Balay acolidx += 8; 5729371c9d4SSatish Balay aval += 8; 5737285fed1SHong Zhang j += 1; 5747285fed1SHong Zhang break; 5757285fed1SHong Zhang } 5767285fed1SHong Zhang #pragma novector 5777285fed1SHong Zhang for (; j < (a->sliidx[i + 1] >> 3); j += 4) { 5787285fed1SHong Zhang AVX512_Mult_Private(vec_idx, vec_x, vec_vals, vec_y); 5799371c9d4SSatish Balay acolidx += 8; 5809371c9d4SSatish Balay aval += 8; 5817285fed1SHong Zhang AVX512_Mult_Private(vec_idx2, vec_x2, vec_vals2, vec_y2); 5829371c9d4SSatish Balay acolidx += 8; 5839371c9d4SSatish Balay aval += 8; 5847285fed1SHong Zhang AVX512_Mult_Private(vec_idx3, vec_x3, vec_vals3, vec_y3); 5859371c9d4SSatish Balay acolidx += 8; 5869371c9d4SSatish Balay aval += 8; 5877285fed1SHong Zhang AVX512_Mult_Private(vec_idx4, vec_x4, vec_vals4, vec_y4); 5889371c9d4SSatish Balay acolidx += 8; 5899371c9d4SSatish Balay aval += 8; 5907285fed1SHong Zhang } 5917285fed1SHong Zhang 5927285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y2); 5937285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y3); 5947285fed1SHong Zhang vec_y = _mm512_add_pd(vec_y, vec_y4); 5957285fed1SHong Zhang if (i == totalslices - 1 && A->rmap->n & 0x07) { /* if last slice has padding rows */ 596ef588d5cSRichard Tran Mills _mm512_mask_storeu_pd(&z[8 * i], mask, vec_y); 597d4002b98SHong Zhang } else { 598ef588d5cSRichard Tran Mills _mm512_storeu_pd(&z[8 * i], vec_y); 599d4002b98SHong Zhang } 6007285fed1SHong Zhang } 60121cec45eSHong Zhang #elif defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 6027285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over full slices */ 6037285fed1SHong Zhang PetscPrefetchBlock(acolidx, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6047285fed1SHong Zhang PetscPrefetchBlock(aval, a->sliidx[i + 1] - a->sliidx[i], 0, PETSC_PREFETCH_HINT_T0); 6057285fed1SHong Zhang 6067285fed1SHong Zhang /* last slice may have padding rows. Don't use vectorization. */ 6077285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6087285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6097285fed1SHong Zhang row = 8 * i + r; 6107285fed1SHong Zhang yval = (MatScalar)0.0; 6117285fed1SHong Zhang nnz_in_row = a->rlen[row]; 6127285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) yval += aval[8 * j + r] * x[acolidx[8 * j + r]]; 6137285fed1SHong Zhang z[row] = y[row] + yval; 6147285fed1SHong Zhang } 6157285fed1SHong Zhang break; 6167285fed1SHong Zhang } 6177285fed1SHong Zhang 6187285fed1SHong Zhang vec_y = _mm256_loadu_pd(y + 8 * i); 6197285fed1SHong Zhang vec_y2 = _mm256_loadu_pd(y + 8 * i + 4); 6207285fed1SHong Zhang 6217285fed1SHong Zhang /* Process slice of height 8 (512 bits) via two subslices of height 4 (256 bits) via AVX */ 6227285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 6237285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 624165f9cc3SJed Brown vec_x_tmp = _mm_setzero_pd(); 6257285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6267285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 627165f9cc3SJed Brown vec_x = _mm256_setzero_pd(); 6287285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 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++); 6317285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6327285fed1SHong Zhang vec_y = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y); 6337285fed1SHong Zhang aval += 4; 6347285fed1SHong Zhang 6357285fed1SHong Zhang vec_vals = _mm256_loadu_pd(aval); 6367285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6377285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6387285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 0); 6397285fed1SHong Zhang vec_x_tmp = _mm_loadl_pd(vec_x_tmp, x + *acolidx++); 6407285fed1SHong Zhang vec_x_tmp = _mm_loadh_pd(vec_x_tmp, x + *acolidx++); 6417285fed1SHong Zhang vec_x = _mm256_insertf128_pd(vec_x, vec_x_tmp, 1); 6427285fed1SHong Zhang vec_y2 = _mm256_add_pd(_mm256_mul_pd(vec_x, vec_vals), vec_y2); 6437285fed1SHong Zhang aval += 4; 6447285fed1SHong Zhang } 6457285fed1SHong Zhang 6467285fed1SHong Zhang _mm256_storeu_pd(z + i * 8, vec_y); 6477285fed1SHong Zhang _mm256_storeu_pd(z + i * 8 + 4, vec_y2); 6487285fed1SHong Zhang } 649d4002b98SHong Zhang #else 6507285fed1SHong Zhang for (i = 0; i < totalslices; i++) { /* loop over slices */ 6517285fed1SHong Zhang for (j = 0; j < 8; j++) sum[j] = 0.0; 652d4002b98SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 653d4002b98SHong Zhang sum[0] += aval[j] * x[acolidx[j]]; 654d4002b98SHong Zhang sum[1] += aval[j + 1] * x[acolidx[j + 1]]; 655d4002b98SHong Zhang sum[2] += aval[j + 2] * x[acolidx[j + 2]]; 656d4002b98SHong Zhang sum[3] += aval[j + 3] * x[acolidx[j + 3]]; 657d4002b98SHong Zhang sum[4] += aval[j + 4] * x[acolidx[j + 4]]; 658d4002b98SHong Zhang sum[5] += aval[j + 5] * x[acolidx[j + 5]]; 659d4002b98SHong Zhang sum[6] += aval[j + 6] * x[acolidx[j + 6]]; 660d4002b98SHong Zhang sum[7] += aval[j + 7] * x[acolidx[j + 7]]; 661d4002b98SHong Zhang } 6627285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6637285fed1SHong Zhang for (j = 0; j < (A->rmap->n & 0x07); j++) z[8 * i + j] = y[8 * i + j] + sum[j]; 664d4002b98SHong Zhang } else { 6657285fed1SHong Zhang for (j = 0; j < 8; j++) z[8 * i + j] = y[8 * i + j] + sum[j]; 6667285fed1SHong Zhang } 667d4002b98SHong Zhang } 668d4002b98SHong Zhang #endif 669d4002b98SHong Zhang 6709566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 6719566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 6729566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy, zz, &y, &z)); 673d4002b98SHong Zhang PetscFunctionReturn(0); 674d4002b98SHong Zhang } 675d4002b98SHong Zhang 6769371c9d4SSatish Balay PetscErrorCode MatMultTransposeAdd_SeqSELL(Mat A, Vec xx, Vec zz, Vec yy) { 677d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 678d4002b98SHong Zhang PetscScalar *y; 679d4002b98SHong Zhang const PetscScalar *x; 680d4002b98SHong Zhang const MatScalar *aval = a->val; 681d4002b98SHong Zhang const PetscInt *acolidx = a->colidx; 6827285fed1SHong Zhang PetscInt i, j, r, row, nnz_in_row, totalslices = a->totalslices; 683d4002b98SHong Zhang 684d4002b98SHong Zhang #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 685d4002b98SHong Zhang #pragma disjoint(*x, *y, *aval) 686d4002b98SHong Zhang #endif 687d4002b98SHong Zhang 688d4002b98SHong Zhang PetscFunctionBegin; 689b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 6909566063dSJacob Faibussowitsch PetscCall(MatMultAdd_SeqSELL(A, xx, zz, yy)); 6919fc32365SStefano Zampini PetscFunctionReturn(0); 6929fc32365SStefano Zampini } 6939566063dSJacob Faibussowitsch if (zz != yy) PetscCall(VecCopy(zz, yy)); 6949566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx, &x)); 6959566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy, &y)); 696d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 6977285fed1SHong Zhang if (i == totalslices - 1 && (A->rmap->n & 0x07)) { 6987285fed1SHong Zhang for (r = 0; r < (A->rmap->n & 0x07); ++r) { 6997285fed1SHong Zhang row = 8 * i + r; 7007285fed1SHong Zhang nnz_in_row = a->rlen[row]; 7017285fed1SHong Zhang for (j = 0; j < nnz_in_row; ++j) y[acolidx[8 * j + r]] += aval[8 * j + r] * x[row]; 7027285fed1SHong Zhang } 7037285fed1SHong Zhang break; 7047285fed1SHong Zhang } 7057285fed1SHong Zhang for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j += 8) { 7067285fed1SHong Zhang y[acolidx[j]] += aval[j] * x[8 * i]; 7077285fed1SHong Zhang y[acolidx[j + 1]] += aval[j + 1] * x[8 * i + 1]; 7087285fed1SHong Zhang y[acolidx[j + 2]] += aval[j + 2] * x[8 * i + 2]; 7097285fed1SHong Zhang y[acolidx[j + 3]] += aval[j + 3] * x[8 * i + 3]; 7107285fed1SHong Zhang y[acolidx[j + 4]] += aval[j + 4] * x[8 * i + 4]; 7117285fed1SHong Zhang y[acolidx[j + 5]] += aval[j + 5] * x[8 * i + 5]; 7127285fed1SHong Zhang y[acolidx[j + 6]] += aval[j + 6] * x[8 * i + 6]; 7137285fed1SHong Zhang y[acolidx[j + 7]] += aval[j + 7] * x[8 * i + 7]; 714d4002b98SHong Zhang } 715d4002b98SHong Zhang } 7169566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->sliidx[a->totalslices])); 7179566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx, &x)); 7189566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy, &y)); 719d4002b98SHong Zhang PetscFunctionReturn(0); 720d4002b98SHong Zhang } 721d4002b98SHong Zhang 7229371c9d4SSatish Balay PetscErrorCode MatMultTranspose_SeqSELL(Mat A, Vec xx, Vec yy) { 723d4002b98SHong Zhang PetscFunctionBegin; 724b94d7dedSBarry Smith if (A->symmetric == PETSC_BOOL3_TRUE) { 7259566063dSJacob Faibussowitsch PetscCall(MatMult_SeqSELL(A, xx, yy)); 7269fc32365SStefano Zampini } else { 7279566063dSJacob Faibussowitsch PetscCall(VecSet(yy, 0.0)); 7289566063dSJacob Faibussowitsch PetscCall(MatMultTransposeAdd_SeqSELL(A, xx, yy, yy)); 7299fc32365SStefano Zampini } 730d4002b98SHong Zhang PetscFunctionReturn(0); 731d4002b98SHong Zhang } 732d4002b98SHong Zhang 733d4002b98SHong Zhang /* 734d4002b98SHong Zhang Checks for missing diagonals 735d4002b98SHong Zhang */ 7369371c9d4SSatish Balay PetscErrorCode MatMissingDiagonal_SeqSELL(Mat A, PetscBool *missing, PetscInt *d) { 737d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 738d4002b98SHong Zhang PetscInt *diag, i; 739d4002b98SHong Zhang 740d4002b98SHong Zhang PetscFunctionBegin; 741d4002b98SHong Zhang *missing = PETSC_FALSE; 742d4002b98SHong Zhang if (A->rmap->n > 0 && !(a->colidx)) { 743d4002b98SHong Zhang *missing = PETSC_TRUE; 744d4002b98SHong Zhang if (d) *d = 0; 7459566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix has no entries therefore is missing diagonal\n")); 746d4002b98SHong Zhang } else { 747d4002b98SHong Zhang diag = a->diag; 748d4002b98SHong Zhang for (i = 0; i < A->rmap->n; i++) { 749d4002b98SHong Zhang if (diag[i] == -1) { 750d4002b98SHong Zhang *missing = PETSC_TRUE; 751d4002b98SHong Zhang if (d) *d = i; 7529566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Matrix is missing diagonal number %" PetscInt_FMT "\n", i)); 753d4002b98SHong Zhang break; 754d4002b98SHong Zhang } 755d4002b98SHong Zhang } 756d4002b98SHong Zhang } 757d4002b98SHong Zhang PetscFunctionReturn(0); 758d4002b98SHong Zhang } 759d4002b98SHong Zhang 7609371c9d4SSatish Balay PetscErrorCode MatMarkDiagonal_SeqSELL(Mat A) { 761d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 762d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 763d4002b98SHong Zhang 764d4002b98SHong Zhang PetscFunctionBegin; 765d4002b98SHong Zhang if (!a->diag) { 7669566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &a->diag)); 767d4002b98SHong Zhang a->free_diag = PETSC_TRUE; 768d4002b98SHong Zhang } 769d4002b98SHong Zhang for (i = 0; i < m; i++) { /* loop over rows */ 770d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 771d4002b98SHong Zhang a->diag[i] = -1; 772d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 773d4002b98SHong Zhang if (a->colidx[shift + j * 8] == i) { 774d4002b98SHong Zhang a->diag[i] = shift + j * 8; 775d4002b98SHong Zhang break; 776d4002b98SHong Zhang } 777d4002b98SHong Zhang } 778d4002b98SHong Zhang } 779d4002b98SHong Zhang PetscFunctionReturn(0); 780d4002b98SHong Zhang } 781d4002b98SHong Zhang 782d4002b98SHong Zhang /* 783d4002b98SHong Zhang Negative shift indicates do not generate an error if there is a zero diagonal, just invert it anyways 784d4002b98SHong Zhang */ 7859371c9d4SSatish Balay PetscErrorCode MatInvertDiagonal_SeqSELL(Mat A, PetscScalar omega, PetscScalar fshift) { 786d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 787d4002b98SHong Zhang PetscInt i, *diag, m = A->rmap->n; 788d4002b98SHong Zhang MatScalar *val = a->val; 789d4002b98SHong Zhang PetscScalar *idiag, *mdiag; 790d4002b98SHong Zhang 791d4002b98SHong Zhang PetscFunctionBegin; 792d4002b98SHong Zhang if (a->idiagvalid) PetscFunctionReturn(0); 7939566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 794d4002b98SHong Zhang diag = a->diag; 795d4002b98SHong Zhang if (!a->idiag) { 7969566063dSJacob Faibussowitsch PetscCall(PetscMalloc3(m, &a->idiag, m, &a->mdiag, m, &a->ssor_work)); 797d4002b98SHong Zhang val = a->val; 798d4002b98SHong Zhang } 799d4002b98SHong Zhang mdiag = a->mdiag; 800d4002b98SHong Zhang idiag = a->idiag; 801d4002b98SHong Zhang 802d4002b98SHong Zhang if (omega == 1.0 && PetscRealPart(fshift) <= 0.0) { 803d4002b98SHong Zhang for (i = 0; i < m; i++) { 804d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 805d4002b98SHong Zhang if (!PetscAbsScalar(mdiag[i])) { /* zero diagonal */ 806d4002b98SHong Zhang if (PetscRealPart(fshift)) { 8079566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Zero diagonal on row %" PetscInt_FMT "\n", i)); 808d4002b98SHong Zhang A->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 809d4002b98SHong Zhang A->factorerror_zeropivot_value = 0.0; 810d4002b98SHong Zhang A->factorerror_zeropivot_row = i; 81198921bdaSJacob Faibussowitsch } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Zero diagonal on row %" PetscInt_FMT, i); 812d4002b98SHong Zhang } 813d4002b98SHong Zhang idiag[i] = 1.0 / val[diag[i]]; 814d4002b98SHong Zhang } 8159566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(m)); 816d4002b98SHong Zhang } else { 817d4002b98SHong Zhang for (i = 0; i < m; i++) { 818d4002b98SHong Zhang mdiag[i] = val[diag[i]]; 819d4002b98SHong Zhang idiag[i] = omega / (fshift + val[diag[i]]); 820d4002b98SHong Zhang } 8219566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * m)); 822d4002b98SHong Zhang } 823d4002b98SHong Zhang a->idiagvalid = PETSC_TRUE; 824d4002b98SHong Zhang PetscFunctionReturn(0); 825d4002b98SHong Zhang } 826d4002b98SHong Zhang 8279371c9d4SSatish Balay PetscErrorCode MatZeroEntries_SeqSELL(Mat A) { 828d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 829d4002b98SHong Zhang 830d4002b98SHong Zhang PetscFunctionBegin; 8319566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(a->val, a->sliidx[a->totalslices])); 8329566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 833d4002b98SHong Zhang PetscFunctionReturn(0); 834d4002b98SHong Zhang } 835d4002b98SHong Zhang 8369371c9d4SSatish Balay PetscErrorCode MatDestroy_SeqSELL(Mat A) { 837d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 838d4002b98SHong Zhang 839d4002b98SHong Zhang PetscFunctionBegin; 840d4002b98SHong Zhang #if defined(PETSC_USE_LOG) 841c0aa6a63SJacob Faibussowitsch PetscLogObjectState((PetscObject)A, "Rows=%" PetscInt_FMT ", Cols=%" PetscInt_FMT ", NZ=%" PetscInt_FMT, A->rmap->n, A->cmap->n, a->nz); 842d4002b98SHong Zhang #endif 8439566063dSJacob Faibussowitsch PetscCall(MatSeqXSELLFreeSELL(A, &a->val, &a->colidx)); 8449566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->row)); 8459566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->col)); 8469566063dSJacob Faibussowitsch PetscCall(PetscFree(a->diag)); 8479566063dSJacob Faibussowitsch PetscCall(PetscFree(a->rlen)); 8489566063dSJacob Faibussowitsch PetscCall(PetscFree(a->sliidx)); 8499566063dSJacob Faibussowitsch PetscCall(PetscFree3(a->idiag, a->mdiag, a->ssor_work)); 8509566063dSJacob Faibussowitsch PetscCall(PetscFree(a->solve_work)); 8519566063dSJacob Faibussowitsch PetscCall(ISDestroy(&a->icol)); 8529566063dSJacob Faibussowitsch PetscCall(PetscFree(a->saved_values)); 8539566063dSJacob Faibussowitsch PetscCall(PetscFree2(a->getrowcols, a->getrowvals)); 854d4002b98SHong Zhang 8559566063dSJacob Faibussowitsch PetscCall(PetscFree(A->data)); 856d4002b98SHong Zhang 8579566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, NULL)); 8589566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatStoreValues_C", NULL)); 8599566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatRetrieveValues_C", NULL)); 8609566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLSetPreallocation_C", NULL)); 8612e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLGetArray_C", NULL)); 8622e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatSeqSELLRestoreArray_C", NULL)); 8632e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A, "MatConvert_seqsell_seqaij_C", NULL)); 864d4002b98SHong Zhang PetscFunctionReturn(0); 865d4002b98SHong Zhang } 866d4002b98SHong Zhang 8679371c9d4SSatish Balay PetscErrorCode MatSetOption_SeqSELL(Mat A, MatOption op, PetscBool flg) { 868d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 869d4002b98SHong Zhang 870d4002b98SHong Zhang PetscFunctionBegin; 871d4002b98SHong Zhang switch (op) { 8729371c9d4SSatish Balay case MAT_ROW_ORIENTED: a->roworiented = flg; break; 8739371c9d4SSatish Balay case MAT_KEEP_NONZERO_PATTERN: a->keepnonzeropattern = flg; break; 8749371c9d4SSatish Balay case MAT_NEW_NONZERO_LOCATIONS: a->nonew = (flg ? 0 : 1); break; 8759371c9d4SSatish Balay case MAT_NEW_NONZERO_LOCATION_ERR: a->nonew = (flg ? -1 : 0); break; 8769371c9d4SSatish Balay case MAT_NEW_NONZERO_ALLOCATION_ERR: a->nonew = (flg ? -2 : 0); break; 8779371c9d4SSatish Balay case MAT_UNUSED_NONZERO_LOCATION_ERR: a->nounused = (flg ? -1 : 0); break; 8788c78258cSHong Zhang case MAT_FORCE_DIAGONAL_ENTRIES: 879d4002b98SHong Zhang case MAT_IGNORE_OFF_PROC_ENTRIES: 880d4002b98SHong Zhang case MAT_USE_HASH_TABLE: 8819371c9d4SSatish Balay case MAT_SORTED_FULL: PetscCall(PetscInfo(A, "Option %s ignored\n", MatOptions[op])); break; 882d4002b98SHong Zhang case MAT_SPD: 883d4002b98SHong Zhang case MAT_SYMMETRIC: 884d4002b98SHong Zhang case MAT_STRUCTURALLY_SYMMETRIC: 885d4002b98SHong Zhang case MAT_HERMITIAN: 886d4002b98SHong Zhang case MAT_SYMMETRY_ETERNAL: 887b94d7dedSBarry Smith case MAT_STRUCTURAL_SYMMETRY_ETERNAL: 888b94d7dedSBarry Smith case MAT_SPD_ETERNAL: 889d4002b98SHong Zhang /* These options are handled directly by MatSetOption() */ 890d4002b98SHong Zhang break; 8919371c9d4SSatish Balay default: SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "unknown option %d", op); 892d4002b98SHong Zhang } 893d4002b98SHong Zhang PetscFunctionReturn(0); 894d4002b98SHong Zhang } 895d4002b98SHong Zhang 8969371c9d4SSatish Balay PetscErrorCode MatGetDiagonal_SeqSELL(Mat A, Vec v) { 897d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 898d4002b98SHong Zhang PetscInt i, j, n, shift; 899d4002b98SHong Zhang PetscScalar *x, zero = 0.0; 900d4002b98SHong Zhang 901d4002b98SHong Zhang PetscFunctionBegin; 9029566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(v, &n)); 90308401ef6SPierre Jolivet PetscCheck(n == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Nonconforming matrix and vector"); 904d4002b98SHong Zhang 905d4002b98SHong Zhang if (A->factortype == MAT_FACTOR_ILU || A->factortype == MAT_FACTOR_LU) { 906d4002b98SHong Zhang PetscInt *diag = a->diag; 9079566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 908d4002b98SHong Zhang for (i = 0; i < n; i++) x[i] = 1.0 / a->val[diag[i]]; 9099566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 910d4002b98SHong Zhang PetscFunctionReturn(0); 911d4002b98SHong Zhang } 912d4002b98SHong Zhang 9139566063dSJacob Faibussowitsch PetscCall(VecSet(v, zero)); 9149566063dSJacob Faibussowitsch PetscCall(VecGetArray(v, &x)); 915d4002b98SHong Zhang for (i = 0; i < n; i++) { /* loop over rows */ 916d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 917d4002b98SHong Zhang x[i] = 0; 918d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 919d4002b98SHong Zhang if (a->colidx[shift + j * 8] == i) { 920d4002b98SHong Zhang x[i] = a->val[shift + j * 8]; 921d4002b98SHong Zhang break; 922d4002b98SHong Zhang } 923d4002b98SHong Zhang } 924d4002b98SHong Zhang } 9259566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(v, &x)); 926d4002b98SHong Zhang PetscFunctionReturn(0); 927d4002b98SHong Zhang } 928d4002b98SHong Zhang 9299371c9d4SSatish Balay PetscErrorCode MatDiagonalScale_SeqSELL(Mat A, Vec ll, Vec rr) { 930d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 931d4002b98SHong Zhang const PetscScalar *l, *r; 932d4002b98SHong Zhang PetscInt i, j, m, n, row; 933d4002b98SHong Zhang 934d4002b98SHong Zhang PetscFunctionBegin; 935d4002b98SHong Zhang if (ll) { 936d4002b98SHong Zhang /* The local size is used so that VecMPI can be passed to this routine 937d4002b98SHong Zhang by MatDiagonalScale_MPISELL */ 9389566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(ll, &m)); 93908401ef6SPierre Jolivet PetscCheck(m == A->rmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Left scaling vector wrong length"); 9409566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(ll, &l)); 941d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 942dab86139SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */ 943dab86139SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) { 944dab86139SHong Zhang if (row < (A->rmap->n & 0x07)) a->val[j] *= l[8 * i + row]; 945dab86139SHong Zhang } 946dab86139SHong Zhang } else { 947ad540459SPierre Jolivet for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) a->val[j] *= l[8 * i + row]; 948d4002b98SHong Zhang } 949dab86139SHong Zhang } 9509566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(ll, &l)); 9519566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 952d4002b98SHong Zhang } 953d4002b98SHong Zhang if (rr) { 9549566063dSJacob Faibussowitsch PetscCall(VecGetLocalSize(rr, &n)); 95508401ef6SPierre Jolivet PetscCheck(n == A->cmap->n, PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Right scaling vector wrong length"); 9569566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(rr, &r)); 957d4002b98SHong Zhang for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 958dab86139SHong Zhang if (i == a->totalslices - 1 && (A->rmap->n & 0x07)) { /* if last slice has padding rows */ 959dab86139SHong Zhang for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) { 960dab86139SHong Zhang if (row < (A->rmap->n & 0x07)) a->val[j] *= r[a->colidx[j]]; 961dab86139SHong Zhang } 962dab86139SHong Zhang } else { 963ad540459SPierre Jolivet for (j = a->sliidx[i]; j < a->sliidx[i + 1]; j++) a->val[j] *= r[a->colidx[j]]; 964d4002b98SHong Zhang } 965dab86139SHong Zhang } 9669566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(rr, &r)); 9679566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 968d4002b98SHong Zhang } 9699566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 970d4002b98SHong Zhang PetscFunctionReturn(0); 971d4002b98SHong Zhang } 972d4002b98SHong Zhang 9739371c9d4SSatish Balay PetscErrorCode MatGetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], PetscScalar v[]) { 974d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 975d4002b98SHong Zhang PetscInt *cp, i, k, low, high, t, row, col, l; 976d4002b98SHong Zhang PetscInt shift; 977d4002b98SHong Zhang MatScalar *vp; 978d4002b98SHong Zhang 979d4002b98SHong Zhang PetscFunctionBegin; 98068aafef3SStefano Zampini for (k = 0; k < m; k++) { /* loop over requested rows */ 981d4002b98SHong Zhang row = im[k]; 982d4002b98SHong Zhang if (row < 0) continue; 9836bdcaf15SBarry 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); 984d4002b98SHong Zhang shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */ 985d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 986d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 98768aafef3SStefano Zampini for (l = 0; l < n; l++) { /* loop over requested columns */ 988d4002b98SHong Zhang col = in[l]; 989d4002b98SHong Zhang if (col < 0) continue; 9906bdcaf15SBarry 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); 9919371c9d4SSatish Balay high = a->rlen[row]; 9929371c9d4SSatish Balay low = 0; /* assume unsorted */ 993d4002b98SHong Zhang while (high - low > 5) { 994d4002b98SHong Zhang t = (low + high) / 2; 995d4002b98SHong Zhang if (*(cp + t * 8) > col) high = t; 996d4002b98SHong Zhang else low = t; 997d4002b98SHong Zhang } 998d4002b98SHong Zhang for (i = low; i < high; i++) { 999d4002b98SHong Zhang if (*(cp + 8 * i) > col) break; 1000d4002b98SHong Zhang if (*(cp + 8 * i) == col) { 1001d4002b98SHong Zhang *v++ = *(vp + 8 * i); 1002d4002b98SHong Zhang goto finished; 1003d4002b98SHong Zhang } 1004d4002b98SHong Zhang } 1005d4002b98SHong Zhang *v++ = 0.0; 1006d4002b98SHong Zhang finished:; 1007d4002b98SHong Zhang } 1008d4002b98SHong Zhang } 1009d4002b98SHong Zhang PetscFunctionReturn(0); 1010d4002b98SHong Zhang } 1011d4002b98SHong Zhang 10129371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_ASCII(Mat A, PetscViewer viewer) { 1013d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1014d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1015d4002b98SHong Zhang const char *name; 1016d4002b98SHong Zhang PetscViewerFormat format; 1017d4002b98SHong Zhang 1018d4002b98SHong Zhang PetscFunctionBegin; 10199566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 1020d4002b98SHong Zhang if (format == PETSC_VIEWER_ASCII_MATLAB) { 1021d4002b98SHong Zhang PetscInt nofinalvalue = 0; 1022d4002b98SHong Zhang /* 1023d4002b98SHong Zhang if (m && ((a->i[m] == a->i[m-1]) || (a->j[a->nz-1] != A->cmap->n-1))) { 1024d4002b98SHong Zhang nofinalvalue = 1; 1025d4002b98SHong Zhang } 1026d4002b98SHong Zhang */ 10279566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 10289566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Size = %" PetscInt_FMT " %" PetscInt_FMT " \n", m, A->cmap->n)); 10299566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%% Nonzeros = %" PetscInt_FMT " \n", a->nz)); 1030d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10319566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",4);\n", a->nz + nofinalvalue)); 1032d4002b98SHong Zhang #else 10339566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = zeros(%" PetscInt_FMT ",3);\n", a->nz + nofinalvalue)); 1034d4002b98SHong Zhang #endif 10359566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "zzz = [\n")); 1036d4002b98SHong Zhang 1037d4002b98SHong Zhang for (i = 0; i < m; i++) { 1038d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1039d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1040d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10419566063dSJacob 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]))); 1042d4002b98SHong Zhang #else 10439566063dSJacob 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])); 1044d4002b98SHong Zhang #endif 1045d4002b98SHong Zhang } 1046d4002b98SHong Zhang } 1047d4002b98SHong Zhang /* 1048d4002b98SHong Zhang if (nofinalvalue) { 1049d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 10509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e %18.16e\n",m,A->cmap->n,0.,0.)); 1051d4002b98SHong Zhang #else 10529566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer,"%" PetscInt_FMT " %" PetscInt_FMT " %18.16e\n",m,A->cmap->n,0.0)); 1053d4002b98SHong Zhang #endif 1054d4002b98SHong Zhang } 1055d4002b98SHong Zhang */ 10569566063dSJacob Faibussowitsch PetscCall(PetscObjectGetName((PetscObject)A, &name)); 10579566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "];\n %s = spconvert(zzz);\n", name)); 10589566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1059d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_FACTOR_INFO || format == PETSC_VIEWER_ASCII_INFO) { 1060d4002b98SHong Zhang PetscFunctionReturn(0); 1061d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_COMMON) { 10629566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1063d4002b98SHong Zhang for (i = 0; i < m; i++) { 10649566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1065d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1066d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1067d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1068d4002b98SHong Zhang if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) { 10699566063dSJacob 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]))); 1070d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0 && PetscRealPart(a->val[shift + 8 * j]) != 0.0) { 10719566063dSJacob 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]))); 1072d4002b98SHong Zhang } else if (PetscRealPart(a->val[shift + 8 * j]) != 0.0) { 10739566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]))); 1074d4002b98SHong Zhang } 1075d4002b98SHong Zhang #else 10769566063dSJacob 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])); 1077d4002b98SHong Zhang #endif 1078d4002b98SHong Zhang } 10799566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1080d4002b98SHong Zhang } 10819566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1082d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_DENSE) { 1083d4002b98SHong Zhang PetscInt cnt = 0, jcnt; 1084d4002b98SHong Zhang PetscScalar value; 1085d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1086d4002b98SHong Zhang PetscBool realonly = PETSC_TRUE; 1087d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1088d4002b98SHong Zhang if (PetscImaginaryPart(a->val[i]) != 0.0) { 1089d4002b98SHong Zhang realonly = PETSC_FALSE; 1090d4002b98SHong Zhang break; 1091d4002b98SHong Zhang } 1092d4002b98SHong Zhang } 1093d4002b98SHong Zhang #endif 1094d4002b98SHong Zhang 10959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1096d4002b98SHong Zhang for (i = 0; i < m; i++) { 1097d4002b98SHong Zhang jcnt = 0; 1098d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1099d4002b98SHong Zhang for (j = 0; j < A->cmap->n; j++) { 1100d4002b98SHong Zhang if (jcnt < a->rlen[i] && j == a->colidx[shift + 8 * j]) { 1101d4002b98SHong Zhang value = a->val[cnt++]; 1102d4002b98SHong Zhang jcnt++; 1103d4002b98SHong Zhang } else { 1104d4002b98SHong Zhang value = 0.0; 1105d4002b98SHong Zhang } 1106d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1107d4002b98SHong Zhang if (realonly) { 11089566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)PetscRealPart(value))); 1109d4002b98SHong Zhang } else { 11109566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e+%7.5e i ", (double)PetscRealPart(value), (double)PetscImaginaryPart(value))); 1111d4002b98SHong Zhang } 1112d4002b98SHong Zhang #else 11139566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %7.5e ", (double)value)); 1114d4002b98SHong Zhang #endif 1115d4002b98SHong Zhang } 11169566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1117d4002b98SHong Zhang } 11189566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1119d4002b98SHong Zhang } else if (format == PETSC_VIEWER_ASCII_MATRIXMARKET) { 1120d4002b98SHong Zhang PetscInt fshift = 1; 11219566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1122d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11239566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate complex general\n")); 1124d4002b98SHong Zhang #else 11259566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%%%%MatrixMarket matrix coordinate real general\n")); 1126d4002b98SHong Zhang #endif 11279566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n", m, A->cmap->n, a->nz)); 1128d4002b98SHong Zhang for (i = 0; i < m; i++) { 1129d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1130d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1131d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 11329566063dSJacob 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]))); 1133d4002b98SHong Zhang #else 11349566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT " %" PetscInt_FMT " %g\n", i + fshift, a->colidx[shift + 8 * j] + fshift, (double)a->val[shift + 8 * j])); 1135d4002b98SHong Zhang #endif 1136d4002b98SHong Zhang } 1137d4002b98SHong Zhang } 11389566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 113968aafef3SStefano Zampini } else if (format == PETSC_VIEWER_NATIVE) { 114068aafef3SStefano Zampini for (i = 0; i < a->totalslices; i++) { /* loop over slices */ 114168aafef3SStefano Zampini PetscInt row; 11429566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "slice %" PetscInt_FMT ": %" PetscInt_FMT " %" PetscInt_FMT "\n", i, a->sliidx[i], a->sliidx[i + 1])); 114368aafef3SStefano Zampini for (j = a->sliidx[i], row = 0; j < a->sliidx[i + 1]; j++, row = ((row + 1) & 0x07)) { 114468aafef3SStefano Zampini #if defined(PETSC_USE_COMPLEX) 114568aafef3SStefano Zampini if (PetscImaginaryPart(a->val[j]) > 0.0) { 11469566063dSJacob 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]))); 114768aafef3SStefano Zampini } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 11489566063dSJacob 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]))); 114968aafef3SStefano Zampini } else { 11509566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)PetscRealPart(a->val[j]))); 115168aafef3SStefano Zampini } 115268aafef3SStefano Zampini #else 11539566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " %" PetscInt_FMT " %" PetscInt_FMT " %g\n", 8 * i + row, a->colidx[j], (double)a->val[j])); 115468aafef3SStefano Zampini #endif 115568aafef3SStefano Zampini } 115668aafef3SStefano Zampini } 1157d4002b98SHong Zhang } else { 11589566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_FALSE)); 1159d4002b98SHong Zhang if (A->factortype) { 1160d4002b98SHong Zhang for (i = 0; i < m; i++) { 1161d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 11629566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1163d4002b98SHong Zhang /* L part */ 1164d4002b98SHong Zhang for (j = shift; j < a->diag[i]; j += 8) { 1165d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1166d4002b98SHong Zhang if (PetscImaginaryPart(a->val[shift + 8 * j]) > 0.0) { 11679566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1168d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[shift + 8 * j]) < 0.0) { 11699566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1170d4002b98SHong Zhang } else { 11719566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1172d4002b98SHong Zhang } 1173d4002b98SHong Zhang #else 11749566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1175d4002b98SHong Zhang #endif 1176d4002b98SHong Zhang } 1177d4002b98SHong Zhang /* diagonal */ 1178d4002b98SHong Zhang j = a->diag[i]; 1179d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1180d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 11819566063dSJacob 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]))); 1182d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 11839566063dSJacob 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])))); 1184d4002b98SHong Zhang } else { 11859566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(1.0 / a->val[j]))); 1186d4002b98SHong Zhang } 1187d4002b98SHong Zhang #else 11889566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)(1.0 / a->val[j]))); 1189d4002b98SHong Zhang #endif 1190d4002b98SHong Zhang 1191d4002b98SHong Zhang /* U part */ 1192d4002b98SHong Zhang for (j = a->diag[i] + 1; j < shift + 8 * a->rlen[i]; j += 8) { 1193d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1194d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 11959566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g + %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)PetscImaginaryPart(a->val[j]))); 1196d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 11979566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g - %g i)", a->colidx[j], (double)PetscRealPart(a->val[j]), (double)(-PetscImaginaryPart(a->val[j])))); 1198d4002b98SHong Zhang } else { 11999566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)PetscRealPart(a->val[j]))); 1200d4002b98SHong Zhang } 1201d4002b98SHong Zhang #else 12029566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[j], (double)a->val[j])); 1203d4002b98SHong Zhang #endif 1204d4002b98SHong Zhang } 12059566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1206d4002b98SHong Zhang } 1207d4002b98SHong Zhang } else { 1208d4002b98SHong Zhang for (i = 0; i < m; i++) { 1209d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 12109566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "row %" PetscInt_FMT ":", i)); 1211d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1212d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 1213d4002b98SHong Zhang if (PetscImaginaryPart(a->val[j]) > 0.0) { 12149566063dSJacob 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]))); 1215d4002b98SHong Zhang } else if (PetscImaginaryPart(a->val[j]) < 0.0) { 12169566063dSJacob 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]))); 1217d4002b98SHong Zhang } else { 12189566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)PetscRealPart(a->val[shift + 8 * j]))); 1219d4002b98SHong Zhang } 1220d4002b98SHong Zhang #else 12219566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, " (%" PetscInt_FMT ", %g) ", a->colidx[shift + 8 * j], (double)a->val[shift + 8 * j])); 1222d4002b98SHong Zhang #endif 1223d4002b98SHong Zhang } 12249566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIPrintf(viewer, "\n")); 1225d4002b98SHong Zhang } 1226d4002b98SHong Zhang } 12279566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIUseTabs(viewer, PETSC_TRUE)); 1228d4002b98SHong Zhang } 12299566063dSJacob Faibussowitsch PetscCall(PetscViewerFlush(viewer)); 1230d4002b98SHong Zhang PetscFunctionReturn(0); 1231d4002b98SHong Zhang } 1232d4002b98SHong Zhang 1233d4002b98SHong Zhang #include <petscdraw.h> 12349371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_Draw_Zoom(PetscDraw draw, void *Aa) { 1235d4002b98SHong Zhang Mat A = (Mat)Aa; 1236d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1237d4002b98SHong Zhang PetscInt i, j, m = A->rmap->n, shift; 1238d4002b98SHong Zhang int color; 1239d4002b98SHong Zhang PetscReal xl, yl, xr, yr, x_l, x_r, y_l, y_r; 1240d4002b98SHong Zhang PetscViewer viewer; 1241d4002b98SHong Zhang PetscViewerFormat format; 1242d4002b98SHong Zhang 1243d4002b98SHong Zhang PetscFunctionBegin; 12449566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject)A, "Zoomviewer", (PetscObject *)&viewer)); 12459566063dSJacob Faibussowitsch PetscCall(PetscViewerGetFormat(viewer, &format)); 12469566063dSJacob Faibussowitsch PetscCall(PetscDrawGetCoordinates(draw, &xl, &yl, &xr, &yr)); 1247d4002b98SHong Zhang 1248d4002b98SHong Zhang /* loop over matrix elements drawing boxes */ 1249d4002b98SHong Zhang 1250d4002b98SHong Zhang if (format != PETSC_VIEWER_DRAW_CONTOUR) { 1251d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1252d4002b98SHong Zhang /* Blue for negative, Cyan for zero and Red for positive */ 1253d4002b98SHong Zhang color = PETSC_DRAW_BLUE; 1254d4002b98SHong Zhang for (i = 0; i < m; i++) { 1255d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 12569371c9d4SSatish Balay y_l = m - i - 1.0; 12579371c9d4SSatish Balay y_r = y_l + 1.0; 1258d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 12599371c9d4SSatish Balay x_l = a->colidx[shift + j * 8]; 12609371c9d4SSatish Balay x_r = x_l + 1.0; 1261d4002b98SHong Zhang if (PetscRealPart(a->val[shift + 8 * j]) >= 0.) continue; 12629566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1263d4002b98SHong Zhang } 1264d4002b98SHong Zhang } 1265d4002b98SHong Zhang color = PETSC_DRAW_CYAN; 1266d4002b98SHong Zhang for (i = 0; i < m; i++) { 1267d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 12689371c9d4SSatish Balay y_l = m - i - 1.0; 12699371c9d4SSatish Balay y_r = y_l + 1.0; 1270d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 12719371c9d4SSatish Balay x_l = a->colidx[shift + j * 8]; 12729371c9d4SSatish Balay x_r = x_l + 1.0; 1273d4002b98SHong Zhang if (a->val[shift + 8 * j] != 0.) continue; 12749566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1275d4002b98SHong Zhang } 1276d4002b98SHong Zhang } 1277d4002b98SHong Zhang color = PETSC_DRAW_RED; 1278d4002b98SHong Zhang for (i = 0; i < m; i++) { 1279d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 12809371c9d4SSatish Balay y_l = m - i - 1.0; 12819371c9d4SSatish Balay y_r = y_l + 1.0; 1282d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 12839371c9d4SSatish Balay x_l = a->colidx[shift + j * 8]; 12849371c9d4SSatish Balay x_r = x_l + 1.0; 1285d4002b98SHong Zhang if (PetscRealPart(a->val[shift + 8 * j]) <= 0.) continue; 12869566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1287d4002b98SHong Zhang } 1288d4002b98SHong Zhang } 1289d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1290d4002b98SHong Zhang } else { 1291d4002b98SHong Zhang /* use contour shading to indicate magnitude of values */ 1292d4002b98SHong Zhang /* first determine max of all nonzero values */ 1293d4002b98SHong Zhang PetscReal minv = 0.0, maxv = 0.0; 1294d4002b98SHong Zhang PetscInt count = 0; 1295d4002b98SHong Zhang PetscDraw popup; 1296d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) { 1297d4002b98SHong Zhang if (PetscAbsScalar(a->val[i]) > maxv) maxv = PetscAbsScalar(a->val[i]); 1298d4002b98SHong Zhang } 1299d4002b98SHong Zhang if (minv >= maxv) maxv = minv + PETSC_SMALL; 13009566063dSJacob Faibussowitsch PetscCall(PetscDrawGetPopup(draw, &popup)); 13019566063dSJacob Faibussowitsch PetscCall(PetscDrawScalePopup(popup, minv, maxv)); 1302d4002b98SHong Zhang 1303d0609cedSBarry Smith PetscDrawCollectiveBegin(draw); 1304d4002b98SHong Zhang for (i = 0; i < m; i++) { 1305d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); 1306d4002b98SHong Zhang y_l = m - i - 1.0; 1307d4002b98SHong Zhang y_r = y_l + 1.0; 1308d4002b98SHong Zhang for (j = 0; j < a->rlen[i]; j++) { 1309d4002b98SHong Zhang x_l = a->colidx[shift + j * 8]; 1310d4002b98SHong Zhang x_r = x_l + 1.0; 1311d4002b98SHong Zhang color = PetscDrawRealToColor(PetscAbsScalar(a->val[count]), minv, maxv); 13129566063dSJacob Faibussowitsch PetscCall(PetscDrawRectangle(draw, x_l, y_l, x_r, y_r, color, color, color, color)); 1313d4002b98SHong Zhang count++; 1314d4002b98SHong Zhang } 1315d4002b98SHong Zhang } 1316d0609cedSBarry Smith PetscDrawCollectiveEnd(draw); 1317d4002b98SHong Zhang } 1318d4002b98SHong Zhang PetscFunctionReturn(0); 1319d4002b98SHong Zhang } 1320d4002b98SHong Zhang 1321d4002b98SHong Zhang #include <petscdraw.h> 13229371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL_Draw(Mat A, PetscViewer viewer) { 1323d4002b98SHong Zhang PetscDraw draw; 1324d4002b98SHong Zhang PetscReal xr, yr, xl, yl, h, w; 1325d4002b98SHong Zhang PetscBool isnull; 1326d4002b98SHong Zhang 1327d4002b98SHong Zhang PetscFunctionBegin; 13289566063dSJacob Faibussowitsch PetscCall(PetscViewerDrawGetDraw(viewer, 0, &draw)); 13299566063dSJacob Faibussowitsch PetscCall(PetscDrawIsNull(draw, &isnull)); 1330d4002b98SHong Zhang if (isnull) PetscFunctionReturn(0); 1331d4002b98SHong Zhang 13329371c9d4SSatish Balay xr = A->cmap->n; 13339371c9d4SSatish Balay yr = A->rmap->n; 13349371c9d4SSatish Balay h = yr / 10.0; 13359371c9d4SSatish Balay w = xr / 10.0; 13369371c9d4SSatish Balay xr += w; 13379371c9d4SSatish Balay yr += h; 13389371c9d4SSatish Balay xl = -w; 13399371c9d4SSatish Balay yl = -h; 13409566063dSJacob Faibussowitsch PetscCall(PetscDrawSetCoordinates(draw, xl, yl, xr, yr)); 13419566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", (PetscObject)viewer)); 13429566063dSJacob Faibussowitsch PetscCall(PetscDrawZoom(draw, MatView_SeqSELL_Draw_Zoom, A)); 13439566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject)A, "Zoomviewer", NULL)); 13449566063dSJacob Faibussowitsch PetscCall(PetscDrawSave(draw)); 1345d4002b98SHong Zhang PetscFunctionReturn(0); 1346d4002b98SHong Zhang } 1347d4002b98SHong Zhang 13489371c9d4SSatish Balay PetscErrorCode MatView_SeqSELL(Mat A, PetscViewer viewer) { 1349d4002b98SHong Zhang PetscBool iascii, isbinary, isdraw; 1350d4002b98SHong Zhang 1351d4002b98SHong Zhang PetscFunctionBegin; 13529566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii)); 13539566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERBINARY, &isbinary)); 13549566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERDRAW, &isdraw)); 1355d4002b98SHong Zhang if (iascii) { 13569566063dSJacob Faibussowitsch PetscCall(MatView_SeqSELL_ASCII(A, viewer)); 1357d4002b98SHong Zhang } else if (isbinary) { 13589566063dSJacob Faibussowitsch /* PetscCall(MatView_SeqSELL_Binary(A,viewer)); */ 13591baa6e33SBarry Smith } else if (isdraw) PetscCall(MatView_SeqSELL_Draw(A, viewer)); 1360d4002b98SHong Zhang PetscFunctionReturn(0); 1361d4002b98SHong Zhang } 1362d4002b98SHong Zhang 13639371c9d4SSatish Balay PetscErrorCode MatAssemblyEnd_SeqSELL(Mat A, MatAssemblyType mode) { 1364d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1365d4002b98SHong Zhang PetscInt i, shift, row_in_slice, row, nrow, *cp, lastcol, j, k; 1366d4002b98SHong Zhang MatScalar *vp; 1367d4002b98SHong Zhang 1368d4002b98SHong Zhang PetscFunctionBegin; 1369d4002b98SHong Zhang if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(0); 1370d4002b98SHong Zhang /* To do: compress out the unused elements */ 13719566063dSJacob Faibussowitsch PetscCall(MatMarkDiagonal_SeqSELL(A)); 13729566063dSJacob 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)); 13739566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Number of mallocs during MatSetValues() is %" PetscInt_FMT "\n", a->reallocs)); 13749566063dSJacob Faibussowitsch PetscCall(PetscInfo(A, "Maximum nonzeros in any row is %" PetscInt_FMT "\n", a->rlenmax)); 1375d4002b98SHong 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 */ 1376d4002b98SHong Zhang for (i = 0; i < a->totalslices; ++i) { 1377d4002b98SHong Zhang shift = a->sliidx[i]; /* starting index of the slice */ 1378d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the column indices of the slice */ 1379d4002b98SHong Zhang vp = a->val + shift; /* pointer to the nonzero values of the slice */ 1380d4002b98SHong Zhang for (row_in_slice = 0; row_in_slice < 8; ++row_in_slice) { /* loop over rows in the slice */ 1381d4002b98SHong Zhang row = 8 * i + row_in_slice; 1382d4002b98SHong Zhang nrow = a->rlen[row]; /* number of nonzeros in row */ 1383d4002b98SHong Zhang /* 1384d4002b98SHong Zhang Search for the nearest nonzero. Normally setting the index to zero may cause extra communication. 1385d4002b98SHong Zhang But if the entire slice are empty, it is fine to use 0 since the index will not be loaded. 1386d4002b98SHong Zhang */ 1387d4002b98SHong Zhang lastcol = 0; 1388d4002b98SHong Zhang if (nrow > 0) { /* nonempty row */ 1389d4002b98SHong Zhang lastcol = cp[8 * (nrow - 1) + row_in_slice]; /* use the index from the last nonzero at current row */ 1390d4002b98SHong Zhang } else if (!row_in_slice) { /* first row of the currect slice is empty */ 1391d4002b98SHong Zhang for (j = 1; j < 8; j++) { 1392d4002b98SHong Zhang if (a->rlen[8 * i + j]) { 1393d4002b98SHong Zhang lastcol = cp[j]; 1394d4002b98SHong Zhang break; 1395d4002b98SHong Zhang } 1396d4002b98SHong Zhang } 1397d4002b98SHong Zhang } else { 1398d4002b98SHong Zhang if (a->sliidx[i + 1] != shift) lastcol = cp[row_in_slice - 1]; /* use the index from the previous row */ 1399d4002b98SHong Zhang } 1400d4002b98SHong Zhang 1401d4002b98SHong Zhang for (k = nrow; k < (a->sliidx[i + 1] - shift) / 8; ++k) { 1402d4002b98SHong Zhang cp[8 * k + row_in_slice] = lastcol; 1403d4002b98SHong Zhang vp[8 * k + row_in_slice] = (MatScalar)0; 1404d4002b98SHong Zhang } 1405d4002b98SHong Zhang } 1406d4002b98SHong Zhang } 1407d4002b98SHong Zhang 1408d4002b98SHong Zhang A->info.mallocs += a->reallocs; 1409d4002b98SHong Zhang a->reallocs = 0; 1410d4002b98SHong Zhang 14119566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1412d4002b98SHong Zhang PetscFunctionReturn(0); 1413d4002b98SHong Zhang } 1414d4002b98SHong Zhang 14159371c9d4SSatish Balay PetscErrorCode MatGetInfo_SeqSELL(Mat A, MatInfoType flag, MatInfo *info) { 1416d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1417d4002b98SHong Zhang 1418d4002b98SHong Zhang PetscFunctionBegin; 1419d4002b98SHong Zhang info->block_size = 1.0; 14203966268fSBarry Smith info->nz_allocated = a->maxallocmat; 14213966268fSBarry Smith info->nz_used = a->sliidx[a->totalslices]; /* include padding zeros */ 14223966268fSBarry Smith info->nz_unneeded = (a->maxallocmat - a->sliidx[a->totalslices]); 14233966268fSBarry Smith info->assemblies = A->num_ass; 14243966268fSBarry Smith info->mallocs = A->info.mallocs; 1425*4dfa11a4SJacob Faibussowitsch info->memory = 0; /* REVIEW ME */ 1426d4002b98SHong Zhang if (A->factortype) { 1427d4002b98SHong Zhang info->fill_ratio_given = A->info.fill_ratio_given; 1428d4002b98SHong Zhang info->fill_ratio_needed = A->info.fill_ratio_needed; 1429d4002b98SHong Zhang info->factor_mallocs = A->info.factor_mallocs; 1430d4002b98SHong Zhang } else { 1431d4002b98SHong Zhang info->fill_ratio_given = 0; 1432d4002b98SHong Zhang info->fill_ratio_needed = 0; 1433d4002b98SHong Zhang info->factor_mallocs = 0; 1434d4002b98SHong Zhang } 1435d4002b98SHong Zhang PetscFunctionReturn(0); 1436d4002b98SHong Zhang } 1437d4002b98SHong Zhang 14389371c9d4SSatish Balay PetscErrorCode MatSetValues_SeqSELL(Mat A, PetscInt m, const PetscInt im[], PetscInt n, const PetscInt in[], const PetscScalar v[], InsertMode is) { 1439d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1440d4002b98SHong Zhang PetscInt shift, i, k, l, low, high, t, ii, row, col, nrow; 1441d4002b98SHong Zhang PetscInt *cp, nonew = a->nonew, lastcol = -1; 1442d4002b98SHong Zhang MatScalar *vp, value; 1443d4002b98SHong Zhang 1444d4002b98SHong Zhang PetscFunctionBegin; 1445d4002b98SHong Zhang for (k = 0; k < m; k++) { /* loop over added rows */ 1446d4002b98SHong Zhang row = im[k]; 1447d4002b98SHong Zhang if (row < 0) continue; 14486bdcaf15SBarry 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); 1449d4002b98SHong Zhang shift = a->sliidx[row >> 3] + (row & 0x07); /* starting index of the row */ 1450d4002b98SHong Zhang cp = a->colidx + shift; /* pointer to the row */ 1451d4002b98SHong Zhang vp = a->val + shift; /* pointer to the row */ 1452d4002b98SHong Zhang nrow = a->rlen[row]; 1453d4002b98SHong Zhang low = 0; 1454d4002b98SHong Zhang high = nrow; 1455d4002b98SHong Zhang 1456d4002b98SHong Zhang for (l = 0; l < n; l++) { /* loop over added columns */ 1457d4002b98SHong Zhang col = in[l]; 1458d4002b98SHong Zhang if (col < 0) continue; 14596bdcaf15SBarry 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); 1460d4002b98SHong Zhang if (a->roworiented) { 1461d4002b98SHong Zhang value = v[l + k * n]; 1462d4002b98SHong Zhang } else { 1463d4002b98SHong Zhang value = v[k + l * m]; 1464d4002b98SHong Zhang } 1465d4002b98SHong Zhang if ((value == 0.0 && a->ignorezeroentries) && (is == ADD_VALUES)) continue; 1466d4002b98SHong Zhang 1467ed73aabaSBarry Smith /* search in this row for the specified column, i indicates the column to be set */ 1468d4002b98SHong Zhang if (col <= lastcol) low = 0; 1469d4002b98SHong Zhang else high = nrow; 1470d4002b98SHong Zhang lastcol = col; 1471d4002b98SHong Zhang while (high - low > 5) { 1472d4002b98SHong Zhang t = (low + high) / 2; 1473d4002b98SHong Zhang if (*(cp + t * 8) > col) high = t; 1474d4002b98SHong Zhang else low = t; 1475d4002b98SHong Zhang } 1476d4002b98SHong Zhang for (i = low; i < high; i++) { 1477d4002b98SHong Zhang if (*(cp + i * 8) > col) break; 1478d4002b98SHong Zhang if (*(cp + i * 8) == col) { 1479d4002b98SHong Zhang if (is == ADD_VALUES) *(vp + i * 8) += value; 1480d4002b98SHong Zhang else *(vp + i * 8) = value; 1481d4002b98SHong Zhang low = i + 1; 1482d4002b98SHong Zhang goto noinsert; 1483d4002b98SHong Zhang } 1484d4002b98SHong Zhang } 1485d4002b98SHong Zhang if (value == 0.0 && a->ignorezeroentries) goto noinsert; 1486d4002b98SHong Zhang if (nonew == 1) goto noinsert; 148708401ef6SPierre Jolivet PetscCheck(nonew != -1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Inserting a new nonzero (%" PetscInt_FMT ", %" PetscInt_FMT ") in the matrix", row, col); 1488d4002b98SHong Zhang /* If the current row length exceeds the slice width (e.g. nrow==slice_width), allocate a new space, otherwise do nothing */ 1489d4002b98SHong Zhang MatSeqXSELLReallocateSELL(A, A->rmap->n, 1, nrow, a->sliidx, row / 8, row, col, a->colidx, a->val, cp, vp, nonew, MatScalar); 1490d4002b98SHong Zhang /* add the new nonzero to the high position, shift the remaining elements in current row to the right by one slot */ 1491d4002b98SHong Zhang for (ii = nrow - 1; ii >= i; ii--) { 1492d4002b98SHong Zhang *(cp + (ii + 1) * 8) = *(cp + ii * 8); 1493d4002b98SHong Zhang *(vp + (ii + 1) * 8) = *(vp + ii * 8); 1494d4002b98SHong Zhang } 1495d4002b98SHong Zhang a->rlen[row]++; 1496d4002b98SHong Zhang *(cp + i * 8) = col; 1497d4002b98SHong Zhang *(vp + i * 8) = value; 1498d4002b98SHong Zhang a->nz++; 1499d4002b98SHong Zhang A->nonzerostate++; 15009371c9d4SSatish Balay low = i + 1; 15019371c9d4SSatish Balay high++; 15029371c9d4SSatish Balay nrow++; 1503d4002b98SHong Zhang noinsert:; 1504d4002b98SHong Zhang } 1505d4002b98SHong Zhang a->rlen[row] = nrow; 1506d4002b98SHong Zhang } 1507d4002b98SHong Zhang PetscFunctionReturn(0); 1508d4002b98SHong Zhang } 1509d4002b98SHong Zhang 15109371c9d4SSatish Balay PetscErrorCode MatCopy_SeqSELL(Mat A, Mat B, MatStructure str) { 1511d4002b98SHong Zhang PetscFunctionBegin; 1512d4002b98SHong Zhang /* If the two matrices have the same copy implementation, use fast copy. */ 1513d4002b98SHong Zhang if (str == SAME_NONZERO_PATTERN && (A->ops->copy == B->ops->copy)) { 1514d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1515d4002b98SHong Zhang Mat_SeqSELL *b = (Mat_SeqSELL *)B->data; 1516d4002b98SHong Zhang 151708401ef6SPierre 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"); 15189566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(b->val, a->val, a->sliidx[a->totalslices])); 1519d4002b98SHong Zhang } else { 15209566063dSJacob Faibussowitsch PetscCall(MatCopy_Basic(A, B, str)); 1521d4002b98SHong Zhang } 1522d4002b98SHong Zhang PetscFunctionReturn(0); 1523d4002b98SHong Zhang } 1524d4002b98SHong Zhang 15259371c9d4SSatish Balay PetscErrorCode MatSetUp_SeqSELL(Mat A) { 1526d4002b98SHong Zhang PetscFunctionBegin; 15279566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation(A, PETSC_DEFAULT, NULL)); 1528d4002b98SHong Zhang PetscFunctionReturn(0); 1529d4002b98SHong Zhang } 1530d4002b98SHong Zhang 15319371c9d4SSatish Balay PetscErrorCode MatSeqSELLGetArray_SeqSELL(Mat A, PetscScalar *array[]) { 1532d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1533d4002b98SHong Zhang 1534d4002b98SHong Zhang PetscFunctionBegin; 1535d4002b98SHong Zhang *array = a->val; 1536d4002b98SHong Zhang PetscFunctionReturn(0); 1537d4002b98SHong Zhang } 1538d4002b98SHong Zhang 15399371c9d4SSatish Balay PetscErrorCode MatSeqSELLRestoreArray_SeqSELL(Mat A, PetscScalar *array[]) { 1540d4002b98SHong Zhang PetscFunctionBegin; 1541d4002b98SHong Zhang PetscFunctionReturn(0); 1542d4002b98SHong Zhang } 1543d4002b98SHong Zhang 15449371c9d4SSatish Balay PetscErrorCode MatRealPart_SeqSELL(Mat A) { 1545d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1546d4002b98SHong Zhang PetscInt i; 1547d4002b98SHong Zhang MatScalar *aval = a->val; 1548d4002b98SHong Zhang 1549d4002b98SHong Zhang PetscFunctionBegin; 1550d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscRealPart(aval[i]); 1551d4002b98SHong Zhang PetscFunctionReturn(0); 1552d4002b98SHong Zhang } 1553d4002b98SHong Zhang 15549371c9d4SSatish Balay PetscErrorCode MatImaginaryPart_SeqSELL(Mat A) { 1555d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1556d4002b98SHong Zhang PetscInt i; 1557d4002b98SHong Zhang MatScalar *aval = a->val; 1558d4002b98SHong Zhang 1559d4002b98SHong Zhang PetscFunctionBegin; 1560d4002b98SHong Zhang for (i = 0; i < a->sliidx[a->totalslices]; i++) aval[i] = PetscImaginaryPart(aval[i]); 15619566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(A)); 1562d4002b98SHong Zhang PetscFunctionReturn(0); 1563d4002b98SHong Zhang } 1564d4002b98SHong Zhang 15659371c9d4SSatish Balay PetscErrorCode MatScale_SeqSELL(Mat inA, PetscScalar alpha) { 1566d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)inA->data; 1567d4002b98SHong Zhang MatScalar *aval = a->val; 1568d4002b98SHong Zhang PetscScalar oalpha = alpha; 1569d4002b98SHong Zhang PetscBLASInt one = 1, size; 1570d4002b98SHong Zhang 1571d4002b98SHong Zhang PetscFunctionBegin; 15729566063dSJacob Faibussowitsch PetscCall(PetscBLASIntCast(a->sliidx[a->totalslices], &size)); 1573792fecdfSBarry Smith PetscCallBLAS("BLASscal", BLASscal_(&size, &oalpha, aval, &one)); 15749566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 15759566063dSJacob Faibussowitsch PetscCall(MatSeqSELLInvalidateDiagonal(inA)); 1576d4002b98SHong Zhang PetscFunctionReturn(0); 1577d4002b98SHong Zhang } 1578d4002b98SHong Zhang 15799371c9d4SSatish Balay PetscErrorCode MatShift_SeqSELL(Mat Y, PetscScalar a) { 1580d4002b98SHong Zhang Mat_SeqSELL *y = (Mat_SeqSELL *)Y->data; 1581d4002b98SHong Zhang 1582d4002b98SHong Zhang PetscFunctionBegin; 158348a46eb9SPierre Jolivet if (!Y->preallocated || !y->nz) PetscCall(MatSeqSELLSetPreallocation(Y, 1, NULL)); 15849566063dSJacob Faibussowitsch PetscCall(MatShift_Basic(Y, a)); 1585d4002b98SHong Zhang PetscFunctionReturn(0); 1586d4002b98SHong Zhang } 1587d4002b98SHong Zhang 15889371c9d4SSatish Balay PetscErrorCode MatSOR_SeqSELL(Mat A, Vec bb, PetscReal omega, MatSORType flag, PetscReal fshift, PetscInt its, PetscInt lits, Vec xx) { 1589d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 1590d4002b98SHong Zhang PetscScalar *x, sum, *t; 1591f4259b30SLisandro Dalcin const MatScalar *idiag = NULL, *mdiag; 1592d4002b98SHong Zhang const PetscScalar *b, *xb; 1593d4002b98SHong Zhang PetscInt n, m = A->rmap->n, i, j, shift; 1594d4002b98SHong Zhang const PetscInt *diag; 1595d4002b98SHong Zhang 1596d4002b98SHong Zhang PetscFunctionBegin; 1597d4002b98SHong Zhang its = its * lits; 1598d4002b98SHong Zhang 1599d4002b98SHong Zhang if (fshift != a->fshift || omega != a->omega) a->idiagvalid = PETSC_FALSE; /* must recompute idiag[] */ 16009566063dSJacob Faibussowitsch if (!a->idiagvalid) PetscCall(MatInvertDiagonal_SeqSELL(A, omega, fshift)); 1601d4002b98SHong Zhang a->fshift = fshift; 1602d4002b98SHong Zhang a->omega = omega; 1603d4002b98SHong Zhang 1604d4002b98SHong Zhang diag = a->diag; 1605d4002b98SHong Zhang t = a->ssor_work; 1606d4002b98SHong Zhang idiag = a->idiag; 1607d4002b98SHong Zhang mdiag = a->mdiag; 1608d4002b98SHong Zhang 16099566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx, &x)); 16109566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(bb, &b)); 1611d4002b98SHong Zhang /* We count flops by assuming the upper triangular and lower triangular parts have the same number of nonzeros */ 161208401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_UPPER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_UPPER is not implemented"); 161308401ef6SPierre Jolivet PetscCheck(flag != SOR_APPLY_LOWER, PETSC_COMM_SELF, PETSC_ERR_SUP, "SOR_APPLY_LOWER is not implemented"); 1614aed4548fSBarry Smith PetscCheck(!(flag & SOR_EISENSTAT), PETSC_COMM_SELF, PETSC_ERR_SUP, "No support yet for Eisenstat"); 1615d4002b98SHong Zhang 1616d4002b98SHong Zhang if (flag & SOR_ZERO_INITIAL_GUESS) { 1617d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1618d4002b98SHong Zhang for (i = 0; i < m; i++) { 1619d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1620d4002b98SHong Zhang sum = b[i]; 1621d4002b98SHong Zhang n = (diag[i] - shift) / 8; 1622d4002b98SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]]; 1623d4002b98SHong Zhang t[i] = sum; 1624d4002b98SHong Zhang x[i] = sum * idiag[i]; 1625d4002b98SHong Zhang } 1626d4002b98SHong Zhang xb = t; 16279566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); 1628d4002b98SHong Zhang } else xb = b; 1629d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1630d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 1631d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1632d4002b98SHong Zhang sum = xb[i]; 1633d4002b98SHong Zhang n = a->rlen[i] - (diag[i] - shift) / 8 - 1; 1634d4002b98SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]]; 1635d4002b98SHong Zhang if (xb == b) { 1636d4002b98SHong Zhang x[i] = sum * idiag[i]; 1637d4002b98SHong Zhang } else { 1638d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1639d4002b98SHong Zhang } 1640d4002b98SHong Zhang } 16419566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1642d4002b98SHong Zhang } 1643d4002b98SHong Zhang its--; 1644d4002b98SHong Zhang } 1645d4002b98SHong Zhang while (its--) { 1646d4002b98SHong Zhang if ((flag & SOR_FORWARD_SWEEP) || (flag & SOR_LOCAL_FORWARD_SWEEP)) { 1647d4002b98SHong Zhang for (i = 0; i < m; i++) { 1648d4002b98SHong Zhang /* lower */ 1649d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1650d4002b98SHong Zhang sum = b[i]; 1651d4002b98SHong Zhang n = (diag[i] - shift) / 8; 1652d4002b98SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]]; 1653d4002b98SHong Zhang t[i] = sum; /* save application of the lower-triangular part */ 1654d4002b98SHong Zhang /* upper */ 1655d4002b98SHong Zhang n = a->rlen[i] - (diag[i] - shift) / 8 - 1; 1656d4002b98SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]]; 1657d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1658d4002b98SHong Zhang } 1659d4002b98SHong Zhang xb = t; 16609566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1661d4002b98SHong Zhang } else xb = b; 1662d4002b98SHong Zhang if ((flag & SOR_BACKWARD_SWEEP) || (flag & SOR_LOCAL_BACKWARD_SWEEP)) { 1663d4002b98SHong Zhang for (i = m - 1; i >= 0; i--) { 1664d4002b98SHong Zhang shift = a->sliidx[i >> 3] + (i & 0x07); /* starting index of the row i */ 1665d4002b98SHong Zhang sum = xb[i]; 1666d4002b98SHong Zhang if (xb == b) { 1667d4002b98SHong Zhang /* whole matrix (no checkpointing available) */ 1668d4002b98SHong Zhang n = a->rlen[i]; 1669d4002b98SHong Zhang for (j = 0; j < n; j++) sum -= a->val[shift + j * 8] * x[a->colidx[shift + j * 8]]; 1670d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + (sum + mdiag[i] * x[i]) * idiag[i]; 1671d4002b98SHong Zhang } else { /* lower-triangular part has been saved, so only apply upper-triangular */ 1672d4002b98SHong Zhang n = a->rlen[i] - (diag[i] - shift) / 8 - 1; 1673d4002b98SHong Zhang for (j = 1; j <= n; j++) sum -= a->val[diag[i] + j * 8] * x[a->colidx[diag[i] + j * 8]]; 1674d4002b98SHong Zhang x[i] = (1. - omega) * x[i] + sum * idiag[i]; /* omega in idiag */ 1675d4002b98SHong Zhang } 1676d4002b98SHong Zhang } 1677d4002b98SHong Zhang if (xb == b) { 16789566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0 * a->nz)); 1679d4002b98SHong Zhang } else { 16809566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(a->nz)); /* assumes 1/2 in upper */ 1681d4002b98SHong Zhang } 1682d4002b98SHong Zhang } 1683d4002b98SHong Zhang } 16849566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx, &x)); 16859566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(bb, &b)); 1686d4002b98SHong Zhang PetscFunctionReturn(0); 1687d4002b98SHong Zhang } 1688d4002b98SHong Zhang 1689d4002b98SHong Zhang /* -------------------------------------------------------------------*/ 1690d4002b98SHong Zhang static struct _MatOps MatOps_Values = {MatSetValues_SeqSELL, 16916108893eSStefano Zampini MatGetRow_SeqSELL, 16926108893eSStefano Zampini MatRestoreRow_SeqSELL, 1693d4002b98SHong Zhang MatMult_SeqSELL, 1694d4002b98SHong Zhang /* 4*/ MatMultAdd_SeqSELL, 1695d4002b98SHong Zhang MatMultTranspose_SeqSELL, 1696d4002b98SHong Zhang MatMultTransposeAdd_SeqSELL, 1697f4259b30SLisandro Dalcin NULL, 1698f4259b30SLisandro Dalcin NULL, 1699f4259b30SLisandro Dalcin NULL, 1700f4259b30SLisandro Dalcin /* 10*/ NULL, 1701f4259b30SLisandro Dalcin NULL, 1702f4259b30SLisandro Dalcin NULL, 1703d4002b98SHong Zhang MatSOR_SeqSELL, 1704f4259b30SLisandro Dalcin NULL, 1705d4002b98SHong Zhang /* 15*/ MatGetInfo_SeqSELL, 1706d4002b98SHong Zhang MatEqual_SeqSELL, 1707d4002b98SHong Zhang MatGetDiagonal_SeqSELL, 1708d4002b98SHong Zhang MatDiagonalScale_SeqSELL, 1709f4259b30SLisandro Dalcin NULL, 1710f4259b30SLisandro Dalcin /* 20*/ NULL, 1711d4002b98SHong Zhang MatAssemblyEnd_SeqSELL, 1712d4002b98SHong Zhang MatSetOption_SeqSELL, 1713d4002b98SHong Zhang MatZeroEntries_SeqSELL, 1714f4259b30SLisandro Dalcin /* 24*/ NULL, 1715f4259b30SLisandro Dalcin NULL, 1716f4259b30SLisandro Dalcin NULL, 1717f4259b30SLisandro Dalcin NULL, 1718f4259b30SLisandro Dalcin NULL, 1719d4002b98SHong Zhang /* 29*/ MatSetUp_SeqSELL, 1720f4259b30SLisandro Dalcin NULL, 1721f4259b30SLisandro Dalcin NULL, 1722f4259b30SLisandro Dalcin NULL, 1723f4259b30SLisandro Dalcin NULL, 1724d4002b98SHong Zhang /* 34*/ MatDuplicate_SeqSELL, 1725f4259b30SLisandro Dalcin NULL, 1726f4259b30SLisandro Dalcin NULL, 1727f4259b30SLisandro Dalcin NULL, 1728f4259b30SLisandro Dalcin NULL, 1729f4259b30SLisandro Dalcin /* 39*/ NULL, 1730f4259b30SLisandro Dalcin NULL, 1731f4259b30SLisandro Dalcin NULL, 1732d4002b98SHong Zhang MatGetValues_SeqSELL, 1733d4002b98SHong Zhang MatCopy_SeqSELL, 1734f4259b30SLisandro Dalcin /* 44*/ NULL, 1735d4002b98SHong Zhang MatScale_SeqSELL, 1736d4002b98SHong Zhang MatShift_SeqSELL, 1737f4259b30SLisandro Dalcin NULL, 1738f4259b30SLisandro Dalcin NULL, 1739f4259b30SLisandro Dalcin /* 49*/ NULL, 1740f4259b30SLisandro Dalcin NULL, 1741f4259b30SLisandro Dalcin NULL, 1742f4259b30SLisandro Dalcin NULL, 1743f4259b30SLisandro Dalcin NULL, 1744d4002b98SHong Zhang /* 54*/ MatFDColoringCreate_SeqXAIJ, 1745f4259b30SLisandro Dalcin NULL, 1746f4259b30SLisandro Dalcin NULL, 1747f4259b30SLisandro Dalcin NULL, 1748f4259b30SLisandro Dalcin NULL, 1749f4259b30SLisandro Dalcin /* 59*/ NULL, 1750d4002b98SHong Zhang MatDestroy_SeqSELL, 1751d4002b98SHong Zhang MatView_SeqSELL, 1752f4259b30SLisandro Dalcin NULL, 1753f4259b30SLisandro Dalcin NULL, 1754f4259b30SLisandro Dalcin /* 64*/ NULL, 1755f4259b30SLisandro Dalcin NULL, 1756f4259b30SLisandro Dalcin NULL, 1757f4259b30SLisandro Dalcin NULL, 1758f4259b30SLisandro Dalcin NULL, 1759f4259b30SLisandro Dalcin /* 69*/ NULL, 1760f4259b30SLisandro Dalcin NULL, 1761f4259b30SLisandro Dalcin NULL, 1762f4259b30SLisandro Dalcin NULL, 1763f4259b30SLisandro Dalcin NULL, 1764f4259b30SLisandro Dalcin /* 74*/ NULL, 1765d4002b98SHong Zhang MatFDColoringApply_AIJ, /* reuse the FDColoring function for AIJ */ 1766f4259b30SLisandro Dalcin NULL, 1767f4259b30SLisandro Dalcin NULL, 1768f4259b30SLisandro Dalcin NULL, 1769f4259b30SLisandro Dalcin /* 79*/ NULL, 1770f4259b30SLisandro Dalcin NULL, 1771f4259b30SLisandro Dalcin NULL, 1772f4259b30SLisandro Dalcin NULL, 1773f4259b30SLisandro Dalcin NULL, 1774f4259b30SLisandro Dalcin /* 84*/ NULL, 1775f4259b30SLisandro Dalcin NULL, 1776f4259b30SLisandro Dalcin NULL, 1777f4259b30SLisandro Dalcin NULL, 1778f4259b30SLisandro Dalcin NULL, 1779f4259b30SLisandro Dalcin /* 89*/ NULL, 1780f4259b30SLisandro Dalcin NULL, 1781f4259b30SLisandro Dalcin NULL, 1782f4259b30SLisandro Dalcin NULL, 1783f4259b30SLisandro Dalcin NULL, 1784f4259b30SLisandro Dalcin /* 94*/ NULL, 1785f4259b30SLisandro Dalcin NULL, 1786f4259b30SLisandro Dalcin NULL, 1787f4259b30SLisandro Dalcin NULL, 1788f4259b30SLisandro Dalcin NULL, 1789f4259b30SLisandro Dalcin /* 99*/ NULL, 1790f4259b30SLisandro Dalcin NULL, 1791f4259b30SLisandro Dalcin NULL, 1792d4002b98SHong Zhang MatConjugate_SeqSELL, 1793f4259b30SLisandro Dalcin NULL, 1794f4259b30SLisandro Dalcin /*104*/ NULL, 1795f4259b30SLisandro Dalcin NULL, 1796f4259b30SLisandro Dalcin NULL, 1797f4259b30SLisandro Dalcin NULL, 1798f4259b30SLisandro Dalcin NULL, 1799f4259b30SLisandro Dalcin /*109*/ NULL, 1800f4259b30SLisandro Dalcin NULL, 1801f4259b30SLisandro Dalcin NULL, 1802f4259b30SLisandro Dalcin NULL, 1803d4002b98SHong Zhang MatMissingDiagonal_SeqSELL, 1804f4259b30SLisandro Dalcin /*114*/ NULL, 1805f4259b30SLisandro Dalcin NULL, 1806f4259b30SLisandro Dalcin NULL, 1807f4259b30SLisandro Dalcin NULL, 1808f4259b30SLisandro Dalcin NULL, 1809f4259b30SLisandro Dalcin /*119*/ NULL, 1810f4259b30SLisandro Dalcin NULL, 1811f4259b30SLisandro Dalcin NULL, 1812f4259b30SLisandro Dalcin NULL, 1813f4259b30SLisandro Dalcin NULL, 1814f4259b30SLisandro Dalcin /*124*/ NULL, 1815f4259b30SLisandro Dalcin NULL, 1816f4259b30SLisandro Dalcin NULL, 1817f4259b30SLisandro Dalcin NULL, 1818f4259b30SLisandro Dalcin NULL, 1819f4259b30SLisandro Dalcin /*129*/ NULL, 1820f4259b30SLisandro Dalcin NULL, 1821f4259b30SLisandro Dalcin NULL, 1822f4259b30SLisandro Dalcin NULL, 1823f4259b30SLisandro Dalcin NULL, 1824f4259b30SLisandro Dalcin /*134*/ NULL, 1825f4259b30SLisandro Dalcin NULL, 1826f4259b30SLisandro Dalcin NULL, 1827f4259b30SLisandro Dalcin NULL, 1828f4259b30SLisandro Dalcin NULL, 1829f4259b30SLisandro Dalcin /*139*/ NULL, 1830f4259b30SLisandro Dalcin NULL, 1831f4259b30SLisandro Dalcin NULL, 1832d4002b98SHong Zhang MatFDColoringSetUp_SeqXAIJ, 1833f4259b30SLisandro Dalcin NULL, 1834d70f29a3SPierre Jolivet /*144*/ NULL, 1835d70f29a3SPierre Jolivet NULL, 1836d70f29a3SPierre Jolivet NULL, 183799a7f59eSMark Adams NULL, 183899a7f59eSMark Adams NULL, 18397fb60732SBarry Smith NULL, 18409371c9d4SSatish Balay /*150*/ NULL}; 1841d4002b98SHong Zhang 18429371c9d4SSatish Balay PetscErrorCode MatStoreValues_SeqSELL(Mat mat) { 1843d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1844d4002b98SHong Zhang 1845d4002b98SHong Zhang PetscFunctionBegin; 184628b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 1847d4002b98SHong Zhang 1848d4002b98SHong Zhang /* allocate space for values if not already there */ 1849*4dfa11a4SJacob Faibussowitsch if (!a->saved_values) { PetscCall(PetscMalloc1(a->sliidx[a->totalslices] + 1, &a->saved_values)); } 1850d4002b98SHong Zhang 1851d4002b98SHong Zhang /* copy values over */ 18529566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->saved_values, a->val, a->sliidx[a->totalslices])); 1853d4002b98SHong Zhang PetscFunctionReturn(0); 1854d4002b98SHong Zhang } 1855d4002b98SHong Zhang 18569371c9d4SSatish Balay PetscErrorCode MatRetrieveValues_SeqSELL(Mat mat) { 1857d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)mat->data; 1858d4002b98SHong Zhang 1859d4002b98SHong Zhang PetscFunctionBegin; 186028b400f6SJacob Faibussowitsch PetscCheck(a->nonew, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatSetOption(A,MAT_NEW_NONZERO_LOCATIONS,PETSC_FALSE);first"); 186128b400f6SJacob Faibussowitsch PetscCheck(a->saved_values, PETSC_COMM_SELF, PETSC_ERR_ORDER, "Must call MatStoreValues(A);first"); 18629566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(a->val, a->saved_values, a->sliidx[a->totalslices])); 1863d4002b98SHong Zhang PetscFunctionReturn(0); 1864d4002b98SHong Zhang } 1865d4002b98SHong Zhang 1866d4002b98SHong Zhang /*@C 186711a5261eSBarry Smith MatSeqSELLRestoreArray - returns access to the array where the data for a `MATSEQSELL` matrix is stored obtained by `MatSeqSELLGetArray()` 1868d4002b98SHong Zhang 1869d4002b98SHong Zhang Not Collective 1870d4002b98SHong Zhang 1871d4002b98SHong Zhang Input Parameters: 187211a5261eSBarry Smith . mat - a `MATSEQSELL` matrix 1873d4002b98SHong Zhang . array - pointer to the data 1874d4002b98SHong Zhang 1875d4002b98SHong Zhang Level: intermediate 1876d4002b98SHong Zhang 187711a5261eSBarry Smith .seealso: `MATSEQSELL`, `MatSeqSELLGetArray()`, `MatSeqSELLRestoreArrayF90()` 1878d4002b98SHong Zhang @*/ 18799371c9d4SSatish Balay PetscErrorCode MatSeqSELLRestoreArray(Mat A, PetscScalar **array) { 1880d4002b98SHong Zhang PetscFunctionBegin; 1881cac4c232SBarry Smith PetscUseMethod(A, "MatSeqSELLRestoreArray_C", (Mat, PetscScalar **), (A, array)); 1882d4002b98SHong Zhang PetscFunctionReturn(0); 1883d4002b98SHong Zhang } 1884d4002b98SHong Zhang 18859371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode MatCreate_SeqSELL(Mat B) { 1886d4002b98SHong Zhang Mat_SeqSELL *b; 1887d4002b98SHong Zhang PetscMPIInt size; 1888d4002b98SHong Zhang 1889d4002b98SHong Zhang PetscFunctionBegin; 18909566063dSJacob Faibussowitsch PetscCall(PetscCitationsRegister(citation, &cited)); 18919566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PetscObjectComm((PetscObject)B), &size)); 189208401ef6SPierre Jolivet PetscCheck(size <= 1, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Comm must be of size 1"); 1893d4002b98SHong Zhang 1894*4dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&b)); 1895d4002b98SHong Zhang 1896d4002b98SHong Zhang B->data = (void *)b; 1897d4002b98SHong Zhang 18989566063dSJacob Faibussowitsch PetscCall(PetscMemcpy(B->ops, &MatOps_Values, sizeof(struct _MatOps))); 1899d4002b98SHong Zhang 1900f4259b30SLisandro Dalcin b->row = NULL; 1901f4259b30SLisandro Dalcin b->col = NULL; 1902f4259b30SLisandro Dalcin b->icol = NULL; 1903d4002b98SHong Zhang b->reallocs = 0; 1904d4002b98SHong Zhang b->ignorezeroentries = PETSC_FALSE; 1905d4002b98SHong Zhang b->roworiented = PETSC_TRUE; 1906d4002b98SHong Zhang b->nonew = 0; 1907f4259b30SLisandro Dalcin b->diag = NULL; 1908f4259b30SLisandro Dalcin b->solve_work = NULL; 1909f4259b30SLisandro Dalcin B->spptr = NULL; 1910f4259b30SLisandro Dalcin b->saved_values = NULL; 1911f4259b30SLisandro Dalcin b->idiag = NULL; 1912f4259b30SLisandro Dalcin b->mdiag = NULL; 1913f4259b30SLisandro Dalcin b->ssor_work = NULL; 1914d4002b98SHong Zhang b->omega = 1.0; 1915d4002b98SHong Zhang b->fshift = 0.0; 1916d4002b98SHong Zhang b->idiagvalid = PETSC_FALSE; 1917d4002b98SHong Zhang b->keepnonzeropattern = PETSC_FALSE; 1918d4002b98SHong Zhang 19199566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQSELL)); 19209566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLGetArray_C", MatSeqSELLGetArray_SeqSELL)); 19219566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLRestoreArray_C", MatSeqSELLRestoreArray_SeqSELL)); 19229566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatStoreValues_C", MatStoreValues_SeqSELL)); 19239566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatRetrieveValues_C", MatRetrieveValues_SeqSELL)); 19249566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatSeqSELLSetPreallocation_C", MatSeqSELLSetPreallocation_SeqSELL)); 19259566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B, "MatConvert_seqsell_seqaij_C", MatConvert_SeqSELL_SeqAIJ)); 1926d4002b98SHong Zhang PetscFunctionReturn(0); 1927d4002b98SHong Zhang } 1928d4002b98SHong Zhang 1929d4002b98SHong Zhang /* 1930d4002b98SHong Zhang Given a matrix generated with MatGetFactor() duplicates all the information in A into B 1931d4002b98SHong Zhang */ 19329371c9d4SSatish Balay PetscErrorCode MatDuplicateNoCreate_SeqSELL(Mat C, Mat A, MatDuplicateOption cpvalues, PetscBool mallocmatspace) { 1933ed73aabaSBarry Smith Mat_SeqSELL *c = (Mat_SeqSELL *)C->data, *a = (Mat_SeqSELL *)A->data; 1934d4002b98SHong Zhang PetscInt i, m = A->rmap->n; 1935d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 1936d4002b98SHong Zhang 1937d4002b98SHong Zhang PetscFunctionBegin; 1938d4002b98SHong Zhang C->factortype = A->factortype; 1939f4259b30SLisandro Dalcin c->row = NULL; 1940f4259b30SLisandro Dalcin c->col = NULL; 1941f4259b30SLisandro Dalcin c->icol = NULL; 1942d4002b98SHong Zhang c->reallocs = 0; 1943d4002b98SHong Zhang C->assembled = PETSC_TRUE; 1944d4002b98SHong Zhang 19459566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->rmap, &C->rmap)); 19469566063dSJacob Faibussowitsch PetscCall(PetscLayoutReference(A->cmap, &C->cmap)); 1947d4002b98SHong Zhang 19489566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(8 * totalslices, &c->rlen)); 19499566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(totalslices + 1, &c->sliidx)); 1950d4002b98SHong Zhang 1951d4002b98SHong Zhang for (i = 0; i < m; i++) c->rlen[i] = a->rlen[i]; 1952d4002b98SHong Zhang for (i = 0; i < totalslices + 1; i++) c->sliidx[i] = a->sliidx[i]; 1953d4002b98SHong Zhang 1954d4002b98SHong Zhang /* allocate the matrix space */ 1955d4002b98SHong Zhang if (mallocmatspace) { 19569566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(a->maxallocmat, &c->val, a->maxallocmat, &c->colidx)); 1957d4002b98SHong Zhang 1958d4002b98SHong Zhang c->singlemalloc = PETSC_TRUE; 1959d4002b98SHong Zhang 1960d4002b98SHong Zhang if (m > 0) { 19619566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->colidx, a->colidx, a->maxallocmat)); 1962d4002b98SHong Zhang if (cpvalues == MAT_COPY_VALUES) { 19639566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(c->val, a->val, a->maxallocmat)); 1964d4002b98SHong Zhang } else { 19659566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(c->val, a->maxallocmat)); 1966d4002b98SHong Zhang } 1967d4002b98SHong Zhang } 1968d4002b98SHong Zhang } 1969d4002b98SHong Zhang 1970d4002b98SHong Zhang c->ignorezeroentries = a->ignorezeroentries; 1971d4002b98SHong Zhang c->roworiented = a->roworiented; 1972d4002b98SHong Zhang c->nonew = a->nonew; 1973d4002b98SHong Zhang if (a->diag) { 19749566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &c->diag)); 1975ad540459SPierre Jolivet for (i = 0; i < m; i++) c->diag[i] = a->diag[i]; 1976f4259b30SLisandro Dalcin } else c->diag = NULL; 1977d4002b98SHong Zhang 1978f4259b30SLisandro Dalcin c->solve_work = NULL; 1979f4259b30SLisandro Dalcin c->saved_values = NULL; 1980f4259b30SLisandro Dalcin c->idiag = NULL; 1981f4259b30SLisandro Dalcin c->ssor_work = NULL; 1982d4002b98SHong Zhang c->keepnonzeropattern = a->keepnonzeropattern; 1983d4002b98SHong Zhang c->free_val = PETSC_TRUE; 1984d4002b98SHong Zhang c->free_colidx = PETSC_TRUE; 1985d4002b98SHong Zhang 1986d4002b98SHong Zhang c->maxallocmat = a->maxallocmat; 1987d4002b98SHong Zhang c->maxallocrow = a->maxallocrow; 1988d4002b98SHong Zhang c->rlenmax = a->rlenmax; 1989d4002b98SHong Zhang c->nz = a->nz; 1990d4002b98SHong Zhang C->preallocated = PETSC_TRUE; 1991d4002b98SHong Zhang 1992d4002b98SHong Zhang c->nonzerorowcnt = a->nonzerorowcnt; 1993d4002b98SHong Zhang C->nonzerostate = A->nonzerostate; 1994d4002b98SHong Zhang 19959566063dSJacob Faibussowitsch PetscCall(PetscFunctionListDuplicate(((PetscObject)A)->qlist, &((PetscObject)C)->qlist)); 1996d4002b98SHong Zhang PetscFunctionReturn(0); 1997d4002b98SHong Zhang } 1998d4002b98SHong Zhang 19999371c9d4SSatish Balay PetscErrorCode MatDuplicate_SeqSELL(Mat A, MatDuplicateOption cpvalues, Mat *B) { 2000d4002b98SHong Zhang PetscFunctionBegin; 20019566063dSJacob Faibussowitsch PetscCall(MatCreate(PetscObjectComm((PetscObject)A), B)); 20029566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*B, A->rmap->n, A->cmap->n, A->rmap->n, A->cmap->n)); 200348a46eb9SPierre Jolivet if (!(A->rmap->n % A->rmap->bs) && !(A->cmap->n % A->cmap->bs)) PetscCall(MatSetBlockSizesFromMats(*B, A, A)); 20049566063dSJacob Faibussowitsch PetscCall(MatSetType(*B, ((PetscObject)A)->type_name)); 20059566063dSJacob Faibussowitsch PetscCall(MatDuplicateNoCreate_SeqSELL(*B, A, cpvalues, PETSC_TRUE)); 2006d4002b98SHong Zhang PetscFunctionReturn(0); 2007d4002b98SHong Zhang } 2008d4002b98SHong Zhang 2009ed73aabaSBarry Smith /*MC 2010ed73aabaSBarry Smith MATSEQSELL - MATSEQSELL = "seqsell" - A matrix type to be used for sequential sparse matrices, 2011ed73aabaSBarry Smith based on the sliced Ellpack format 2012ed73aabaSBarry Smith 2013ed73aabaSBarry Smith Options Database Keys: 201411a5261eSBarry Smith . -mat_type seqsell - sets the matrix type to "`MATSEQELL` during a call to `MatSetFromOptions()` 2015ed73aabaSBarry Smith 2016ed73aabaSBarry Smith Level: beginner 2017ed73aabaSBarry Smith 2018db781477SPatrick Sanan .seealso: `MatCreateSeqSell()`, `MATSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATAIJ`, `MATMPIAIJ` 2019ed73aabaSBarry Smith M*/ 2020ed73aabaSBarry Smith 2021ed73aabaSBarry Smith /*MC 2022ed73aabaSBarry Smith MATSELL - MATSELL = "sell" - A matrix type to be used for sparse matrices. 2023ed73aabaSBarry Smith 202411a5261eSBarry Smith This matrix type is identical to `MATSEQSELL` when constructed with a single process communicator, 202511a5261eSBarry Smith and `MATMPISELL` otherwise. As a result, for single process communicators, 202611a5261eSBarry Smith `MatSeqSELLSetPreallocation()` is supported, and similarly `MatMPISELLSetPreallocation()` is supported 2027ed73aabaSBarry Smith for communicators controlling multiple processes. It is recommended that you call both of 2028ed73aabaSBarry Smith the above preallocation routines for simplicity. 2029ed73aabaSBarry Smith 2030ed73aabaSBarry Smith Options Database Keys: 2031ed73aabaSBarry Smith . -mat_type sell - sets the matrix type to "sell" during a call to MatSetFromOptions() 2032ed73aabaSBarry Smith 2033ed73aabaSBarry Smith Level: beginner 2034ed73aabaSBarry Smith 2035ed73aabaSBarry Smith Notes: 2036ed73aabaSBarry Smith This format is only supported for real scalars, double precision, and 32 bit indices (the defaults). 2037ed73aabaSBarry Smith 2038ed73aabaSBarry Smith It can provide better performance on Intel and AMD processes with AVX2 or AVX512 support for matrices that have a similar number of 2039ed73aabaSBarry Smith non-zeros in contiguous groups of rows. However if the computation is memory bandwidth limited it may not provide much improvement. 2040ed73aabaSBarry Smith 2041ed73aabaSBarry Smith Developer Notes: 2042ed73aabaSBarry Smith On Intel (and AMD) systems some of the matrix operations use SIMD (AVX) instructions to achieve higher performance. 2043ed73aabaSBarry Smith 2044ed73aabaSBarry Smith The sparse matrix format is as follows. For simplicity we assume a slice size of 2, it is actually 8 2045ed73aabaSBarry Smith .vb 2046ed73aabaSBarry Smith (2 0 3 4) 2047ed73aabaSBarry Smith Consider the matrix A = (5 0 6 0) 2048ed73aabaSBarry Smith (0 0 7 8) 2049ed73aabaSBarry Smith (0 0 9 9) 2050ed73aabaSBarry Smith 2051ed73aabaSBarry Smith symbolically the Ellpack format can be written as 2052ed73aabaSBarry Smith 2053ed73aabaSBarry Smith (2 3 4 |) (0 2 3 |) 2054ed73aabaSBarry Smith v = (5 6 0 |) colidx = (0 2 2 |) 2055ed73aabaSBarry Smith -------- --------- 2056ed73aabaSBarry Smith (7 8 |) (2 3 |) 2057ed73aabaSBarry Smith (9 9 |) (2 3 |) 2058ed73aabaSBarry Smith 2059ed73aabaSBarry 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). 2060ed73aabaSBarry 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 2061ed73aabaSBarry 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. 2062ed73aabaSBarry Smith 2063ed73aabaSBarry 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) 2064ed73aabaSBarry Smith 2065ed73aabaSBarry Smith .ve 2066ed73aabaSBarry Smith 2067ed73aabaSBarry Smith See MatMult_SeqSELL() for how this format is used with the SIMD operations to achieve high performance. 2068ed73aabaSBarry Smith 2069ed73aabaSBarry Smith References: 2070606c0280SSatish Balay . * - Hong Zhang, Richard T. Mills, Karl Rupp, and Barry F. Smith, Vectorized Parallel Sparse Matrix-Vector Multiplication in {PETSc} Using {AVX-512}, 2071ed73aabaSBarry Smith Proceedings of the 47th International Conference on Parallel Processing, 2018. 2072ed73aabaSBarry Smith 2073db781477SPatrick Sanan .seealso: `MatCreateSeqSELL()`, `MatCreateSeqAIJ()`, `MatCreateSell()`, `MATSEQSELL`, `MATMPISELL`, `MATSEQAIJ`, `MATMPIAIJ`, `MATAIJ` 2074ed73aabaSBarry Smith M*/ 2075ed73aabaSBarry Smith 2076d4002b98SHong Zhang /*@C 207711a5261eSBarry Smith MatCreateSeqSELL - Creates a sparse matrix in `MATSEQSELL` format. 2078d4002b98SHong Zhang 2079ed73aabaSBarry Smith Collective on comm 2080d4002b98SHong Zhang 2081d4002b98SHong Zhang Input Parameters: 208211a5261eSBarry Smith + comm - MPI communicator, set to `PETSC_COMM_SELF` 2083d4002b98SHong Zhang . m - number of rows 2084d4002b98SHong Zhang . n - number of columns 2085d4002b98SHong Zhang . rlenmax - maximum number of nonzeros in a row 2086d4002b98SHong Zhang - rlen - array containing the number of nonzeros in the various rows 2087d4002b98SHong Zhang (possibly different for each row) or NULL 2088d4002b98SHong Zhang 2089d4002b98SHong Zhang Output Parameter: 2090d4002b98SHong Zhang . A - the matrix 2091d4002b98SHong Zhang 209211a5261eSBarry Smith It is recommended that one use the `MatCreate()`, `MatSetType()` and/or `MatSetFromOptions()`, 2093f6f02116SRichard Tran Mills MatXXXXSetPreallocation() paradigm instead of this routine directly. 209411a5261eSBarry Smith [MatXXXXSetPreallocation() is, for example, `MatSeqSELLSetPreallocation()`] 2095d4002b98SHong Zhang 2096d4002b98SHong Zhang Notes: 2097d4002b98SHong Zhang If nnz is given then nz is ignored 2098d4002b98SHong Zhang 2099d4002b98SHong Zhang Specify the preallocated storage with either rlenmax or rlen (not both). 210011a5261eSBarry Smith Set rlenmax = `PETSC_DEFAULT` and rlen = NULL for PETSc to control dynamic memory 2101d4002b98SHong Zhang allocation. For large problems you MUST preallocate memory or you 2102d4002b98SHong Zhang will get TERRIBLE performance, see the users' manual chapter on matrices. 2103d4002b98SHong Zhang 2104d4002b98SHong Zhang Level: intermediate 2105d4002b98SHong Zhang 210611a5261eSBarry Smith .seealso: `MATSEQSELL`, `MatCreate()`, `MatCreateSELL()`, `MatSetValues()`, `MatSeqSELLSetPreallocation()`, `MATSELL`, `MATSEQSELL`, `MATMPISELL` 2107d4002b98SHong Zhang @*/ 21089371c9d4SSatish Balay PetscErrorCode MatCreateSeqSELL(MPI_Comm comm, PetscInt m, PetscInt n, PetscInt maxallocrow, const PetscInt rlen[], Mat *A) { 2109d4002b98SHong Zhang PetscFunctionBegin; 21109566063dSJacob Faibussowitsch PetscCall(MatCreate(comm, A)); 21119566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A, m, n, m, n)); 21129566063dSJacob Faibussowitsch PetscCall(MatSetType(*A, MATSEQSELL)); 21139566063dSJacob Faibussowitsch PetscCall(MatSeqSELLSetPreallocation_SeqSELL(*A, maxallocrow, rlen)); 2114d4002b98SHong Zhang PetscFunctionReturn(0); 2115d4002b98SHong Zhang } 2116d4002b98SHong Zhang 21179371c9d4SSatish Balay PetscErrorCode MatEqual_SeqSELL(Mat A, Mat B, PetscBool *flg) { 2118d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data, *b = (Mat_SeqSELL *)B->data; 2119d4002b98SHong Zhang PetscInt totalslices = a->totalslices; 2120d4002b98SHong Zhang 2121d4002b98SHong Zhang PetscFunctionBegin; 2122d4002b98SHong Zhang /* If the matrix dimensions are not equal,or no of nonzeros */ 2123d4002b98SHong Zhang if ((A->rmap->n != B->rmap->n) || (A->cmap->n != B->cmap->n) || (a->nz != b->nz) || (a->rlenmax != b->rlenmax)) { 2124d4002b98SHong Zhang *flg = PETSC_FALSE; 2125d4002b98SHong Zhang PetscFunctionReturn(0); 2126d4002b98SHong Zhang } 2127d4002b98SHong Zhang /* if the a->colidx are the same */ 21289566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->colidx, b->colidx, a->sliidx[totalslices], flg)); 2129d4002b98SHong Zhang if (!*flg) PetscFunctionReturn(0); 2130d4002b98SHong Zhang /* if a->val are the same */ 21319566063dSJacob Faibussowitsch PetscCall(PetscArraycmp(a->val, b->val, a->sliidx[totalslices], flg)); 2132d4002b98SHong Zhang PetscFunctionReturn(0); 2133d4002b98SHong Zhang } 2134d4002b98SHong Zhang 21359371c9d4SSatish Balay PetscErrorCode MatSeqSELLInvalidateDiagonal(Mat A) { 2136d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2137d4002b98SHong Zhang 2138d4002b98SHong Zhang PetscFunctionBegin; 2139d4002b98SHong Zhang a->idiagvalid = PETSC_FALSE; 2140d4002b98SHong Zhang PetscFunctionReturn(0); 2141d4002b98SHong Zhang } 2142d4002b98SHong Zhang 21439371c9d4SSatish Balay PetscErrorCode MatConjugate_SeqSELL(Mat A) { 2144d4002b98SHong Zhang #if defined(PETSC_USE_COMPLEX) 2145d4002b98SHong Zhang Mat_SeqSELL *a = (Mat_SeqSELL *)A->data; 2146d4002b98SHong Zhang PetscInt i; 2147d4002b98SHong Zhang PetscScalar *val = a->val; 2148d4002b98SHong Zhang 2149d4002b98SHong Zhang PetscFunctionBegin; 2150ad540459SPierre Jolivet for (i = 0; i < a->sliidx[a->totalslices]; i++) val[i] = PetscConj(val[i]); 2151d4002b98SHong Zhang #else 2152d4002b98SHong Zhang PetscFunctionBegin; 2153d4002b98SHong Zhang #endif 2154d4002b98SHong Zhang PetscFunctionReturn(0); 2155d4002b98SHong Zhang } 2156