xref: /petsc/src/mat/impls/sbaij/seq/aijsbaij.c (revision d71ae5a4db6382e7f06317b8d368875286fe9008)
159557b74SHong Zhang 
2c6db04a5SJed Brown #include <../src/mat/impls/aij/seq/aij.h>
3c6db04a5SJed Brown #include <../src/mat/impls/baij/seq/baij.h>
4c6db04a5SJed Brown #include <../src/mat/impls/sbaij/seq/sbaij.h>
559557b74SHong Zhang 
6*d71ae5a4SJacob Faibussowitsch PETSC_INTERN PetscErrorCode MatConvert_SeqSBAIJ_SeqAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat)
7*d71ae5a4SJacob Faibussowitsch {
84e5e7fe4SHong Zhang   Mat           B;
94e5e7fe4SHong Zhang   Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data;
104e5e7fe4SHong Zhang   Mat_SeqAIJ   *b;
11d0f46423SBarry Smith   PetscInt     *ai = a->i, *aj = a->j, m = A->rmap->N, n = A->cmap->n, i, j, k, *bi, *bj, *rowlengths, nz, *rowstart, itmp;
1201be0148SBarry Smith   PetscInt      bs = A->rmap->bs, bs2 = bs * bs, mbs = A->rmap->N / bs, diagcnt = 0;
13dd6ea824SBarry Smith   MatScalar    *av, *bv;
14eb1ec7c1SStefano Zampini #if defined(PETSC_USE_COMPLEX)
15b94d7dedSBarry Smith   const int aconj = A->hermitian == PETSC_BOOL3_TRUE ? 1 : 0;
16eb1ec7c1SStefano Zampini #else
17eb1ec7c1SStefano Zampini   const int aconj = 0;
18eb1ec7c1SStefano Zampini #endif
194e5e7fe4SHong Zhang 
204e5e7fe4SHong Zhang   PetscFunctionBegin;
214e5e7fe4SHong Zhang   /* compute rowlengths of newmat */
229566063dSJacob Faibussowitsch   PetscCall(PetscMalloc2(m, &rowlengths, m + 1, &rowstart));
23a7a3a9ebSHong Zhang 
24a7a3a9ebSHong Zhang   for (i = 0; i < mbs; i++) rowlengths[i * bs] = 0;
25a7a3a9ebSHong Zhang   k = 0;
26a7a3a9ebSHong Zhang   for (i = 0; i < mbs; i++) {
274e5e7fe4SHong Zhang     nz = ai[i + 1] - ai[i];
2801be0148SBarry Smith     if (nz) {
2901be0148SBarry Smith       rowlengths[k] += nz; /* no. of upper triangular blocks */
309371c9d4SSatish Balay       if (*aj == i) {
319371c9d4SSatish Balay         aj++;
329371c9d4SSatish Balay         diagcnt++;
339371c9d4SSatish Balay         nz--;
349371c9d4SSatish Balay       }                          /* skip diagonal */
3501be0148SBarry Smith       for (j = 0; j < nz; j++) { /* no. of lower triangular blocks */
369371c9d4SSatish Balay         rowlengths[(*aj) * bs]++;
379371c9d4SSatish Balay         aj++;
38a7a3a9ebSHong Zhang       }
3901be0148SBarry Smith     }
40a7a3a9ebSHong Zhang     rowlengths[k] *= bs;
41ad540459SPierre Jolivet     for (j = 1; j < bs; j++) rowlengths[k + j] = rowlengths[k];
42a7a3a9ebSHong Zhang     k += bs;
434e5e7fe4SHong Zhang   }
444e5e7fe4SHong Zhang 
45bd019fc1SStefano Zampini   if (reuse != MAT_REUSE_MATRIX) {
469566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
479566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, m, n, m, n));
489566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQAIJ));
499566063dSJacob Faibussowitsch     PetscCall(MatSeqAIJSetPreallocation(B, 0, rowlengths));
509566063dSJacob Faibussowitsch     PetscCall(MatSetBlockSize(B, A->rmap->bs));
51bd019fc1SStefano Zampini   } else B = *newmat;
524e5e7fe4SHong Zhang 
534e5e7fe4SHong Zhang   b  = (Mat_SeqAIJ *)(B->data);
544e5e7fe4SHong Zhang   bi = b->i;
554e5e7fe4SHong Zhang   bj = b->j;
564e5e7fe4SHong Zhang   bv = b->a;
574e5e7fe4SHong Zhang 
584e5e7fe4SHong Zhang   /* set b->i */
599371c9d4SSatish Balay   bi[0]       = 0;
609371c9d4SSatish Balay   rowstart[0] = 0;
61a7a3a9ebSHong Zhang   for (i = 0; i < mbs; i++) {
62a7a3a9ebSHong Zhang     for (j = 0; j < bs; j++) {
63a7a3a9ebSHong Zhang       b->ilen[i * bs + j]      = rowlengths[i * bs];
64a7a3a9ebSHong Zhang       rowstart[i * bs + j + 1] = rowstart[i * bs + j] + rowlengths[i * bs];
654e5e7fe4SHong Zhang     }
66a7a3a9ebSHong Zhang     bi[i + 1] = bi[i] + rowlengths[i * bs] / bs;
67a7a3a9ebSHong Zhang   }
68aed4548fSBarry Smith   PetscCheck(bi[mbs] == 2 * a->nz - diagcnt, PETSC_COMM_SELF, PETSC_ERR_PLIB, "bi[mbs]: %" PetscInt_FMT " != 2*a->nz-diagcnt: %" PetscInt_FMT, bi[mbs], 2 * a->nz - diagcnt);
694e5e7fe4SHong Zhang 
704e5e7fe4SHong Zhang   /* set b->j and b->a */
719371c9d4SSatish Balay   aj = a->j;
729371c9d4SSatish Balay   av = a->a;
73a7a3a9ebSHong Zhang   for (i = 0; i < mbs; i++) {
7401be0148SBarry Smith     nz = ai[i + 1] - ai[i];
75a7a3a9ebSHong Zhang     /* diagonal block */
7601be0148SBarry Smith     if (nz && *aj == i) {
7701be0148SBarry Smith       nz--;
78a7a3a9ebSHong Zhang       for (j = 0; j < bs; j++) { /* row i*bs+j */
79a7a3a9ebSHong Zhang         itmp = i * bs + j;
80a7a3a9ebSHong Zhang         for (k = 0; k < bs; k++) { /* col i*bs+k */
81a7a3a9ebSHong Zhang           *(bj + rowstart[itmp]) = (*aj) * bs + k;
82a7a3a9ebSHong Zhang           *(bv + rowstart[itmp]) = *(av + k * bs + j);
83a7a3a9ebSHong Zhang           rowstart[itmp]++;
84a7a3a9ebSHong Zhang         }
85a7a3a9ebSHong Zhang       }
869371c9d4SSatish Balay       aj++;
879371c9d4SSatish Balay       av += bs2;
8801be0148SBarry Smith     }
89a7a3a9ebSHong Zhang 
904e5e7fe4SHong Zhang     while (nz--) {
91a7a3a9ebSHong Zhang       /* lower triangular blocks */
92a7a3a9ebSHong Zhang       for (j = 0; j < bs; j++) { /* row (*aj)*bs+j */
93a7a3a9ebSHong Zhang         itmp = (*aj) * bs + j;
94a7a3a9ebSHong Zhang         for (k = 0; k < bs; k++) { /* col i*bs+k */
95a7a3a9ebSHong Zhang           *(bj + rowstart[itmp]) = i * bs + k;
96eb1ec7c1SStefano Zampini           *(bv + rowstart[itmp]) = aconj ? PetscConj(*(av + j * bs + k)) : *(av + j * bs + k);
97a7a3a9ebSHong Zhang           rowstart[itmp]++;
98a7a3a9ebSHong Zhang         }
99a7a3a9ebSHong Zhang       }
100a7a3a9ebSHong Zhang       /* upper triangular blocks */
101a7a3a9ebSHong Zhang       for (j = 0; j < bs; j++) { /* row i*bs+j */
102a7a3a9ebSHong Zhang         itmp = i * bs + j;
103a7a3a9ebSHong Zhang         for (k = 0; k < bs; k++) { /* col (*aj)*bs+k */
104a7a3a9ebSHong Zhang           *(bj + rowstart[itmp]) = (*aj) * bs + k;
105a7a3a9ebSHong Zhang           *(bv + rowstart[itmp]) = *(av + k * bs + j);
106a7a3a9ebSHong Zhang           rowstart[itmp]++;
107a7a3a9ebSHong Zhang         }
108a7a3a9ebSHong Zhang       }
1099371c9d4SSatish Balay       aj++;
1109371c9d4SSatish Balay       av += bs2;
1114e5e7fe4SHong Zhang     }
1124e5e7fe4SHong Zhang   }
1139566063dSJacob Faibussowitsch   PetscCall(PetscFree2(rowlengths, rowstart));
1149566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
1159566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
1164e5e7fe4SHong Zhang 
117511c6705SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
1189566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
119c3d102feSKris Buschelman   } else {
1204e5e7fe4SHong Zhang     *newmat = B;
121c3d102feSKris Buschelman   }
1224e5e7fe4SHong Zhang   PetscFunctionReturn(0);
1234e5e7fe4SHong Zhang }
124be1d678aSKris Buschelman 
125*d71ae5a4SJacob Faibussowitsch PETSC_INTERN PetscErrorCode MatConvert_SeqAIJ_SeqSBAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat)
126*d71ae5a4SJacob Faibussowitsch {
127676c34cdSKris Buschelman   Mat           B;
12859557b74SHong Zhang   Mat_SeqAIJ   *a = (Mat_SeqAIJ *)A->data;
129861ba921SHong Zhang   Mat_SeqSBAIJ *b;
130ae8d29abSPierre Jolivet   PetscInt     *ai = a->i, *aj, m = A->rmap->N, n = A->cmap->N, i, j, *bi, *bj, *rowlengths, bs = PetscAbs(A->rmap->bs);
131dd6ea824SBarry Smith   MatScalar    *av, *bv;
132b05258aeSStefano Zampini   PetscBool     miss = PETSC_FALSE;
13359557b74SHong Zhang 
13459557b74SHong Zhang   PetscFunctionBegin;
135b05258aeSStefano Zampini #if !defined(PETSC_USE_COMPLEX)
136b94d7dedSBarry Smith   PetscCheck(A->symmetric == PETSC_BOOL3_TRUE, PetscObjectComm((PetscObject)A), PETSC_ERR_USER, "Matrix must be symmetric. Call MatSetOption(mat,MAT_SYMMETRIC,PETSC_TRUE)");
137b05258aeSStefano Zampini #else
138b94d7dedSBarry Smith   PetscCheck(A->symmetric == PETSC_BOOL3_TRUE || A->hermitian == PETSC_BOOL3_TRUE, PetscObjectComm((PetscObject)A), PETSC_ERR_USER, "Matrix must be either symmetric or hermitian. Call MatSetOption(mat,MAT_SYMMETRIC,PETSC_TRUE) and/or MatSetOption(mat,MAT_HERMITIAN,PETSC_TRUE)");
139b05258aeSStefano Zampini #endif
14008401ef6SPierre Jolivet   PetscCheck(n == m, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Matrix must be square");
14159557b74SHong Zhang 
1429566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(m / bs, &rowlengths));
143ae8d29abSPierre Jolivet   for (i = 0; i < m / bs; i++) {
144b05258aeSStefano Zampini     if (a->diag[i * bs] == ai[i * bs + 1]) {              /* missing diagonal */
145b05258aeSStefano Zampini       rowlengths[i] = (ai[i * bs + 1] - ai[i * bs]) / bs; /* allocate some extra space */
146b05258aeSStefano Zampini       miss          = PETSC_TRUE;
147b05258aeSStefano Zampini     } else {
148ae8d29abSPierre Jolivet       rowlengths[i] = (ai[i * bs + 1] - a->diag[i * bs]) / bs;
14959557b74SHong Zhang     }
150b05258aeSStefano Zampini   }
151bd019fc1SStefano Zampini   if (reuse != MAT_REUSE_MATRIX) {
1529566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
1539566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, m, n, m, n));
1549566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQSBAIJ));
1559566063dSJacob Faibussowitsch     PetscCall(MatSeqSBAIJSetPreallocation(B, bs, 0, rowlengths));
156bd019fc1SStefano Zampini   } else B = *newmat;
15759557b74SHong Zhang 
158b05258aeSStefano Zampini   if (bs == 1 && !miss) {
159676c34cdSKris Buschelman     b  = (Mat_SeqSBAIJ *)(B->data);
160861ba921SHong Zhang     bi = b->i;
161861ba921SHong Zhang     bj = b->j;
162861ba921SHong Zhang     bv = b->a;
163861ba921SHong Zhang 
164861ba921SHong Zhang     bi[0] = 0;
16559557b74SHong Zhang     for (i = 0; i < m; i++) {
16659557b74SHong Zhang       aj = a->j + a->diag[i];
16759557b74SHong Zhang       av = a->a + a->diag[i];
168861ba921SHong Zhang       for (j = 0; j < rowlengths[i]; j++) {
1699371c9d4SSatish Balay         *bj = *aj;
1709371c9d4SSatish Balay         bj++;
1719371c9d4SSatish Balay         aj++;
1729371c9d4SSatish Balay         *bv = *av;
1739371c9d4SSatish Balay         bv++;
1749371c9d4SSatish Balay         av++;
175861ba921SHong Zhang       }
176861ba921SHong Zhang       bi[i + 1]  = bi[i] + rowlengths[i];
177861ba921SHong Zhang       b->ilen[i] = rowlengths[i];
17859557b74SHong Zhang     }
1799566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
1809566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
181ae8d29abSPierre Jolivet   } else {
1829566063dSJacob Faibussowitsch     PetscCall(MatSetOption(B, MAT_IGNORE_LOWER_TRIANGULAR, PETSC_TRUE));
183ae8d29abSPierre Jolivet     /* reuse may not be equal to MAT_REUSE_MATRIX, but the basic converter will reallocate or replace newmat if this value is not used */
184ae8d29abSPierre Jolivet     /* if reuse is equal to MAT_INITIAL_MATRIX, it has been appropriately preallocated before                                          */
185ae8d29abSPierre Jolivet     /*                      MAT_INPLACE_MATRIX, it will be replaced with MatHeaderReplace below                                        */
1869566063dSJacob Faibussowitsch     PetscCall(MatConvert_Basic(A, newtype, MAT_REUSE_MATRIX, &B));
187ae8d29abSPierre Jolivet   }
1889566063dSJacob Faibussowitsch   PetscCall(PetscFree(rowlengths));
189511c6705SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
1909566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
191ae8d29abSPierre Jolivet   } else *newmat = B;
19259557b74SHong Zhang   PetscFunctionReturn(0);
19359557b74SHong Zhang }
19459557b74SHong Zhang 
195*d71ae5a4SJacob Faibussowitsch PETSC_INTERN PetscErrorCode MatConvert_SeqSBAIJ_SeqBAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat)
196*d71ae5a4SJacob Faibussowitsch {
197a0e1a404SHong Zhang   Mat           B;
198a0e1a404SHong Zhang   Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ *)A->data;
199a0e1a404SHong Zhang   Mat_SeqBAIJ  *b;
200d0f46423SBarry Smith   PetscInt     *ai = a->i, *aj = a->j, m = A->rmap->N, n = A->cmap->n, i, k, *bi, *bj, *browlengths, nz, *browstart, itmp;
20174ee4d9fSHong Zhang   PetscInt      bs = A->rmap->bs, bs2 = bs * bs, mbs = m / bs, col, row;
202dd6ea824SBarry Smith   MatScalar    *av, *bv;
203eb1ec7c1SStefano Zampini #if defined(PETSC_USE_COMPLEX)
204b94d7dedSBarry Smith   const int aconj = A->hermitian == PETSC_BOOL3_TRUE ? 1 : 0;
205eb1ec7c1SStefano Zampini #else
206eb1ec7c1SStefano Zampini   const int aconj = 0;
207eb1ec7c1SStefano Zampini #endif
208a0e1a404SHong Zhang 
209a0e1a404SHong Zhang   PetscFunctionBegin;
210a0e1a404SHong Zhang   /* compute browlengths of newmat */
2119566063dSJacob Faibussowitsch   PetscCall(PetscMalloc2(mbs, &browlengths, mbs, &browstart));
212a0e1a404SHong Zhang   for (i = 0; i < mbs; i++) browlengths[i] = 0;
213a0e1a404SHong Zhang   for (i = 0; i < mbs; i++) {
214a0e1a404SHong Zhang     nz = ai[i + 1] - ai[i];
215a0e1a404SHong Zhang     aj++;                      /* skip diagonal */
216a0e1a404SHong Zhang     for (k = 1; k < nz; k++) { /* no. of lower triangular blocks */
2179371c9d4SSatish Balay       browlengths[*aj]++;
2189371c9d4SSatish Balay       aj++;
219a0e1a404SHong Zhang     }
220a0e1a404SHong Zhang     browlengths[i] += nz; /* no. of upper triangular blocks */
221a0e1a404SHong Zhang   }
222a0e1a404SHong Zhang 
223bd019fc1SStefano Zampini   if (reuse != MAT_REUSE_MATRIX) {
2249566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
2259566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, m, n, m, n));
2269566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQBAIJ));
2279566063dSJacob Faibussowitsch     PetscCall(MatSeqBAIJSetPreallocation(B, bs, 0, browlengths));
228bd019fc1SStefano Zampini   } else B = *newmat;
229a0e1a404SHong Zhang 
230a0e1a404SHong Zhang   b  = (Mat_SeqBAIJ *)(B->data);
231a0e1a404SHong Zhang   bi = b->i;
232a0e1a404SHong Zhang   bj = b->j;
233a0e1a404SHong Zhang   bv = b->a;
234a0e1a404SHong Zhang 
235a0e1a404SHong Zhang   /* set b->i */
236a0e1a404SHong Zhang   bi[0] = 0;
237a0e1a404SHong Zhang   for (i = 0; i < mbs; i++) {
238a0e1a404SHong Zhang     b->ilen[i]   = browlengths[i];
239a0e1a404SHong Zhang     bi[i + 1]    = bi[i] + browlengths[i];
240a0e1a404SHong Zhang     browstart[i] = bi[i];
241a0e1a404SHong Zhang   }
242aed4548fSBarry Smith   PetscCheck(bi[mbs] == 2 * a->nz - mbs, PETSC_COMM_SELF, PETSC_ERR_PLIB, "bi[mbs]: %" PetscInt_FMT " != 2*a->nz - mbs: %" PetscInt_FMT, bi[mbs], 2 * a->nz - mbs);
243a0e1a404SHong Zhang 
244a0e1a404SHong Zhang   /* set b->j and b->a */
2459371c9d4SSatish Balay   aj = a->j;
2469371c9d4SSatish Balay   av = a->a;
247a0e1a404SHong Zhang   for (i = 0; i < mbs; i++) {
248a0e1a404SHong Zhang     /* diagonal block */
2499371c9d4SSatish Balay     *(bj + browstart[i]) = *aj;
2509371c9d4SSatish Balay     aj++;
25126fbe8dcSKarl Rupp 
252a0e1a404SHong Zhang     itmp = bs2 * browstart[i];
253a0e1a404SHong Zhang     for (k = 0; k < bs2; k++) {
2549371c9d4SSatish Balay       *(bv + itmp + k) = *av;
2559371c9d4SSatish Balay       av++;
256a0e1a404SHong Zhang     }
257a0e1a404SHong Zhang     browstart[i]++;
258a0e1a404SHong Zhang 
259a0e1a404SHong Zhang     nz = ai[i + 1] - ai[i] - 1;
260a0e1a404SHong Zhang     while (nz--) {
26174ee4d9fSHong Zhang       /* lower triangular blocks - transpose blocks of A */
26274ee4d9fSHong Zhang       *(bj + browstart[*aj]) = i; /* block col index */
26326fbe8dcSKarl Rupp 
26474ee4d9fSHong Zhang       itmp = bs2 * browstart[*aj]; /* row index */
26574ee4d9fSHong Zhang       for (col = 0; col < bs; col++) {
26674ee4d9fSHong Zhang         k = col;
26774ee4d9fSHong Zhang         for (row = 0; row < bs; row++) {
268eb1ec7c1SStefano Zampini           bv[itmp + col * bs + row] = aconj ? PetscConj(av[k]) : av[k];
269eb1ec7c1SStefano Zampini           k += bs;
27074ee4d9fSHong Zhang         }
271a0e1a404SHong Zhang       }
272a0e1a404SHong Zhang       browstart[*aj]++;
273a0e1a404SHong Zhang 
274a0e1a404SHong Zhang       /* upper triangular blocks */
2759371c9d4SSatish Balay       *(bj + browstart[i]) = *aj;
2769371c9d4SSatish Balay       aj++;
27726fbe8dcSKarl Rupp 
278a0e1a404SHong Zhang       itmp = bs2 * browstart[i];
279ad540459SPierre Jolivet       for (k = 0; k < bs2; k++) bv[itmp + k] = av[k];
28074ee4d9fSHong Zhang       av += bs2;
281a0e1a404SHong Zhang       browstart[i]++;
282a0e1a404SHong Zhang     }
283a0e1a404SHong Zhang   }
2849566063dSJacob Faibussowitsch   PetscCall(PetscFree2(browlengths, browstart));
2859566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
2869566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
287a0e1a404SHong Zhang 
288511c6705SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
2899566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
290ae8d29abSPierre Jolivet   } else *newmat = B;
291a0e1a404SHong Zhang   PetscFunctionReturn(0);
292a0e1a404SHong Zhang }
293be1d678aSKris Buschelman 
294*d71ae5a4SJacob Faibussowitsch PETSC_INTERN PetscErrorCode MatConvert_SeqBAIJ_SeqSBAIJ(Mat A, MatType newtype, MatReuse reuse, Mat *newmat)
295*d71ae5a4SJacob Faibussowitsch {
296a0e1a404SHong Zhang   Mat           B;
297a0e1a404SHong Zhang   Mat_SeqBAIJ  *a = (Mat_SeqBAIJ *)A->data;
298a0e1a404SHong Zhang   Mat_SeqSBAIJ *b;
299d0f46423SBarry Smith   PetscInt     *ai = a->i, *aj, m = A->rmap->N, n = A->cmap->n, i, j, k, *bi, *bj, *browlengths;
300d0f46423SBarry Smith   PetscInt      bs = A->rmap->bs, bs2 = bs * bs, mbs = m / bs, dd;
301dd6ea824SBarry Smith   MatScalar    *av, *bv;
302ace3abfcSBarry Smith   PetscBool     flg;
303a0e1a404SHong Zhang 
304a0e1a404SHong Zhang   PetscFunctionBegin;
30528b400f6SJacob Faibussowitsch   PetscCheck(A->symmetric, PetscObjectComm((PetscObject)A), PETSC_ERR_USER, "Matrix must be symmetric. Call MatSetOption(mat,MAT_SYMMETRIC,PETSC_TRUE)");
30608401ef6SPierre Jolivet   PetscCheck(n == m, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Matrix must be square");
3079566063dSJacob Faibussowitsch   PetscCall(MatMissingDiagonal_SeqBAIJ(A, &flg, &dd)); /* check for missing diagonals, then mark diag */
30828b400f6SJacob Faibussowitsch   PetscCheck(!flg, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONGSTATE, "Matrix is missing diagonal %" PetscInt_FMT, dd);
309a0e1a404SHong Zhang 
3109566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(mbs, &browlengths));
311ad540459SPierre Jolivet   for (i = 0; i < mbs; i++) browlengths[i] = ai[i + 1] - a->diag[i];
312a0e1a404SHong Zhang 
313bd019fc1SStefano Zampini   if (reuse != MAT_REUSE_MATRIX) {
3149566063dSJacob Faibussowitsch     PetscCall(MatCreate(PetscObjectComm((PetscObject)A), &B));
3159566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(B, m, n, m, n));
3169566063dSJacob Faibussowitsch     PetscCall(MatSetType(B, MATSEQSBAIJ));
3179566063dSJacob Faibussowitsch     PetscCall(MatSeqSBAIJSetPreallocation(B, bs, 0, browlengths));
318bd019fc1SStefano Zampini   } else B = *newmat;
319a0e1a404SHong Zhang 
320a0e1a404SHong Zhang   b  = (Mat_SeqSBAIJ *)(B->data);
321a0e1a404SHong Zhang   bi = b->i;
322a0e1a404SHong Zhang   bj = b->j;
323a0e1a404SHong Zhang   bv = b->a;
324a0e1a404SHong Zhang 
325a0e1a404SHong Zhang   bi[0] = 0;
326a0e1a404SHong Zhang   for (i = 0; i < mbs; i++) {
327a0e1a404SHong Zhang     aj = a->j + a->diag[i];
328a0e1a404SHong Zhang     av = a->a + (a->diag[i]) * bs2;
329a0e1a404SHong Zhang     for (j = 0; j < browlengths[i]; j++) {
3309371c9d4SSatish Balay       *bj = *aj;
3319371c9d4SSatish Balay       bj++;
3329371c9d4SSatish Balay       aj++;
333a0e1a404SHong Zhang       for (k = 0; k < bs2; k++) {
3349371c9d4SSatish Balay         *bv = *av;
3359371c9d4SSatish Balay         bv++;
3369371c9d4SSatish Balay         av++;
337a0e1a404SHong Zhang       }
338a0e1a404SHong Zhang     }
339a0e1a404SHong Zhang     bi[i + 1]  = bi[i] + browlengths[i];
340a0e1a404SHong Zhang     b->ilen[i] = browlengths[i];
341a0e1a404SHong Zhang   }
3429566063dSJacob Faibussowitsch   PetscCall(PetscFree(browlengths));
3439566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
3449566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
345a0e1a404SHong Zhang 
346511c6705SHong Zhang   if (reuse == MAT_INPLACE_MATRIX) {
3479566063dSJacob Faibussowitsch     PetscCall(MatHeaderReplace(A, &B));
348ae8d29abSPierre Jolivet   } else *newmat = B;
349a0e1a404SHong Zhang   PetscFunctionReturn(0);
350a0e1a404SHong Zhang }
351