1938d9b04SRichard Tran Mills 2938d9b04SRichard Tran Mills /* 3938d9b04SRichard Tran Mills Defines basic operations for the MATSEQAIJPERM matrix class. 4938d9b04SRichard Tran Mills This class is derived from the MATSEQAIJ class and retains the 5938d9b04SRichard Tran Mills compressed row storage (aka Yale sparse matrix format) but augments 6938d9b04SRichard Tran Mills it with some permutation information that enables some operations 7938d9b04SRichard Tran Mills to be more vectorizable. A physically rearranged copy of the matrix 8938d9b04SRichard Tran Mills may be stored if the user desires. 9938d9b04SRichard Tran Mills 10938d9b04SRichard Tran Mills Eventually a variety of permutations may be supported. 11938d9b04SRichard Tran Mills */ 12938d9b04SRichard Tran Mills 13938d9b04SRichard Tran Mills #include <../src/mat/impls/aij/seq/aij.h> 14938d9b04SRichard Tran Mills 1580423c7aSSatish Balay #if defined(PETSC_USE_AVX512_KERNELS) && defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 16f67b6f2eSRichard Tran Mills #include <immintrin.h> 17f67b6f2eSRichard Tran Mills 18f67b6f2eSRichard Tran Mills #if !defined(_MM_SCALE_8) 19f67b6f2eSRichard Tran Mills #define _MM_SCALE_8 8 20f67b6f2eSRichard Tran Mills #endif 21f67b6f2eSRichard Tran Mills #if !defined(_MM_SCALE_4) 22f67b6f2eSRichard Tran Mills #define _MM_SCALE_4 4 23f67b6f2eSRichard Tran Mills #endif 24f67b6f2eSRichard Tran Mills #endif 25f67b6f2eSRichard Tran Mills 26938d9b04SRichard Tran Mills #define NDIM 512 27938d9b04SRichard Tran Mills /* NDIM specifies how many rows at a time we should work with when 28938d9b04SRichard Tran Mills * performing the vectorized mat-vec. This depends on various factors 29938d9b04SRichard Tran Mills * such as vector register length, etc., and I really need to add a 30938d9b04SRichard Tran Mills * way for the user (or the library) to tune this. I'm setting it to 31938d9b04SRichard Tran Mills * 512 for now since that is what Ed D'Azevedo was using in his Fortran 32938d9b04SRichard Tran Mills * routines. */ 33938d9b04SRichard Tran Mills 34938d9b04SRichard Tran Mills typedef struct { 35938d9b04SRichard Tran Mills PetscObjectState nonzerostate; /* used to determine if the nonzero structure has changed and hence the permutations need updating */ 36938d9b04SRichard Tran Mills 37938d9b04SRichard Tran Mills PetscInt ngroup; 38938d9b04SRichard Tran Mills PetscInt *xgroup; 39938d9b04SRichard Tran Mills /* Denotes where groups of rows with same number of nonzeros 40938d9b04SRichard Tran Mills * begin and end, i.e., xgroup[i] gives us the position in iperm[] 41938d9b04SRichard Tran Mills * where the ith group begins. */ 42938d9b04SRichard Tran Mills 43938d9b04SRichard Tran Mills PetscInt *nzgroup; /* how many nonzeros each row that is a member of group i has. */ 44938d9b04SRichard Tran Mills PetscInt *iperm; /* The permutation vector. */ 45938d9b04SRichard Tran Mills 46938d9b04SRichard Tran Mills /* Some of this stuff is for Ed's recursive triangular solve. 47938d9b04SRichard Tran Mills * I'm not sure what I need yet. */ 48938d9b04SRichard Tran Mills PetscInt blocksize; 49938d9b04SRichard Tran Mills PetscInt nstep; 50938d9b04SRichard Tran Mills PetscInt *jstart_list; 51938d9b04SRichard Tran Mills PetscInt *jend_list; 52938d9b04SRichard Tran Mills PetscInt *action_list; 53938d9b04SRichard Tran Mills PetscInt *ngroup_list; 54938d9b04SRichard Tran Mills PetscInt **ipointer_list; 55938d9b04SRichard Tran Mills PetscInt **xgroup_list; 56938d9b04SRichard Tran Mills PetscInt **nzgroup_list; 57938d9b04SRichard Tran Mills PetscInt **iperm_list; 58938d9b04SRichard Tran Mills } Mat_SeqAIJPERM; 59938d9b04SRichard Tran Mills 60938d9b04SRichard Tran Mills PETSC_INTERN PetscErrorCode MatConvert_SeqAIJPERM_SeqAIJ(Mat A,MatType type,MatReuse reuse,Mat *newmat) 61938d9b04SRichard Tran Mills { 62938d9b04SRichard Tran Mills /* This routine is only called to convert a MATAIJPERM to its base PETSc type, */ 63938d9b04SRichard Tran Mills /* so we will ignore 'MatType type'. */ 64938d9b04SRichard Tran Mills Mat B = *newmat; 65938d9b04SRichard Tran Mills Mat_SeqAIJPERM *aijperm=(Mat_SeqAIJPERM*)A->spptr; 66938d9b04SRichard Tran Mills 67938d9b04SRichard Tran Mills PetscFunctionBegin; 68938d9b04SRichard Tran Mills if (reuse == MAT_INITIAL_MATRIX) { 699566063dSJacob Faibussowitsch PetscCall(MatDuplicate(A,MAT_COPY_VALUES,&B)); 70938d9b04SRichard Tran Mills aijperm=(Mat_SeqAIJPERM*)B->spptr; 71938d9b04SRichard Tran Mills } 72938d9b04SRichard Tran Mills 73938d9b04SRichard Tran Mills /* Reset the original function pointers. */ 74938d9b04SRichard Tran Mills B->ops->assemblyend = MatAssemblyEnd_SeqAIJ; 75938d9b04SRichard Tran Mills B->ops->destroy = MatDestroy_SeqAIJ; 76938d9b04SRichard Tran Mills B->ops->duplicate = MatDuplicate_SeqAIJ; 77938d9b04SRichard Tran Mills B->ops->mult = MatMult_SeqAIJ; 78938d9b04SRichard Tran Mills B->ops->multadd = MatMultAdd_SeqAIJ; 79938d9b04SRichard Tran Mills 809566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B,"MatConvert_seqaijperm_seqaij_C",NULL)); 81938d9b04SRichard Tran Mills 82938d9b04SRichard Tran Mills /* Free everything in the Mat_SeqAIJPERM data structure.*/ 839566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->xgroup)); 849566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->nzgroup)); 859566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->iperm)); 869566063dSJacob Faibussowitsch PetscCall(PetscFree(B->spptr)); 87938d9b04SRichard Tran Mills 88938d9b04SRichard Tran Mills /* Change the type of B to MATSEQAIJ. */ 899566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B, MATSEQAIJ)); 90938d9b04SRichard Tran Mills 91938d9b04SRichard Tran Mills *newmat = B; 92938d9b04SRichard Tran Mills PetscFunctionReturn(0); 93938d9b04SRichard Tran Mills } 94938d9b04SRichard Tran Mills 95938d9b04SRichard Tran Mills PetscErrorCode MatDestroy_SeqAIJPERM(Mat A) 96938d9b04SRichard Tran Mills { 97938d9b04SRichard Tran Mills Mat_SeqAIJPERM *aijperm = (Mat_SeqAIJPERM*) A->spptr; 98938d9b04SRichard Tran Mills 99938d9b04SRichard Tran Mills PetscFunctionBegin; 100938d9b04SRichard Tran Mills if (aijperm) { 101938d9b04SRichard Tran Mills /* If MatHeaderMerge() was used then this SeqAIJPERM matrix will not have a spprt. */ 1029566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->xgroup)); 1039566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->nzgroup)); 1049566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->iperm)); 1059566063dSJacob Faibussowitsch PetscCall(PetscFree(A->spptr)); 106938d9b04SRichard Tran Mills } 107938d9b04SRichard Tran Mills /* Change the type of A back to SEQAIJ and use MatDestroy_SeqAIJ() 108938d9b04SRichard Tran Mills * to destroy everything that remains. */ 1099566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)A, MATSEQAIJ)); 110938d9b04SRichard Tran Mills /* Note that I don't call MatSetType(). I believe this is because that 111938d9b04SRichard Tran Mills * is only to be called when *building* a matrix. I could be wrong, but 112938d9b04SRichard Tran Mills * that is how things work for the SuperLU matrix class. */ 113*2e956fe4SStefano Zampini PetscCall(PetscObjectComposeFunction((PetscObject)A,"MatConvert_seqaijperm_seqaij_C",NULL)); 1149566063dSJacob Faibussowitsch PetscCall(MatDestroy_SeqAIJ(A)); 115938d9b04SRichard Tran Mills PetscFunctionReturn(0); 116938d9b04SRichard Tran Mills } 117938d9b04SRichard Tran Mills 118938d9b04SRichard Tran Mills PetscErrorCode MatDuplicate_SeqAIJPERM(Mat A, MatDuplicateOption op, Mat *M) 119938d9b04SRichard Tran Mills { 120938d9b04SRichard Tran Mills Mat_SeqAIJPERM *aijperm = (Mat_SeqAIJPERM*) A->spptr; 121938d9b04SRichard Tran Mills Mat_SeqAIJPERM *aijperm_dest; 122938d9b04SRichard Tran Mills PetscBool perm; 123938d9b04SRichard Tran Mills 124938d9b04SRichard Tran Mills PetscFunctionBegin; 1259566063dSJacob Faibussowitsch PetscCall(MatDuplicate_SeqAIJ(A,op,M)); 1269566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)*M,MATSEQAIJPERM,&perm)); 127938d9b04SRichard Tran Mills if (perm) { 128938d9b04SRichard Tran Mills aijperm_dest = (Mat_SeqAIJPERM *) (*M)->spptr; 1299566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm_dest->xgroup)); 1309566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm_dest->nzgroup)); 1319566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm_dest->iperm)); 132938d9b04SRichard Tran Mills } else { 1339566063dSJacob Faibussowitsch PetscCall(PetscNewLog(*M,&aijperm_dest)); 134938d9b04SRichard Tran Mills (*M)->spptr = (void*) aijperm_dest; 1359566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)*M,MATSEQAIJPERM)); 1369566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)*M,"MatConvert_seqaijperm_seqaij_C",MatConvert_SeqAIJPERM_SeqAIJ)); 137938d9b04SRichard Tran Mills } 1389566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(aijperm_dest,aijperm,1)); 139938d9b04SRichard Tran Mills /* Allocate space for, and copy the grouping and permutation info. 140938d9b04SRichard Tran Mills * I note that when the groups are initially determined in 141938d9b04SRichard Tran Mills * MatSeqAIJPERM_create_perm, xgroup and nzgroup may be sized larger than 142938d9b04SRichard Tran Mills * necessary. But at this point, we know how large they need to be, and 143938d9b04SRichard Tran Mills * allocate only the necessary amount of memory. So the duplicated matrix 144938d9b04SRichard Tran Mills * may actually use slightly less storage than the original! */ 1459566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(A->rmap->n, &aijperm_dest->iperm)); 1469566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(aijperm->ngroup+1, &aijperm_dest->xgroup)); 1479566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(aijperm->ngroup, &aijperm_dest->nzgroup)); 1489566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(aijperm_dest->iperm,aijperm->iperm,A->rmap->n)); 1499566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(aijperm_dest->xgroup,aijperm->xgroup,aijperm->ngroup+1)); 1509566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(aijperm_dest->nzgroup,aijperm->nzgroup,aijperm->ngroup)); 151938d9b04SRichard Tran Mills PetscFunctionReturn(0); 152938d9b04SRichard Tran Mills } 153938d9b04SRichard Tran Mills 154938d9b04SRichard Tran Mills PetscErrorCode MatSeqAIJPERM_create_perm(Mat A) 155938d9b04SRichard Tran Mills { 156938d9b04SRichard Tran Mills Mat_SeqAIJ *a = (Mat_SeqAIJ*)(A)->data; 157938d9b04SRichard Tran Mills Mat_SeqAIJPERM *aijperm = (Mat_SeqAIJPERM*) A->spptr; 158938d9b04SRichard Tran Mills PetscInt m; /* Number of rows in the matrix. */ 159938d9b04SRichard Tran Mills PetscInt *ia; /* From the CSR representation; points to the beginning of each row. */ 160938d9b04SRichard Tran Mills PetscInt maxnz; /* Maximum number of nonzeros in any row. */ 161938d9b04SRichard Tran Mills PetscInt *rows_in_bucket; 162938d9b04SRichard Tran Mills /* To construct the permutation, we sort each row into one of maxnz 163938d9b04SRichard Tran Mills * buckets based on how many nonzeros are in the row. */ 164938d9b04SRichard Tran Mills PetscInt nz; 165938d9b04SRichard Tran Mills PetscInt *nz_in_row; /* the number of nonzero elements in row k. */ 166938d9b04SRichard Tran Mills PetscInt *ipnz; 167938d9b04SRichard Tran Mills /* When constructing the iperm permutation vector, 168938d9b04SRichard Tran Mills * ipnz[nz] is used to point to the next place in the permutation vector 169938d9b04SRichard Tran Mills * that a row with nz nonzero elements should be placed.*/ 170938d9b04SRichard Tran Mills PetscInt i, ngroup, istart, ipos; 171938d9b04SRichard Tran Mills 172938d9b04SRichard Tran Mills PetscFunctionBegin; 173938d9b04SRichard Tran Mills if (aijperm->nonzerostate == A->nonzerostate) PetscFunctionReturn(0); /* permutation exists and matches current nonzero structure */ 174938d9b04SRichard Tran Mills aijperm->nonzerostate = A->nonzerostate; 175938d9b04SRichard Tran Mills /* Free anything previously put in the Mat_SeqAIJPERM data structure. */ 1769566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->xgroup)); 1779566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->nzgroup)); 1789566063dSJacob Faibussowitsch PetscCall(PetscFree(aijperm->iperm)); 179938d9b04SRichard Tran Mills 180938d9b04SRichard Tran Mills m = A->rmap->n; 181938d9b04SRichard Tran Mills ia = a->i; 182938d9b04SRichard Tran Mills 183938d9b04SRichard Tran Mills /* Allocate the arrays that will hold the permutation vector. */ 1849566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &aijperm->iperm)); 185938d9b04SRichard Tran Mills 186938d9b04SRichard Tran Mills /* Allocate some temporary work arrays that will be used in 1876aad120cSJose E. Roman * calculating the permutation vector and groupings. */ 1889566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(m, &nz_in_row)); 189938d9b04SRichard Tran Mills 190938d9b04SRichard Tran Mills /* Now actually figure out the permutation and grouping. */ 191938d9b04SRichard Tran Mills 192938d9b04SRichard Tran Mills /* First pass: Determine number of nonzeros in each row, maximum 193938d9b04SRichard Tran Mills * number of nonzeros in any row, and how many rows fall into each 194938d9b04SRichard Tran Mills * "bucket" of rows with same number of nonzeros. */ 195938d9b04SRichard Tran Mills maxnz = 0; 196938d9b04SRichard Tran Mills for (i=0; i<m; i++) { 197938d9b04SRichard Tran Mills nz_in_row[i] = ia[i+1]-ia[i]; 198938d9b04SRichard Tran Mills if (nz_in_row[i] > maxnz) maxnz = nz_in_row[i]; 199938d9b04SRichard Tran Mills } 2009566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(PetscMax(maxnz,m)+1, &rows_in_bucket)); 2019566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(PetscMax(maxnz,m)+1, &ipnz)); 202938d9b04SRichard Tran Mills 203938d9b04SRichard Tran Mills for (i=0; i<=maxnz; i++) { 204938d9b04SRichard Tran Mills rows_in_bucket[i] = 0; 205938d9b04SRichard Tran Mills } 206938d9b04SRichard Tran Mills for (i=0; i<m; i++) { 207938d9b04SRichard Tran Mills nz = nz_in_row[i]; 208938d9b04SRichard Tran Mills rows_in_bucket[nz]++; 209938d9b04SRichard Tran Mills } 210938d9b04SRichard Tran Mills 211938d9b04SRichard Tran Mills /* Allocate space for the grouping info. There will be at most (maxnz + 1) 212938d9b04SRichard Tran Mills * groups. (It is maxnz + 1 instead of simply maxnz because there may be 213938d9b04SRichard Tran Mills * rows with no nonzero elements.) If there are (maxnz + 1) groups, 214938d9b04SRichard Tran Mills * then xgroup[] must consist of (maxnz + 2) elements, since the last 215938d9b04SRichard Tran Mills * element of xgroup will tell us where the (maxnz + 1)th group ends. 216938d9b04SRichard Tran Mills * We allocate space for the maximum number of groups; 217938d9b04SRichard Tran Mills * that is potentially a little wasteful, but not too much so. 218938d9b04SRichard Tran Mills * Perhaps I should fix it later. */ 2199566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(maxnz+2, &aijperm->xgroup)); 2209566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(maxnz+1, &aijperm->nzgroup)); 221938d9b04SRichard Tran Mills 222938d9b04SRichard Tran Mills /* Second pass. Look at what is in the buckets and create the groupings. 223938d9b04SRichard Tran Mills * Note that it is OK to have a group of rows with no non-zero values. */ 224938d9b04SRichard Tran Mills ngroup = 0; 225938d9b04SRichard Tran Mills istart = 0; 226938d9b04SRichard Tran Mills for (i=0; i<=maxnz; i++) { 227938d9b04SRichard Tran Mills if (rows_in_bucket[i] > 0) { 228938d9b04SRichard Tran Mills aijperm->nzgroup[ngroup] = i; 229938d9b04SRichard Tran Mills aijperm->xgroup[ngroup] = istart; 230938d9b04SRichard Tran Mills ngroup++; 231938d9b04SRichard Tran Mills istart += rows_in_bucket[i]; 232938d9b04SRichard Tran Mills } 233938d9b04SRichard Tran Mills } 234938d9b04SRichard Tran Mills 235938d9b04SRichard Tran Mills aijperm->xgroup[ngroup] = istart; 236938d9b04SRichard Tran Mills aijperm->ngroup = ngroup; 237938d9b04SRichard Tran Mills 238938d9b04SRichard Tran Mills /* Now fill in the permutation vector iperm. */ 239938d9b04SRichard Tran Mills ipnz[0] = 0; 240938d9b04SRichard Tran Mills for (i=0; i<maxnz; i++) { 241938d9b04SRichard Tran Mills ipnz[i+1] = ipnz[i] + rows_in_bucket[i]; 242938d9b04SRichard Tran Mills } 243938d9b04SRichard Tran Mills 244938d9b04SRichard Tran Mills for (i=0; i<m; i++) { 245938d9b04SRichard Tran Mills nz = nz_in_row[i]; 246938d9b04SRichard Tran Mills ipos = ipnz[nz]; 247938d9b04SRichard Tran Mills aijperm->iperm[ipos] = i; 248938d9b04SRichard Tran Mills ipnz[nz]++; 249938d9b04SRichard Tran Mills } 250938d9b04SRichard Tran Mills 251938d9b04SRichard Tran Mills /* Clean up temporary work arrays. */ 2529566063dSJacob Faibussowitsch PetscCall(PetscFree(rows_in_bucket)); 2539566063dSJacob Faibussowitsch PetscCall(PetscFree(ipnz)); 2549566063dSJacob Faibussowitsch PetscCall(PetscFree(nz_in_row)); 255938d9b04SRichard Tran Mills PetscFunctionReturn(0); 256938d9b04SRichard Tran Mills } 257938d9b04SRichard Tran Mills 258938d9b04SRichard Tran Mills PetscErrorCode MatAssemblyEnd_SeqAIJPERM(Mat A, MatAssemblyType mode) 259938d9b04SRichard Tran Mills { 260938d9b04SRichard Tran Mills Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 261938d9b04SRichard Tran Mills 262938d9b04SRichard Tran Mills PetscFunctionBegin; 263938d9b04SRichard Tran Mills if (mode == MAT_FLUSH_ASSEMBLY) PetscFunctionReturn(0); 264938d9b04SRichard Tran Mills 265938d9b04SRichard Tran Mills /* Since a MATSEQAIJPERM matrix is really just a MATSEQAIJ with some 266938d9b04SRichard Tran Mills * extra information, call the AssemblyEnd routine for a MATSEQAIJ. 267938d9b04SRichard Tran Mills * I'm not sure if this is the best way to do this, but it avoids 268938d9b04SRichard Tran Mills * a lot of code duplication. 269938d9b04SRichard Tran Mills * I also note that currently MATSEQAIJPERM doesn't know anything about 270938d9b04SRichard Tran Mills * the Mat_CompressedRow data structure that SeqAIJ now uses when there 271938d9b04SRichard Tran Mills * are many zero rows. If the SeqAIJ assembly end routine decides to use 272938d9b04SRichard Tran Mills * this, this may break things. (Don't know... haven't looked at it.) */ 273938d9b04SRichard Tran Mills a->inode.use = PETSC_FALSE; 2749566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd_SeqAIJ(A, mode)); 275938d9b04SRichard Tran Mills 276938d9b04SRichard Tran Mills /* Now calculate the permutation and grouping information. */ 2779566063dSJacob Faibussowitsch PetscCall(MatSeqAIJPERM_create_perm(A)); 278938d9b04SRichard Tran Mills PetscFunctionReturn(0); 279938d9b04SRichard Tran Mills } 280938d9b04SRichard Tran Mills 281938d9b04SRichard Tran Mills PetscErrorCode MatMult_SeqAIJPERM(Mat A,Vec xx,Vec yy) 282938d9b04SRichard Tran Mills { 283938d9b04SRichard Tran Mills Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 284938d9b04SRichard Tran Mills const PetscScalar *x; 285938d9b04SRichard Tran Mills PetscScalar *y; 286938d9b04SRichard Tran Mills const MatScalar *aa; 287938d9b04SRichard Tran Mills const PetscInt *aj,*ai; 288938d9b04SRichard Tran Mills #if !(defined(PETSC_USE_FORTRAN_KERNEL_MULTAIJPERM) && defined(notworking)) 289938d9b04SRichard Tran Mills PetscInt i,j; 290938d9b04SRichard Tran Mills #endif 29180423c7aSSatish Balay #if defined(PETSC_USE_AVX512_KERNELS) && defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 292f67b6f2eSRichard Tran Mills __m512d vec_x,vec_y,vec_vals; 293f67b6f2eSRichard Tran Mills __m256i vec_idx,vec_ipos,vec_j; 294f67b6f2eSRichard Tran Mills __mmask8 mask; 295f67b6f2eSRichard Tran Mills #endif 296938d9b04SRichard Tran Mills 297938d9b04SRichard Tran Mills /* Variables that don't appear in MatMult_SeqAIJ. */ 298938d9b04SRichard Tran Mills Mat_SeqAIJPERM *aijperm = (Mat_SeqAIJPERM*) A->spptr; 299938d9b04SRichard Tran Mills PetscInt *iperm; /* Points to the permutation vector. */ 300938d9b04SRichard Tran Mills PetscInt *xgroup; 301938d9b04SRichard Tran Mills /* Denotes where groups of rows with same number of nonzeros 302938d9b04SRichard Tran Mills * begin and end in iperm. */ 303938d9b04SRichard Tran Mills PetscInt *nzgroup; 304938d9b04SRichard Tran Mills PetscInt ngroup; 305938d9b04SRichard Tran Mills PetscInt igroup; 306938d9b04SRichard Tran Mills PetscInt jstart,jend; 307938d9b04SRichard Tran Mills /* jstart is used in loops to denote the position in iperm where a 308938d9b04SRichard Tran Mills * group starts; jend denotes the position where it ends. 309938d9b04SRichard Tran Mills * (jend + 1 is where the next group starts.) */ 310938d9b04SRichard Tran Mills PetscInt iold,nz; 311938d9b04SRichard Tran Mills PetscInt istart,iend,isize; 312938d9b04SRichard Tran Mills PetscInt ipos; 313938d9b04SRichard Tran Mills PetscScalar yp[NDIM]; 314938d9b04SRichard Tran Mills PetscInt ip[NDIM]; /* yp[] and ip[] are treated as vector "registers" for performing the mat-vec. */ 315938d9b04SRichard Tran Mills 316938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 317938d9b04SRichard Tran Mills #pragma disjoint(*x,*y,*aa) 318938d9b04SRichard Tran Mills #endif 319938d9b04SRichard Tran Mills 320938d9b04SRichard Tran Mills PetscFunctionBegin; 3219566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx,&x)); 3229566063dSJacob Faibussowitsch PetscCall(VecGetArray(yy,&y)); 323938d9b04SRichard Tran Mills aj = a->j; /* aj[k] gives column index for element aa[k]. */ 324938d9b04SRichard Tran Mills aa = a->a; /* Nonzero elements stored row-by-row. */ 325938d9b04SRichard Tran Mills ai = a->i; /* ai[k] is the position in aa and aj where row k starts. */ 326938d9b04SRichard Tran Mills 327938d9b04SRichard Tran Mills /* Get the info we need about the permutations and groupings. */ 328938d9b04SRichard Tran Mills iperm = aijperm->iperm; 329938d9b04SRichard Tran Mills ngroup = aijperm->ngroup; 330938d9b04SRichard Tran Mills xgroup = aijperm->xgroup; 331938d9b04SRichard Tran Mills nzgroup = aijperm->nzgroup; 332938d9b04SRichard Tran Mills 333938d9b04SRichard Tran Mills #if defined(PETSC_USE_FORTRAN_KERNEL_MULTAIJPERM) && defined(notworking) 334938d9b04SRichard Tran Mills fortranmultaijperm_(&m,x,ii,aj,aa,y); 335938d9b04SRichard Tran Mills #else 336938d9b04SRichard Tran Mills 337938d9b04SRichard Tran Mills for (igroup=0; igroup<ngroup; igroup++) { 338938d9b04SRichard Tran Mills jstart = xgroup[igroup]; 339938d9b04SRichard Tran Mills jend = xgroup[igroup+1] - 1; 340938d9b04SRichard Tran Mills nz = nzgroup[igroup]; 341938d9b04SRichard Tran Mills 342938d9b04SRichard Tran Mills /* Handle the special cases where the number of nonzeros per row 343938d9b04SRichard Tran Mills * in the group is either 0 or 1. */ 344938d9b04SRichard Tran Mills if (nz == 0) { 345938d9b04SRichard Tran Mills for (i=jstart; i<=jend; i++) { 346938d9b04SRichard Tran Mills y[iperm[i]] = 0.0; 347938d9b04SRichard Tran Mills } 348938d9b04SRichard Tran Mills } else if (nz == 1) { 349938d9b04SRichard Tran Mills for (i=jstart; i<=jend; i++) { 350938d9b04SRichard Tran Mills iold = iperm[i]; 351938d9b04SRichard Tran Mills ipos = ai[iold]; 352938d9b04SRichard Tran Mills y[iold] = aa[ipos] * x[aj[ipos]]; 353938d9b04SRichard Tran Mills } 354938d9b04SRichard Tran Mills } else { 355938d9b04SRichard Tran Mills 356938d9b04SRichard Tran Mills /* We work our way through the current group in chunks of NDIM rows 357938d9b04SRichard Tran Mills * at a time. */ 358938d9b04SRichard Tran Mills 359938d9b04SRichard Tran Mills for (istart=jstart; istart<=jend; istart+=NDIM) { 360938d9b04SRichard Tran Mills /* Figure out where the chunk of 'isize' rows ends in iperm. 361938d9b04SRichard Tran Mills * 'isize may of course be less than NDIM for the last chunk. */ 362938d9b04SRichard Tran Mills iend = istart + (NDIM - 1); 363938d9b04SRichard Tran Mills 364938d9b04SRichard Tran Mills if (iend > jend) iend = jend; 365938d9b04SRichard Tran Mills 366938d9b04SRichard Tran Mills isize = iend - istart + 1; 367938d9b04SRichard Tran Mills 368938d9b04SRichard Tran Mills /* Initialize the yp[] array that will be used to hold part of 369938d9b04SRichard Tran Mills * the permuted results vector, and figure out where in aa each 370938d9b04SRichard Tran Mills * row of the chunk will begin. */ 371938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 372938d9b04SRichard Tran Mills iold = iperm[istart + i]; 373938d9b04SRichard Tran Mills /* iold is a row number from the matrix A *before* reordering. */ 374938d9b04SRichard Tran Mills ip[i] = ai[iold]; 375938d9b04SRichard Tran Mills /* ip[i] tells us where the ith row of the chunk begins in aa. */ 376938d9b04SRichard Tran Mills yp[i] = (PetscScalar) 0.0; 377938d9b04SRichard Tran Mills } 378938d9b04SRichard Tran Mills 379938d9b04SRichard Tran Mills /* If the number of zeros per row exceeds the number of rows in 380938d9b04SRichard Tran Mills * the chunk, we should vectorize along nz, that is, perform the 381938d9b04SRichard Tran Mills * mat-vec one row at a time as in the usual CSR case. */ 382938d9b04SRichard Tran Mills if (nz > isize) { 383938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_CRAY_VECTOR) 384938d9b04SRichard Tran Mills #pragma _CRI preferstream 385938d9b04SRichard Tran Mills #endif 386938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 387938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_CRAY_VECTOR) 388938d9b04SRichard Tran Mills #pragma _CRI prefervector 389938d9b04SRichard Tran Mills #endif 390f67b6f2eSRichard Tran Mills 39180423c7aSSatish Balay #if defined(PETSC_USE_AVX512_KERNELS) && defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 392f67b6f2eSRichard Tran Mills vec_y = _mm512_setzero_pd(); 393f67b6f2eSRichard Tran Mills ipos = ip[i]; 394f67b6f2eSRichard Tran Mills for (j=0; j<(nz>>3); j++) { 395f67b6f2eSRichard Tran Mills vec_idx = _mm256_loadu_si256((__m256i const*)&aj[ipos]); 396f67b6f2eSRichard Tran Mills vec_vals = _mm512_loadu_pd(&aa[ipos]); 397f67b6f2eSRichard Tran Mills vec_x = _mm512_i32gather_pd(vec_idx,x,_MM_SCALE_8); 398f67b6f2eSRichard Tran Mills vec_y = _mm512_fmadd_pd(vec_x,vec_vals,vec_y); 399f67b6f2eSRichard Tran Mills ipos += 8; 400f67b6f2eSRichard Tran Mills } 401f67b6f2eSRichard Tran Mills if ((nz&0x07)>2) { 402f67b6f2eSRichard Tran Mills mask = (__mmask8)(0xff >> (8-(nz&0x07))); 403f67b6f2eSRichard Tran Mills vec_idx = _mm256_loadu_si256((__m256i const*)&aj[ipos]); 404f67b6f2eSRichard Tran Mills vec_vals = _mm512_loadu_pd(&aa[ipos]); 405f67b6f2eSRichard Tran Mills vec_x = _mm512_mask_i32gather_pd(vec_x,mask,vec_idx,x,_MM_SCALE_8); 406f67b6f2eSRichard Tran Mills vec_y = _mm512_mask3_fmadd_pd(vec_x,vec_vals,vec_y,mask); 407f67b6f2eSRichard Tran Mills } else if ((nz&0x07)==2) { 408f67b6f2eSRichard Tran Mills yp[i] += aa[ipos]*x[aj[ipos]]; 409f67b6f2eSRichard Tran Mills yp[i] += aa[ipos+1]*x[aj[ipos+1]]; 410f67b6f2eSRichard Tran Mills } else if ((nz&0x07)==1) { 411f67b6f2eSRichard Tran Mills yp[i] += aa[ipos]*x[aj[ipos]]; 412f67b6f2eSRichard Tran Mills } 413f67b6f2eSRichard Tran Mills yp[i] += _mm512_reduce_add_pd(vec_y); 414f67b6f2eSRichard Tran Mills #else 415938d9b04SRichard Tran Mills for (j=0; j<nz; j++) { 416938d9b04SRichard Tran Mills ipos = ip[i] + j; 417938d9b04SRichard Tran Mills yp[i] += aa[ipos] * x[aj[ipos]]; 418938d9b04SRichard Tran Mills } 419f67b6f2eSRichard Tran Mills #endif 420938d9b04SRichard Tran Mills } 421938d9b04SRichard Tran Mills } else { 422938d9b04SRichard Tran Mills /* Otherwise, there are enough rows in the chunk to make it 423938d9b04SRichard Tran Mills * worthwhile to vectorize across the rows, that is, to do the 424938d9b04SRichard Tran Mills * matvec by operating with "columns" of the chunk. */ 425938d9b04SRichard Tran Mills for (j=0; j<nz; j++) { 42680423c7aSSatish Balay #if defined(PETSC_USE_AVX512_KERNELS) && defined(PETSC_HAVE_IMMINTRIN_H) && defined(__AVX512F__) && defined(PETSC_USE_REAL_DOUBLE) && !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_64BIT_INDICES) 427f67b6f2eSRichard Tran Mills vec_j = _mm256_set1_epi32(j); 428f67b6f2eSRichard Tran Mills for (i=0; i<((isize>>3)<<3); i+=8) { 429f67b6f2eSRichard Tran Mills vec_y = _mm512_loadu_pd(&yp[i]); 430f67b6f2eSRichard Tran Mills vec_ipos = _mm256_loadu_si256((__m256i const*)&ip[i]); 431f67b6f2eSRichard Tran Mills vec_ipos = _mm256_add_epi32(vec_ipos,vec_j); 432f67b6f2eSRichard Tran Mills vec_idx = _mm256_i32gather_epi32(aj,vec_ipos,_MM_SCALE_4); 433f67b6f2eSRichard Tran Mills vec_vals = _mm512_i32gather_pd(vec_ipos,aa,_MM_SCALE_8); 434f67b6f2eSRichard Tran Mills vec_x = _mm512_i32gather_pd(vec_idx,x,_MM_SCALE_8); 435f67b6f2eSRichard Tran Mills vec_y = _mm512_fmadd_pd(vec_x,vec_vals,vec_y); 436f67b6f2eSRichard Tran Mills _mm512_storeu_pd(&yp[i],vec_y); 437f67b6f2eSRichard Tran Mills } 438f67b6f2eSRichard Tran Mills for (i=isize-(isize&0x07); i<isize; i++) { 439f67b6f2eSRichard Tran Mills ipos = ip[i]+j; 440f67b6f2eSRichard Tran Mills yp[i] += aa[ipos]*x[aj[ipos]]; 441f67b6f2eSRichard Tran Mills } 442f67b6f2eSRichard Tran Mills #else 443938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 444938d9b04SRichard Tran Mills ipos = ip[i] + j; 445938d9b04SRichard Tran Mills yp[i] += aa[ipos] * x[aj[ipos]]; 446938d9b04SRichard Tran Mills } 447f67b6f2eSRichard Tran Mills #endif 448938d9b04SRichard Tran Mills } 449938d9b04SRichard Tran Mills } 450938d9b04SRichard Tran Mills 451938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_CRAY_VECTOR) 452938d9b04SRichard Tran Mills #pragma _CRI ivdep 453938d9b04SRichard Tran Mills #endif 454938d9b04SRichard Tran Mills /* Put results from yp[] into non-permuted result vector y. */ 455938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 456938d9b04SRichard Tran Mills y[iperm[istart+i]] = yp[i]; 457938d9b04SRichard Tran Mills } 458938d9b04SRichard Tran Mills } /* End processing chunk of isize rows of a group. */ 459938d9b04SRichard Tran Mills } /* End handling matvec for chunk with nz > 1. */ 460938d9b04SRichard Tran Mills } /* End loop over igroup. */ 461938d9b04SRichard Tran Mills #endif 4629566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(PetscMax(2.0*a->nz - A->rmap->n,0))); 4639566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx,&x)); 4649566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(yy,&y)); 465938d9b04SRichard Tran Mills PetscFunctionReturn(0); 466938d9b04SRichard Tran Mills } 467938d9b04SRichard Tran Mills 468938d9b04SRichard Tran Mills /* MatMultAdd_SeqAIJPERM() calculates yy = ww + A * xx. 469938d9b04SRichard Tran Mills * Note that the names I used to designate the vectors differs from that 470938d9b04SRichard Tran Mills * used in MatMultAdd_SeqAIJ(). I did this to keep my notation consistent 471938d9b04SRichard Tran Mills * with the MatMult_SeqAIJPERM() routine, which is very similar to this one. */ 472938d9b04SRichard Tran Mills /* 473938d9b04SRichard Tran Mills I hate having virtually identical code for the mult and the multadd!!! 474938d9b04SRichard Tran Mills */ 475938d9b04SRichard Tran Mills PetscErrorCode MatMultAdd_SeqAIJPERM(Mat A,Vec xx,Vec ww,Vec yy) 476938d9b04SRichard Tran Mills { 477938d9b04SRichard Tran Mills Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 478938d9b04SRichard Tran Mills const PetscScalar *x; 479938d9b04SRichard Tran Mills PetscScalar *y,*w; 480938d9b04SRichard Tran Mills const MatScalar *aa; 481938d9b04SRichard Tran Mills const PetscInt *aj,*ai; 482938d9b04SRichard Tran Mills #if !defined(PETSC_USE_FORTRAN_KERNEL_MULTADDAIJPERM) 483938d9b04SRichard Tran Mills PetscInt i,j; 484938d9b04SRichard Tran Mills #endif 485938d9b04SRichard Tran Mills 486938d9b04SRichard Tran Mills /* Variables that don't appear in MatMultAdd_SeqAIJ. */ 487938d9b04SRichard Tran Mills Mat_SeqAIJPERM * aijperm; 488938d9b04SRichard Tran Mills PetscInt *iperm; /* Points to the permutation vector. */ 489938d9b04SRichard Tran Mills PetscInt *xgroup; 490938d9b04SRichard Tran Mills /* Denotes where groups of rows with same number of nonzeros 491938d9b04SRichard Tran Mills * begin and end in iperm. */ 492938d9b04SRichard Tran Mills PetscInt *nzgroup; 493938d9b04SRichard Tran Mills PetscInt ngroup; 494938d9b04SRichard Tran Mills PetscInt igroup; 495938d9b04SRichard Tran Mills PetscInt jstart,jend; 496938d9b04SRichard Tran Mills /* jstart is used in loops to denote the position in iperm where a 497938d9b04SRichard Tran Mills * group starts; jend denotes the position where it ends. 498938d9b04SRichard Tran Mills * (jend + 1 is where the next group starts.) */ 499938d9b04SRichard Tran Mills PetscInt iold,nz; 500938d9b04SRichard Tran Mills PetscInt istart,iend,isize; 501938d9b04SRichard Tran Mills PetscInt ipos; 502938d9b04SRichard Tran Mills PetscScalar yp[NDIM]; 503938d9b04SRichard Tran Mills PetscInt ip[NDIM]; 504938d9b04SRichard Tran Mills /* yp[] and ip[] are treated as vector "registers" for performing 505938d9b04SRichard Tran Mills * the mat-vec. */ 506938d9b04SRichard Tran Mills 507938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_PRAGMA_DISJOINT) 508938d9b04SRichard Tran Mills #pragma disjoint(*x,*y,*aa) 509938d9b04SRichard Tran Mills #endif 510938d9b04SRichard Tran Mills 511938d9b04SRichard Tran Mills PetscFunctionBegin; 5129566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(xx,&x)); 5139566063dSJacob Faibussowitsch PetscCall(VecGetArrayPair(yy,ww,&y,&w)); 514938d9b04SRichard Tran Mills 515938d9b04SRichard Tran Mills aj = a->j; /* aj[k] gives column index for element aa[k]. */ 516938d9b04SRichard Tran Mills aa = a->a; /* Nonzero elements stored row-by-row. */ 517938d9b04SRichard Tran Mills ai = a->i; /* ai[k] is the position in aa and aj where row k starts. */ 518938d9b04SRichard Tran Mills 519938d9b04SRichard Tran Mills /* Get the info we need about the permutations and groupings. */ 520938d9b04SRichard Tran Mills aijperm = (Mat_SeqAIJPERM*) A->spptr; 521938d9b04SRichard Tran Mills iperm = aijperm->iperm; 522938d9b04SRichard Tran Mills ngroup = aijperm->ngroup; 523938d9b04SRichard Tran Mills xgroup = aijperm->xgroup; 524938d9b04SRichard Tran Mills nzgroup = aijperm->nzgroup; 525938d9b04SRichard Tran Mills 526938d9b04SRichard Tran Mills #if defined(PETSC_USE_FORTRAN_KERNEL_MULTADDAIJPERM) 527938d9b04SRichard Tran Mills fortranmultaddaijperm_(&m,x,ii,aj,aa,y,w); 528938d9b04SRichard Tran Mills #else 529938d9b04SRichard Tran Mills 530938d9b04SRichard Tran Mills for (igroup=0; igroup<ngroup; igroup++) { 531938d9b04SRichard Tran Mills jstart = xgroup[igroup]; 532938d9b04SRichard Tran Mills jend = xgroup[igroup+1] - 1; 533938d9b04SRichard Tran Mills 534938d9b04SRichard Tran Mills nz = nzgroup[igroup]; 535938d9b04SRichard Tran Mills 536938d9b04SRichard Tran Mills /* Handle the special cases where the number of nonzeros per row 537938d9b04SRichard Tran Mills * in the group is either 0 or 1. */ 538938d9b04SRichard Tran Mills if (nz == 0) { 539938d9b04SRichard Tran Mills for (i=jstart; i<=jend; i++) { 540938d9b04SRichard Tran Mills iold = iperm[i]; 541938d9b04SRichard Tran Mills y[iold] = w[iold]; 542938d9b04SRichard Tran Mills } 543938d9b04SRichard Tran Mills } 544938d9b04SRichard Tran Mills else if (nz == 1) { 545938d9b04SRichard Tran Mills for (i=jstart; i<=jend; i++) { 546938d9b04SRichard Tran Mills iold = iperm[i]; 547938d9b04SRichard Tran Mills ipos = ai[iold]; 548938d9b04SRichard Tran Mills y[iold] = w[iold] + aa[ipos] * x[aj[ipos]]; 549938d9b04SRichard Tran Mills } 550938d9b04SRichard Tran Mills } 551938d9b04SRichard Tran Mills /* For the general case: */ 552938d9b04SRichard Tran Mills else { 553938d9b04SRichard Tran Mills 554938d9b04SRichard Tran Mills /* We work our way through the current group in chunks of NDIM rows 555938d9b04SRichard Tran Mills * at a time. */ 556938d9b04SRichard Tran Mills 557938d9b04SRichard Tran Mills for (istart=jstart; istart<=jend; istart+=NDIM) { 558938d9b04SRichard Tran Mills /* Figure out where the chunk of 'isize' rows ends in iperm. 559938d9b04SRichard Tran Mills * 'isize may of course be less than NDIM for the last chunk. */ 560938d9b04SRichard Tran Mills iend = istart + (NDIM - 1); 561938d9b04SRichard Tran Mills if (iend > jend) iend = jend; 562938d9b04SRichard Tran Mills isize = iend - istart + 1; 563938d9b04SRichard Tran Mills 564938d9b04SRichard Tran Mills /* Initialize the yp[] array that will be used to hold part of 565938d9b04SRichard Tran Mills * the permuted results vector, and figure out where in aa each 566938d9b04SRichard Tran Mills * row of the chunk will begin. */ 567938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 568938d9b04SRichard Tran Mills iold = iperm[istart + i]; 569938d9b04SRichard Tran Mills /* iold is a row number from the matrix A *before* reordering. */ 570938d9b04SRichard Tran Mills ip[i] = ai[iold]; 571938d9b04SRichard Tran Mills /* ip[i] tells us where the ith row of the chunk begins in aa. */ 572938d9b04SRichard Tran Mills yp[i] = w[iold]; 573938d9b04SRichard Tran Mills } 574938d9b04SRichard Tran Mills 575938d9b04SRichard Tran Mills /* If the number of zeros per row exceeds the number of rows in 576938d9b04SRichard Tran Mills * the chunk, we should vectorize along nz, that is, perform the 577938d9b04SRichard Tran Mills * mat-vec one row at a time as in the usual CSR case. */ 578938d9b04SRichard Tran Mills if (nz > isize) { 579938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_CRAY_VECTOR) 580938d9b04SRichard Tran Mills #pragma _CRI preferstream 581938d9b04SRichard Tran Mills #endif 582938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 583938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_CRAY_VECTOR) 584938d9b04SRichard Tran Mills #pragma _CRI prefervector 585938d9b04SRichard Tran Mills #endif 586938d9b04SRichard Tran Mills for (j=0; j<nz; j++) { 587938d9b04SRichard Tran Mills ipos = ip[i] + j; 588938d9b04SRichard Tran Mills yp[i] += aa[ipos] * x[aj[ipos]]; 589938d9b04SRichard Tran Mills } 590938d9b04SRichard Tran Mills } 591938d9b04SRichard Tran Mills } 592938d9b04SRichard Tran Mills /* Otherwise, there are enough rows in the chunk to make it 593938d9b04SRichard Tran Mills * worthwhile to vectorize across the rows, that is, to do the 594938d9b04SRichard Tran Mills * matvec by operating with "columns" of the chunk. */ 595938d9b04SRichard Tran Mills else { 596938d9b04SRichard Tran Mills for (j=0; j<nz; j++) { 597938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 598938d9b04SRichard Tran Mills ipos = ip[i] + j; 599938d9b04SRichard Tran Mills yp[i] += aa[ipos] * x[aj[ipos]]; 600938d9b04SRichard Tran Mills } 601938d9b04SRichard Tran Mills } 602938d9b04SRichard Tran Mills } 603938d9b04SRichard Tran Mills 604938d9b04SRichard Tran Mills #if defined(PETSC_HAVE_CRAY_VECTOR) 605938d9b04SRichard Tran Mills #pragma _CRI ivdep 606938d9b04SRichard Tran Mills #endif 607938d9b04SRichard Tran Mills /* Put results from yp[] into non-permuted result vector y. */ 608938d9b04SRichard Tran Mills for (i=0; i<isize; i++) { 609938d9b04SRichard Tran Mills y[iperm[istart+i]] = yp[i]; 610938d9b04SRichard Tran Mills } 611938d9b04SRichard Tran Mills } /* End processing chunk of isize rows of a group. */ 612938d9b04SRichard Tran Mills 613938d9b04SRichard Tran Mills } /* End handling matvec for chunk with nz > 1. */ 614938d9b04SRichard Tran Mills } /* End loop over igroup. */ 615938d9b04SRichard Tran Mills 616938d9b04SRichard Tran Mills #endif 6179566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0*a->nz)); 6189566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(xx,&x)); 6199566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayPair(yy,ww,&y,&w)); 620938d9b04SRichard Tran Mills PetscFunctionReturn(0); 621938d9b04SRichard Tran Mills } 622938d9b04SRichard Tran Mills 623938d9b04SRichard Tran Mills /* MatConvert_SeqAIJ_SeqAIJPERM converts a SeqAIJ matrix into a 624938d9b04SRichard Tran Mills * SeqAIJPERM matrix. This routine is called by the MatCreate_SeqAIJPERM() 625938d9b04SRichard Tran Mills * routine, but can also be used to convert an assembled SeqAIJ matrix 626938d9b04SRichard Tran Mills * into a SeqAIJPERM one. */ 627938d9b04SRichard Tran Mills PETSC_INTERN PetscErrorCode MatConvert_SeqAIJ_SeqAIJPERM(Mat A,MatType type,MatReuse reuse,Mat *newmat) 628938d9b04SRichard Tran Mills { 629938d9b04SRichard Tran Mills Mat B = *newmat; 630938d9b04SRichard Tran Mills Mat_SeqAIJPERM *aijperm; 631938d9b04SRichard Tran Mills PetscBool sametype; 632938d9b04SRichard Tran Mills 633938d9b04SRichard Tran Mills PetscFunctionBegin; 634938d9b04SRichard Tran Mills if (reuse == MAT_INITIAL_MATRIX) { 6359566063dSJacob Faibussowitsch PetscCall(MatDuplicate(A,MAT_COPY_VALUES,&B)); 636938d9b04SRichard Tran Mills } 6379566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)A,type,&sametype)); 638938d9b04SRichard Tran Mills if (sametype) PetscFunctionReturn(0); 639938d9b04SRichard Tran Mills 6409566063dSJacob Faibussowitsch PetscCall(PetscNewLog(B,&aijperm)); 641938d9b04SRichard Tran Mills B->spptr = (void*) aijperm; 642938d9b04SRichard Tran Mills 643938d9b04SRichard Tran Mills /* Set function pointers for methods that we inherit from AIJ but override. */ 644938d9b04SRichard Tran Mills B->ops->duplicate = MatDuplicate_SeqAIJPERM; 645938d9b04SRichard Tran Mills B->ops->assemblyend = MatAssemblyEnd_SeqAIJPERM; 646938d9b04SRichard Tran Mills B->ops->destroy = MatDestroy_SeqAIJPERM; 647938d9b04SRichard Tran Mills B->ops->mult = MatMult_SeqAIJPERM; 648938d9b04SRichard Tran Mills B->ops->multadd = MatMultAdd_SeqAIJPERM; 649938d9b04SRichard Tran Mills 650938d9b04SRichard Tran Mills aijperm->nonzerostate = -1; /* this will trigger the generation of the permutation information the first time through MatAssembly()*/ 651938d9b04SRichard Tran Mills /* If A has already been assembled, compute the permutation. */ 652938d9b04SRichard Tran Mills if (A->assembled) { 6539566063dSJacob Faibussowitsch PetscCall(MatSeqAIJPERM_create_perm(B)); 654938d9b04SRichard Tran Mills } 655938d9b04SRichard Tran Mills 6569566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)B,"MatConvert_seqaijperm_seqaij_C",MatConvert_SeqAIJPERM_SeqAIJ)); 657938d9b04SRichard Tran Mills 6589566063dSJacob Faibussowitsch PetscCall(PetscObjectChangeTypeName((PetscObject)B,MATSEQAIJPERM)); 659938d9b04SRichard Tran Mills *newmat = B; 660938d9b04SRichard Tran Mills PetscFunctionReturn(0); 661938d9b04SRichard Tran Mills } 662938d9b04SRichard Tran Mills 663938d9b04SRichard Tran Mills /*@C 664938d9b04SRichard Tran Mills MatCreateSeqAIJPERM - Creates a sparse matrix of type SEQAIJPERM. 665938d9b04SRichard Tran Mills This type inherits from AIJ, but calculates some additional permutation 666938d9b04SRichard Tran Mills information that is used to allow better vectorization of some 667938d9b04SRichard Tran Mills operations. At the cost of increased storage, the AIJ formatted 668938d9b04SRichard Tran Mills matrix can be copied to a format in which pieces of the matrix are 669938d9b04SRichard Tran Mills stored in ELLPACK format, allowing the vectorized matrix multiply 670938d9b04SRichard Tran Mills routine to use stride-1 memory accesses. As with the AIJ type, it is 671938d9b04SRichard Tran Mills important to preallocate matrix storage in order to get good assembly 672938d9b04SRichard Tran Mills performance. 673938d9b04SRichard Tran Mills 674d083f849SBarry Smith Collective 675938d9b04SRichard Tran Mills 676938d9b04SRichard Tran Mills Input Parameters: 677938d9b04SRichard Tran Mills + comm - MPI communicator, set to PETSC_COMM_SELF 678938d9b04SRichard Tran Mills . m - number of rows 679938d9b04SRichard Tran Mills . n - number of columns 680938d9b04SRichard Tran Mills . nz - number of nonzeros per row (same for all rows) 681938d9b04SRichard Tran Mills - nnz - array containing the number of nonzeros in the various rows 682938d9b04SRichard Tran Mills (possibly different for each row) or NULL 683938d9b04SRichard Tran Mills 684938d9b04SRichard Tran Mills Output Parameter: 685938d9b04SRichard Tran Mills . A - the matrix 686938d9b04SRichard Tran Mills 687938d9b04SRichard Tran Mills Notes: 688938d9b04SRichard Tran Mills If nnz is given then nz is ignored 689938d9b04SRichard Tran Mills 690938d9b04SRichard Tran Mills Level: intermediate 691938d9b04SRichard Tran Mills 692db781477SPatrick Sanan .seealso: `MatCreate()`, `MatCreateMPIAIJPERM()`, `MatSetValues()` 693938d9b04SRichard Tran Mills @*/ 694938d9b04SRichard Tran Mills PetscErrorCode MatCreateSeqAIJPERM(MPI_Comm comm,PetscInt m,PetscInt n,PetscInt nz,const PetscInt nnz[],Mat *A) 695938d9b04SRichard Tran Mills { 696938d9b04SRichard Tran Mills PetscFunctionBegin; 6979566063dSJacob Faibussowitsch PetscCall(MatCreate(comm,A)); 6989566063dSJacob Faibussowitsch PetscCall(MatSetSizes(*A,m,n,m,n)); 6999566063dSJacob Faibussowitsch PetscCall(MatSetType(*A,MATSEQAIJPERM)); 7009566063dSJacob Faibussowitsch PetscCall(MatSeqAIJSetPreallocation_SeqAIJ(*A,nz,nnz)); 701938d9b04SRichard Tran Mills PetscFunctionReturn(0); 702938d9b04SRichard Tran Mills } 703938d9b04SRichard Tran Mills 704938d9b04SRichard Tran Mills PETSC_EXTERN PetscErrorCode MatCreate_SeqAIJPERM(Mat A) 705938d9b04SRichard Tran Mills { 706938d9b04SRichard Tran Mills PetscFunctionBegin; 7079566063dSJacob Faibussowitsch PetscCall(MatSetType(A,MATSEQAIJ)); 7089566063dSJacob Faibussowitsch PetscCall(MatConvert_SeqAIJ_SeqAIJPERM(A,MATSEQAIJPERM,MAT_INPLACE_MATRIX,&A)); 709938d9b04SRichard Tran Mills PetscFunctionReturn(0); 710938d9b04SRichard Tran Mills } 711