12c733ed4SBarry Smith #include <../src/mat/impls/baij/seq/baij.h> 22c733ed4SBarry Smith 32c733ed4SBarry Smith PetscErrorCode MatSolveTranspose_SeqBAIJ_4_NaturalOrdering_inplace(Mat A,Vec bb,Vec xx) 42c733ed4SBarry Smith { 52c733ed4SBarry Smith Mat_SeqBAIJ *a=(Mat_SeqBAIJ*)A->data; 62c733ed4SBarry Smith const PetscInt *diag=a->diag,n=a->mbs,*vi,*ai=a->i,*aj=a->j; 72c733ed4SBarry Smith PetscInt i,nz,idx,idt,oidx; 82c733ed4SBarry Smith const MatScalar *aa=a->a,*v; 92c733ed4SBarry Smith PetscScalar s1,s2,s3,s4,x1,x2,x3,x4,*x; 102c733ed4SBarry Smith 112c733ed4SBarry Smith PetscFunctionBegin; 12*9566063dSJacob Faibussowitsch PetscCall(VecCopy(bb,xx)); 13*9566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx,&x)); 142c733ed4SBarry Smith 152c733ed4SBarry Smith /* forward solve the U^T */ 162c733ed4SBarry Smith idx = 0; 172c733ed4SBarry Smith for (i=0; i<n; i++) { 182c733ed4SBarry Smith 192c733ed4SBarry Smith v = aa + 16*diag[i]; 202c733ed4SBarry Smith /* multiply by the inverse of the block diagonal */ 212c733ed4SBarry Smith x1 = x[idx]; x2 = x[1+idx]; x3 = x[2+idx]; x4 = x[3+idx]; 222c733ed4SBarry Smith s1 = v[0]*x1 + v[1]*x2 + v[2]*x3 + v[3]*x4; 232c733ed4SBarry Smith s2 = v[4]*x1 + v[5]*x2 + v[6]*x3 + v[7]*x4; 242c733ed4SBarry Smith s3 = v[8]*x1 + v[9]*x2 + v[10]*x3 + v[11]*x4; 252c733ed4SBarry Smith s4 = v[12]*x1 + v[13]*x2 + v[14]*x3 + v[15]*x4; 262c733ed4SBarry Smith v += 16; 272c733ed4SBarry Smith 282c733ed4SBarry Smith vi = aj + diag[i] + 1; 292c733ed4SBarry Smith nz = ai[i+1] - diag[i] - 1; 302c733ed4SBarry Smith while (nz--) { 312c733ed4SBarry Smith oidx = 4*(*vi++); 322c733ed4SBarry Smith x[oidx] -= v[0]*s1 + v[1]*s2 + v[2]*s3 + v[3]*s4; 332c733ed4SBarry Smith x[oidx+1] -= v[4]*s1 + v[5]*s2 + v[6]*s3 + v[7]*s4; 342c733ed4SBarry Smith x[oidx+2] -= v[8]*s1 + v[9]*s2 + v[10]*s3 + v[11]*s4; 352c733ed4SBarry Smith x[oidx+3] -= v[12]*s1 + v[13]*s2 + v[14]*s3 + v[15]*s4; 362c733ed4SBarry Smith v += 16; 372c733ed4SBarry Smith } 382c733ed4SBarry Smith x[idx] = s1;x[1+idx] = s2; x[2+idx] = s3;x[3+idx] = s4; 392c733ed4SBarry Smith idx += 4; 402c733ed4SBarry Smith } 412c733ed4SBarry Smith /* backward solve the L^T */ 422c733ed4SBarry Smith for (i=n-1; i>=0; i--) { 432c733ed4SBarry Smith v = aa + 16*diag[i] - 16; 442c733ed4SBarry Smith vi = aj + diag[i] - 1; 452c733ed4SBarry Smith nz = diag[i] - ai[i]; 462c733ed4SBarry Smith idt = 4*i; 472c733ed4SBarry Smith s1 = x[idt]; s2 = x[1+idt]; s3 = x[2+idt];s4 = x[3+idt]; 482c733ed4SBarry Smith while (nz--) { 492c733ed4SBarry Smith idx = 4*(*vi--); 502c733ed4SBarry Smith x[idx] -= v[0]*s1 + v[1]*s2 + v[2]*s3 + v[3]*s4; 512c733ed4SBarry Smith x[idx+1] -= v[4]*s1 + v[5]*s2 + v[6]*s3 + v[7]*s4; 522c733ed4SBarry Smith x[idx+2] -= v[8]*s1 + v[9]*s2 + v[10]*s3 + v[11]*s4; 532c733ed4SBarry Smith x[idx+3] -= v[12]*s1 + v[13]*s2 + v[14]*s3 + v[15]*s4; 542c733ed4SBarry Smith v -= 16; 552c733ed4SBarry Smith } 562c733ed4SBarry Smith } 57*9566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx,&x)); 58*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0*16*(a->nz) - 4.0*A->cmap->n)); 592c733ed4SBarry Smith PetscFunctionReturn(0); 602c733ed4SBarry Smith } 612c733ed4SBarry Smith 622c733ed4SBarry Smith PetscErrorCode MatSolveTranspose_SeqBAIJ_4_NaturalOrdering(Mat A,Vec bb,Vec xx) 632c733ed4SBarry Smith { 642c733ed4SBarry Smith Mat_SeqBAIJ *a=(Mat_SeqBAIJ*)A->data; 652c733ed4SBarry Smith const PetscInt n=a->mbs,*vi,*ai=a->i,*aj=a->j,*diag=a->diag; 662c733ed4SBarry Smith PetscInt nz,idx,idt,j,i,oidx; 672c733ed4SBarry Smith const PetscInt bs =A->rmap->bs,bs2=a->bs2; 682c733ed4SBarry Smith const MatScalar *aa=a->a,*v; 692c733ed4SBarry Smith PetscScalar s1,s2,s3,s4,x1,x2,x3,x4,*x; 702c733ed4SBarry Smith 712c733ed4SBarry Smith PetscFunctionBegin; 72*9566063dSJacob Faibussowitsch PetscCall(VecCopy(bb,xx)); 73*9566063dSJacob Faibussowitsch PetscCall(VecGetArray(xx,&x)); 742c733ed4SBarry Smith 752c733ed4SBarry Smith /* forward solve the U^T */ 762c733ed4SBarry Smith idx = 0; 772c733ed4SBarry Smith for (i=0; i<n; i++) { 782c733ed4SBarry Smith v = aa + bs2*diag[i]; 792c733ed4SBarry Smith /* multiply by the inverse of the block diagonal */ 802c733ed4SBarry Smith x1 = x[idx]; x2 = x[1+idx]; x3 = x[2+idx]; x4 = x[3+idx]; 812c733ed4SBarry Smith s1 = v[0]*x1 + v[1]*x2 + v[2]*x3 + v[3]*x4; 822c733ed4SBarry Smith s2 = v[4]*x1 + v[5]*x2 + v[6]*x3 + v[7]*x4; 832c733ed4SBarry Smith s3 = v[8]*x1 + v[9]*x2 + v[10]*x3 + v[11]*x4; 842c733ed4SBarry Smith s4 = v[12]*x1 + v[13]*x2 + v[14]*x3 + v[15]*x4; 852c733ed4SBarry Smith v -= bs2; 862c733ed4SBarry Smith 872c733ed4SBarry Smith vi = aj + diag[i] - 1; 882c733ed4SBarry Smith nz = diag[i] - diag[i+1] - 1; 892c733ed4SBarry Smith for (j=0; j>-nz; j--) { 902c733ed4SBarry Smith oidx = bs*vi[j]; 912c733ed4SBarry Smith x[oidx] -= v[0]*s1 + v[1]*s2 + v[2]*s3 + v[3]*s4; 922c733ed4SBarry Smith x[oidx+1] -= v[4]*s1 + v[5]*s2 + v[6]*s3 + v[7]*s4; 932c733ed4SBarry Smith x[oidx+2] -= v[8]*s1 + v[9]*s2 + v[10]*s3 + v[11]*s4; 942c733ed4SBarry Smith x[oidx+3] -= v[12]*s1 + v[13]*s2 + v[14]*s3 + v[15]*s4; 952c733ed4SBarry Smith v -= bs2; 962c733ed4SBarry Smith } 972c733ed4SBarry Smith x[idx] = s1;x[1+idx] = s2; x[2+idx] = s3; x[3+idx] = s4; 982c733ed4SBarry Smith idx += bs; 992c733ed4SBarry Smith } 1002c733ed4SBarry Smith /* backward solve the L^T */ 1012c733ed4SBarry Smith for (i=n-1; i>=0; i--) { 1022c733ed4SBarry Smith v = aa + bs2*ai[i]; 1032c733ed4SBarry Smith vi = aj + ai[i]; 1042c733ed4SBarry Smith nz = ai[i+1] - ai[i]; 1052c733ed4SBarry Smith idt = bs*i; 1062c733ed4SBarry Smith s1 = x[idt]; s2 = x[1+idt]; s3 = x[2+idt]; s4 = x[3+idt]; 1072c733ed4SBarry Smith for (j=0; j<nz; j++) { 1082c733ed4SBarry Smith idx = bs*vi[j]; 1092c733ed4SBarry Smith x[idx] -= v[0]*s1 + v[1]*s2 + v[2]*s3 + v[3]*s4; 1102c733ed4SBarry Smith x[idx+1] -= v[4]*s1 + v[5]*s2 + v[6]*s3 + v[7]*s4; 1112c733ed4SBarry Smith x[idx+2] -= v[8]*s1 + v[9]*s2 + v[10]*s3 + v[11]*s4; 1122c733ed4SBarry Smith x[idx+3] -= v[12]*s1 + v[13]*s2 + v[14]*s3 + v[15]*s4; 1132c733ed4SBarry Smith v += bs2; 1142c733ed4SBarry Smith } 1152c733ed4SBarry Smith } 116*9566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(xx,&x)); 117*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(2.0*bs2*(a->nz) - bs*A->cmap->n)); 1182c733ed4SBarry Smith PetscFunctionReturn(0); 1192c733ed4SBarry Smith } 120