15d517e7eSBarry Smith #ifndef lint 2*5615d1e5SSatish Balay static char vcid[] = "$Id: baijfact.c,v 1.34 1997/01/01 03:38:19 bsmith Exp balay $"; 35d517e7eSBarry Smith #endif 45d517e7eSBarry Smith /* 5ec3a8b7bSBarry Smith Factorization code for BAIJ format. 65d517e7eSBarry Smith */ 75d517e7eSBarry Smith 870f55243SBarry Smith #include "src/mat/impls/baij/seq/baij.h" 9c16cb8f2SBarry Smith #include "src/vec/vecimpl.h" 104078e994SBarry Smith #include "src/inline/ilu.h" 11ec3a8b7bSBarry Smith 12c16cb8f2SBarry Smith 13ec3a8b7bSBarry Smith /* 14ec3a8b7bSBarry Smith The symbolic factorization code is identical to that for AIJ format, 15ec3a8b7bSBarry Smith except for very small changes since this is now a SeqBAIJ datastructure. 16ec3a8b7bSBarry Smith NOT good code reuse. 17ec3a8b7bSBarry Smith */ 18*5615d1e5SSatish Balay #undef __FUNC__ 19*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactorSymbolic_SeqBAIJ" 20ec3a8b7bSBarry Smith int MatLUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,Mat *B) 215d517e7eSBarry Smith { 22ec3a8b7bSBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b; 235d517e7eSBarry Smith IS isicol; 24ec3a8b7bSBarry Smith int *r,*ic, ierr, i, n = a->mbs, *ai = a->i, *aj = a->j; 259df24120SSatish Balay int *ainew,*ajnew, jmax,*fill, *ajtmp, nz, bs = a->bs, bs2=a->bs2; 2691bf9adeSBarry Smith int *idnew, idx, row,m,fm, nnz, nzi,realloc = 0,nzbd,*im; 275d517e7eSBarry Smith 28d3cbd50cSLois Curfman McInnes PetscValidHeaderSpecific(isrow,IS_COOKIE); 29d3cbd50cSLois Curfman McInnes PetscValidHeaderSpecific(iscol,IS_COOKIE); 305d517e7eSBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 315d517e7eSBarry Smith ISGetIndices(isrow,&r); ISGetIndices(isicol,&ic); 325d517e7eSBarry Smith 335d517e7eSBarry Smith /* get new row pointers */ 345d517e7eSBarry Smith ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 35de6a44a3SBarry Smith ainew[0] = 0; 365d517e7eSBarry Smith /* don't know how many column pointers are needed so estimate */ 37de6a44a3SBarry Smith jmax = (int) (f*ai[n] + 1); 385d517e7eSBarry Smith ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 395d517e7eSBarry Smith /* fill is a linked list of nonzeros in active row */ 405d517e7eSBarry Smith fill = (int *) PetscMalloc( (2*n+1)*sizeof(int)); CHKPTRQ(fill); 415d517e7eSBarry Smith im = fill + n + 1; 425d517e7eSBarry Smith /* idnew is location of diagonal in factor */ 435d517e7eSBarry Smith idnew = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(idnew); 44de6a44a3SBarry Smith idnew[0] = 0; 455d517e7eSBarry Smith 465d517e7eSBarry Smith for ( i=0; i<n; i++ ) { 475d517e7eSBarry Smith /* first copy previous fill into linked list */ 485d517e7eSBarry Smith nnz = nz = ai[r[i]+1] - ai[r[i]]; 49de6a44a3SBarry Smith ajtmp = aj + ai[r[i]]; 505d517e7eSBarry Smith fill[n] = n; 515d517e7eSBarry Smith while (nz--) { 525d517e7eSBarry Smith fm = n; 53de6a44a3SBarry Smith idx = ic[*ajtmp++]; 545d517e7eSBarry Smith do { 555d517e7eSBarry Smith m = fm; 565d517e7eSBarry Smith fm = fill[m]; 575d517e7eSBarry Smith } while (fm < idx); 585d517e7eSBarry Smith fill[m] = idx; 595d517e7eSBarry Smith fill[idx] = fm; 605d517e7eSBarry Smith } 615d517e7eSBarry Smith row = fill[n]; 625d517e7eSBarry Smith while ( row < i ) { 63de6a44a3SBarry Smith ajtmp = ajnew + idnew[row] + 1; 645d517e7eSBarry Smith nzbd = 1 + idnew[row] - ainew[row]; 655d517e7eSBarry Smith nz = im[row] - nzbd; 665d517e7eSBarry Smith fm = row; 675d517e7eSBarry Smith while (nz-- > 0) { 68de6a44a3SBarry Smith idx = *ajtmp++; 695d517e7eSBarry Smith nzbd++; 705d517e7eSBarry Smith if (idx == i) im[row] = nzbd; 715d517e7eSBarry Smith do { 725d517e7eSBarry Smith m = fm; 735d517e7eSBarry Smith fm = fill[m]; 745d517e7eSBarry Smith } while (fm < idx); 755d517e7eSBarry Smith if (fm != idx) { 765d517e7eSBarry Smith fill[m] = idx; 775d517e7eSBarry Smith fill[idx] = fm; 785d517e7eSBarry Smith fm = idx; 795d517e7eSBarry Smith nnz++; 805d517e7eSBarry Smith } 815d517e7eSBarry Smith } 825d517e7eSBarry Smith row = fill[row]; 835d517e7eSBarry Smith } 845d517e7eSBarry Smith /* copy new filled row into permanent storage */ 855d517e7eSBarry Smith ainew[i+1] = ainew[i] + nnz; 864078e994SBarry Smith if (ainew[i+1] > jmax) { 875d517e7eSBarry Smith /* allocate a longer ajnew */ 885d517e7eSBarry Smith int maxadd; 89de6a44a3SBarry Smith maxadd = (int) ((f*(ai[n]+1)*(n-i+5))/n); 905d517e7eSBarry Smith if (maxadd < nnz) maxadd = (n-i)*(nnz+1); 915d517e7eSBarry Smith jmax += maxadd; 925d517e7eSBarry Smith ajtmp = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(ajtmp); 93de6a44a3SBarry Smith PetscMemcpy(ajtmp,ajnew,ainew[i]*sizeof(int)); 945d517e7eSBarry Smith PetscFree(ajnew); 955d517e7eSBarry Smith ajnew = ajtmp; 965d517e7eSBarry Smith realloc++; /* count how many times we realloc */ 975d517e7eSBarry Smith } 98de6a44a3SBarry Smith ajtmp = ajnew + ainew[i]; 995d517e7eSBarry Smith fm = fill[n]; 1005d517e7eSBarry Smith nzi = 0; 1015d517e7eSBarry Smith im[i] = nnz; 1025d517e7eSBarry Smith while (nnz--) { 1035d517e7eSBarry Smith if (fm < i) nzi++; 104de6a44a3SBarry Smith *ajtmp++ = fm; 1055d517e7eSBarry Smith fm = fill[fm]; 1065d517e7eSBarry Smith } 1075d517e7eSBarry Smith idnew[i] = ainew[i] + nzi; 1085d517e7eSBarry Smith } 1095d517e7eSBarry Smith 11094a424c1SBarry Smith PLogInfo(A, 111ec3a8b7bSBarry Smith "Info:MatLUFactorSymbolic_SeqBAIJ:Reallocs %d Fill ratio:given %g needed %g\n", 1125d517e7eSBarry Smith realloc,f,((double)ainew[n])/((double)ai[i])); 1135d517e7eSBarry Smith 1145d517e7eSBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 1155d517e7eSBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 1165d517e7eSBarry Smith 1175d517e7eSBarry Smith PetscFree(fill); 1185d517e7eSBarry Smith 1195d517e7eSBarry Smith /* put together the new matrix */ 120ec3a8b7bSBarry Smith ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,B); CHKERRQ(ierr); 1215d517e7eSBarry Smith PLogObjectParent(*B,isicol); 1225d517e7eSBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 123ec3a8b7bSBarry Smith b = (Mat_SeqBAIJ *) (*B)->data; 1245d517e7eSBarry Smith PetscFree(b->imax); 1255d517e7eSBarry Smith b->singlemalloc = 0; 1265d517e7eSBarry Smith /* the next line frees the default space generated by the Create() */ 1275d517e7eSBarry Smith PetscFree(b->a); PetscFree(b->ilen); 12891bf9adeSBarry Smith b->a = (Scalar *) PetscMalloc((ainew[n]+1)*sizeof(Scalar)*bs2);CHKPTRQ(b->a); 1295d517e7eSBarry Smith b->j = ajnew; 1305d517e7eSBarry Smith b->i = ainew; 1315d517e7eSBarry Smith b->diag = idnew; 1325d517e7eSBarry Smith b->ilen = 0; 1335d517e7eSBarry Smith b->imax = 0; 1345d517e7eSBarry Smith b->row = isrow; 1355d517e7eSBarry Smith b->col = iscol; 136de6a44a3SBarry Smith b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar)); 1375d517e7eSBarry Smith CHKPTRQ(b->solve_work); 1385d517e7eSBarry Smith /* In b structure: Free imax, ilen, old a, old j. 1395d517e7eSBarry Smith Allocate idnew, solve_work, new a, new j */ 140de6a44a3SBarry Smith PLogObjectMemory(*B,(ainew[n]-n)*(sizeof(int)+sizeof(Scalar))); 141de6a44a3SBarry Smith b->maxnz = b->nz = ainew[n]; 1425d517e7eSBarry Smith 143ae068f58SLois Curfman McInnes (*B)->info.factor_mallocs = realloc; 144ae068f58SLois Curfman McInnes (*B)->info.fill_ratio_given = f; 145ae068f58SLois Curfman McInnes (*B)->info.fill_ratio_needed = ((double)ainew[n])/((double)ai[i]); 146ae068f58SLois Curfman McInnes 1475d517e7eSBarry Smith return 0; 1485d517e7eSBarry Smith } 1495d517e7eSBarry Smith 150ec3a8b7bSBarry Smith /* ----------------------------------------------------------- */ 151*5615d1e5SSatish Balay #undef __FUNC__ 152*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactorNumeric_SeqBAIJ_N" 1537fc0212eSBarry Smith int MatLUFactorNumeric_SeqBAIJ_N(Mat A,Mat *B) 1545d517e7eSBarry Smith { 1555d517e7eSBarry Smith Mat C = *B; 156ec3a8b7bSBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data; 1575d517e7eSBarry Smith IS iscol = b->col, isrow = b->row, isicol; 1584078e994SBarry Smith int *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j; 1594078e994SBarry Smith int *ajtmpold, *ajtmp, nz, row, bslog,*ai=a->i,*aj=a->j; 1604078e994SBarry Smith int *diag_offset=b->diag,diag,bs=a->bs,bs2 = bs*bs,*v_pivots; 1614078e994SBarry Smith Scalar *ba = b->a,*aa = a->a; 1624eeb42bcSBarry Smith register Scalar *pv,*v,*rtmp,*multiplier,*v_work,*pc,*w; 1635d517e7eSBarry Smith register int *pj; 1645d517e7eSBarry Smith 1655d517e7eSBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 1665d517e7eSBarry Smith PLogObjectParent(*B,isicol); 1675d517e7eSBarry Smith ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 1685d517e7eSBarry Smith ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 169ec3a8b7bSBarry Smith rtmp = (Scalar *) PetscMalloc(bs2*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 17013ae1565SBarry Smith PetscMemzero(rtmp,bs2*(n+1)*sizeof(Scalar)); 171ec3a8b7bSBarry Smith /* generate work space needed by dense LU factorization */ 1726d84be18SBarry Smith v_work = (Scalar *) PetscMalloc(bs*sizeof(int) + (bs+bs2)*sizeof(Scalar)); 1736d84be18SBarry Smith CHKPTRQ(v_work); 1746d84be18SBarry Smith multiplier = v_work + bs; 175de6a44a3SBarry Smith v_pivots = (int *) (multiplier + bs2); 176de6a44a3SBarry Smith 177de6a44a3SBarry Smith /* flops in while loop */ 1784eeb42bcSBarry Smith bslog = 2*bs*bs2; 1795d517e7eSBarry Smith 1805d517e7eSBarry Smith for ( i=0; i<n; i++ ) { 1814078e994SBarry Smith nz = bi[i+1] - bi[i]; 1824078e994SBarry Smith ajtmp = bj + bi[i]; 1834eeb42bcSBarry Smith for ( j=0; j<nz; j++ ) { 1844eeb42bcSBarry Smith PetscMemzero(rtmp+bs2*ajtmp[j],bs2*sizeof(Scalar)); 1854eeb42bcSBarry Smith } 1865d517e7eSBarry Smith /* load in initial (unfactored row) */ 1874078e994SBarry Smith nz = ai[r[i]+1] - ai[r[i]]; 1884078e994SBarry Smith ajtmpold = aj + ai[r[i]]; 1894078e994SBarry Smith v = aa + bs2*ai[r[i]]; 1904eeb42bcSBarry Smith for ( j=0; j<nz; j++ ) { 1914eeb42bcSBarry Smith PetscMemcpy(rtmp+bs2*ic[ajtmpold[j]],v+bs2*j,bs2*sizeof(Scalar)); 1924eeb42bcSBarry Smith } 193de6a44a3SBarry Smith row = *ajtmp++; 1945d517e7eSBarry Smith while (row < i) { 195de6a44a3SBarry Smith pc = rtmp + bs2*row; 196de6a44a3SBarry Smith /* if (*pc) { */ 1974078e994SBarry Smith pv = ba + bs2*diag_offset[row]; 1984078e994SBarry Smith pj = bj + diag_offset[row] + 1; 1994078e994SBarry Smith Kernel_A_gets_A_times_B(bs,pc,pv,multiplier); 2004078e994SBarry Smith nz = bi[row+1] - diag_offset[row] - 1; 201ec3a8b7bSBarry Smith pv += bs2; 2024eeb42bcSBarry Smith for (j=0; j<nz; j++) { 2034078e994SBarry Smith Kernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j); 2044eeb42bcSBarry Smith } 2054eeb42bcSBarry Smith PLogFlops(bslog*(nz+1)-bs); 206de6a44a3SBarry Smith /* } */ 207de6a44a3SBarry Smith row = *ajtmp++; 2085d517e7eSBarry Smith } 2095d517e7eSBarry Smith /* finished row so stick it into b->a */ 2104078e994SBarry Smith pv = ba + bs2*bi[i]; 2114078e994SBarry Smith pj = bj + bi[i]; 2124078e994SBarry Smith nz = bi[i+1] - bi[i]; 2134eeb42bcSBarry Smith for ( j=0; j<nz; j++ ) { 2144eeb42bcSBarry Smith PetscMemcpy(pv+bs2*j,rtmp+bs2*pj[j],bs2*sizeof(Scalar)); 2154eeb42bcSBarry Smith } 2164078e994SBarry Smith diag = diag_offset[i] - bi[i]; 217ec3a8b7bSBarry Smith /* invert diagonal block */ 2184eeb42bcSBarry Smith w = pv + bs2*diag; 2194078e994SBarry Smith Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work); 2205d517e7eSBarry Smith } 2215d517e7eSBarry Smith 222de6a44a3SBarry Smith PetscFree(rtmp); PetscFree(v_work); 2235d517e7eSBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 2245d517e7eSBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 2255d517e7eSBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 2265d517e7eSBarry Smith C->factor = FACTOR_LU; 2275d517e7eSBarry Smith C->assembled = PETSC_TRUE; 228de6a44a3SBarry Smith PLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */ 2295d517e7eSBarry Smith return 0; 2305d517e7eSBarry Smith } 2314eeb42bcSBarry Smith /* ------------------------------------------------------------*/ 2324eeb42bcSBarry Smith /* 2336d84be18SBarry Smith Version for when blocks are 5 by 5 2346d84be18SBarry Smith */ 235*5615d1e5SSatish Balay #undef __FUNC__ 236*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactorNumeric_SeqBAIJ_5" 2376d84be18SBarry Smith int MatLUFactorNumeric_SeqBAIJ_5(Mat A,Mat *B) 2386d84be18SBarry Smith { 2396d84be18SBarry Smith Mat C = *B; 2406d84be18SBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data; 2416d84be18SBarry Smith IS iscol = b->col, isrow = b->row, isicol; 2424078e994SBarry Smith int *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j; 2436d84be18SBarry Smith int *ajtmpold, *ajtmp, nz, row, v_pivots[5]; 2444078e994SBarry Smith int *diag_offset = b->diag,bs = 5,idx,*ai=a->i,*aj=a->j; 2456d84be18SBarry Smith register Scalar *pv,*v,*rtmp,*pc,*w,*x; 2466d84be18SBarry Smith Scalar p1,p2,p3,p4,v_work[5],m1,m2,m3,m4,m5,m6,m7,m8,m9,x1,x2,x3,x4; 2476d84be18SBarry Smith Scalar p5,p6,p7,p8,p9,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16; 2486d84be18SBarry Smith Scalar x17,x18,x19,x20,x21,x22,x23,x24,x25,p10,p11,p12,p13,p14; 2496d84be18SBarry Smith Scalar p15,p16,p17,p18,p19,p20,p21,p22,p23,p24,p25,m10,m11,m12; 2506d84be18SBarry Smith Scalar m13,m14,m15,m16,m17,m18,m19,m20,m21,m22,m23,m24,m25; 2514078e994SBarry Smith Scalar *ba = b->a,*aa = a->a; 2526d84be18SBarry Smith register int *pj; 2536d84be18SBarry Smith 2546d84be18SBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 2556d84be18SBarry Smith PLogObjectParent(*B,isicol); 2566d84be18SBarry Smith ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 2576d84be18SBarry Smith ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 2586d84be18SBarry Smith rtmp = (Scalar *) PetscMalloc(25*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 2596d84be18SBarry Smith 2606d84be18SBarry Smith for ( i=0; i<n; i++ ) { 2614078e994SBarry Smith nz = bi[i+1] - bi[i]; 2624078e994SBarry Smith ajtmp = bj + bi[i]; 2636d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 2646d84be18SBarry Smith x = rtmp+25*ajtmp[j]; 2656d84be18SBarry Smith x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0; 2666d84be18SBarry Smith x[10] = x[11] = x[12] = x[13] = x[14] = x[15] = x[16] = x[17] = 0.0; 2676d84be18SBarry Smith x[18] = x[19] = x[20] = x[21] = x[22] = x[23] = x[24] = 0.0; 2686d84be18SBarry Smith } 2696d84be18SBarry Smith /* load in initial (unfactored row) */ 2706d84be18SBarry Smith idx = r[i]; 2714078e994SBarry Smith nz = ai[idx+1] - ai[idx]; 2724078e994SBarry Smith ajtmpold = aj + ai[idx]; 2734078e994SBarry Smith v = aa + 25*ai[idx]; 2746d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 2756d84be18SBarry Smith x = rtmp+25*ic[ajtmpold[j]]; 2766d84be18SBarry Smith x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3]; 2776d84be18SBarry Smith x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8]; 2786d84be18SBarry Smith x[9] = v[9]; x[10] = v[10]; x[11] = v[11]; x[12] = v[12]; x[13] = v[13]; 2796d84be18SBarry Smith x[14] = v[14]; x[15] = v[15]; x[16] = v[16]; x[17] = v[17]; 2806d84be18SBarry Smith x[18] = v[18]; x[19] = v[19]; x[20] = v[20]; x[21] = v[21]; 2816d84be18SBarry Smith x[22] = v[22]; x[23] = v[23]; x[24] = v[24]; 2826d84be18SBarry Smith v += 25; 2836d84be18SBarry Smith } 2846d84be18SBarry Smith row = *ajtmp++; 2856d84be18SBarry Smith while (row < i) { 2866d84be18SBarry Smith pc = rtmp + 25*row; 2876d84be18SBarry Smith p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3]; 2886d84be18SBarry Smith p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8]; 2896d84be18SBarry Smith p10 = pc[9]; p11 = pc[10]; p12 = pc[11]; p13 = pc[12]; p14 = pc[13]; 2906d84be18SBarry Smith p15 = pc[14]; p16 = pc[15]; p17 = pc[16]; p18 = pc[17]; p19 = pc[18]; 2916d84be18SBarry Smith p20 = pc[19]; p21 = pc[20]; p22 = pc[21]; p23 = pc[22]; p24 = pc[23]; 2926d84be18SBarry Smith p25 = pc[24]; 2936d84be18SBarry Smith if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 || 2946d84be18SBarry Smith p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0 || p10 != 0.0 || 2956d84be18SBarry Smith p11 != 0.0 || p12 != 0.0 || p13 != 0.0 || p14 != 0.0 || p15 != 0.0 2966d84be18SBarry Smith || p16 != 0.0 || p17 != 0.0 || p18 != 0.0 || p19 != 0.0 || 2976d84be18SBarry Smith p20 != 0.0 || p21 != 0.0 || p22 != 0.0 || p23 != 0.0 || 2984078e994SBarry Smith p24 != 0.0 || p25 != 0.0) { 2994078e994SBarry Smith pv = ba + 25*diag_offset[row]; 3004078e994SBarry Smith pj = bj + diag_offset[row] + 1; 3016d84be18SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 3026d84be18SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 3036d84be18SBarry Smith x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; x14 = pv[13]; 3046d84be18SBarry Smith x15 = pv[14]; x16 = pv[15]; x17 = pv[16]; x18 = pv[17]; 3056d84be18SBarry Smith x19 = pv[18]; x20 = pv[19]; x21 = pv[20]; x22 = pv[21]; 3066d84be18SBarry Smith x23 = pv[22]; x24 = pv[23]; x25 = pv[24]; 3076d84be18SBarry Smith pc[0] = m1 = p1*x1 + p6*x2 + p11*x3 + p16*x4 + p21*x5; 3086d84be18SBarry Smith pc[1] = m2 = p2*x1 + p7*x2 + p12*x3 + p17*x4 + p22*x5; 3096d84be18SBarry Smith pc[2] = m3 = p3*x1 + p8*x2 + p13*x3 + p18*x4 + p23*x5; 3106d84be18SBarry Smith pc[3] = m4 = p4*x1 + p9*x2 + p14*x3 + p19*x4 + p24*x5; 3116d84be18SBarry Smith pc[4] = m5 = p5*x1 + p10*x2 + p15*x3 + p20*x4 + p25*x5; 3126d84be18SBarry Smith 3136d84be18SBarry Smith pc[5] = m6 = p1*x6 + p6*x7 + p11*x8 + p16*x9 + p21*x10; 3146d84be18SBarry Smith pc[6] = m7 = p2*x6 + p7*x7 + p12*x8 + p17*x9 + p22*x10; 3156d84be18SBarry Smith pc[7] = m8 = p3*x6 + p8*x7 + p13*x8 + p18*x9 + p23*x10; 3166d84be18SBarry Smith pc[8] = m9 = p4*x6 + p9*x7 + p14*x8 + p19*x9 + p24*x10; 3176d84be18SBarry Smith pc[9] = m10 = p5*x6 + p10*x7 + p15*x8 + p20*x9 + p25*x10; 3186d84be18SBarry Smith 3196d84be18SBarry Smith pc[10] = m11 = p1*x11 + p6*x12 + p11*x13 + p16*x14 + p21*x15; 3206d84be18SBarry Smith pc[11] = m12 = p2*x11 + p7*x12 + p12*x13 + p17*x14 + p22*x15; 3216d84be18SBarry Smith pc[12] = m13 = p3*x11 + p8*x12 + p13*x13 + p18*x14 + p23*x15; 3226d84be18SBarry Smith pc[13] = m14 = p4*x11 + p9*x12 + p14*x13 + p19*x14 + p24*x15; 3236d84be18SBarry Smith pc[14] = m15 = p5*x11 + p10*x12 + p15*x13 + p20*x14 + p25*x15; 3246d84be18SBarry Smith 3256d84be18SBarry Smith pc[15] = m16 = p1*x16 + p6*x17 + p11*x18 + p16*x19 + p21*x20; 3266d84be18SBarry Smith pc[16] = m17 = p2*x16 + p7*x17 + p12*x18 + p17*x19 + p22*x20; 3276d84be18SBarry Smith pc[17] = m18 = p3*x16 + p8*x17 + p13*x18 + p18*x19 + p23*x20; 3286d84be18SBarry Smith pc[18] = m19 = p4*x16 + p9*x17 + p14*x18 + p19*x19 + p24*x20; 3296d84be18SBarry Smith pc[19] = m20 = p5*x16 + p10*x17 + p15*x18 + p20*x19 + p25*x20; 3306d84be18SBarry Smith 3316d84be18SBarry Smith pc[20] = m21 = p1*x21 + p6*x22 + p11*x23 + p16*x24 + p21*x25; 3326d84be18SBarry Smith pc[21] = m22 = p2*x21 + p7*x22 + p12*x23 + p17*x24 + p22*x25; 3336d84be18SBarry Smith pc[22] = m23 = p3*x21 + p8*x22 + p13*x23 + p18*x24 + p23*x25; 3346d84be18SBarry Smith pc[23] = m24 = p4*x21 + p9*x22 + p14*x23 + p19*x24 + p24*x25; 3356d84be18SBarry Smith pc[24] = m25 = p5*x21 + p10*x22 + p15*x23 + p20*x24 + p25*x25; 3366d84be18SBarry Smith 3374078e994SBarry Smith nz = bi[row+1] - diag_offset[row] - 1; 3386d84be18SBarry Smith pv += 25; 3396d84be18SBarry Smith for (j=0; j<nz; j++) { 3406d84be18SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 3416d84be18SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 3426d84be18SBarry Smith x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; 3436d84be18SBarry Smith x14 = pv[13]; x15 = pv[14]; x16 = pv[15]; x17 = pv[16]; 3446d84be18SBarry Smith x18 = pv[17]; x19 = pv[18]; x20 = pv[19]; x21 = pv[20]; 3456d84be18SBarry Smith x22 = pv[21]; x23 = pv[22]; x24 = pv[23]; x25 = pv[24]; 3466d84be18SBarry Smith x = rtmp + 25*pj[j]; 3476d84be18SBarry Smith x[0] -= m1*x1 + m6*x2 + m11*x3 + m16*x4 + m21*x5; 3486d84be18SBarry Smith x[1] -= m2*x1 + m7*x2 + m12*x3 + m17*x4 + m22*x5; 3496d84be18SBarry Smith x[2] -= m3*x1 + m8*x2 + m13*x3 + m18*x4 + m23*x5; 3506d84be18SBarry Smith x[3] -= m4*x1 + m9*x2 + m14*x3 + m19*x4 + m24*x5; 3516d84be18SBarry Smith x[4] -= m5*x1 + m10*x2 + m15*x3 + m20*x4 + m25*x5; 3526d84be18SBarry Smith 3536d84be18SBarry Smith x[5] -= m1*x6 + m6*x7 + m11*x8 + m16*x9 + m21*x10; 3546d84be18SBarry Smith x[6] -= m2*x6 + m7*x7 + m12*x8 + m17*x9 + m22*x10; 3556d84be18SBarry Smith x[7] -= m3*x6 + m8*x7 + m13*x8 + m18*x9 + m23*x10; 3566d84be18SBarry Smith x[8] -= m4*x6 + m9*x7 + m14*x8 + m19*x9 + m24*x10; 3576d84be18SBarry Smith x[9] -= m5*x6 + m10*x7 + m15*x8 + m20*x9 + m25*x10; 3586d84be18SBarry Smith 3596d84be18SBarry Smith x[10] -= m1*x11 + m6*x12 + m11*x13 + m16*x14 + m21*x15; 3606d84be18SBarry Smith x[11] -= m2*x11 + m7*x12 + m12*x13 + m17*x14 + m22*x15; 3616d84be18SBarry Smith x[12] -= m3*x11 + m8*x12 + m13*x13 + m18*x14 + m23*x15; 3626d84be18SBarry Smith x[13] -= m4*x11 + m9*x12 + m14*x13 + m19*x14 + m24*x15; 3636d84be18SBarry Smith x[14] -= m5*x11 + m10*x12 + m15*x13 + m20*x14 + m25*x15; 3646d84be18SBarry Smith 3656d84be18SBarry Smith x[15] -= m1*x16 + m6*x17 + m11*x18 + m16*x19 + m21*x20; 3666d84be18SBarry Smith x[16] -= m2*x16 + m7*x17 + m12*x18 + m17*x19 + m22*x20; 3676d84be18SBarry Smith x[17] -= m3*x16 + m8*x17 + m13*x18 + m18*x19 + m23*x20; 3686d84be18SBarry Smith x[18] -= m4*x16 + m9*x17 + m14*x18 + m19*x19 + m24*x20; 3696d84be18SBarry Smith x[19] -= m5*x16 + m10*x17 + m15*x18 + m20*x19 + m25*x20; 3706d84be18SBarry Smith 3716d84be18SBarry Smith x[20] -= m1*x21 + m6*x22 + m11*x23 + m16*x24 + m21*x25; 3726d84be18SBarry Smith x[21] -= m2*x21 + m7*x22 + m12*x23 + m17*x24 + m22*x25; 3736d84be18SBarry Smith x[22] -= m3*x21 + m8*x22 + m13*x23 + m18*x24 + m23*x25; 3746d84be18SBarry Smith x[23] -= m4*x21 + m9*x22 + m14*x23 + m19*x24 + m24*x25; 3756d84be18SBarry Smith x[24] -= m5*x21 + m10*x22 + m15*x23 + m20*x24 + m25*x25; 3766d84be18SBarry Smith 3776d84be18SBarry Smith pv += 25; 3786d84be18SBarry Smith } 3796d84be18SBarry Smith PLogFlops(250*nz+225); 3806d84be18SBarry Smith } 3816d84be18SBarry Smith row = *ajtmp++; 3826d84be18SBarry Smith } 3836d84be18SBarry Smith /* finished row so stick it into b->a */ 3844078e994SBarry Smith pv = ba + 25*bi[i]; 3854078e994SBarry Smith pj = bj + bi[i]; 3864078e994SBarry Smith nz = bi[i+1] - bi[i]; 3876d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 3886d84be18SBarry Smith x = rtmp+25*pj[j]; 3896d84be18SBarry Smith pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3]; 3906d84be18SBarry Smith pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8]; 3916d84be18SBarry Smith pv[9] = x[9]; pv[10] = x[10]; pv[11] = x[11]; pv[12] = x[12]; 3926d84be18SBarry Smith pv[13] = x[13]; pv[14] = x[14]; pv[15] = x[15]; pv[16] = x[16]; 3936d84be18SBarry Smith pv[17] = x[17]; pv[18] = x[18]; pv[19] = x[19]; pv[20] = x[20]; 3946d84be18SBarry Smith pv[21] = x[21]; pv[22] = x[22]; pv[23] = x[23]; pv[24] = x[24]; 3956d84be18SBarry Smith pv += 25; 3966d84be18SBarry Smith } 3976d84be18SBarry Smith /* invert diagonal block */ 3984078e994SBarry Smith w = ba + 25*diag_offset[i]; 3994078e994SBarry Smith Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work); 4006d84be18SBarry Smith } 4016d84be18SBarry Smith 4026d84be18SBarry Smith PetscFree(rtmp); 4036d84be18SBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 4046d84be18SBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 4056d84be18SBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 4066d84be18SBarry Smith C->factor = FACTOR_LU; 4076d84be18SBarry Smith C->assembled = PETSC_TRUE; 4086d84be18SBarry Smith PLogFlops(1.3333*125*b->mbs); /* from inverting diagonal blocks */ 4096d84be18SBarry Smith return 0; 4106d84be18SBarry Smith } 4116d84be18SBarry Smith 4126d84be18SBarry Smith /* ------------------------------------------------------------*/ 4136d84be18SBarry Smith /* 4146d84be18SBarry Smith Version for when blocks are 4 by 4 4156d84be18SBarry Smith */ 416*5615d1e5SSatish Balay #undef __FUNC__ 417*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactorNumeric_SeqBAIJ_4" 4186d84be18SBarry Smith int MatLUFactorNumeric_SeqBAIJ_4(Mat A,Mat *B) 4196d84be18SBarry Smith { 4206d84be18SBarry Smith Mat C = *B; 4216d84be18SBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data; 4226d84be18SBarry Smith IS iscol = b->col, isrow = b->row, isicol; 4234078e994SBarry Smith int *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j; 4246d84be18SBarry Smith int *ajtmpold, *ajtmp, nz, row, v_pivots[4]; 4254078e994SBarry Smith int *diag_offset = b->diag,bs = 4,idx,*ai=a->i,*aj=a->j; 4266d84be18SBarry Smith register Scalar *pv,*v,*rtmp,*pc,*w,*x; 4276d84be18SBarry Smith Scalar p1,p2,p3,p4,v_work[4],m1,m2,m3,m4,m5,m6,m7,m8,m9,x1,x2,x3,x4; 4286d84be18SBarry Smith Scalar p5,p6,p7,p8,p9,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16; 4296d84be18SBarry Smith Scalar p10,p11,p12,p13,p14,p15,p16,m10,m11,m12; 4306d84be18SBarry Smith Scalar m13,m14,m15,m16; 4314078e994SBarry Smith Scalar *ba = b->a,*aa = a->a; 4326d84be18SBarry Smith register int *pj; 4336d84be18SBarry Smith 4346d84be18SBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 4356d84be18SBarry Smith PLogObjectParent(*B,isicol); 4366d84be18SBarry Smith ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 4376d84be18SBarry Smith ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 4386d84be18SBarry Smith rtmp = (Scalar *) PetscMalloc(16*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 4396d84be18SBarry Smith 4406d84be18SBarry Smith for ( i=0; i<n; i++ ) { 4414078e994SBarry Smith nz = bi[i+1] - bi[i]; 4424078e994SBarry Smith ajtmp = bj + bi[i]; 4436d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 4446d84be18SBarry Smith x = rtmp+16*ajtmp[j]; 4456d84be18SBarry Smith x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0; 4466d84be18SBarry Smith x[10] = x[11] = x[12] = x[13] = x[14] = x[15] = 0.0; 4476d84be18SBarry Smith } 4486d84be18SBarry Smith /* load in initial (unfactored row) */ 4496d84be18SBarry Smith idx = r[i]; 4504078e994SBarry Smith nz = ai[idx+1] - ai[idx]; 4514078e994SBarry Smith ajtmpold = aj + ai[idx]; 4524078e994SBarry Smith v = aa + 16*ai[idx]; 4536d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 4546d84be18SBarry Smith x = rtmp+16*ic[ajtmpold[j]]; 4556d84be18SBarry Smith x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3]; 4566d84be18SBarry Smith x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8]; 4576d84be18SBarry Smith x[9] = v[9]; x[10] = v[10]; x[11] = v[11]; x[12] = v[12]; x[13] = v[13]; 4586d84be18SBarry Smith x[14] = v[14]; x[15] = v[15]; 4596d84be18SBarry Smith v += 16; 4606d84be18SBarry Smith } 4616d84be18SBarry Smith row = *ajtmp++; 4626d84be18SBarry Smith while (row < i) { 4636d84be18SBarry Smith pc = rtmp + 16*row; 4646d84be18SBarry Smith p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3]; 4656d84be18SBarry Smith p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8]; 4666d84be18SBarry Smith p10 = pc[9]; p11 = pc[10]; p12 = pc[11]; p13 = pc[12]; p14 = pc[13]; 4676d84be18SBarry Smith p15 = pc[14]; p16 = pc[15]; 4686d84be18SBarry Smith if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 || 4696d84be18SBarry Smith p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0 || p10 != 0.0 || 4706d84be18SBarry Smith p11 != 0.0 || p12 != 0.0 || p13 != 0.0 || p14 != 0.0 || p15 != 0.0 4716d84be18SBarry Smith || p16 != 0.0) { 4724078e994SBarry Smith pv = ba + 16*diag_offset[row]; 4734078e994SBarry Smith pj = bj + diag_offset[row] + 1; 4746d84be18SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 4756d84be18SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 4766d84be18SBarry Smith x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; x14 = pv[13]; 4776d84be18SBarry Smith x15 = pv[14]; x16 = pv[15]; 4786d84be18SBarry Smith pc[0] = m1 = p1*x1 + p5*x2 + p9*x3 + p13*x4; 4796d84be18SBarry Smith pc[1] = m2 = p2*x1 + p6*x2 + p10*x3 + p14*x4; 4806d84be18SBarry Smith pc[2] = m3 = p3*x1 + p7*x2 + p11*x3 + p15*x4; 4816d84be18SBarry Smith pc[3] = m4 = p4*x1 + p8*x2 + p12*x3 + p16*x4; 4826d84be18SBarry Smith 4836d84be18SBarry Smith pc[4] = m5 = p1*x5 + p5*x6 + p9*x7 + p13*x8; 4846d84be18SBarry Smith pc[5] = m6 = p2*x5 + p6*x6 + p10*x7 + p14*x8; 4856d84be18SBarry Smith pc[6] = m7 = p3*x5 + p7*x6 + p11*x7 + p15*x8; 4866d84be18SBarry Smith pc[7] = m8 = p4*x5 + p8*x6 + p12*x7 + p16*x8; 4876d84be18SBarry Smith 4886d84be18SBarry Smith pc[8] = m9 = p1*x9 + p5*x10 + p9*x11 + p13*x12; 4896d84be18SBarry Smith pc[9] = m10 = p2*x9 + p6*x10 + p10*x11 + p14*x12; 4906d84be18SBarry Smith pc[10] = m11 = p3*x9 + p7*x10 + p11*x11 + p15*x12; 4916d84be18SBarry Smith pc[11] = m12 = p4*x9 + p8*x10 + p12*x11 + p16*x12; 4926d84be18SBarry Smith 4936d84be18SBarry Smith pc[12] = m13 = p1*x13 + p5*x14 + p9*x15 + p13*x16; 4946d84be18SBarry Smith pc[13] = m14 = p2*x13 + p6*x14 + p10*x15 + p14*x16; 4956d84be18SBarry Smith pc[14] = m15 = p3*x13 + p7*x14 + p11*x15 + p15*x16; 4966d84be18SBarry Smith pc[15] = m16 = p4*x13 + p8*x14 + p12*x15 + p16*x16; 4976d84be18SBarry Smith 4984078e994SBarry Smith nz = bi[row+1] - diag_offset[row] - 1; 4996d84be18SBarry Smith pv += 16; 5006d84be18SBarry Smith for (j=0; j<nz; j++) { 5016d84be18SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 5026d84be18SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 5036d84be18SBarry Smith x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; 5046d84be18SBarry Smith x14 = pv[13]; x15 = pv[14]; x16 = pv[15]; 5056d84be18SBarry Smith x = rtmp + 16*pj[j]; 5066d84be18SBarry Smith x[0] -= m1*x1 + m5*x2 + m9*x3 + m13*x4; 5076d84be18SBarry Smith x[1] -= m2*x1 + m6*x2 + m10*x3 + m14*x4; 5086d84be18SBarry Smith x[2] -= m3*x1 + m7*x2 + m11*x3 + m15*x4; 5096d84be18SBarry Smith x[3] -= m4*x1 + m8*x2 + m12*x3 + m16*x4; 5106d84be18SBarry Smith 5116d84be18SBarry Smith x[4] -= m1*x5 + m5*x6 + m9*x7 + m13*x8; 5126d84be18SBarry Smith x[5] -= m2*x5 + m6*x6 + m10*x7 + m14*x8; 5136d84be18SBarry Smith x[6] -= m3*x5 + m7*x6 + m11*x7 + m15*x8; 5146d84be18SBarry Smith x[7] -= m4*x5 + m8*x6 + m12*x7 + m16*x8; 5156d84be18SBarry Smith 5166d84be18SBarry Smith x[8] -= m1*x9 + m5*x10 + m9*x11 + m13*x12; 5176d84be18SBarry Smith x[9] -= m2*x9 + m6*x10 + m10*x11 + m14*x12; 5186d84be18SBarry Smith x[10] -= m3*x9 + m7*x10 + m11*x11 + m15*x12; 5196d84be18SBarry Smith x[11] -= m4*x9 + m8*x10 + m12*x11 + m16*x12; 5206d84be18SBarry Smith 5216d84be18SBarry Smith x[12] -= m1*x13 + m5*x14 + m9*x15 + m13*x16; 5226d84be18SBarry Smith x[13] -= m2*x13 + m6*x14 + m10*x15 + m14*x16; 5236d84be18SBarry Smith x[14] -= m3*x13 + m7*x14 + m11*x15 + m15*x16; 5246d84be18SBarry Smith x[15] -= m4*x13 + m8*x14 + m12*x15 + m16*x16; 5256d84be18SBarry Smith 5266d84be18SBarry Smith pv += 16; 5276d84be18SBarry Smith } 5286d84be18SBarry Smith PLogFlops(128*nz+112); 5296d84be18SBarry Smith } 5306d84be18SBarry Smith row = *ajtmp++; 5316d84be18SBarry Smith } 5326d84be18SBarry Smith /* finished row so stick it into b->a */ 5334078e994SBarry Smith pv = ba + 16*bi[i]; 5344078e994SBarry Smith pj = bj + bi[i]; 5354078e994SBarry Smith nz = bi[i+1] - bi[i]; 5366d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 5376d84be18SBarry Smith x = rtmp+16*pj[j]; 5386d84be18SBarry Smith pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3]; 5396d84be18SBarry Smith pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8]; 5406d84be18SBarry Smith pv[9] = x[9]; pv[10] = x[10]; pv[11] = x[11]; pv[12] = x[12]; 5416d84be18SBarry Smith pv[13] = x[13]; pv[14] = x[14]; pv[15] = x[15]; 5426d84be18SBarry Smith pv += 16; 5436d84be18SBarry Smith } 5446d84be18SBarry Smith /* invert diagonal block */ 5454078e994SBarry Smith w = ba + 16*diag_offset[i]; 5464078e994SBarry Smith Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work); 5476d84be18SBarry Smith } 5486d84be18SBarry Smith 5496d84be18SBarry Smith PetscFree(rtmp); 5506d84be18SBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 5516d84be18SBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 5526d84be18SBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 5536d84be18SBarry Smith C->factor = FACTOR_LU; 5546d84be18SBarry Smith C->assembled = PETSC_TRUE; 5556d84be18SBarry Smith PLogFlops(1.3333*64*b->mbs); /* from inverting diagonal blocks */ 5566d84be18SBarry Smith return 0; 5576d84be18SBarry Smith } 5586d84be18SBarry Smith /* ------------------------------------------------------------*/ 5596d84be18SBarry Smith /* 5606d84be18SBarry Smith Version for when blocks are 3 by 3 5616d84be18SBarry Smith */ 562*5615d1e5SSatish Balay #undef __FUNC__ 563*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactorNumeric_SeqBAIJ_3" 5646d84be18SBarry Smith int MatLUFactorNumeric_SeqBAIJ_3(Mat A,Mat *B) 5656d84be18SBarry Smith { 5666d84be18SBarry Smith Mat C = *B; 5676d84be18SBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data; 5686d84be18SBarry Smith IS iscol = b->col, isrow = b->row, isicol; 5694078e994SBarry Smith int *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j; 570a3c32e02SBarry Smith int *ajtmpold, *ajtmp, nz, row, *ai=a->i,*aj=a->j; 571a3c32e02SBarry Smith int *diag_offset = b->diag,idx; 5726d84be18SBarry Smith register Scalar *pv,*v,*rtmp,*pc,*w,*x; 573a3c32e02SBarry Smith Scalar p1,p2,p3,p4,m1,m2,m3,m4,m5,m6,m7,m8,m9,x1,x2,x3,x4; 5746d84be18SBarry Smith Scalar p5,p6,p7,p8,p9,x5,x6,x7,x8,x9; 5754078e994SBarry Smith Scalar *ba = b->a,*aa = a->a; 5766d84be18SBarry Smith register int *pj; 5776d84be18SBarry Smith 5786d84be18SBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 5796d84be18SBarry Smith PLogObjectParent(*B,isicol); 5806d84be18SBarry Smith ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 5816d84be18SBarry Smith ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 5826d84be18SBarry Smith rtmp = (Scalar *) PetscMalloc(9*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 5836d84be18SBarry Smith 5846d84be18SBarry Smith for ( i=0; i<n; i++ ) { 5854078e994SBarry Smith nz = bi[i+1] - bi[i]; 5864078e994SBarry Smith ajtmp = bj + bi[i]; 5876d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 5886d84be18SBarry Smith x = rtmp + 9*ajtmp[j]; 5896d84be18SBarry Smith x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0; 5906d84be18SBarry Smith } 5916d84be18SBarry Smith /* load in initial (unfactored row) */ 5926d84be18SBarry Smith idx = r[i]; 5934078e994SBarry Smith nz = ai[idx+1] - ai[idx]; 5944078e994SBarry Smith ajtmpold = aj + ai[idx]; 5954078e994SBarry Smith v = aa + 9*ai[idx]; 5966d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 5976d84be18SBarry Smith x = rtmp + 9*ic[ajtmpold[j]]; 5986d84be18SBarry Smith x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3]; 5996d84be18SBarry Smith x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8]; 6006d84be18SBarry Smith v += 9; 6016d84be18SBarry Smith } 6026d84be18SBarry Smith row = *ajtmp++; 6036d84be18SBarry Smith while (row < i) { 6046d84be18SBarry Smith pc = rtmp + 9*row; 6056d84be18SBarry Smith p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3]; 6066d84be18SBarry Smith p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8]; 6076d84be18SBarry Smith if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 || 6086d84be18SBarry Smith p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0) { 6094078e994SBarry Smith pv = ba + 9*diag_offset[row]; 6104078e994SBarry Smith pj = bj + diag_offset[row] + 1; 6116d84be18SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 6126d84be18SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 6136d84be18SBarry Smith pc[0] = m1 = p1*x1 + p4*x2 + p7*x3; 6146d84be18SBarry Smith pc[1] = m2 = p2*x1 + p5*x2 + p8*x3; 6156d84be18SBarry Smith pc[2] = m3 = p3*x1 + p6*x2 + p9*x3; 6166d84be18SBarry Smith 6176d84be18SBarry Smith pc[3] = m4 = p1*x4 + p4*x5 + p7*x6; 6186d84be18SBarry Smith pc[4] = m5 = p2*x4 + p5*x5 + p8*x6; 6196d84be18SBarry Smith pc[5] = m6 = p3*x4 + p6*x5 + p9*x6; 6206d84be18SBarry Smith 6216d84be18SBarry Smith pc[6] = m7 = p1*x7 + p4*x8 + p7*x9; 6226d84be18SBarry Smith pc[7] = m8 = p2*x7 + p5*x8 + p8*x9; 6236d84be18SBarry Smith pc[8] = m9 = p3*x7 + p6*x8 + p9*x9; 6244078e994SBarry Smith nz = bi[row+1] - diag_offset[row] - 1; 6256d84be18SBarry Smith pv += 9; 6266d84be18SBarry Smith for (j=0; j<nz; j++) { 6276d84be18SBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 6286d84be18SBarry Smith x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8]; 6296d84be18SBarry Smith x = rtmp + 9*pj[j]; 6306d84be18SBarry Smith x[0] -= m1*x1 + m4*x2 + m7*x3; 6316d84be18SBarry Smith x[1] -= m2*x1 + m5*x2 + m8*x3; 6326d84be18SBarry Smith x[2] -= m3*x1 + m6*x2 + m9*x3; 6336d84be18SBarry Smith 6346d84be18SBarry Smith x[3] -= m1*x4 + m4*x5 + m7*x6; 6356d84be18SBarry Smith x[4] -= m2*x4 + m5*x5 + m8*x6; 6366d84be18SBarry Smith x[5] -= m3*x4 + m6*x5 + m9*x6; 6376d84be18SBarry Smith 6386d84be18SBarry Smith x[6] -= m1*x7 + m4*x8 + m7*x9; 6396d84be18SBarry Smith x[7] -= m2*x7 + m5*x8 + m8*x9; 6406d84be18SBarry Smith x[8] -= m3*x7 + m6*x8 + m9*x9; 6416d84be18SBarry Smith pv += 9; 6426d84be18SBarry Smith } 6436d84be18SBarry Smith PLogFlops(54*nz+36); 6446d84be18SBarry Smith } 6456d84be18SBarry Smith row = *ajtmp++; 6466d84be18SBarry Smith } 6476d84be18SBarry Smith /* finished row so stick it into b->a */ 6484078e994SBarry Smith pv = ba + 9*bi[i]; 6494078e994SBarry Smith pj = bj + bi[i]; 6504078e994SBarry Smith nz = bi[i+1] - bi[i]; 6516d84be18SBarry Smith for ( j=0; j<nz; j++ ) { 6526d84be18SBarry Smith x = rtmp + 9*pj[j]; 6536d84be18SBarry Smith pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3]; 6546d84be18SBarry Smith pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8]; 6556d84be18SBarry Smith pv += 9; 6566d84be18SBarry Smith } 6576d84be18SBarry Smith /* invert diagonal block */ 6584078e994SBarry Smith w = ba + 9*diag_offset[i]; 6594078e994SBarry Smith ierr = Kernel_A_gets_inverse_A_3(w); CHKERRQ(ierr); 6606d84be18SBarry Smith } 6616d84be18SBarry Smith 6626d84be18SBarry Smith PetscFree(rtmp); 6636d84be18SBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 6646d84be18SBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 6656d84be18SBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 6666d84be18SBarry Smith C->factor = FACTOR_LU; 6676d84be18SBarry Smith C->assembled = PETSC_TRUE; 6686d84be18SBarry Smith PLogFlops(1.3333*27*b->mbs); /* from inverting diagonal blocks */ 6696d84be18SBarry Smith return 0; 6706d84be18SBarry Smith } 6716d84be18SBarry Smith 6726d84be18SBarry Smith /* ------------------------------------------------------------*/ 6736d84be18SBarry Smith /* 6744eeb42bcSBarry Smith Version for when blocks are 2 by 2 6754eeb42bcSBarry Smith */ 676*5615d1e5SSatish Balay #undef __FUNC__ 677*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactorNumeric_SeqBAIJ_2" 6784eeb42bcSBarry Smith int MatLUFactorNumeric_SeqBAIJ_2(Mat A,Mat *B) 6794eeb42bcSBarry Smith { 6804eeb42bcSBarry Smith Mat C = *B; 6814eeb42bcSBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data; 6824eeb42bcSBarry Smith IS iscol = b->col, isrow = b->row, isicol; 6834078e994SBarry Smith int *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j; 6846d84be18SBarry Smith int *ajtmpold, *ajtmp, nz, row, v_pivots[2]; 6854078e994SBarry Smith int *diag_offset=b->diag,bs = 2,idx,*ai=a->i,*aj=a->j; 6866d84be18SBarry Smith register Scalar *pv,*v,*rtmp,m1,m2,m3,m4,*pc,*w,*x,x1,x2,x3,x4; 6876d84be18SBarry Smith Scalar p1,p2,p3,p4,v_work[2]; 6884078e994SBarry Smith Scalar *ba = b->a,*aa = a->a; 6894eeb42bcSBarry Smith register int *pj; 6904eeb42bcSBarry Smith 6914eeb42bcSBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 6924eeb42bcSBarry Smith PLogObjectParent(*B,isicol); 6934eeb42bcSBarry Smith ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 6944eeb42bcSBarry Smith ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 6954eeb42bcSBarry Smith rtmp = (Scalar *) PetscMalloc(4*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 6964eeb42bcSBarry Smith 6974eeb42bcSBarry Smith for ( i=0; i<n; i++ ) { 6984078e994SBarry Smith nz = bi[i+1] - bi[i]; 6994078e994SBarry Smith ajtmp = bj + bi[i]; 7004eeb42bcSBarry Smith for ( j=0; j<nz; j++ ) { 7014eeb42bcSBarry Smith x = rtmp+4*ajtmp[j]; x[0] = x[1] = x[2] = x[3] = 0.0; 7024eeb42bcSBarry Smith } 7034eeb42bcSBarry Smith /* load in initial (unfactored row) */ 7044eeb42bcSBarry Smith idx = r[i]; 7054078e994SBarry Smith nz = ai[idx+1] - ai[idx]; 7064078e994SBarry Smith ajtmpold = aj + ai[idx]; 7074078e994SBarry Smith v = aa + 4*ai[idx]; 7084eeb42bcSBarry Smith for ( j=0; j<nz; j++ ) { 7094eeb42bcSBarry Smith x = rtmp+4*ic[ajtmpold[j]]; 7104eeb42bcSBarry Smith x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3]; 7114eeb42bcSBarry Smith v += 4; 7124eeb42bcSBarry Smith } 7134eeb42bcSBarry Smith row = *ajtmp++; 7144eeb42bcSBarry Smith while (row < i) { 7154eeb42bcSBarry Smith pc = rtmp + 4*row; 7164eeb42bcSBarry Smith p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3]; 71788685aaeSLois Curfman McInnes if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0) { 7184078e994SBarry Smith pv = ba + 4*diag_offset[row]; 7194078e994SBarry Smith pj = bj + diag_offset[row] + 1; 7204eeb42bcSBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 7214eeb42bcSBarry Smith pc[0] = m1 = p1*x1 + p3*x2; 7224eeb42bcSBarry Smith pc[1] = m2 = p2*x1 + p4*x2; 7234eeb42bcSBarry Smith pc[2] = m3 = p1*x3 + p3*x4; 7244eeb42bcSBarry Smith pc[3] = m4 = p2*x3 + p4*x4; 7254078e994SBarry Smith nz = bi[row+1] - diag_offset[row] - 1; 7264eeb42bcSBarry Smith pv += 4; 7274eeb42bcSBarry Smith for (j=0; j<nz; j++) { 7284eeb42bcSBarry Smith x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 7294eeb42bcSBarry Smith x = rtmp + 4*pj[j]; 7304eeb42bcSBarry Smith x[0] -= m1*x1 + m3*x2; 7314eeb42bcSBarry Smith x[1] -= m2*x1 + m4*x2; 7324eeb42bcSBarry Smith x[2] -= m1*x3 + m3*x4; 7334eeb42bcSBarry Smith x[3] -= m2*x3 + m4*x4; 7344eeb42bcSBarry Smith pv += 4; 7354eeb42bcSBarry Smith } 7364eeb42bcSBarry Smith PLogFlops(16*nz+12); 7374eeb42bcSBarry Smith } 7384eeb42bcSBarry Smith row = *ajtmp++; 7394eeb42bcSBarry Smith } 7404eeb42bcSBarry Smith /* finished row so stick it into b->a */ 7414078e994SBarry Smith pv = ba + 4*bi[i]; 7424078e994SBarry Smith pj = bj + bi[i]; 7434078e994SBarry Smith nz = bi[i+1] - bi[i]; 7444eeb42bcSBarry Smith for ( j=0; j<nz; j++ ) { 7454eeb42bcSBarry Smith x = rtmp+4*pj[j]; 7464eeb42bcSBarry Smith pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3]; 7474eeb42bcSBarry Smith pv += 4; 7484eeb42bcSBarry Smith } 7494eeb42bcSBarry Smith /* invert diagonal block */ 7504078e994SBarry Smith w = ba + 4*diag_offset[i]; 7514078e994SBarry Smith Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work); 7524eeb42bcSBarry Smith } 7534eeb42bcSBarry Smith 7546d84be18SBarry Smith PetscFree(rtmp); 7554eeb42bcSBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 7564eeb42bcSBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 7574eeb42bcSBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 7584eeb42bcSBarry Smith C->factor = FACTOR_LU; 7594eeb42bcSBarry Smith C->assembled = PETSC_TRUE; 7604eeb42bcSBarry Smith PLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */ 7614eeb42bcSBarry Smith return 0; 7624eeb42bcSBarry Smith } 7637fc0212eSBarry Smith 7647fc0212eSBarry Smith /* ----------------------------------------------------------- */ 7657fc0212eSBarry Smith /* 7667fc0212eSBarry Smith Version for when blocks are 1 by 1. 7677fc0212eSBarry Smith */ 768*5615d1e5SSatish Balay #undef __FUNC__ 769*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactorNumeric_SeqBAIJ_1" 7707fc0212eSBarry Smith int MatLUFactorNumeric_SeqBAIJ_1(Mat A,Mat *B) 7717fc0212eSBarry Smith { 7727fc0212eSBarry Smith Mat C = *B; 7737fc0212eSBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b = (Mat_SeqBAIJ *)C->data; 7747fc0212eSBarry Smith IS iscol = b->col, isrow = b->row, isicol; 7754078e994SBarry Smith int *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j; 7764078e994SBarry Smith int *ajtmpold, *ajtmp, nz, row,*ai = a->i,*aj = a->j; 7777fc0212eSBarry Smith int *diag_offset = b->diag,diag; 7787fc0212eSBarry Smith register Scalar *pv,*v,*rtmp,multiplier,*pc; 7794078e994SBarry Smith Scalar *ba = b->a,*aa = a->a; 7807fc0212eSBarry Smith register int *pj; 7817fc0212eSBarry Smith 7827fc0212eSBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 7837fc0212eSBarry Smith PLogObjectParent(*B,isicol); 7847fc0212eSBarry Smith ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 7857fc0212eSBarry Smith ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 7867fc0212eSBarry Smith rtmp = (Scalar *) PetscMalloc((n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 7877fc0212eSBarry Smith 7887fc0212eSBarry Smith for ( i=0; i<n; i++ ) { 7894078e994SBarry Smith nz = bi[i+1] - bi[i]; 7904078e994SBarry Smith ajtmp = bj + bi[i]; 7917fc0212eSBarry Smith for ( j=0; j<nz; j++ ) rtmp[ajtmp[j]] = 0.0; 7927fc0212eSBarry Smith 7937fc0212eSBarry Smith /* load in initial (unfactored row) */ 7944078e994SBarry Smith nz = ai[r[i]+1] - ai[r[i]]; 7954078e994SBarry Smith ajtmpold = aj + ai[r[i]]; 7964078e994SBarry Smith v = aa + ai[r[i]]; 7977fc0212eSBarry Smith for ( j=0; j<nz; j++ ) rtmp[ic[ajtmpold[j]]] = v[j]; 7987fc0212eSBarry Smith 7997fc0212eSBarry Smith row = *ajtmp++; 8007fc0212eSBarry Smith while (row < i) { 8017fc0212eSBarry Smith pc = rtmp + row; 8027fc0212eSBarry Smith if (*pc != 0.0) { 8034078e994SBarry Smith pv = ba + diag_offset[row]; 8044078e994SBarry Smith pj = bj + diag_offset[row] + 1; 8057fc0212eSBarry Smith multiplier = *pc * *pv++; 8067fc0212eSBarry Smith *pc = multiplier; 8074078e994SBarry Smith nz = bi[row+1] - diag_offset[row] - 1; 8087fc0212eSBarry Smith for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 8094eeb42bcSBarry Smith PLogFlops(1+2*nz); 8107fc0212eSBarry Smith } 8117fc0212eSBarry Smith row = *ajtmp++; 8127fc0212eSBarry Smith } 8137fc0212eSBarry Smith /* finished row so stick it into b->a */ 8144078e994SBarry Smith pv = ba + bi[i]; 8154078e994SBarry Smith pj = bj + bi[i]; 8164078e994SBarry Smith nz = bi[i+1] - bi[i]; 8177fc0212eSBarry Smith for ( j=0; j<nz; j++ ) {pv[j] = rtmp[pj[j]];} 8184078e994SBarry Smith diag = diag_offset[i] - bi[i]; 8197fc0212eSBarry Smith /* check pivot entry for current row */ 8207fc0212eSBarry Smith if (pv[diag] == 0.0) { 821e3372554SBarry Smith SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,0,"Zero pivot"); 8227fc0212eSBarry Smith } 8237fc0212eSBarry Smith pv[diag] = 1.0/pv[diag]; 8247fc0212eSBarry Smith } 8257fc0212eSBarry Smith 8267fc0212eSBarry Smith PetscFree(rtmp); 8277fc0212eSBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 8287fc0212eSBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 8297fc0212eSBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 8307fc0212eSBarry Smith C->factor = FACTOR_LU; 8317fc0212eSBarry Smith C->assembled = PETSC_TRUE; 8327fc0212eSBarry Smith PLogFlops(b->n); 8337fc0212eSBarry Smith return 0; 8347fc0212eSBarry Smith } 8357fc0212eSBarry Smith 8365d517e7eSBarry Smith /* ----------------------------------------------------------- */ 837*5615d1e5SSatish Balay #undef __FUNC__ 838*5615d1e5SSatish Balay #define __FUNC__ "MatLUFactor_SeqBAIJ" 839ec3a8b7bSBarry Smith int MatLUFactor_SeqBAIJ(Mat A,IS row,IS col,double f) 8405d517e7eSBarry Smith { 841ec3a8b7bSBarry Smith Mat_SeqBAIJ *mat = (Mat_SeqBAIJ *) A->data; 8425d517e7eSBarry Smith int ierr; 8435d517e7eSBarry Smith Mat C; 8445d517e7eSBarry Smith 845ec3a8b7bSBarry Smith ierr = MatLUFactorSymbolic_SeqBAIJ(A,row,col,f,&C); CHKERRQ(ierr); 8467fc0212eSBarry Smith ierr = MatLUFactorNumeric(A,&C); CHKERRQ(ierr); 8475d517e7eSBarry Smith 8485d517e7eSBarry Smith /* free all the data structures from mat */ 8495d517e7eSBarry Smith PetscFree(mat->a); 8505d517e7eSBarry Smith if (!mat->singlemalloc) {PetscFree(mat->i); PetscFree(mat->j);} 8515d517e7eSBarry Smith if (mat->diag) PetscFree(mat->diag); 8525d517e7eSBarry Smith if (mat->ilen) PetscFree(mat->ilen); 8535d517e7eSBarry Smith if (mat->imax) PetscFree(mat->imax); 8545d517e7eSBarry Smith if (mat->solve_work) PetscFree(mat->solve_work); 855bb1453f0SSatish Balay if (mat->mult_work) PetscFree(mat->mult_work); 8565d517e7eSBarry Smith PetscFree(mat); 8575d517e7eSBarry Smith 8585d517e7eSBarry Smith PetscMemcpy(A,C,sizeof(struct _Mat)); 8595d517e7eSBarry Smith PetscHeaderDestroy(C); 8605d517e7eSBarry Smith return 0; 8615d517e7eSBarry Smith } 8625d517e7eSBarry Smith /* ----------------------------------------------------------- */ 863*5615d1e5SSatish Balay #undef __FUNC__ 864*5615d1e5SSatish Balay #define __FUNC__ "MatSolve_SeqBAIJ_N" 8654078e994SBarry Smith int MatSolve_SeqBAIJ_N(Mat A,Vec bb,Vec xx) 8665d517e7eSBarry Smith { 867ec3a8b7bSBarry Smith Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 8685d517e7eSBarry Smith IS iscol=a->col,isrow=a->row; 869de6a44a3SBarry Smith int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j; 8703b2fbd54SBarry Smith int nz,bs=a->bs,bs2=a->bs2,*rout,*cout; 871c16cb8f2SBarry Smith Scalar *aa=a->a,*sum; 872de6a44a3SBarry Smith register Scalar *x,*b,*lsum,*tmp,*v; 8735d517e7eSBarry Smith 874c16cb8f2SBarry Smith VecGetArray_Fast(bb,b); 875c16cb8f2SBarry Smith VecGetArray_Fast(xx,x); 8765d517e7eSBarry Smith tmp = a->solve_work; 8775d517e7eSBarry Smith 8783b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 8793b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 8804078e994SBarry Smith 8814078e994SBarry Smith /* forward solve the lower triangular */ 8824078e994SBarry Smith PetscMemcpy(tmp,b + bs*(*r++), bs*sizeof(Scalar)); 8834078e994SBarry Smith for ( i=1; i<n; i++ ) { 8844078e994SBarry Smith v = aa + bs2*ai[i]; 8854078e994SBarry Smith vi = aj + ai[i]; 8864078e994SBarry Smith nz = a->diag[i] - ai[i]; 8874078e994SBarry Smith sum = tmp + bs*i; 8884078e994SBarry Smith PetscMemcpy(sum,b+bs*(*r++),bs*sizeof(Scalar)); 8894078e994SBarry Smith while (nz--) { 890a3c32e02SBarry Smith Kernel_v_gets_v_minus_A_times_w(bs,sum,v,tmp+bs*(*vi++)); 8914078e994SBarry Smith v += bs2; 892ddb00973SSatish Balay } 8934078e994SBarry Smith } 8944078e994SBarry Smith /* backward solve the upper triangular */ 8954078e994SBarry Smith lsum = a->solve_work + a->n; 8964078e994SBarry Smith for ( i=n-1; i>=0; i-- ){ 8974078e994SBarry Smith v = aa + bs2*(a->diag[i] + 1); 8984078e994SBarry Smith vi = aj + a->diag[i] + 1; 8994078e994SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 9004078e994SBarry Smith PetscMemcpy(lsum,tmp+i*bs,bs*sizeof(Scalar)); 9014078e994SBarry Smith while (nz--) { 902a3c32e02SBarry Smith Kernel_v_gets_v_minus_A_times_w(bs,lsum,v,tmp+bs*(*vi++)); 9034078e994SBarry Smith v += bs2; 9044078e994SBarry Smith } 905a3c32e02SBarry Smith Kernel_w_gets_A_times_v(bs,lsum,aa+bs2*a->diag[i],tmp+i*bs); 9064078e994SBarry Smith PetscMemcpy(x + bs*(*c--),tmp+i*bs,bs*sizeof(Scalar)); 9074078e994SBarry Smith } 9084078e994SBarry Smith 9093b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 9103b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 911c16cb8f2SBarry Smith VecRestoreArray_Fast(bb,b); 912c16cb8f2SBarry Smith VecRestoreArray_Fast(xx,x); 9134078e994SBarry Smith PLogFlops(2*(a->bs2)*(a->nz) - a->n); 9144078e994SBarry Smith return 0; 9154078e994SBarry Smith } 9164078e994SBarry Smith 917*5615d1e5SSatish Balay #undef __FUNC__ 918*5615d1e5SSatish Balay #define __FUNC__ "MatSolve_SeqBAIJ_5" 9194078e994SBarry Smith int MatSolve_SeqBAIJ_5(Mat A,Vec bb,Vec xx) 9204078e994SBarry Smith { 9214078e994SBarry Smith Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 9224078e994SBarry Smith IS iscol=a->col,isrow=a->row; 9233b2fbd54SBarry Smith int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 924c16cb8f2SBarry Smith Scalar *aa=a->a,sum1,sum2,sum3,sum4,sum5,x1,x2,x3,x4,x5; 9254078e994SBarry Smith register Scalar *x,*b,*tmp,*v; 9264078e994SBarry Smith 927c16cb8f2SBarry Smith VecGetArray_Fast(bb,b); 928c16cb8f2SBarry Smith VecGetArray_Fast(xx,x); 9294078e994SBarry Smith tmp = a->solve_work; 930ddb00973SSatish Balay 9313b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 9323b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 9335d517e7eSBarry Smith 934de6a44a3SBarry Smith /* forward solve the lower triangular */ 935de6a44a3SBarry Smith idx = 5*(*r++); 936de6a44a3SBarry Smith tmp[0] = b[idx]; tmp[1] = b[1+idx]; 937de6a44a3SBarry Smith tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; tmp[4] = b[4+idx]; 938de6a44a3SBarry Smith for ( i=1; i<n; i++ ) { 939de6a44a3SBarry Smith v = aa + 25*ai[i]; 940de6a44a3SBarry Smith vi = aj + ai[i]; 941de6a44a3SBarry Smith nz = a->diag[i] - ai[i]; 942de6a44a3SBarry Smith idx = 5*(*r++); 943de6a44a3SBarry Smith sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 944de6a44a3SBarry Smith sum5 = b[4+idx]; 945de6a44a3SBarry Smith while (nz--) { 946de6a44a3SBarry Smith idx = 5*(*vi++); 947de6a44a3SBarry Smith x1 = tmp[idx]; x2 = tmp[1+idx];x3 = tmp[2+idx]; 948de6a44a3SBarry Smith x4 = tmp[3+idx];x5 = tmp[4+idx]; 949de6a44a3SBarry Smith sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5; 950de6a44a3SBarry Smith sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5; 951de6a44a3SBarry Smith sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5; 952de6a44a3SBarry Smith sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5; 953de6a44a3SBarry Smith sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5; 954de6a44a3SBarry Smith v += 25; 955de6a44a3SBarry Smith } 956de6a44a3SBarry Smith idx = 5*i; 957de6a44a3SBarry Smith tmp[idx] = sum1;tmp[1+idx] = sum2; 958de6a44a3SBarry Smith tmp[2+idx] = sum3;tmp[3+idx] = sum4; tmp[4+idx] = sum5; 959de6a44a3SBarry Smith } 960de6a44a3SBarry Smith /* backward solve the upper triangular */ 961de6a44a3SBarry Smith for ( i=n-1; i>=0; i-- ){ 962de6a44a3SBarry Smith v = aa + 25*a->diag[i] + 25; 963de6a44a3SBarry Smith vi = aj + a->diag[i] + 1; 964de6a44a3SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 965de6a44a3SBarry Smith idt = 5*i; 966de6a44a3SBarry Smith sum1 = tmp[idt]; sum2 = tmp[1+idt]; 967de6a44a3SBarry Smith sum3 = tmp[2+idt];sum4 = tmp[3+idt]; sum5 = tmp[4+idt]; 968de6a44a3SBarry Smith while (nz--) { 969de6a44a3SBarry Smith idx = 5*(*vi++); 970de6a44a3SBarry Smith x1 = tmp[idx]; x2 = tmp[1+idx]; 971de6a44a3SBarry Smith x3 = tmp[2+idx]; x4 = tmp[3+idx]; x5 = tmp[4+idx]; 972de6a44a3SBarry Smith sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5; 973de6a44a3SBarry Smith sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5; 974de6a44a3SBarry Smith sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5; 975de6a44a3SBarry Smith sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5; 976de6a44a3SBarry Smith sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5; 977de6a44a3SBarry Smith v += 25; 978de6a44a3SBarry Smith } 979de6a44a3SBarry Smith idc = 5*(*c--); 980de6a44a3SBarry Smith v = aa + 25*a->diag[i]; 9814078e994SBarry Smith x[idc] = tmp[idt] = v[0]*sum1+v[5]*sum2+v[10]*sum3+ 982de6a44a3SBarry Smith v[15]*sum4+v[20]*sum5; 9834078e994SBarry Smith x[1+idc] = tmp[1+idt] = v[1]*sum1+v[6]*sum2+v[11]*sum3+ 984de6a44a3SBarry Smith v[16]*sum4+v[21]*sum5; 9854078e994SBarry Smith x[2+idc] = tmp[2+idt] = v[2]*sum1+v[7]*sum2+v[12]*sum3+ 986de6a44a3SBarry Smith v[17]*sum4+v[22]*sum5; 9874078e994SBarry Smith x[3+idc] = tmp[3+idt] = v[3]*sum1+v[8]*sum2+v[13]*sum3+ 988de6a44a3SBarry Smith v[18]*sum4+v[23]*sum5; 9894078e994SBarry Smith x[4+idc] = tmp[4+idt] = v[4]*sum1+v[9]*sum2+v[14]*sum3+ 990de6a44a3SBarry Smith v[19]*sum4+v[24]*sum5; 991de6a44a3SBarry Smith } 9925d517e7eSBarry Smith 9933b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 9943b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 995c16cb8f2SBarry Smith VecRestoreArray_Fast(bb,b); 996c16cb8f2SBarry Smith VecRestoreArray_Fast(xx,x); 9974078e994SBarry Smith PLogFlops(2*25*(a->nz) - a->n); 998ddb00973SSatish Balay return 0; 999ddb00973SSatish Balay } 1000ddb00973SSatish Balay 1001*5615d1e5SSatish Balay #undef __FUNC__ 1002*5615d1e5SSatish Balay #define __FUNC__ "MatSolve_SeqBAIJ_4" 10034078e994SBarry Smith int MatSolve_SeqBAIJ_4(Mat A,Vec bb,Vec xx) 10040daa4459SSatish Balay { 10050daa4459SSatish Balay Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 10060daa4459SSatish Balay IS iscol=a->col,isrow=a->row; 10073b2fbd54SBarry Smith int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 1008c16cb8f2SBarry Smith Scalar *aa=a->a,sum1,sum2,sum3,sum4,x1,x2,x3,x4; 10094078e994SBarry Smith register Scalar *x,*b,*tmp,*v; 10100daa4459SSatish Balay 1011c16cb8f2SBarry Smith VecGetArray_Fast(bb,b); 1012c16cb8f2SBarry Smith VecGetArray_Fast(xx,x); 10130daa4459SSatish Balay tmp = a->solve_work; 10140daa4459SSatish Balay 10153b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 10163b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 10170daa4459SSatish Balay 10180daa4459SSatish Balay /* forward solve the lower triangular */ 10190daa4459SSatish Balay idx = 4*(*r++); 10200daa4459SSatish Balay tmp[0] = b[idx]; tmp[1] = b[1+idx]; 10210daa4459SSatish Balay tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; 10220daa4459SSatish Balay for ( i=1; i<n; i++ ) { 10230daa4459SSatish Balay v = aa + 16*ai[i]; 10240daa4459SSatish Balay vi = aj + ai[i]; 10250daa4459SSatish Balay nz = a->diag[i] - ai[i]; 10260daa4459SSatish Balay idx = 4*(*r++); 10270daa4459SSatish Balay sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 10280daa4459SSatish Balay while (nz--) { 10290daa4459SSatish Balay idx = 4*(*vi++); 10300daa4459SSatish Balay x1 = tmp[idx];x2 = tmp[1+idx];x3 = tmp[2+idx];x4 = tmp[3+idx]; 10310daa4459SSatish Balay sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 10320daa4459SSatish Balay sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 10330daa4459SSatish Balay sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 10340daa4459SSatish Balay sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 10350daa4459SSatish Balay v += 16; 10360daa4459SSatish Balay } 10370daa4459SSatish Balay idx = 4*i; 10380daa4459SSatish Balay tmp[idx] = sum1;tmp[1+idx] = sum2; 10390daa4459SSatish Balay tmp[2+idx] = sum3;tmp[3+idx] = sum4; 10400daa4459SSatish Balay } 10410daa4459SSatish Balay /* backward solve the upper triangular */ 10420daa4459SSatish Balay for ( i=n-1; i>=0; i-- ){ 10430daa4459SSatish Balay v = aa + 16*a->diag[i] + 16; 10440daa4459SSatish Balay vi = aj + a->diag[i] + 1; 10450daa4459SSatish Balay nz = ai[i+1] - a->diag[i] - 1; 10460daa4459SSatish Balay idt = 4*i; 10470daa4459SSatish Balay sum1 = tmp[idt]; sum2 = tmp[1+idt]; 10480daa4459SSatish Balay sum3 = tmp[2+idt];sum4 = tmp[3+idt]; 10490daa4459SSatish Balay while (nz--) { 10500daa4459SSatish Balay idx = 4*(*vi++); 10510daa4459SSatish Balay x1 = tmp[idx]; x2 = tmp[1+idx]; 10520daa4459SSatish Balay x3 = tmp[2+idx]; x4 = tmp[3+idx]; 10530daa4459SSatish Balay sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 10540daa4459SSatish Balay sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 10550daa4459SSatish Balay sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 10560daa4459SSatish Balay sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 10570daa4459SSatish Balay v += 16; 10580daa4459SSatish Balay } 10590daa4459SSatish Balay idc = 4*(*c--); 10600daa4459SSatish Balay v = aa + 16*a->diag[i]; 10614078e994SBarry Smith x[idc] = tmp[idt] = v[0]*sum1+v[4]*sum2+v[8]*sum3+v[12]*sum4; 10624078e994SBarry Smith x[1+idc] = tmp[1+idt] = v[1]*sum1+v[5]*sum2+v[9]*sum3+v[13]*sum4; 10634078e994SBarry Smith x[2+idc] = tmp[2+idt] = v[2]*sum1+v[6]*sum2+v[10]*sum3+v[14]*sum4; 10644078e994SBarry Smith x[3+idc] = tmp[3+idt] = v[3]*sum1+v[7]*sum2+v[11]*sum3+v[15]*sum4; 10650daa4459SSatish Balay } 10660daa4459SSatish Balay 10673b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 10683b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 1069c16cb8f2SBarry Smith VecRestoreArray_Fast(bb,b); 1070c16cb8f2SBarry Smith VecRestoreArray_Fast(xx,x); 10714078e994SBarry Smith PLogFlops(2*16*(a->nz) - a->n); 10720daa4459SSatish Balay return 0; 10730daa4459SSatish Balay } 10740daa4459SSatish Balay 10750daa4459SSatish Balay 1076*5615d1e5SSatish Balay #undef __FUNC__ 1077*5615d1e5SSatish Balay #define __FUNC__ "MatSolve_SeqBAIJ_3" 10784078e994SBarry Smith int MatSolve_SeqBAIJ_3(Mat A,Vec bb,Vec xx) 10790daa4459SSatish Balay { 10800daa4459SSatish Balay Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 10814078e994SBarry Smith IS iscol=a->col,isrow=a->row; 10823b2fbd54SBarry Smith int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 1083c16cb8f2SBarry Smith Scalar *aa=a->a,sum1,sum2,sum3,x1,x2,x3; 10844078e994SBarry Smith register Scalar *x,*b,*tmp,*v; 10850daa4459SSatish Balay 1086c16cb8f2SBarry Smith VecGetArray_Fast(bb,b); 1087c16cb8f2SBarry Smith VecGetArray_Fast(xx,x); 10884078e994SBarry Smith tmp = a->solve_work; 10894078e994SBarry Smith 10903b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 10913b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 10924078e994SBarry Smith 10934078e994SBarry Smith /* forward solve the lower triangular */ 10944078e994SBarry Smith idx = 3*(*r++); 10954078e994SBarry Smith tmp[0] = b[idx]; tmp[1] = b[1+idx]; tmp[2] = b[2+idx]; 10964078e994SBarry Smith for ( i=1; i<n; i++ ) { 10974078e994SBarry Smith v = aa + 9*ai[i]; 10984078e994SBarry Smith vi = aj + ai[i]; 10994078e994SBarry Smith nz = a->diag[i] - ai[i]; 11004078e994SBarry Smith idx = 3*(*r++); 11014078e994SBarry Smith sum1 = b[idx]; sum2 = b[1+idx]; sum3 = b[2+idx]; 11024078e994SBarry Smith while (nz--) { 11034078e994SBarry Smith idx = 3*(*vi++); 11044078e994SBarry Smith x1 = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx]; 11054078e994SBarry Smith sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3; 11064078e994SBarry Smith sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3; 11074078e994SBarry Smith sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3; 11084078e994SBarry Smith v += 9; 11094078e994SBarry Smith } 11104078e994SBarry Smith idx = 3*i; 11114078e994SBarry Smith tmp[idx] = sum1; tmp[1+idx] = sum2; tmp[2+idx] = sum3; 11124078e994SBarry Smith } 11134078e994SBarry Smith /* backward solve the upper triangular */ 11144078e994SBarry Smith for ( i=n-1; i>=0; i-- ){ 11154078e994SBarry Smith v = aa + 9*a->diag[i] + 9; 11164078e994SBarry Smith vi = aj + a->diag[i] + 1; 11174078e994SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 11184078e994SBarry Smith idt = 3*i; 11194078e994SBarry Smith sum1 = tmp[idt]; sum2 = tmp[1+idt]; sum3 = tmp[2+idt]; 11204078e994SBarry Smith while (nz--) { 11214078e994SBarry Smith idx = 3*(*vi++); 11224078e994SBarry Smith x1 = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx]; 11234078e994SBarry Smith sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3; 11244078e994SBarry Smith sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3; 11254078e994SBarry Smith sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3; 11264078e994SBarry Smith v += 9; 11274078e994SBarry Smith } 11284078e994SBarry Smith idc = 3*(*c--); 11294078e994SBarry Smith v = aa + 9*a->diag[i]; 11304078e994SBarry Smith x[idc] = tmp[idt] = v[0]*sum1 + v[3]*sum2 + v[6]*sum3; 11314078e994SBarry Smith x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[4]*sum2 + v[7]*sum3; 11324078e994SBarry Smith x[2+idc] = tmp[2+idt] = v[2]*sum1 + v[5]*sum2 + v[8]*sum3; 11334078e994SBarry Smith } 11343b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 11353b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 1136c16cb8f2SBarry Smith VecRestoreArray_Fast(bb,b); 1137c16cb8f2SBarry Smith VecRestoreArray_Fast(xx,x); 11384078e994SBarry Smith PLogFlops(2*9*(a->nz) - a->n); 11390daa4459SSatish Balay return 0; 11400daa4459SSatish Balay } 11410daa4459SSatish Balay 1142*5615d1e5SSatish Balay #undef __FUNC__ 1143*5615d1e5SSatish Balay #define __FUNC__ "MatSolve_SeqBAIJ_2" 11444078e994SBarry Smith int MatSolve_SeqBAIJ_2(Mat A,Vec bb,Vec xx) 11450daa4459SSatish Balay { 11460daa4459SSatish Balay Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 11474078e994SBarry Smith IS iscol=a->col,isrow=a->row; 11483b2fbd54SBarry Smith int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 1149c16cb8f2SBarry Smith Scalar *aa=a->a,sum1,sum2,x1,x2; 11504078e994SBarry Smith register Scalar *x,*b,*tmp,*v; 11510daa4459SSatish Balay 1152c16cb8f2SBarry Smith VecGetArray_Fast(bb,b); 1153c16cb8f2SBarry Smith VecGetArray_Fast(xx,x); 11544078e994SBarry Smith tmp = a->solve_work; 11554078e994SBarry Smith 11563b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 11573b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 11584078e994SBarry Smith 11594078e994SBarry Smith /* forward solve the lower triangular */ 11604078e994SBarry Smith idx = 2*(*r++); 11614078e994SBarry Smith tmp[0] = b[idx]; tmp[1] = b[1+idx]; 11624078e994SBarry Smith for ( i=1; i<n; i++ ) { 11634078e994SBarry Smith v = aa + 4*ai[i]; 11644078e994SBarry Smith vi = aj + ai[i]; 11654078e994SBarry Smith nz = a->diag[i] - ai[i]; 11664078e994SBarry Smith idx = 2*(*r++); 11674078e994SBarry Smith sum1 = b[idx]; sum2 = b[1+idx]; 11684078e994SBarry Smith while (nz--) { 11694078e994SBarry Smith idx = 2*(*vi++); 11704078e994SBarry Smith x1 = tmp[idx]; x2 = tmp[1+idx]; 11714078e994SBarry Smith sum1 -= v[0]*x1 + v[2]*x2; 11724078e994SBarry Smith sum2 -= v[1]*x1 + v[3]*x2; 11734078e994SBarry Smith v += 4; 11744078e994SBarry Smith } 11754078e994SBarry Smith idx = 2*i; 11764078e994SBarry Smith tmp[idx] = sum1; tmp[1+idx] = sum2; 11774078e994SBarry Smith } 11784078e994SBarry Smith /* backward solve the upper triangular */ 11794078e994SBarry Smith for ( i=n-1; i>=0; i-- ){ 11804078e994SBarry Smith v = aa + 4*a->diag[i] + 4; 11814078e994SBarry Smith vi = aj + a->diag[i] + 1; 11824078e994SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 11834078e994SBarry Smith idt = 2*i; 11844078e994SBarry Smith sum1 = tmp[idt]; sum2 = tmp[1+idt]; 11854078e994SBarry Smith while (nz--) { 11864078e994SBarry Smith idx = 2*(*vi++); 11874078e994SBarry Smith x1 = tmp[idx]; x2 = tmp[1+idx]; 11884078e994SBarry Smith sum1 -= v[0]*x1 + v[2]*x2; 11894078e994SBarry Smith sum2 -= v[1]*x1 + v[3]*x2; 11904078e994SBarry Smith v += 4; 11914078e994SBarry Smith } 11924078e994SBarry Smith idc = 2*(*c--); 11934078e994SBarry Smith v = aa + 4*a->diag[i]; 11944078e994SBarry Smith x[idc] = tmp[idt] = v[0]*sum1 + v[2]*sum2; 11954078e994SBarry Smith x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[3]*sum2; 11964078e994SBarry Smith } 11973b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 11983b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 1199c16cb8f2SBarry Smith VecRestoreArray_Fast(bb,b); 1200c16cb8f2SBarry Smith VecRestoreArray_Fast(xx,x); 12014078e994SBarry Smith PLogFlops(2*4*(a->nz) - a->n); 12024078e994SBarry Smith return 0; 12034078e994SBarry Smith } 12044078e994SBarry Smith 12054078e994SBarry Smith 1206*5615d1e5SSatish Balay #undef __FUNC__ 1207*5615d1e5SSatish Balay #define __FUNC__ "MatSolve_SeqBAIJ_1" 12084078e994SBarry Smith int MatSolve_SeqBAIJ_1(Mat A,Vec bb,Vec xx) 12094078e994SBarry Smith { 12104078e994SBarry Smith Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 12114078e994SBarry Smith IS iscol=a->col,isrow=a->row; 12123b2fbd54SBarry Smith int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,*rout,*cout; 1213c16cb8f2SBarry Smith Scalar *aa=a->a,sum1; 12144078e994SBarry Smith register Scalar *x,*b,*tmp,*v; 12154078e994SBarry Smith 121691bf9adeSBarry Smith if (!n) return 0; 121791bf9adeSBarry Smith 1218c16cb8f2SBarry Smith VecGetArray_Fast(bb,b); 1219c16cb8f2SBarry Smith VecGetArray_Fast(xx,x); 12204078e994SBarry Smith tmp = a->solve_work; 12214078e994SBarry Smith 12223b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 12233b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 12244078e994SBarry Smith 12254078e994SBarry Smith /* forward solve the lower triangular */ 12264078e994SBarry Smith tmp[0] = b[*r++]; 12274078e994SBarry Smith for ( i=1; i<n; i++ ) { 12284078e994SBarry Smith v = aa + ai[i]; 12294078e994SBarry Smith vi = aj + ai[i]; 12304078e994SBarry Smith nz = a->diag[i] - ai[i]; 12314078e994SBarry Smith sum1 = b[*r++]; 12324078e994SBarry Smith while (nz--) { 12334078e994SBarry Smith sum1 -= (*v++)*tmp[*vi++]; 12344078e994SBarry Smith } 12354078e994SBarry Smith tmp[i] = sum1; 12364078e994SBarry Smith } 12374078e994SBarry Smith /* backward solve the upper triangular */ 12384078e994SBarry Smith for ( i=n-1; i>=0; i-- ){ 12394078e994SBarry Smith v = aa + a->diag[i] + 1; 12404078e994SBarry Smith vi = aj + a->diag[i] + 1; 12414078e994SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 12424078e994SBarry Smith sum1 = tmp[i]; 12434078e994SBarry Smith while (nz--) { 12444078e994SBarry Smith sum1 -= (*v++)*tmp[*vi++]; 12454078e994SBarry Smith } 12464078e994SBarry Smith x[*c--] = tmp[i] = aa[a->diag[i]]*sum1; 12474078e994SBarry Smith } 12484078e994SBarry Smith 12493b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 12503b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 1251c16cb8f2SBarry Smith VecRestoreArray_Fast(bb,b); 1252c16cb8f2SBarry Smith VecRestoreArray_Fast(xx,x); 12534078e994SBarry Smith PLogFlops(2*1*(a->nz) - a->n); 12540daa4459SSatish Balay return 0; 12550daa4459SSatish Balay } 12565d517e7eSBarry Smith 12575d517e7eSBarry Smith /* ----------------------------------------------------------------*/ 1258ec3a8b7bSBarry Smith /* 1259ec3a8b7bSBarry Smith This code is virtually identical to MatILUFactorSymbolic_SeqAIJ 1260ec3a8b7bSBarry Smith except that the data structure of Mat_SeqAIJ is slightly different. 1261ec3a8b7bSBarry Smith Not a good example of code reuse. 1262ec3a8b7bSBarry Smith */ 1263*5615d1e5SSatish Balay #undef __FUNC__ 1264*5615d1e5SSatish Balay #define __FUNC__ "MatILUFactorSymbolic_SeqBAIJ" 1265ec3a8b7bSBarry Smith int MatILUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,int levels, 1266ec3a8b7bSBarry Smith Mat *fact) 12675d517e7eSBarry Smith { 1268ec3a8b7bSBarry Smith Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b; 12695d517e7eSBarry Smith IS isicol; 1270ec3a8b7bSBarry Smith int *r,*ic, ierr, prow, n = a->mbs, *ai = a->i, *aj = a->j; 12715d517e7eSBarry Smith int *ainew,*ajnew, jmax,*fill, *xi, nz, *im,*ajfill,*flev; 12725d517e7eSBarry Smith int *dloc, idx, row,m,fm, nzf, nzi,len, realloc = 0; 12739df24120SSatish Balay int incrlev,nnz,i,bs = a->bs,bs2 = a->bs2; 127477c4ece6SBarry Smith PetscTruth col_identity, row_identity; 12755d517e7eSBarry Smith 12765d517e7eSBarry Smith /* special case that simply copies fill pattern */ 1277d3cbd50cSLois Curfman McInnes PetscValidHeaderSpecific(isrow,IS_COOKIE); 1278d3cbd50cSLois Curfman McInnes PetscValidHeaderSpecific(iscol,IS_COOKIE); 127977c4ece6SBarry Smith ISIdentity(isrow,&row_identity); ISIdentity(iscol,&col_identity); 128077c4ece6SBarry Smith if (levels == 0 && row_identity && col_identity) { 1281ec3a8b7bSBarry Smith ierr = MatConvertSameType_SeqBAIJ(A,fact,DO_NOT_COPY_VALUES); CHKERRQ(ierr); 12825d517e7eSBarry Smith (*fact)->factor = FACTOR_LU; 1283ec3a8b7bSBarry Smith b = (Mat_SeqBAIJ *) (*fact)->data; 12845d517e7eSBarry Smith if (!b->diag) { 1285ec3a8b7bSBarry Smith ierr = MatMarkDiag_SeqBAIJ(*fact); CHKERRQ(ierr); 12865d517e7eSBarry Smith } 12875d517e7eSBarry Smith b->row = isrow; 12885d517e7eSBarry Smith b->col = iscol; 1289de6a44a3SBarry Smith b->solve_work = (Scalar *) PetscMalloc((b->m+1+b->bs)*sizeof(Scalar));CHKPTRQ(b->solve_work); 12905d517e7eSBarry Smith return 0; 12915d517e7eSBarry Smith } 12925d517e7eSBarry Smith 12935d517e7eSBarry Smith ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 12945d517e7eSBarry Smith ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 12955d517e7eSBarry Smith ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 12965d517e7eSBarry Smith 12975d517e7eSBarry Smith /* get new row pointers */ 12985d517e7eSBarry Smith ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 1299de6a44a3SBarry Smith ainew[0] = 0; 13005d517e7eSBarry Smith /* don't know how many column pointers are needed so estimate */ 1301de6a44a3SBarry Smith jmax = (int) (f*ai[n] + 1); 13025d517e7eSBarry Smith ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 13035d517e7eSBarry Smith /* ajfill is level of fill for each fill entry */ 13045d517e7eSBarry Smith ajfill = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajfill); 13055d517e7eSBarry Smith /* fill is a linked list of nonzeros in active row */ 13065d517e7eSBarry Smith fill = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(fill); 13075d517e7eSBarry Smith /* im is level for each filled value */ 13085d517e7eSBarry Smith im = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(im); 13095d517e7eSBarry Smith /* dloc is location of diagonal in factor */ 13105d517e7eSBarry Smith dloc = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(dloc); 13115d517e7eSBarry Smith dloc[0] = 0; 13125d517e7eSBarry Smith for ( prow=0; prow<n; prow++ ) { 13135d517e7eSBarry Smith /* first copy previous fill into linked list */ 13145d517e7eSBarry Smith nzf = nz = ai[r[prow]+1] - ai[r[prow]]; 1315de6a44a3SBarry Smith xi = aj + ai[r[prow]]; 13165d517e7eSBarry Smith fill[n] = n; 13175d517e7eSBarry Smith while (nz--) { 13185d517e7eSBarry Smith fm = n; 1319de6a44a3SBarry Smith idx = ic[*xi++]; 13205d517e7eSBarry Smith do { 13215d517e7eSBarry Smith m = fm; 13225d517e7eSBarry Smith fm = fill[m]; 13235d517e7eSBarry Smith } while (fm < idx); 13245d517e7eSBarry Smith fill[m] = idx; 13255d517e7eSBarry Smith fill[idx] = fm; 13265d517e7eSBarry Smith im[idx] = 0; 13275d517e7eSBarry Smith } 13285d517e7eSBarry Smith nzi = 0; 13295d517e7eSBarry Smith row = fill[n]; 13305d517e7eSBarry Smith while ( row < prow ) { 13315d517e7eSBarry Smith incrlev = im[row] + 1; 13325d517e7eSBarry Smith nz = dloc[row]; 1333de6a44a3SBarry Smith xi = ajnew + ainew[row] + nz; 1334de6a44a3SBarry Smith flev = ajfill + ainew[row] + nz + 1; 13355d517e7eSBarry Smith nnz = ainew[row+1] - ainew[row] - nz - 1; 1336de6a44a3SBarry Smith if (*xi++ != row) { 1337e3372554SBarry Smith SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,0,"zero pivot"); 13385d517e7eSBarry Smith } 13395d517e7eSBarry Smith fm = row; 13405d517e7eSBarry Smith while (nnz-- > 0) { 1341de6a44a3SBarry Smith idx = *xi++; 13425d517e7eSBarry Smith if (*flev + incrlev > levels) { 13435d517e7eSBarry Smith flev++; 13445d517e7eSBarry Smith continue; 13455d517e7eSBarry Smith } 13465d517e7eSBarry Smith do { 13475d517e7eSBarry Smith m = fm; 13485d517e7eSBarry Smith fm = fill[m]; 13495d517e7eSBarry Smith } while (fm < idx); 13505d517e7eSBarry Smith if (fm != idx) { 13515d517e7eSBarry Smith im[idx] = *flev + incrlev; 13525d517e7eSBarry Smith fill[m] = idx; 13535d517e7eSBarry Smith fill[idx] = fm; 13545d517e7eSBarry Smith fm = idx; 13555d517e7eSBarry Smith nzf++; 13565d517e7eSBarry Smith } 13575d517e7eSBarry Smith else { 13585d517e7eSBarry Smith if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev; 13595d517e7eSBarry Smith } 13605d517e7eSBarry Smith flev++; 13615d517e7eSBarry Smith } 13625d517e7eSBarry Smith row = fill[row]; 13635d517e7eSBarry Smith nzi++; 13645d517e7eSBarry Smith } 13655d517e7eSBarry Smith /* copy new filled row into permanent storage */ 13665d517e7eSBarry Smith ainew[prow+1] = ainew[prow] + nzf; 1367de6a44a3SBarry Smith if (ainew[prow+1] > jmax) { 13685d517e7eSBarry Smith /* allocate a longer ajnew */ 13695d517e7eSBarry Smith int maxadd; 1370de6a44a3SBarry Smith maxadd = (int) (((f*ai[n]+1)*(n-prow+5))/n); 13715d517e7eSBarry Smith if (maxadd < nzf) maxadd = (n-prow)*(nzf+1); 13725d517e7eSBarry Smith jmax += maxadd; 13735d517e7eSBarry Smith xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 1374de6a44a3SBarry Smith PetscMemcpy(xi,ajnew,ainew[prow]*sizeof(int)); 13755d517e7eSBarry Smith PetscFree(ajnew); 13765d517e7eSBarry Smith ajnew = xi; 13775d517e7eSBarry Smith /* allocate a longer ajfill */ 13785d517e7eSBarry Smith xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 1379de6a44a3SBarry Smith PetscMemcpy(xi,ajfill,ainew[prow]*sizeof(int)); 13805d517e7eSBarry Smith PetscFree(ajfill); 13815d517e7eSBarry Smith ajfill = xi; 13825d517e7eSBarry Smith realloc++; 13835d517e7eSBarry Smith } 1384de6a44a3SBarry Smith xi = ajnew + ainew[prow]; 1385de6a44a3SBarry Smith flev = ajfill + ainew[prow]; 13865d517e7eSBarry Smith dloc[prow] = nzi; 13875d517e7eSBarry Smith fm = fill[n]; 13885d517e7eSBarry Smith while (nzf--) { 1389de6a44a3SBarry Smith *xi++ = fm; 13905d517e7eSBarry Smith *flev++ = im[fm]; 13915d517e7eSBarry Smith fm = fill[fm]; 13925d517e7eSBarry Smith } 13935d517e7eSBarry Smith } 13945d517e7eSBarry Smith PetscFree(ajfill); 13955d517e7eSBarry Smith ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 13965d517e7eSBarry Smith ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 13975d517e7eSBarry Smith ierr = ISDestroy(isicol); CHKERRQ(ierr); 13985d517e7eSBarry Smith PetscFree(fill); PetscFree(im); 13995d517e7eSBarry Smith 140094a424c1SBarry Smith PLogInfo(A, 1401ec3a8b7bSBarry Smith "Info:MatILUFactorSymbolic_SeqBAIJ:Realloc %d Fill ratio:given %g needed %g\n", 14025d517e7eSBarry Smith realloc,f,((double)ainew[n])/((double)ai[prow])); 14035d517e7eSBarry Smith 14045d517e7eSBarry Smith /* put together the new matrix */ 1405ec3a8b7bSBarry Smith ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,fact);CHKERRQ(ierr); 1406ec3a8b7bSBarry Smith b = (Mat_SeqBAIJ *) (*fact)->data; 14075d517e7eSBarry Smith PetscFree(b->imax); 14085d517e7eSBarry Smith b->singlemalloc = 0; 14099df24120SSatish Balay len = bs2*ainew[n]*sizeof(Scalar); 14105d517e7eSBarry Smith /* the next line frees the default space generated by the Create() */ 14115d517e7eSBarry Smith PetscFree(b->a); PetscFree(b->ilen); 14125d517e7eSBarry Smith b->a = (Scalar *) PetscMalloc( len ); CHKPTRQ(b->a); 14135d517e7eSBarry Smith b->j = ajnew; 14145d517e7eSBarry Smith b->i = ainew; 14155d517e7eSBarry Smith for ( i=0; i<n; i++ ) dloc[i] += ainew[i]; 14165d517e7eSBarry Smith b->diag = dloc; 14175d517e7eSBarry Smith b->ilen = 0; 14185d517e7eSBarry Smith b->imax = 0; 14195d517e7eSBarry Smith b->row = isrow; 14205d517e7eSBarry Smith b->col = iscol; 1421de6a44a3SBarry Smith b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar)); 14225d517e7eSBarry Smith CHKPTRQ(b->solve_work); 14235d517e7eSBarry Smith /* In b structure: Free imax, ilen, old a, old j. 14245d517e7eSBarry Smith Allocate dloc, solve_work, new a, new j */ 14259df24120SSatish Balay PLogObjectMemory(*fact,(ainew[n]-n)*(sizeof(int))+bs2*ainew[n]*sizeof(Scalar)); 1426de6a44a3SBarry Smith b->maxnz = b->nz = ainew[n]; 14275d517e7eSBarry Smith (*fact)->factor = FACTOR_LU; 1428ae068f58SLois Curfman McInnes 1429ae068f58SLois Curfman McInnes (*fact)->info.factor_mallocs = realloc; 1430ae068f58SLois Curfman McInnes (*fact)->info.fill_ratio_given = f; 1431ae068f58SLois Curfman McInnes (*fact)->info.fill_ratio_needed = ((double)ainew[n])/((double)ai[prow]); 1432ae068f58SLois Curfman McInnes 14335d517e7eSBarry Smith return 0; 14345d517e7eSBarry Smith } 14355d517e7eSBarry Smith 14365d517e7eSBarry Smith 14375d517e7eSBarry Smith 14385d517e7eSBarry Smith 1439