1be1d678aSKris Buschelman 283287d42SBarry Smith /* 383287d42SBarry Smith Factorization code for BAIJ format. 483287d42SBarry Smith */ 5c6db04a5SJed Brown #include <../src/mat/impls/baij/seq/baij.h> 6af0996ceSBarry Smith #include <petsc/private/kernels/blockinvert.h> 783287d42SBarry Smith 883287d42SBarry Smith /* ------------------------------------------------------------*/ 983287d42SBarry Smith /* 1083287d42SBarry Smith Version for when blocks are 5 by 5 1183287d42SBarry Smith */ 1206e38f1dSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqBAIJ_5_inplace(Mat C,Mat A,const MatFactorInfo *info) 1383287d42SBarry Smith { 1483287d42SBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ*)A->data,*b = (Mat_SeqBAIJ*)C->data; 1583287d42SBarry Smith IS isrow = b->row,isicol = b->icol; 165d0c19d7SBarry Smith const PetscInt *r,*ic,*bi = b->i,*bj = b->j,*ajtmpold,*ajtmp; 17766f9fbaSBarry Smith PetscInt i,j,n = a->mbs,nz,row,idx,ipvt[5]; 185d0c19d7SBarry Smith const PetscInt *diag_offset = b->diag,*ai=a->i,*aj=a->j,*pj; 198397fe1aSBarry Smith MatScalar *w,*pv,*rtmp,*x,*pc; 208397fe1aSBarry Smith const MatScalar *v,*aa = a->a; 2183287d42SBarry Smith MatScalar p1,p2,p3,p4,m1,m2,m3,m4,m5,m6,m7,m8,m9,x1,x2,x3,x4; 2283287d42SBarry Smith MatScalar p5,p6,p7,p8,p9,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16; 2383287d42SBarry Smith MatScalar x17,x18,x19,x20,x21,x22,x23,x24,x25,p10,p11,p12,p13,p14; 2483287d42SBarry Smith MatScalar p15,p16,p17,p18,p19,p20,p21,p22,p23,p24,p25,m10,m11,m12; 2583287d42SBarry Smith MatScalar m13,m14,m15,m16,m17,m18,m19,m20,m21,m22,m23,m24,m25; 26766f9fbaSBarry Smith MatScalar *ba = b->a,work[25]; 27182b8fbaSHong Zhang PetscReal shift = info->shiftamount; 28a455e926SHong Zhang PetscBool allowzeropivot,zeropivotdetected; 2983287d42SBarry Smith 3083287d42SBarry Smith PetscFunctionBegin; 310164db54SHong Zhang allowzeropivot = PetscNot(A->erroriffailure); 32*9566063dSJacob Faibussowitsch PetscCall(ISGetIndices(isrow,&r)); 33*9566063dSJacob Faibussowitsch PetscCall(ISGetIndices(isicol,&ic)); 34*9566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(25*(n+1),&rtmp)); 3583287d42SBarry Smith 368397fe1aSBarry Smith #define PETSC_USE_MEMZERO 1 378397fe1aSBarry Smith #define PETSC_USE_MEMCPY 1 388397fe1aSBarry Smith 3983287d42SBarry Smith for (i=0; i<n; i++) { 4083287d42SBarry Smith nz = bi[i+1] - bi[i]; 4183287d42SBarry Smith ajtmp = bj + bi[i]; 4283287d42SBarry Smith for (j=0; j<nz; j++) { 438397fe1aSBarry Smith #if defined(PETSC_USE_MEMZERO) 44*9566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(rtmp+25*ajtmp[j],25)); 458397fe1aSBarry Smith #else 4683287d42SBarry Smith x = rtmp+25*ajtmp[j]; 4783287d42SBarry Smith x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0; 4883287d42SBarry Smith x[10] = x[11] = x[12] = x[13] = x[14] = x[15] = x[16] = x[17] = 0.0; 4983287d42SBarry Smith x[18] = x[19] = x[20] = x[21] = x[22] = x[23] = x[24] = 0.0; 508397fe1aSBarry Smith #endif 5183287d42SBarry Smith } 5283287d42SBarry Smith /* load in initial (unfactored row) */ 5383287d42SBarry Smith idx = r[i]; 5483287d42SBarry Smith nz = ai[idx+1] - ai[idx]; 5583287d42SBarry Smith ajtmpold = aj + ai[idx]; 5683287d42SBarry Smith v = aa + 25*ai[idx]; 5783287d42SBarry Smith for (j=0; j<nz; j++) { 588397fe1aSBarry Smith #if defined(PETSC_USE_MEMCPY) 59*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(rtmp+25*ic[ajtmpold[j]],v,25)); 608397fe1aSBarry Smith #else 6183287d42SBarry Smith x = rtmp+25*ic[ajtmpold[j]]; 6283287d42SBarry Smith x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3]; 6383287d42SBarry Smith x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8]; 6483287d42SBarry Smith x[9] = v[9]; x[10] = v[10]; x[11] = v[11]; x[12] = v[12]; x[13] = v[13]; 6583287d42SBarry Smith x[14] = v[14]; x[15] = v[15]; x[16] = v[16]; x[17] = v[17]; 6683287d42SBarry Smith x[18] = v[18]; x[19] = v[19]; x[20] = v[20]; x[21] = v[21]; 6783287d42SBarry Smith x[22] = v[22]; x[23] = v[23]; x[24] = v[24]; 688397fe1aSBarry Smith #endif 6983287d42SBarry Smith v += 25; 7083287d42SBarry Smith } 7183287d42SBarry Smith row = *ajtmp++; 7283287d42SBarry Smith while (row < i) { 7383287d42SBarry Smith pc = rtmp + 25*row; 7483287d42SBarry Smith p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3]; 7583287d42SBarry Smith p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8]; 7683287d42SBarry Smith p10 = pc[9]; p11 = pc[10]; p12 = pc[11]; p13 = pc[12]; p14 = pc[13]; 7783287d42SBarry Smith p15 = pc[14]; p16 = pc[15]; p17 = pc[16]; p18 = pc[17]; p19 = pc[18]; 7883287d42SBarry Smith p20 = pc[19]; p21 = pc[20]; p22 = pc[21]; p23 = pc[22]; p24 = pc[23]; 7983287d42SBarry Smith p25 = pc[24]; 8083287d42SBarry Smith if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 || 8183287d42SBarry Smith p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0 || p10 != 0.0 || 8283287d42SBarry Smith p11 != 0.0 || p12 != 0.0 || p13 != 0.0 || p14 != 0.0 || p15 != 0.0 8383287d42SBarry Smith || p16 != 0.0 || p17 != 0.0 || p18 != 0.0 || p19 != 0.0 || 8483287d42SBarry Smith p20 != 0.0 || p21 != 0.0 || p22 != 0.0 || p23 != 0.0 || 8583287d42SBarry Smith p24 != 0.0 || p25 != 0.0) { 8683287d42SBarry Smith pv = ba + 25*diag_offset[row]; 8783287d42SBarry Smith pj = bj + diag_offset[row] + 1; 8883287d42SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 8983287d42SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 9083287d42SBarry Smith x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; x14 = pv[13]; 9183287d42SBarry Smith x15 = pv[14]; x16 = pv[15]; x17 = pv[16]; x18 = pv[17]; 9283287d42SBarry Smith x19 = pv[18]; x20 = pv[19]; x21 = pv[20]; x22 = pv[21]; 9383287d42SBarry Smith x23 = pv[22]; x24 = pv[23]; x25 = pv[24]; 9483287d42SBarry Smith pc[0] = m1 = p1*x1 + p6*x2 + p11*x3 + p16*x4 + p21*x5; 9583287d42SBarry Smith pc[1] = m2 = p2*x1 + p7*x2 + p12*x3 + p17*x4 + p22*x5; 9683287d42SBarry Smith pc[2] = m3 = p3*x1 + p8*x2 + p13*x3 + p18*x4 + p23*x5; 9783287d42SBarry Smith pc[3] = m4 = p4*x1 + p9*x2 + p14*x3 + p19*x4 + p24*x5; 9883287d42SBarry Smith pc[4] = m5 = p5*x1 + p10*x2 + p15*x3 + p20*x4 + p25*x5; 9983287d42SBarry Smith 10083287d42SBarry Smith pc[5] = m6 = p1*x6 + p6*x7 + p11*x8 + p16*x9 + p21*x10; 10183287d42SBarry Smith pc[6] = m7 = p2*x6 + p7*x7 + p12*x8 + p17*x9 + p22*x10; 10283287d42SBarry Smith pc[7] = m8 = p3*x6 + p8*x7 + p13*x8 + p18*x9 + p23*x10; 10383287d42SBarry Smith pc[8] = m9 = p4*x6 + p9*x7 + p14*x8 + p19*x9 + p24*x10; 10483287d42SBarry Smith pc[9] = m10 = p5*x6 + p10*x7 + p15*x8 + p20*x9 + p25*x10; 10583287d42SBarry Smith 10683287d42SBarry Smith pc[10] = m11 = p1*x11 + p6*x12 + p11*x13 + p16*x14 + p21*x15; 10783287d42SBarry Smith pc[11] = m12 = p2*x11 + p7*x12 + p12*x13 + p17*x14 + p22*x15; 10883287d42SBarry Smith pc[12] = m13 = p3*x11 + p8*x12 + p13*x13 + p18*x14 + p23*x15; 10983287d42SBarry Smith pc[13] = m14 = p4*x11 + p9*x12 + p14*x13 + p19*x14 + p24*x15; 11083287d42SBarry Smith pc[14] = m15 = p5*x11 + p10*x12 + p15*x13 + p20*x14 + p25*x15; 11183287d42SBarry Smith 11283287d42SBarry Smith pc[15] = m16 = p1*x16 + p6*x17 + p11*x18 + p16*x19 + p21*x20; 11383287d42SBarry Smith pc[16] = m17 = p2*x16 + p7*x17 + p12*x18 + p17*x19 + p22*x20; 11483287d42SBarry Smith pc[17] = m18 = p3*x16 + p8*x17 + p13*x18 + p18*x19 + p23*x20; 11583287d42SBarry Smith pc[18] = m19 = p4*x16 + p9*x17 + p14*x18 + p19*x19 + p24*x20; 11683287d42SBarry Smith pc[19] = m20 = p5*x16 + p10*x17 + p15*x18 + p20*x19 + p25*x20; 11783287d42SBarry Smith 11883287d42SBarry Smith pc[20] = m21 = p1*x21 + p6*x22 + p11*x23 + p16*x24 + p21*x25; 11983287d42SBarry Smith pc[21] = m22 = p2*x21 + p7*x22 + p12*x23 + p17*x24 + p22*x25; 12083287d42SBarry Smith pc[22] = m23 = p3*x21 + p8*x22 + p13*x23 + p18*x24 + p23*x25; 12183287d42SBarry Smith pc[23] = m24 = p4*x21 + p9*x22 + p14*x23 + p19*x24 + p24*x25; 12283287d42SBarry Smith pc[24] = m25 = p5*x21 + p10*x22 + p15*x23 + p20*x24 + p25*x25; 12383287d42SBarry Smith 12483287d42SBarry Smith nz = bi[row+1] - diag_offset[row] - 1; 12583287d42SBarry Smith pv += 25; 12683287d42SBarry Smith for (j=0; j<nz; j++) { 12783287d42SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 12883287d42SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 12983287d42SBarry Smith x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; 13083287d42SBarry Smith x14 = pv[13]; x15 = pv[14]; x16 = pv[15]; x17 = pv[16]; 13183287d42SBarry Smith x18 = pv[17]; x19 = pv[18]; x20 = pv[19]; x21 = pv[20]; 13283287d42SBarry Smith x22 = pv[21]; x23 = pv[22]; x24 = pv[23]; x25 = pv[24]; 13383287d42SBarry Smith x = rtmp + 25*pj[j]; 13483287d42SBarry Smith x[0] -= m1*x1 + m6*x2 + m11*x3 + m16*x4 + m21*x5; 13583287d42SBarry Smith x[1] -= m2*x1 + m7*x2 + m12*x3 + m17*x4 + m22*x5; 13683287d42SBarry Smith x[2] -= m3*x1 + m8*x2 + m13*x3 + m18*x4 + m23*x5; 13783287d42SBarry Smith x[3] -= m4*x1 + m9*x2 + m14*x3 + m19*x4 + m24*x5; 13883287d42SBarry Smith x[4] -= m5*x1 + m10*x2 + m15*x3 + m20*x4 + m25*x5; 13983287d42SBarry Smith 14083287d42SBarry Smith x[5] -= m1*x6 + m6*x7 + m11*x8 + m16*x9 + m21*x10; 14183287d42SBarry Smith x[6] -= m2*x6 + m7*x7 + m12*x8 + m17*x9 + m22*x10; 14283287d42SBarry Smith x[7] -= m3*x6 + m8*x7 + m13*x8 + m18*x9 + m23*x10; 14383287d42SBarry Smith x[8] -= m4*x6 + m9*x7 + m14*x8 + m19*x9 + m24*x10; 14483287d42SBarry Smith x[9] -= m5*x6 + m10*x7 + m15*x8 + m20*x9 + m25*x10; 14583287d42SBarry Smith 14683287d42SBarry Smith x[10] -= m1*x11 + m6*x12 + m11*x13 + m16*x14 + m21*x15; 14783287d42SBarry Smith x[11] -= m2*x11 + m7*x12 + m12*x13 + m17*x14 + m22*x15; 14883287d42SBarry Smith x[12] -= m3*x11 + m8*x12 + m13*x13 + m18*x14 + m23*x15; 14983287d42SBarry Smith x[13] -= m4*x11 + m9*x12 + m14*x13 + m19*x14 + m24*x15; 15083287d42SBarry Smith x[14] -= m5*x11 + m10*x12 + m15*x13 + m20*x14 + m25*x15; 15183287d42SBarry Smith 15283287d42SBarry Smith x[15] -= m1*x16 + m6*x17 + m11*x18 + m16*x19 + m21*x20; 15383287d42SBarry Smith x[16] -= m2*x16 + m7*x17 + m12*x18 + m17*x19 + m22*x20; 15483287d42SBarry Smith x[17] -= m3*x16 + m8*x17 + m13*x18 + m18*x19 + m23*x20; 15583287d42SBarry Smith x[18] -= m4*x16 + m9*x17 + m14*x18 + m19*x19 + m24*x20; 15683287d42SBarry Smith x[19] -= m5*x16 + m10*x17 + m15*x18 + m20*x19 + m25*x20; 15783287d42SBarry Smith 15883287d42SBarry Smith x[20] -= m1*x21 + m6*x22 + m11*x23 + m16*x24 + m21*x25; 15983287d42SBarry Smith x[21] -= m2*x21 + m7*x22 + m12*x23 + m17*x24 + m22*x25; 16083287d42SBarry Smith x[22] -= m3*x21 + m8*x22 + m13*x23 + m18*x24 + m23*x25; 16183287d42SBarry Smith x[23] -= m4*x21 + m9*x22 + m14*x23 + m19*x24 + m24*x25; 16283287d42SBarry Smith x[24] -= m5*x21 + m10*x22 + m15*x23 + m20*x24 + m25*x25; 16383287d42SBarry Smith 16483287d42SBarry Smith pv += 25; 16583287d42SBarry Smith } 166*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(250.0*nz+225.0)); 16783287d42SBarry Smith } 16883287d42SBarry Smith row = *ajtmp++; 16983287d42SBarry Smith } 17083287d42SBarry Smith /* finished row so stick it into b->a */ 17183287d42SBarry Smith pv = ba + 25*bi[i]; 17283287d42SBarry Smith pj = bj + bi[i]; 17383287d42SBarry Smith nz = bi[i+1] - bi[i]; 17483287d42SBarry Smith for (j=0; j<nz; j++) { 1758397fe1aSBarry Smith #if defined(PETSC_USE_MEMCPY) 176*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(pv,rtmp+25*pj[j],25)); 1778397fe1aSBarry Smith #else 17883287d42SBarry Smith x = rtmp+25*pj[j]; 17983287d42SBarry Smith pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3]; 18083287d42SBarry Smith pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8]; 18183287d42SBarry Smith pv[9] = x[9]; pv[10] = x[10]; pv[11] = x[11]; pv[12] = x[12]; 18283287d42SBarry Smith pv[13] = x[13]; pv[14] = x[14]; pv[15] = x[15]; pv[16] = x[16]; 18383287d42SBarry Smith pv[17] = x[17]; pv[18] = x[18]; pv[19] = x[19]; pv[20] = x[20]; 18483287d42SBarry Smith pv[21] = x[21]; pv[22] = x[22]; pv[23] = x[23]; pv[24] = x[24]; 1858397fe1aSBarry Smith #endif 18683287d42SBarry Smith pv += 25; 18783287d42SBarry Smith } 18883287d42SBarry Smith /* invert diagonal block */ 18983287d42SBarry Smith w = ba + 25*diag_offset[i]; 190*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_inverse_A_5(w,ipvt,work,shift,allowzeropivot,&zeropivotdetected)); 1917b6c816cSBarry Smith if (zeropivotdetected) C->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 19283287d42SBarry Smith } 19383287d42SBarry Smith 194*9566063dSJacob Faibussowitsch PetscCall(PetscFree(rtmp)); 195*9566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(isicol,&ic)); 196*9566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(isrow,&r)); 19726fbe8dcSKarl Rupp 19806e38f1dSHong Zhang C->ops->solve = MatSolve_SeqBAIJ_5_inplace; 19906e38f1dSHong Zhang C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_5_inplace; 20083287d42SBarry Smith C->assembled = PETSC_TRUE; 20126fbe8dcSKarl Rupp 202*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(1.333333333333*5*5*5*b->mbs)); /* from inverting diagonal blocks */ 20383287d42SBarry Smith PetscFunctionReturn(0); 20483287d42SBarry Smith } 2050deeaf61SShri Abhyankar 2064dd39f65SShri Abhyankar /* MatLUFactorNumeric_SeqBAIJ_5 - 2074dd39f65SShri Abhyankar copied from MatLUFactorNumeric_SeqBAIJ_N_inplace() and manually re-implemented 20896b95a6bSBarry Smith PetscKernel_A_gets_A_times_B() 20996b95a6bSBarry Smith PetscKernel_A_gets_A_minus_B_times_C() 21096b95a6bSBarry Smith PetscKernel_A_gets_inverse_A() 2110deeaf61SShri Abhyankar */ 212c0c7eb62SShri Abhyankar 2134dd39f65SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqBAIJ_5(Mat B,Mat A,const MatFactorInfo *info) 2140deeaf61SShri Abhyankar { 2150deeaf61SShri Abhyankar Mat C =B; 2160deeaf61SShri Abhyankar Mat_SeqBAIJ *a =(Mat_SeqBAIJ*)A->data,*b=(Mat_SeqBAIJ*)C->data; 2170deeaf61SShri Abhyankar IS isrow = b->row,isicol = b->icol; 2185a586d82SBarry Smith const PetscInt *r,*ic; 219bbd65245SShri Abhyankar PetscInt i,j,k,nz,nzL,row; 220bbd65245SShri Abhyankar const PetscInt n=a->mbs,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 221bbd65245SShri Abhyankar const PetscInt *ajtmp,*bjtmp,*bdiag=b->diag,*pj,bs2=a->bs2; 222766f9fbaSBarry Smith MatScalar *rtmp,*pc,*mwork,*v,*pv,*aa=a->a,work[25]; 223bbd65245SShri Abhyankar PetscInt flg,ipvt[5]; 224182b8fbaSHong Zhang PetscReal shift = info->shiftamount; 225a455e926SHong Zhang PetscBool allowzeropivot,zeropivotdetected; 2260deeaf61SShri Abhyankar 2270deeaf61SShri Abhyankar PetscFunctionBegin; 2280164db54SHong Zhang allowzeropivot = PetscNot(A->erroriffailure); 229*9566063dSJacob Faibussowitsch PetscCall(ISGetIndices(isrow,&r)); 230*9566063dSJacob Faibussowitsch PetscCall(ISGetIndices(isicol,&ic)); 2310deeaf61SShri Abhyankar 2320deeaf61SShri Abhyankar /* generate work space needed by the factorization */ 233*9566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(bs2*n,&rtmp,bs2,&mwork)); 234*9566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(rtmp,bs2*n)); 2350deeaf61SShri Abhyankar 2360deeaf61SShri Abhyankar for (i=0; i<n; i++) { 2370deeaf61SShri Abhyankar /* zero rtmp */ 2380deeaf61SShri Abhyankar /* L part */ 2390deeaf61SShri Abhyankar nz = bi[i+1] - bi[i]; 2400deeaf61SShri Abhyankar bjtmp = bj + bi[i]; 2410deeaf61SShri Abhyankar for (j=0; j<nz; j++) { 242*9566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(rtmp+bs2*bjtmp[j],bs2)); 2430deeaf61SShri Abhyankar } 2440deeaf61SShri Abhyankar 2450deeaf61SShri Abhyankar /* U part */ 24678bb4007SShri Abhyankar nz = bdiag[i] - bdiag[i+1]; 24778bb4007SShri Abhyankar bjtmp = bj + bdiag[i+1]+1; 24878bb4007SShri Abhyankar for (j=0; j<nz; j++) { 249*9566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(rtmp+bs2*bjtmp[j],bs2)); 25078bb4007SShri Abhyankar } 25178bb4007SShri Abhyankar 25278bb4007SShri Abhyankar /* load in initial (unfactored row) */ 25378bb4007SShri Abhyankar nz = ai[r[i]+1] - ai[r[i]]; 25478bb4007SShri Abhyankar ajtmp = aj + ai[r[i]]; 25578bb4007SShri Abhyankar v = aa + bs2*ai[r[i]]; 25678bb4007SShri Abhyankar for (j=0; j<nz; j++) { 257*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(rtmp+bs2*ic[ajtmp[j]],v+bs2*j,bs2)); 25878bb4007SShri Abhyankar } 25978bb4007SShri Abhyankar 26078bb4007SShri Abhyankar /* elimination */ 26178bb4007SShri Abhyankar bjtmp = bj + bi[i]; 26278bb4007SShri Abhyankar nzL = bi[i+1] - bi[i]; 26378bb4007SShri Abhyankar for (k=0; k < nzL; k++) { 26478bb4007SShri Abhyankar row = bjtmp[k]; 26578bb4007SShri Abhyankar pc = rtmp + bs2*row; 266c35f09e5SBarry Smith for (flg=0,j=0; j<bs2; j++) { 267c35f09e5SBarry Smith if (pc[j]!=0.0) { 268c35f09e5SBarry Smith flg = 1; 269c35f09e5SBarry Smith break; 270c35f09e5SBarry Smith } 271c35f09e5SBarry Smith } 27278bb4007SShri Abhyankar if (flg) { 27378bb4007SShri Abhyankar pv = b->a + bs2*bdiag[row]; 27496b95a6bSBarry Smith /* PetscKernel_A_gets_A_times_B(bs,pc,pv,mwork); *pc = *pc * (*pv); */ 275*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_A_times_B_5(pc,pv,mwork)); 27678bb4007SShri Abhyankar 277a5b23f4aSJose E. Roman pj = b->j + bdiag[row+1]+1; /* beginning of U(row,:) */ 27878bb4007SShri Abhyankar pv = b->a + bs2*(bdiag[row+1]+1); 27978bb4007SShri Abhyankar nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries inU(row,:), excluding diag */ 28078bb4007SShri Abhyankar for (j=0; j<nz; j++) { 28196b95a6bSBarry Smith /* PetscKernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j); */ 28278bb4007SShri Abhyankar /* rtmp+bs2*pj[j] = rtmp+bs2*pj[j] - (*pc)*(pv+bs2*j) */ 28378bb4007SShri Abhyankar v = rtmp + bs2*pj[j]; 284*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_A_minus_B_times_C_5(v,pc,pv)); 28578bb4007SShri Abhyankar pv += bs2; 28678bb4007SShri Abhyankar } 287*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(250.0*nz+225)); /* flops = 2*bs^3*nz + 2*bs^3 - bs2) */ 28878bb4007SShri Abhyankar } 28978bb4007SShri Abhyankar } 29078bb4007SShri Abhyankar 29178bb4007SShri Abhyankar /* finished row so stick it into b->a */ 29278bb4007SShri Abhyankar /* L part */ 29378bb4007SShri Abhyankar pv = b->a + bs2*bi[i]; 29478bb4007SShri Abhyankar pj = b->j + bi[i]; 29578bb4007SShri Abhyankar nz = bi[i+1] - bi[i]; 29678bb4007SShri Abhyankar for (j=0; j<nz; j++) { 297*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2)); 29878bb4007SShri Abhyankar } 29978bb4007SShri Abhyankar 300a5b23f4aSJose E. Roman /* Mark diagonal and invert diagonal for simpler triangular solves */ 30178bb4007SShri Abhyankar pv = b->a + bs2*bdiag[i]; 30278bb4007SShri Abhyankar pj = b->j + bdiag[i]; 303*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(pv,rtmp+bs2*pj[0],bs2)); 304*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_inverse_A_5(pv,ipvt,work,shift,allowzeropivot,&zeropivotdetected)); 3057b6c816cSBarry Smith if (zeropivotdetected) C->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 30678bb4007SShri Abhyankar 30778bb4007SShri Abhyankar /* U part */ 30878bb4007SShri Abhyankar pv = b->a + bs2*(bdiag[i+1]+1); 30978bb4007SShri Abhyankar pj = b->j + bdiag[i+1]+1; 31078bb4007SShri Abhyankar nz = bdiag[i] - bdiag[i+1] - 1; 31178bb4007SShri Abhyankar for (j=0; j<nz; j++) { 312*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2)); 31378bb4007SShri Abhyankar } 31478bb4007SShri Abhyankar } 31578bb4007SShri Abhyankar 316*9566063dSJacob Faibussowitsch PetscCall(PetscFree2(rtmp,mwork)); 317*9566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(isicol,&ic)); 318*9566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(isrow,&r)); 31926fbe8dcSKarl Rupp 3204dd39f65SShri Abhyankar C->ops->solve = MatSolve_SeqBAIJ_5; 3214dd39f65SShri Abhyankar C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_5; 32278bb4007SShri Abhyankar C->assembled = PETSC_TRUE; 32326fbe8dcSKarl Rupp 324*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(1.333333333333*5*5*5*n)); /* from inverting diagonal blocks */ 32578bb4007SShri Abhyankar PetscFunctionReturn(0); 32678bb4007SShri Abhyankar } 32778bb4007SShri Abhyankar 3280deeaf61SShri Abhyankar /* 3290deeaf61SShri Abhyankar Version for when blocks are 5 by 5 Using natural ordering 3300deeaf61SShri Abhyankar */ 33106e38f1dSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqBAIJ_5_NaturalOrdering_inplace(Mat C,Mat A,const MatFactorInfo *info) 3320deeaf61SShri Abhyankar { 3330deeaf61SShri Abhyankar Mat_SeqBAIJ *a = (Mat_SeqBAIJ*)A->data,*b = (Mat_SeqBAIJ*)C->data; 334766f9fbaSBarry Smith PetscInt i,j,n = a->mbs,*bi = b->i,*bj = b->j,ipvt[5]; 3350deeaf61SShri Abhyankar PetscInt *ajtmpold,*ajtmp,nz,row; 3360deeaf61SShri Abhyankar PetscInt *diag_offset = b->diag,*ai=a->i,*aj=a->j,*pj; 3370deeaf61SShri Abhyankar MatScalar *pv,*v,*rtmp,*pc,*w,*x; 3380deeaf61SShri Abhyankar MatScalar x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15; 3390deeaf61SShri Abhyankar MatScalar x16,x17,x18,x19,x20,x21,x22,x23,x24,x25; 3400deeaf61SShri Abhyankar MatScalar p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,p11,p12,p13,p14,p15; 3410deeaf61SShri Abhyankar MatScalar p16,p17,p18,p19,p20,p21,p22,p23,p24,p25; 3420deeaf61SShri Abhyankar MatScalar m1,m2,m3,m4,m5,m6,m7,m8,m9,m10,m11,m12,m13,m14,m15; 3430deeaf61SShri Abhyankar MatScalar m16,m17,m18,m19,m20,m21,m22,m23,m24,m25; 344766f9fbaSBarry Smith MatScalar *ba = b->a,*aa = a->a,work[25]; 345182b8fbaSHong Zhang PetscReal shift = info->shiftamount; 346a455e926SHong Zhang PetscBool allowzeropivot,zeropivotdetected; 3470deeaf61SShri Abhyankar 3480deeaf61SShri Abhyankar PetscFunctionBegin; 3490164db54SHong Zhang allowzeropivot = PetscNot(A->erroriffailure); 350*9566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(25*(n+1),&rtmp)); 3510deeaf61SShri Abhyankar for (i=0; i<n; i++) { 3520deeaf61SShri Abhyankar nz = bi[i+1] - bi[i]; 3530deeaf61SShri Abhyankar ajtmp = bj + bi[i]; 3540deeaf61SShri Abhyankar for (j=0; j<nz; j++) { 3550deeaf61SShri Abhyankar x = rtmp+25*ajtmp[j]; 3560deeaf61SShri Abhyankar x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0; 3570deeaf61SShri Abhyankar x[10] = x[11] = x[12] = x[13] = x[14] = x[15] = 0.0; 3580deeaf61SShri Abhyankar x[16] = x[17] = x[18] = x[19] = x[20] = x[21] = x[22] = x[23] = x[24] = 0.0; 3590deeaf61SShri Abhyankar } 3600deeaf61SShri Abhyankar /* load in initial (unfactored row) */ 3610deeaf61SShri Abhyankar nz = ai[i+1] - ai[i]; 3620deeaf61SShri Abhyankar ajtmpold = aj + ai[i]; 3630deeaf61SShri Abhyankar v = aa + 25*ai[i]; 3640deeaf61SShri Abhyankar for (j=0; j<nz; j++) { 3650deeaf61SShri Abhyankar x = rtmp+25*ajtmpold[j]; 3660deeaf61SShri Abhyankar x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3]; 3670deeaf61SShri Abhyankar x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8]; 3680deeaf61SShri Abhyankar x[9] = v[9]; x[10] = v[10]; x[11] = v[11]; x[12] = v[12]; x[13] = v[13]; 3690deeaf61SShri Abhyankar x[14] = v[14]; x[15] = v[15]; x[16] = v[16]; x[17] = v[17]; x[18] = v[18]; 3700deeaf61SShri Abhyankar x[19] = v[19]; x[20] = v[20]; x[21] = v[21]; x[22] = v[22]; x[23] = v[23]; 3710deeaf61SShri Abhyankar x[24] = v[24]; 3720deeaf61SShri Abhyankar v += 25; 3730deeaf61SShri Abhyankar } 3740deeaf61SShri Abhyankar row = *ajtmp++; 3750deeaf61SShri Abhyankar while (row < i) { 3760deeaf61SShri Abhyankar pc = rtmp + 25*row; 3770deeaf61SShri Abhyankar p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3]; 3780deeaf61SShri Abhyankar p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8]; 3790deeaf61SShri Abhyankar p10 = pc[9]; p11 = pc[10]; p12 = pc[11]; p13 = pc[12]; p14 = pc[13]; 3800deeaf61SShri Abhyankar p15 = pc[14]; p16 = pc[15]; p17 = pc[16]; p18 = pc[17]; 3810deeaf61SShri Abhyankar p19 = pc[18]; p20 = pc[19]; p21 = pc[20]; p22 = pc[21]; p23 = pc[22]; 3820deeaf61SShri Abhyankar p24 = pc[23]; p25 = pc[24]; 3830deeaf61SShri Abhyankar if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 || 3840deeaf61SShri Abhyankar p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0 || p10 != 0.0 || 3850deeaf61SShri Abhyankar p11 != 0.0 || p12 != 0.0 || p13 != 0.0 || p14 != 0.0 || p15 != 0.0 3860deeaf61SShri Abhyankar || p16 != 0.0 || p17 != 0.0 || p18 != 0.0 || p19 != 0.0 || p20 != 0.0 3870deeaf61SShri Abhyankar || p21 != 0.0 || p22 != 0.0 || p23 != 0.0 || p24 != 0.0 || p25 != 0.0) { 3880deeaf61SShri Abhyankar pv = ba + 25*diag_offset[row]; 3890deeaf61SShri Abhyankar pj = bj + diag_offset[row] + 1; 3900deeaf61SShri Abhyankar x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 3910deeaf61SShri Abhyankar x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 3920deeaf61SShri Abhyankar x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; x14 = pv[13]; 3930deeaf61SShri Abhyankar x15 = pv[14]; x16 = pv[15]; x17 = pv[16]; x18 = pv[17]; x19 = pv[18]; 3940deeaf61SShri Abhyankar x20 = pv[19]; x21 = pv[20]; x22 = pv[21]; x23 = pv[22]; x24 = pv[23]; 3950deeaf61SShri Abhyankar x25 = pv[24]; 3960deeaf61SShri Abhyankar pc[0] = m1 = p1*x1 + p6*x2 + p11*x3 + p16*x4 + p21*x5; 3970deeaf61SShri Abhyankar pc[1] = m2 = p2*x1 + p7*x2 + p12*x3 + p17*x4 + p22*x5; 3980deeaf61SShri Abhyankar pc[2] = m3 = p3*x1 + p8*x2 + p13*x3 + p18*x4 + p23*x5; 3990deeaf61SShri Abhyankar pc[3] = m4 = p4*x1 + p9*x2 + p14*x3 + p19*x4 + p24*x5; 4000deeaf61SShri Abhyankar pc[4] = m5 = p5*x1 + p10*x2 + p15*x3 + p20*x4 + p25*x5; 4010deeaf61SShri Abhyankar 4020deeaf61SShri Abhyankar pc[5] = m6 = p1*x6 + p6*x7 + p11*x8 + p16*x9 + p21*x10; 4030deeaf61SShri Abhyankar pc[6] = m7 = p2*x6 + p7*x7 + p12*x8 + p17*x9 + p22*x10; 4040deeaf61SShri Abhyankar pc[7] = m8 = p3*x6 + p8*x7 + p13*x8 + p18*x9 + p23*x10; 4050deeaf61SShri Abhyankar pc[8] = m9 = p4*x6 + p9*x7 + p14*x8 + p19*x9 + p24*x10; 4060deeaf61SShri Abhyankar pc[9] = m10 = p5*x6 + p10*x7 + p15*x8 + p20*x9 + p25*x10; 4070deeaf61SShri Abhyankar 4080deeaf61SShri Abhyankar pc[10] = m11 = p1*x11 + p6*x12 + p11*x13 + p16*x14 + p21*x15; 4090deeaf61SShri Abhyankar pc[11] = m12 = p2*x11 + p7*x12 + p12*x13 + p17*x14 + p22*x15; 4100deeaf61SShri Abhyankar pc[12] = m13 = p3*x11 + p8*x12 + p13*x13 + p18*x14 + p23*x15; 4110deeaf61SShri Abhyankar pc[13] = m14 = p4*x11 + p9*x12 + p14*x13 + p19*x14 + p24*x15; 4120deeaf61SShri Abhyankar pc[14] = m15 = p5*x11 + p10*x12 + p15*x13 + p20*x14 + p25*x15; 4130deeaf61SShri Abhyankar 4140deeaf61SShri Abhyankar pc[15] = m16 = p1*x16 + p6*x17 + p11*x18 + p16*x19 + p21*x20; 4150deeaf61SShri Abhyankar pc[16] = m17 = p2*x16 + p7*x17 + p12*x18 + p17*x19 + p22*x20; 4160deeaf61SShri Abhyankar pc[17] = m18 = p3*x16 + p8*x17 + p13*x18 + p18*x19 + p23*x20; 4170deeaf61SShri Abhyankar pc[18] = m19 = p4*x16 + p9*x17 + p14*x18 + p19*x19 + p24*x20; 4180deeaf61SShri Abhyankar pc[19] = m20 = p5*x16 + p10*x17 + p15*x18 + p20*x19 + p25*x20; 4190deeaf61SShri Abhyankar 4200deeaf61SShri Abhyankar pc[20] = m21 = p1*x21 + p6*x22 + p11*x23 + p16*x24 + p21*x25; 4210deeaf61SShri Abhyankar pc[21] = m22 = p2*x21 + p7*x22 + p12*x23 + p17*x24 + p22*x25; 4220deeaf61SShri Abhyankar pc[22] = m23 = p3*x21 + p8*x22 + p13*x23 + p18*x24 + p23*x25; 4230deeaf61SShri Abhyankar pc[23] = m24 = p4*x21 + p9*x22 + p14*x23 + p19*x24 + p24*x25; 4240deeaf61SShri Abhyankar pc[24] = m25 = p5*x21 + p10*x22 + p15*x23 + p20*x24 + p25*x25; 4250deeaf61SShri Abhyankar 4260deeaf61SShri Abhyankar nz = bi[row+1] - diag_offset[row] - 1; 4270deeaf61SShri Abhyankar pv += 25; 4280deeaf61SShri Abhyankar for (j=0; j<nz; j++) { 4290deeaf61SShri Abhyankar x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 4300deeaf61SShri Abhyankar x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 4310deeaf61SShri Abhyankar x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; 4320deeaf61SShri Abhyankar x14 = pv[13]; x15 = pv[14]; x16 = pv[15]; x17 = pv[16]; x18 = pv[17]; 4330deeaf61SShri Abhyankar x19 = pv[18]; x20 = pv[19]; x21 = pv[20]; x22 = pv[21]; x23 = pv[22]; 4340deeaf61SShri Abhyankar x24 = pv[23]; x25 = pv[24]; 4350deeaf61SShri Abhyankar x = rtmp + 25*pj[j]; 4360deeaf61SShri Abhyankar x[0] -= m1*x1 + m6*x2 + m11*x3 + m16*x4 + m21*x5; 4370deeaf61SShri Abhyankar x[1] -= m2*x1 + m7*x2 + m12*x3 + m17*x4 + m22*x5; 4380deeaf61SShri Abhyankar x[2] -= m3*x1 + m8*x2 + m13*x3 + m18*x4 + m23*x5; 4390deeaf61SShri Abhyankar x[3] -= m4*x1 + m9*x2 + m14*x3 + m19*x4 + m24*x5; 4400deeaf61SShri Abhyankar x[4] -= m5*x1 + m10*x2 + m15*x3 + m20*x4 + m25*x5; 4410deeaf61SShri Abhyankar 4420deeaf61SShri Abhyankar x[5] -= m1*x6 + m6*x7 + m11*x8 + m16*x9 + m21*x10; 4430deeaf61SShri Abhyankar x[6] -= m2*x6 + m7*x7 + m12*x8 + m17*x9 + m22*x10; 4440deeaf61SShri Abhyankar x[7] -= m3*x6 + m8*x7 + m13*x8 + m18*x9 + m23*x10; 4450deeaf61SShri Abhyankar x[8] -= m4*x6 + m9*x7 + m14*x8 + m19*x9 + m24*x10; 4460deeaf61SShri Abhyankar x[9] -= m5*x6 + m10*x7 + m15*x8 + m20*x9 + m25*x10; 4470deeaf61SShri Abhyankar 4480deeaf61SShri Abhyankar x[10] -= m1*x11 + m6*x12 + m11*x13 + m16*x14 + m21*x15; 4490deeaf61SShri Abhyankar x[11] -= m2*x11 + m7*x12 + m12*x13 + m17*x14 + m22*x15; 4500deeaf61SShri Abhyankar x[12] -= m3*x11 + m8*x12 + m13*x13 + m18*x14 + m23*x15; 4510deeaf61SShri Abhyankar x[13] -= m4*x11 + m9*x12 + m14*x13 + m19*x14 + m24*x15; 4520deeaf61SShri Abhyankar x[14] -= m5*x11 + m10*x12 + m15*x13 + m20*x14 + m25*x15; 4530deeaf61SShri Abhyankar 4540deeaf61SShri Abhyankar x[15] -= m1*x16 + m6*x17 + m11*x18 + m16*x19 + m21*x20; 4550deeaf61SShri Abhyankar x[16] -= m2*x16 + m7*x17 + m12*x18 + m17*x19 + m22*x20; 4560deeaf61SShri Abhyankar x[17] -= m3*x16 + m8*x17 + m13*x18 + m18*x19 + m23*x20; 4570deeaf61SShri Abhyankar x[18] -= m4*x16 + m9*x17 + m14*x18 + m19*x19 + m24*x20; 4580deeaf61SShri Abhyankar x[19] -= m5*x16 + m10*x17 + m15*x18 + m20*x19 + m25*x20; 4590deeaf61SShri Abhyankar 4600deeaf61SShri Abhyankar x[20] -= m1*x21 + m6*x22 + m11*x23 + m16*x24 + m21*x25; 4610deeaf61SShri Abhyankar x[21] -= m2*x21 + m7*x22 + m12*x23 + m17*x24 + m22*x25; 4620deeaf61SShri Abhyankar x[22] -= m3*x21 + m8*x22 + m13*x23 + m18*x24 + m23*x25; 4630deeaf61SShri Abhyankar x[23] -= m4*x21 + m9*x22 + m14*x23 + m19*x24 + m24*x25; 4640deeaf61SShri Abhyankar x[24] -= m5*x21 + m10*x22 + m15*x23 + m20*x24 + m25*x25; 4650deeaf61SShri Abhyankar pv += 25; 4660deeaf61SShri Abhyankar } 467*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(250.0*nz+225.0)); 4680deeaf61SShri Abhyankar } 4690deeaf61SShri Abhyankar row = *ajtmp++; 4700deeaf61SShri Abhyankar } 4710deeaf61SShri Abhyankar /* finished row so stick it into b->a */ 4720deeaf61SShri Abhyankar pv = ba + 25*bi[i]; 4730deeaf61SShri Abhyankar pj = bj + bi[i]; 4740deeaf61SShri Abhyankar nz = bi[i+1] - bi[i]; 4750deeaf61SShri Abhyankar for (j=0; j<nz; j++) { 4760deeaf61SShri Abhyankar x = rtmp+25*pj[j]; 4770deeaf61SShri Abhyankar pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3]; 4780deeaf61SShri Abhyankar pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8]; 4790deeaf61SShri Abhyankar pv[9] = x[9]; pv[10] = x[10]; pv[11] = x[11]; pv[12] = x[12]; 4800deeaf61SShri Abhyankar pv[13] = x[13]; pv[14] = x[14]; pv[15] = x[15]; pv[16] = x[16]; pv[17] = x[17]; 4810deeaf61SShri Abhyankar pv[18] = x[18]; pv[19] = x[19]; pv[20] = x[20]; pv[21] = x[21]; pv[22] = x[22]; 4820deeaf61SShri Abhyankar pv[23] = x[23]; pv[24] = x[24]; 4830deeaf61SShri Abhyankar pv += 25; 4840deeaf61SShri Abhyankar } 4850deeaf61SShri Abhyankar /* invert diagonal block */ 4860deeaf61SShri Abhyankar w = ba + 25*diag_offset[i]; 487*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_inverse_A_5(w,ipvt,work,shift,allowzeropivot,&zeropivotdetected)); 4887b6c816cSBarry Smith if (zeropivotdetected) C->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 4890deeaf61SShri Abhyankar } 4900deeaf61SShri Abhyankar 491*9566063dSJacob Faibussowitsch PetscCall(PetscFree(rtmp)); 49226fbe8dcSKarl Rupp 49306e38f1dSHong Zhang C->ops->solve = MatSolve_SeqBAIJ_5_NaturalOrdering_inplace; 49406e38f1dSHong Zhang C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_5_NaturalOrdering_inplace; 4950deeaf61SShri Abhyankar C->assembled = PETSC_TRUE; 49626fbe8dcSKarl Rupp 497*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(1.333333333333*5*5*5*b->mbs)); /* from inverting diagonal blocks */ 4980deeaf61SShri Abhyankar PetscFunctionReturn(0); 4990deeaf61SShri Abhyankar } 5000deeaf61SShri Abhyankar 5014dd39f65SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqBAIJ_5_NaturalOrdering(Mat B,Mat A,const MatFactorInfo *info) 5020deeaf61SShri Abhyankar { 5030deeaf61SShri Abhyankar Mat C =B; 5040deeaf61SShri Abhyankar Mat_SeqBAIJ *a=(Mat_SeqBAIJ*)A->data,*b=(Mat_SeqBAIJ*)C->data; 505bbd65245SShri Abhyankar PetscInt i,j,k,nz,nzL,row; 506766f9fbaSBarry Smith const PetscInt n=a->mbs,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 507bbd65245SShri Abhyankar const PetscInt *ajtmp,*bjtmp,*bdiag=b->diag,*pj,bs2=a->bs2; 508bbd65245SShri Abhyankar MatScalar *rtmp,*pc,*mwork,*v,*vv,*pv,*aa=a->a,work[25]; 509bbd65245SShri Abhyankar PetscInt flg,ipvt[5]; 510182b8fbaSHong Zhang PetscReal shift = info->shiftamount; 511a455e926SHong Zhang PetscBool allowzeropivot,zeropivotdetected; 5120deeaf61SShri Abhyankar 5130deeaf61SShri Abhyankar PetscFunctionBegin; 5140164db54SHong Zhang allowzeropivot = PetscNot(A->erroriffailure); 5150164db54SHong Zhang 5160deeaf61SShri Abhyankar /* generate work space needed by the factorization */ 517*9566063dSJacob Faibussowitsch PetscCall(PetscMalloc2(bs2*n,&rtmp,bs2,&mwork)); 518*9566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(rtmp,bs2*n)); 5190deeaf61SShri Abhyankar 5200deeaf61SShri Abhyankar for (i=0; i<n; i++) { 5210deeaf61SShri Abhyankar /* zero rtmp */ 5220deeaf61SShri Abhyankar /* L part */ 5230deeaf61SShri Abhyankar nz = bi[i+1] - bi[i]; 5240deeaf61SShri Abhyankar bjtmp = bj + bi[i]; 5250deeaf61SShri Abhyankar for (j=0; j<nz; j++) { 526*9566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(rtmp+bs2*bjtmp[j],bs2)); 5270deeaf61SShri Abhyankar } 5280deeaf61SShri Abhyankar 5290deeaf61SShri Abhyankar /* U part */ 53053cca76cSShri Abhyankar nz = bdiag[i] - bdiag[i+1]; 53153cca76cSShri Abhyankar bjtmp = bj + bdiag[i+1]+1; 53253cca76cSShri Abhyankar for (j=0; j<nz; j++) { 533*9566063dSJacob Faibussowitsch PetscCall(PetscArrayzero(rtmp+bs2*bjtmp[j],bs2)); 53453cca76cSShri Abhyankar } 53553cca76cSShri Abhyankar 53653cca76cSShri Abhyankar /* load in initial (unfactored row) */ 53753cca76cSShri Abhyankar nz = ai[i+1] - ai[i]; 53853cca76cSShri Abhyankar ajtmp = aj + ai[i]; 53953cca76cSShri Abhyankar v = aa + bs2*ai[i]; 54053cca76cSShri Abhyankar for (j=0; j<nz; j++) { 541*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(rtmp+bs2*ajtmp[j],v+bs2*j,bs2)); 54253cca76cSShri Abhyankar } 54353cca76cSShri Abhyankar 54453cca76cSShri Abhyankar /* elimination */ 54553cca76cSShri Abhyankar bjtmp = bj + bi[i]; 54653cca76cSShri Abhyankar nzL = bi[i+1] - bi[i]; 54753cca76cSShri Abhyankar for (k=0; k < nzL; k++) { 54853cca76cSShri Abhyankar row = bjtmp[k]; 54953cca76cSShri Abhyankar pc = rtmp + bs2*row; 550c35f09e5SBarry Smith for (flg=0,j=0; j<bs2; j++) { 551c35f09e5SBarry Smith if (pc[j]!=0.0) { 552c35f09e5SBarry Smith flg = 1; 553c35f09e5SBarry Smith break; 554c35f09e5SBarry Smith } 555c35f09e5SBarry Smith } 55653cca76cSShri Abhyankar if (flg) { 55753cca76cSShri Abhyankar pv = b->a + bs2*bdiag[row]; 55896b95a6bSBarry Smith /* PetscKernel_A_gets_A_times_B(bs,pc,pv,mwork); *pc = *pc * (*pv); */ 559*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_A_times_B_5(pc,pv,mwork)); 56053cca76cSShri Abhyankar 561a5b23f4aSJose E. Roman pj = b->j + bdiag[row+1]+1; /* beginning of U(row,:) */ 56253cca76cSShri Abhyankar pv = b->a + bs2*(bdiag[row+1]+1); 56353cca76cSShri Abhyankar nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries inU(row,:), excluding diag */ 56453cca76cSShri Abhyankar for (j=0; j<nz; j++) { 56596b95a6bSBarry Smith /* PetscKernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j); */ 56653cca76cSShri Abhyankar /* rtmp+bs2*pj[j] = rtmp+bs2*pj[j] - (*pc)*(pv+bs2*j) */ 567766f9fbaSBarry Smith vv = rtmp + bs2*pj[j]; 568*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_A_minus_B_times_C_5(vv,pc,pv)); 56953cca76cSShri Abhyankar pv += bs2; 57053cca76cSShri Abhyankar } 571*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(250.0*nz+225)); /* flops = 2*bs^3*nz + 2*bs^3 - bs2) */ 57253cca76cSShri Abhyankar } 57353cca76cSShri Abhyankar } 57453cca76cSShri Abhyankar 57553cca76cSShri Abhyankar /* finished row so stick it into b->a */ 57653cca76cSShri Abhyankar /* L part */ 57753cca76cSShri Abhyankar pv = b->a + bs2*bi[i]; 57853cca76cSShri Abhyankar pj = b->j + bi[i]; 57953cca76cSShri Abhyankar nz = bi[i+1] - bi[i]; 58053cca76cSShri Abhyankar for (j=0; j<nz; j++) { 581*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2)); 58253cca76cSShri Abhyankar } 58353cca76cSShri Abhyankar 584a5b23f4aSJose E. Roman /* Mark diagonal and invert diagonal for simpler triangular solves */ 58553cca76cSShri Abhyankar pv = b->a + bs2*bdiag[i]; 58653cca76cSShri Abhyankar pj = b->j + bdiag[i]; 587*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(pv,rtmp+bs2*pj[0],bs2)); 588*9566063dSJacob Faibussowitsch PetscCall(PetscKernel_A_gets_inverse_A_5(pv,ipvt,work,shift,allowzeropivot,&zeropivotdetected)); 5897b6c816cSBarry Smith if (zeropivotdetected) C->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 59053cca76cSShri Abhyankar 59153cca76cSShri Abhyankar /* U part */ 59253cca76cSShri Abhyankar pv = b->a + bs2*(bdiag[i+1]+1); 59353cca76cSShri Abhyankar pj = b->j + bdiag[i+1]+1; 59453cca76cSShri Abhyankar nz = bdiag[i] - bdiag[i+1] - 1; 59553cca76cSShri Abhyankar for (j=0; j<nz; j++) { 596*9566063dSJacob Faibussowitsch PetscCall(PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2)); 59753cca76cSShri Abhyankar } 59853cca76cSShri Abhyankar } 599*9566063dSJacob Faibussowitsch PetscCall(PetscFree2(rtmp,mwork)); 60026fbe8dcSKarl Rupp 6014dd39f65SShri Abhyankar C->ops->solve = MatSolve_SeqBAIJ_5_NaturalOrdering; 6024dd39f65SShri Abhyankar C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_5_NaturalOrdering; 60353cca76cSShri Abhyankar C->assembled = PETSC_TRUE; 60426fbe8dcSKarl Rupp 605*9566063dSJacob Faibussowitsch PetscCall(PetscLogFlops(1.333333333333*5*5*5*n)); /* from inverting diagonal blocks */ 60653cca76cSShri Abhyankar PetscFunctionReturn(0); 60753cca76cSShri Abhyankar } 608