Actual source code: baijsolv.c

petsc-3.11.4 2019-09-28
Report Typos and Errors
  1:  #include <../src/mat/impls/baij/seq/baij.h>
  2:  #include <petsc/private/kernels/blockinvert.h>

  4: PetscErrorCode MatSolve_SeqBAIJ_N_inplace(Mat A,Vec bb,Vec xx)
  5: {
  6:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
  7:   IS                iscol=a->col,isrow=a->row;
  8:   PetscErrorCode    ierr;
  9:   const PetscInt    *r,*c,*rout,*cout;
 10:   const PetscInt    n=a->mbs,*ai=a->i,*aj=a->j,*vi;
 11:   PetscInt          i,nz;
 12:   const PetscInt    bs =A->rmap->bs,bs2=a->bs2;
 13:   const MatScalar   *aa=a->a,*v;
 14:   PetscScalar       *x,*s,*t,*ls;
 15:   const PetscScalar *b;

 18:   VecGetArrayRead(bb,&b);
 19:   VecGetArray(xx,&x);
 20:   t    = a->solve_work;

 22:   ISGetIndices(isrow,&rout); r = rout;
 23:   ISGetIndices(iscol,&cout); c = cout + (n-1);

 25:   /* forward solve the lower triangular */
 26:   PetscMemcpy(t,b+bs*(*r++),bs*sizeof(PetscScalar));
 27:   for (i=1; i<n; i++) {
 28:     v    = aa + bs2*ai[i];
 29:     vi   = aj + ai[i];
 30:     nz   = a->diag[i] - ai[i];
 31:     s    = t + bs*i;
 32:     PetscMemcpy(s,b+bs*(*r++),bs*sizeof(PetscScalar));
 33:     while (nz--) {
 34:       PetscKernel_v_gets_v_minus_A_times_w(bs,s,v,t+bs*(*vi++));
 35:       v += bs2;
 36:     }
 37:   }
 38:   /* backward solve the upper triangular */
 39:   ls = a->solve_work + A->cmap->n;
 40:   for (i=n-1; i>=0; i--) {
 41:     v    = aa + bs2*(a->diag[i] + 1);
 42:     vi   = aj + a->diag[i] + 1;
 43:     nz   = ai[i+1] - a->diag[i] - 1;
 44:     PetscMemcpy(ls,t+i*bs,bs*sizeof(PetscScalar));
 45:     while (nz--) {
 46:       PetscKernel_v_gets_v_minus_A_times_w(bs,ls,v,t+bs*(*vi++));
 47:       v += bs2;
 48:     }
 49:     PetscKernel_w_gets_A_times_v(bs,ls,aa+bs2*a->diag[i],t+i*bs);
 50:     PetscMemcpy(x + bs*(*c--),t+i*bs,bs*sizeof(PetscScalar));
 51:   }

 53:   ISRestoreIndices(isrow,&rout);
 54:   ISRestoreIndices(iscol,&cout);
 55:   VecRestoreArrayRead(bb,&b);
 56:   VecRestoreArray(xx,&x);
 57:   PetscLogFlops(2.0*(a->bs2)*(a->nz) - A->rmap->bs*A->cmap->n);
 58:   return(0);
 59: }

 61: PetscErrorCode MatSolve_SeqBAIJ_7_inplace(Mat A,Vec bb,Vec xx)
 62: {
 63:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
 64:   IS                iscol=a->col,isrow=a->row;
 65:   PetscErrorCode    ierr;
 66:   const PetscInt    *r,*c,*ai=a->i,*aj=a->j;
 67:   const PetscInt    *rout,*cout,*diag = a->diag,*vi,n=a->mbs;
 68:   PetscInt          i,nz,idx,idt,idc;
 69:   const MatScalar   *aa=a->a,*v;
 70:   PetscScalar       s1,s2,s3,s4,s5,s6,s7,x1,x2,x3,x4,x5,x6,x7,*x,*t;
 71:   const PetscScalar *b;

 74:   VecGetArrayRead(bb,&b);
 75:   VecGetArray(xx,&x);
 76:   t    = a->solve_work;

 78:   ISGetIndices(isrow,&rout); r = rout;
 79:   ISGetIndices(iscol,&cout); c = cout + (n-1);

 81:   /* forward solve the lower triangular */
 82:   idx  = 7*(*r++);
 83:   t[0] = b[idx];   t[1] = b[1+idx];
 84:   t[2] = b[2+idx]; t[3] = b[3+idx]; t[4] = b[4+idx];
 85:   t[5] = b[5+idx]; t[6] = b[6+idx];

 87:   for (i=1; i<n; i++) {
 88:     v   = aa + 49*ai[i];
 89:     vi  = aj + ai[i];
 90:     nz  = diag[i] - ai[i];
 91:     idx = 7*(*r++);
 92:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
 93:     s5  = b[4+idx];s6 = b[5+idx];s7 = b[6+idx];
 94:     while (nz--) {
 95:       idx = 7*(*vi++);
 96:       x1  = t[idx];  x2 = t[1+idx];x3 = t[2+idx];
 97:       x4  = t[3+idx];x5 = t[4+idx];
 98:       x6  = t[5+idx];x7 = t[6+idx];
 99:       s1 -= v[0]*x1 + v[7]*x2  + v[14]*x3 + v[21]*x4 + v[28]*x5 + v[35]*x6 + v[42]*x7;
100:       s2 -= v[1]*x1 + v[8]*x2  + v[15]*x3 + v[22]*x4 + v[29]*x5 + v[36]*x6 + v[43]*x7;
101:       s3 -= v[2]*x1 + v[9]*x2  + v[16]*x3 + v[23]*x4 + v[30]*x5 + v[37]*x6 + v[44]*x7;
102:       s4 -= v[3]*x1 + v[10]*x2 + v[17]*x3 + v[24]*x4 + v[31]*x5 + v[38]*x6 + v[45]*x7;
103:       s5 -= v[4]*x1 + v[11]*x2 + v[18]*x3 + v[25]*x4 + v[32]*x5 + v[39]*x6 + v[46]*x7;
104:       s6 -= v[5]*x1 + v[12]*x2 + v[19]*x3 + v[26]*x4 + v[33]*x5 + v[40]*x6 + v[47]*x7;
105:       s7 -= v[6]*x1 + v[13]*x2 + v[20]*x3 + v[27]*x4 + v[34]*x5 + v[41]*x6 + v[48]*x7;
106:       v  += 49;
107:     }
108:     idx      = 7*i;
109:     t[idx]   = s1;t[1+idx] = s2;
110:     t[2+idx] = s3;t[3+idx] = s4; t[4+idx] = s5;
111:     t[5+idx] = s6;t[6+idx] = s7;
112:   }
113:   /* backward solve the upper triangular */
114:   for (i=n-1; i>=0; i--) {
115:     v   = aa + 49*diag[i] + 49;
116:     vi  = aj + diag[i] + 1;
117:     nz  = ai[i+1] - diag[i] - 1;
118:     idt = 7*i;
119:     s1  = t[idt];  s2 = t[1+idt];
120:     s3  = t[2+idt];s4 = t[3+idt]; s5 = t[4+idt];
121:     s6  = t[5+idt];s7 = t[6+idt];
122:     while (nz--) {
123:       idx = 7*(*vi++);
124:       x1  = t[idx];   x2 = t[1+idx];
125:       x3  = t[2+idx]; x4 = t[3+idx]; x5 = t[4+idx];
126:       x6  = t[5+idx]; x7 = t[6+idx];
127:       s1 -= v[0]*x1 + v[7]*x2  + v[14]*x3 + v[21]*x4 + v[28]*x5 + v[35]*x6 + v[42]*x7;
128:       s2 -= v[1]*x1 + v[8]*x2  + v[15]*x3 + v[22]*x4 + v[29]*x5 + v[36]*x6 + v[43]*x7;
129:       s3 -= v[2]*x1 + v[9]*x2  + v[16]*x3 + v[23]*x4 + v[30]*x5 + v[37]*x6 + v[44]*x7;
130:       s4 -= v[3]*x1 + v[10]*x2 + v[17]*x3 + v[24]*x4 + v[31]*x5 + v[38]*x6 + v[45]*x7;
131:       s5 -= v[4]*x1 + v[11]*x2 + v[18]*x3 + v[25]*x4 + v[32]*x5 + v[39]*x6 + v[46]*x7;
132:       s6 -= v[5]*x1 + v[12]*x2 + v[19]*x3 + v[26]*x4 + v[33]*x5 + v[40]*x6 + v[47]*x7;
133:       s7 -= v[6]*x1 + v[13]*x2 + v[20]*x3 + v[27]*x4 + v[34]*x5 + v[41]*x6 + v[48]*x7;
134:       v  += 49;
135:     }
136:     idc    = 7*(*c--);
137:     v      = aa + 49*diag[i];
138:     x[idc] = t[idt]   = v[0]*s1+v[7]*s2+v[14]*s3+
139:                         v[21]*s4+v[28]*s5+v[35]*s6+v[42]*s7;
140:     x[1+idc] = t[1+idt] = v[1]*s1+v[8]*s2+v[15]*s3+
141:                           v[22]*s4+v[29]*s5+v[36]*s6+v[43]*s7;
142:     x[2+idc] = t[2+idt] = v[2]*s1+v[9]*s2+v[16]*s3+
143:                           v[23]*s4+v[30]*s5+v[37]*s6+v[44]*s7;
144:     x[3+idc] = t[3+idt] = v[3]*s1+v[10]*s2+v[17]*s3+
145:                           v[24]*s4+v[31]*s5+v[38]*s6+v[45]*s7;
146:     x[4+idc] = t[4+idt] = v[4]*s1+v[11]*s2+v[18]*s3+
147:                           v[25]*s4+v[32]*s5+v[39]*s6+v[46]*s7;
148:     x[5+idc] = t[5+idt] = v[5]*s1+v[12]*s2+v[19]*s3+
149:                           v[26]*s4+v[33]*s5+v[40]*s6+v[47]*s7;
150:     x[6+idc] = t[6+idt] = v[6]*s1+v[13]*s2+v[20]*s3+
151:                           v[27]*s4+v[34]*s5+v[41]*s6+v[48]*s7;
152:   }

154:   ISRestoreIndices(isrow,&rout);
155:   ISRestoreIndices(iscol,&cout);
156:   VecRestoreArrayRead(bb,&b);
157:   VecRestoreArray(xx,&x);
158:   PetscLogFlops(2.0*49*(a->nz) - 7.0*A->cmap->n);
159:   return(0);
160: }

162: PetscErrorCode MatSolve_SeqBAIJ_7(Mat A,Vec bb,Vec xx)
163: {
164:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
165:   IS                iscol=a->col,isrow=a->row;
166:   PetscErrorCode    ierr;
167:   const PetscInt    *r,*c,*ai=a->i,*aj=a->j,*adiag=a->diag;
168:   const PetscInt    n=a->mbs,*rout,*cout,*vi;
169:   PetscInt          i,nz,idx,idt,idc,m;
170:   const MatScalar   *aa=a->a,*v;
171:   PetscScalar       s1,s2,s3,s4,s5,s6,s7,x1,x2,x3,x4,x5,x6,x7,*x,*t;
172:   const PetscScalar *b;

175:   VecGetArrayRead(bb,&b);
176:   VecGetArray(xx,&x);
177:   t    = a->solve_work;

179:   ISGetIndices(isrow,&rout); r = rout;
180:   ISGetIndices(iscol,&cout); c = cout;

182:   /* forward solve the lower triangular */
183:   idx  = 7*r[0];
184:   t[0] = b[idx];   t[1] = b[1+idx];
185:   t[2] = b[2+idx]; t[3] = b[3+idx]; t[4] = b[4+idx];
186:   t[5] = b[5+idx]; t[6] = b[6+idx];

188:   for (i=1; i<n; i++) {
189:     v   = aa + 49*ai[i];
190:     vi  = aj + ai[i];
191:     nz  = ai[i+1] - ai[i];
192:     idx = 7*r[i];
193:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
194:     s5  = b[4+idx];s6 = b[5+idx];s7 = b[6+idx];
195:     for (m=0; m<nz; m++) {
196:       idx = 7*vi[m];
197:       x1  = t[idx];  x2 = t[1+idx];x3 = t[2+idx];
198:       x4  = t[3+idx];x5 = t[4+idx];
199:       x6  = t[5+idx];x7 = t[6+idx];
200:       s1 -= v[0]*x1 + v[7]*x2  + v[14]*x3 + v[21]*x4 + v[28]*x5 + v[35]*x6 + v[42]*x7;
201:       s2 -= v[1]*x1 + v[8]*x2  + v[15]*x3 + v[22]*x4 + v[29]*x5 + v[36]*x6 + v[43]*x7;
202:       s3 -= v[2]*x1 + v[9]*x2  + v[16]*x3 + v[23]*x4 + v[30]*x5 + v[37]*x6 + v[44]*x7;
203:       s4 -= v[3]*x1 + v[10]*x2 + v[17]*x3 + v[24]*x4 + v[31]*x5 + v[38]*x6 + v[45]*x7;
204:       s5 -= v[4]*x1 + v[11]*x2 + v[18]*x3 + v[25]*x4 + v[32]*x5 + v[39]*x6 + v[46]*x7;
205:       s6 -= v[5]*x1 + v[12]*x2 + v[19]*x3 + v[26]*x4 + v[33]*x5 + v[40]*x6 + v[47]*x7;
206:       s7 -= v[6]*x1 + v[13]*x2 + v[20]*x3 + v[27]*x4 + v[34]*x5 + v[41]*x6 + v[48]*x7;
207:       v  += 49;
208:     }
209:     idx      = 7*i;
210:     t[idx]   = s1;t[1+idx] = s2;
211:     t[2+idx] = s3;t[3+idx] = s4; t[4+idx] = s5;
212:     t[5+idx] = s6;t[6+idx] = s7;
213:   }
214:   /* backward solve the upper triangular */
215:   for (i=n-1; i>=0; i--) {
216:     v   = aa + 49*(adiag[i+1]+1);
217:     vi  = aj + adiag[i+1]+1;
218:     nz  = adiag[i] - adiag[i+1] - 1;
219:     idt = 7*i;
220:     s1  = t[idt];  s2 = t[1+idt];
221:     s3  = t[2+idt];s4 = t[3+idt]; s5 = t[4+idt];
222:     s6  = t[5+idt];s7 = t[6+idt];
223:     for (m=0; m<nz; m++) {
224:       idx = 7*vi[m];
225:       x1  = t[idx];   x2 = t[1+idx];
226:       x3  = t[2+idx]; x4 = t[3+idx]; x5 = t[4+idx];
227:       x6  = t[5+idx]; x7 = t[6+idx];
228:       s1 -= v[0]*x1 + v[7]*x2  + v[14]*x3 + v[21]*x4 + v[28]*x5 + v[35]*x6 + v[42]*x7;
229:       s2 -= v[1]*x1 + v[8]*x2  + v[15]*x3 + v[22]*x4 + v[29]*x5 + v[36]*x6 + v[43]*x7;
230:       s3 -= v[2]*x1 + v[9]*x2  + v[16]*x3 + v[23]*x4 + v[30]*x5 + v[37]*x6 + v[44]*x7;
231:       s4 -= v[3]*x1 + v[10]*x2 + v[17]*x3 + v[24]*x4 + v[31]*x5 + v[38]*x6 + v[45]*x7;
232:       s5 -= v[4]*x1 + v[11]*x2 + v[18]*x3 + v[25]*x4 + v[32]*x5 + v[39]*x6 + v[46]*x7;
233:       s6 -= v[5]*x1 + v[12]*x2 + v[19]*x3 + v[26]*x4 + v[33]*x5 + v[40]*x6 + v[47]*x7;
234:       s7 -= v[6]*x1 + v[13]*x2 + v[20]*x3 + v[27]*x4 + v[34]*x5 + v[41]*x6 + v[48]*x7;
235:       v  += 49;
236:     }
237:     idc    = 7*c[i];
238:     x[idc] = t[idt]   = v[0]*s1+v[7]*s2+v[14]*s3+
239:                         v[21]*s4+v[28]*s5+v[35]*s6+v[42]*s7;
240:     x[1+idc] = t[1+idt] = v[1]*s1+v[8]*s2+v[15]*s3+
241:                           v[22]*s4+v[29]*s5+v[36]*s6+v[43]*s7;
242:     x[2+idc] = t[2+idt] = v[2]*s1+v[9]*s2+v[16]*s3+
243:                           v[23]*s4+v[30]*s5+v[37]*s6+v[44]*s7;
244:     x[3+idc] = t[3+idt] = v[3]*s1+v[10]*s2+v[17]*s3+
245:                           v[24]*s4+v[31]*s5+v[38]*s6+v[45]*s7;
246:     x[4+idc] = t[4+idt] = v[4]*s1+v[11]*s2+v[18]*s3+
247:                           v[25]*s4+v[32]*s5+v[39]*s6+v[46]*s7;
248:     x[5+idc] = t[5+idt] = v[5]*s1+v[12]*s2+v[19]*s3+
249:                           v[26]*s4+v[33]*s5+v[40]*s6+v[47]*s7;
250:     x[6+idc] = t[6+idt] = v[6]*s1+v[13]*s2+v[20]*s3+
251:                           v[27]*s4+v[34]*s5+v[41]*s6+v[48]*s7;
252:   }

254:   ISRestoreIndices(isrow,&rout);
255:   ISRestoreIndices(iscol,&cout);
256:   VecRestoreArrayRead(bb,&b);
257:   VecRestoreArray(xx,&x);
258:   PetscLogFlops(2.0*49*(a->nz) - 7.0*A->cmap->n);
259:   return(0);
260: }

262: PetscErrorCode MatSolve_SeqBAIJ_6_inplace(Mat A,Vec bb,Vec xx)
263: {
264:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
265:   IS                iscol=a->col,isrow=a->row;
266:   PetscErrorCode    ierr;
267:   const PetscInt    *r,*c,*rout,*cout;
268:   const PetscInt    *diag = a->diag,n=a->mbs,*vi,*ai=a->i,*aj=a->j;
269:   PetscInt          i,nz,idx,idt,idc;
270:   const MatScalar   *aa=a->a,*v;
271:   PetscScalar       *x,s1,s2,s3,s4,s5,s6,x1,x2,x3,x4,x5,x6,*t;
272:   const PetscScalar *b;

275:   VecGetArrayRead(bb,&b);
276:   VecGetArray(xx,&x);
277:   t    = a->solve_work;

279:   ISGetIndices(isrow,&rout); r = rout;
280:   ISGetIndices(iscol,&cout); c = cout + (n-1);

282:   /* forward solve the lower triangular */
283:   idx  = 6*(*r++);
284:   t[0] = b[idx];   t[1] = b[1+idx];
285:   t[2] = b[2+idx]; t[3] = b[3+idx];
286:   t[4] = b[4+idx]; t[5] = b[5+idx];
287:   for (i=1; i<n; i++) {
288:     v   = aa + 36*ai[i];
289:     vi  = aj + ai[i];
290:     nz  = diag[i] - ai[i];
291:     idx = 6*(*r++);
292:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
293:     s5  = b[4+idx]; s6 = b[5+idx];
294:     while (nz--) {
295:       idx = 6*(*vi++);
296:       x1  = t[idx];   x2 = t[1+idx]; x3 = t[2+idx];
297:       x4  = t[3+idx]; x5 = t[4+idx]; x6 = t[5+idx];
298:       s1 -= v[0]*x1 + v[6]*x2  + v[12]*x3 + v[18]*x4 + v[24]*x5 + v[30]*x6;
299:       s2 -= v[1]*x1 + v[7]*x2  + v[13]*x3 + v[19]*x4 + v[25]*x5 + v[31]*x6;
300:       s3 -= v[2]*x1 + v[8]*x2  + v[14]*x3 + v[20]*x4 + v[26]*x5 + v[32]*x6;
301:       s4 -= v[3]*x1 + v[9]*x2  + v[15]*x3 + v[21]*x4 + v[27]*x5 + v[33]*x6;
302:       s5 -= v[4]*x1 + v[10]*x2 + v[16]*x3 + v[22]*x4 + v[28]*x5 + v[34]*x6;
303:       s6 -= v[5]*x1 + v[11]*x2 + v[17]*x3 + v[23]*x4 + v[29]*x5 + v[35]*x6;
304:       v  += 36;
305:     }
306:     idx      = 6*i;
307:     t[idx]   = s1;t[1+idx] = s2;
308:     t[2+idx] = s3;t[3+idx] = s4;
309:     t[4+idx] = s5;t[5+idx] = s6;
310:   }
311:   /* backward solve the upper triangular */
312:   for (i=n-1; i>=0; i--) {
313:     v   = aa + 36*diag[i] + 36;
314:     vi  = aj + diag[i] + 1;
315:     nz  = ai[i+1] - diag[i] - 1;
316:     idt = 6*i;
317:     s1  = t[idt];  s2 = t[1+idt];
318:     s3  = t[2+idt];s4 = t[3+idt];
319:     s5  = t[4+idt];s6 = t[5+idt];
320:     while (nz--) {
321:       idx = 6*(*vi++);
322:       x1  = t[idx];   x2 = t[1+idx];
323:       x3  = t[2+idx]; x4 = t[3+idx];
324:       x5  = t[4+idx]; x6 = t[5+idx];
325:       s1 -= v[0]*x1 + v[6]*x2  + v[12]*x3 + v[18]*x4 + v[24]*x5 + v[30]*x6;
326:       s2 -= v[1]*x1 + v[7]*x2  + v[13]*x3 + v[19]*x4 + v[25]*x5 + v[31]*x6;
327:       s3 -= v[2]*x1 + v[8]*x2  + v[14]*x3 + v[20]*x4 + v[26]*x5 + v[32]*x6;
328:       s4 -= v[3]*x1 + v[9]*x2  + v[15]*x3 + v[21]*x4 + v[27]*x5 + v[33]*x6;
329:       s5 -= v[4]*x1 + v[10]*x2 + v[16]*x3 + v[22]*x4 + v[28]*x5 + v[34]*x6;
330:       s6 -= v[5]*x1 + v[11]*x2 + v[17]*x3 + v[23]*x4 + v[29]*x5 + v[35]*x6;
331:       v  += 36;
332:     }
333:     idc    = 6*(*c--);
334:     v      = aa + 36*diag[i];
335:     x[idc] = t[idt]   = v[0]*s1+v[6]*s2+v[12]*s3+
336:                         v[18]*s4+v[24]*s5+v[30]*s6;
337:     x[1+idc] = t[1+idt] = v[1]*s1+v[7]*s2+v[13]*s3+
338:                           v[19]*s4+v[25]*s5+v[31]*s6;
339:     x[2+idc] = t[2+idt] = v[2]*s1+v[8]*s2+v[14]*s3+
340:                           v[20]*s4+v[26]*s5+v[32]*s6;
341:     x[3+idc] = t[3+idt] = v[3]*s1+v[9]*s2+v[15]*s3+
342:                           v[21]*s4+v[27]*s5+v[33]*s6;
343:     x[4+idc] = t[4+idt] = v[4]*s1+v[10]*s2+v[16]*s3+
344:                           v[22]*s4+v[28]*s5+v[34]*s6;
345:     x[5+idc] = t[5+idt] = v[5]*s1+v[11]*s2+v[17]*s3+
346:                           v[23]*s4+v[29]*s5+v[35]*s6;
347:   }

349:   ISRestoreIndices(isrow,&rout);
350:   ISRestoreIndices(iscol,&cout);
351:   VecRestoreArrayRead(bb,&b);
352:   VecRestoreArray(xx,&x);
353:   PetscLogFlops(2.0*36*(a->nz) - 6.0*A->cmap->n);
354:   return(0);
355: }

357: PetscErrorCode MatSolve_SeqBAIJ_6(Mat A,Vec bb,Vec xx)
358: {
359:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
360:   IS                iscol=a->col,isrow=a->row;
361:   PetscErrorCode    ierr;
362:   const PetscInt    *r,*c,*rout,*cout;
363:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j,*adiag=a->diag;
364:   PetscInt          i,nz,idx,idt,idc,m;
365:   const MatScalar   *aa=a->a,*v;
366:   PetscScalar       *x,s1,s2,s3,s4,s5,s6,x1,x2,x3,x4,x5,x6,*t;
367:   const PetscScalar *b;

370:   VecGetArrayRead(bb,&b);
371:   VecGetArray(xx,&x);
372:   t    = a->solve_work;

374:   ISGetIndices(isrow,&rout); r = rout;
375:   ISGetIndices(iscol,&cout); c = cout;

377:   /* forward solve the lower triangular */
378:   idx  = 6*r[0];
379:   t[0] = b[idx];   t[1] = b[1+idx];
380:   t[2] = b[2+idx]; t[3] = b[3+idx];
381:   t[4] = b[4+idx]; t[5] = b[5+idx];
382:   for (i=1; i<n; i++) {
383:     v   = aa + 36*ai[i];
384:     vi  = aj + ai[i];
385:     nz  = ai[i+1] - ai[i];
386:     idx = 6*r[i];
387:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
388:     s5  = b[4+idx]; s6 = b[5+idx];
389:     for (m=0; m<nz; m++) {
390:       idx = 6*vi[m];
391:       x1  = t[idx];   x2 = t[1+idx]; x3 = t[2+idx];
392:       x4  = t[3+idx]; x5 = t[4+idx]; x6 = t[5+idx];
393:       s1 -= v[0]*x1 + v[6]*x2  + v[12]*x3 + v[18]*x4 + v[24]*x5 + v[30]*x6;
394:       s2 -= v[1]*x1 + v[7]*x2  + v[13]*x3 + v[19]*x4 + v[25]*x5 + v[31]*x6;
395:       s3 -= v[2]*x1 + v[8]*x2  + v[14]*x3 + v[20]*x4 + v[26]*x5 + v[32]*x6;
396:       s4 -= v[3]*x1 + v[9]*x2  + v[15]*x3 + v[21]*x4 + v[27]*x5 + v[33]*x6;
397:       s5 -= v[4]*x1 + v[10]*x2 + v[16]*x3 + v[22]*x4 + v[28]*x5 + v[34]*x6;
398:       s6 -= v[5]*x1 + v[11]*x2 + v[17]*x3 + v[23]*x4 + v[29]*x5 + v[35]*x6;
399:       v  += 36;
400:     }
401:     idx      = 6*i;
402:     t[idx]   = s1;t[1+idx] = s2;
403:     t[2+idx] = s3;t[3+idx] = s4;
404:     t[4+idx] = s5;t[5+idx] = s6;
405:   }
406:   /* backward solve the upper triangular */
407:   for (i=n-1; i>=0; i--) {
408:     v   = aa + 36*(adiag[i+1]+1);
409:     vi  = aj + adiag[i+1]+1;
410:     nz  = adiag[i] - adiag[i+1] - 1;
411:     idt = 6*i;
412:     s1  = t[idt];  s2 = t[1+idt];
413:     s3  = t[2+idt];s4 = t[3+idt];
414:     s5  = t[4+idt];s6 = t[5+idt];
415:     for (m=0; m<nz; m++) {
416:       idx = 6*vi[m];
417:       x1  = t[idx];   x2 = t[1+idx];
418:       x3  = t[2+idx]; x4 = t[3+idx];
419:       x5  = t[4+idx]; x6 = t[5+idx];
420:       s1 -= v[0]*x1 + v[6]*x2  + v[12]*x3 + v[18]*x4 + v[24]*x5 + v[30]*x6;
421:       s2 -= v[1]*x1 + v[7]*x2  + v[13]*x3 + v[19]*x4 + v[25]*x5 + v[31]*x6;
422:       s3 -= v[2]*x1 + v[8]*x2  + v[14]*x3 + v[20]*x4 + v[26]*x5 + v[32]*x6;
423:       s4 -= v[3]*x1 + v[9]*x2  + v[15]*x3 + v[21]*x4 + v[27]*x5 + v[33]*x6;
424:       s5 -= v[4]*x1 + v[10]*x2 + v[16]*x3 + v[22]*x4 + v[28]*x5 + v[34]*x6;
425:       s6 -= v[5]*x1 + v[11]*x2 + v[17]*x3 + v[23]*x4 + v[29]*x5 + v[35]*x6;
426:       v  += 36;
427:     }
428:     idc    = 6*c[i];
429:     x[idc] = t[idt]   = v[0]*s1+v[6]*s2+v[12]*s3+
430:                         v[18]*s4+v[24]*s5+v[30]*s6;
431:     x[1+idc] = t[1+idt] = v[1]*s1+v[7]*s2+v[13]*s3+
432:                           v[19]*s4+v[25]*s5+v[31]*s6;
433:     x[2+idc] = t[2+idt] = v[2]*s1+v[8]*s2+v[14]*s3+
434:                           v[20]*s4+v[26]*s5+v[32]*s6;
435:     x[3+idc] = t[3+idt] = v[3]*s1+v[9]*s2+v[15]*s3+
436:                           v[21]*s4+v[27]*s5+v[33]*s6;
437:     x[4+idc] = t[4+idt] = v[4]*s1+v[10]*s2+v[16]*s3+
438:                           v[22]*s4+v[28]*s5+v[34]*s6;
439:     x[5+idc] = t[5+idt] = v[5]*s1+v[11]*s2+v[17]*s3+
440:                           v[23]*s4+v[29]*s5+v[35]*s6;
441:   }

443:   ISRestoreIndices(isrow,&rout);
444:   ISRestoreIndices(iscol,&cout);
445:   VecRestoreArrayRead(bb,&b);
446:   VecRestoreArray(xx,&x);
447:   PetscLogFlops(2.0*36*(a->nz) - 6.0*A->cmap->n);
448:   return(0);
449: }

451: PetscErrorCode MatSolve_SeqBAIJ_5_inplace(Mat A,Vec bb,Vec xx)
452: {
453:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
454:   IS                iscol=a->col,isrow=a->row;
455:   PetscErrorCode    ierr;
456:   const PetscInt    *r,*c,*rout,*cout,*diag = a->diag;
457:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j;
458:   PetscInt          i,nz,idx,idt,idc;
459:   const MatScalar   *aa=a->a,*v;
460:   PetscScalar       *x,s1,s2,s3,s4,s5,x1,x2,x3,x4,x5,*t;
461:   const PetscScalar *b;

464:   VecGetArrayRead(bb,&b);
465:   VecGetArray(xx,&x);
466:   t    = a->solve_work;

468:   ISGetIndices(isrow,&rout); r = rout;
469:   ISGetIndices(iscol,&cout); c = cout + (n-1);

471:   /* forward solve the lower triangular */
472:   idx  = 5*(*r++);
473:   t[0] = b[idx];   t[1] = b[1+idx];
474:   t[2] = b[2+idx]; t[3] = b[3+idx]; t[4] = b[4+idx];
475:   for (i=1; i<n; i++) {
476:     v   = aa + 25*ai[i];
477:     vi  = aj + ai[i];
478:     nz  = diag[i] - ai[i];
479:     idx = 5*(*r++);
480:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
481:     s5  = b[4+idx];
482:     while (nz--) {
483:       idx = 5*(*vi++);
484:       x1  = t[idx];  x2 = t[1+idx];x3 = t[2+idx];
485:       x4  = t[3+idx];x5 = t[4+idx];
486:       s1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
487:       s2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
488:       s3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
489:       s4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
490:       s5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
491:       v  += 25;
492:     }
493:     idx      = 5*i;
494:     t[idx]   = s1;t[1+idx] = s2;
495:     t[2+idx] = s3;t[3+idx] = s4; t[4+idx] = s5;
496:   }
497:   /* backward solve the upper triangular */
498:   for (i=n-1; i>=0; i--) {
499:     v   = aa + 25*diag[i] + 25;
500:     vi  = aj + diag[i] + 1;
501:     nz  = ai[i+1] - diag[i] - 1;
502:     idt = 5*i;
503:     s1  = t[idt];  s2 = t[1+idt];
504:     s3  = t[2+idt];s4 = t[3+idt]; s5 = t[4+idt];
505:     while (nz--) {
506:       idx = 5*(*vi++);
507:       x1  = t[idx];   x2 = t[1+idx];
508:       x3  = t[2+idx]; x4 = t[3+idx]; x5 = t[4+idx];
509:       s1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
510:       s2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
511:       s3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
512:       s4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
513:       s5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
514:       v  += 25;
515:     }
516:     idc    = 5*(*c--);
517:     v      = aa + 25*diag[i];
518:     x[idc] = t[idt]   = v[0]*s1+v[5]*s2+v[10]*s3+
519:                         v[15]*s4+v[20]*s5;
520:     x[1+idc] = t[1+idt] = v[1]*s1+v[6]*s2+v[11]*s3+
521:                           v[16]*s4+v[21]*s5;
522:     x[2+idc] = t[2+idt] = v[2]*s1+v[7]*s2+v[12]*s3+
523:                           v[17]*s4+v[22]*s5;
524:     x[3+idc] = t[3+idt] = v[3]*s1+v[8]*s2+v[13]*s3+
525:                           v[18]*s4+v[23]*s5;
526:     x[4+idc] = t[4+idt] = v[4]*s1+v[9]*s2+v[14]*s3+
527:                           v[19]*s4+v[24]*s5;
528:   }

530:   ISRestoreIndices(isrow,&rout);
531:   ISRestoreIndices(iscol,&cout);
532:   VecRestoreArrayRead(bb,&b);
533:   VecRestoreArray(xx,&x);
534:   PetscLogFlops(2.0*25*(a->nz) - 5.0*A->cmap->n);
535:   return(0);
536: }

538: PetscErrorCode MatSolve_SeqBAIJ_5(Mat A,Vec bb,Vec xx)
539: {
540:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
541:   IS                iscol=a->col,isrow=a->row;
542:   PetscErrorCode    ierr;
543:   const PetscInt    *r,*c,*rout,*cout;
544:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j,*adiag=a->diag;
545:   PetscInt          i,nz,idx,idt,idc,m;
546:   const MatScalar   *aa=a->a,*v;
547:   PetscScalar       *x,s1,s2,s3,s4,s5,x1,x2,x3,x4,x5,*t;
548:   const PetscScalar *b;

551:   VecGetArrayRead(bb,&b);
552:   VecGetArray(xx,&x);
553:   t    = a->solve_work;

555:   ISGetIndices(isrow,&rout); r = rout;
556:   ISGetIndices(iscol,&cout); c = cout;

558:   /* forward solve the lower triangular */
559:   idx  = 5*r[0];
560:   t[0] = b[idx];   t[1] = b[1+idx];
561:   t[2] = b[2+idx]; t[3] = b[3+idx]; t[4] = b[4+idx];
562:   for (i=1; i<n; i++) {
563:     v   = aa + 25*ai[i];
564:     vi  = aj + ai[i];
565:     nz  = ai[i+1] - ai[i];
566:     idx = 5*r[i];
567:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
568:     s5  = b[4+idx];
569:     for (m=0; m<nz; m++) {
570:       idx = 5*vi[m];
571:       x1  = t[idx];  x2 = t[1+idx];x3 = t[2+idx];
572:       x4  = t[3+idx];x5 = t[4+idx];
573:       s1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
574:       s2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
575:       s3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
576:       s4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
577:       s5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
578:       v  += 25;
579:     }
580:     idx      = 5*i;
581:     t[idx]   = s1;t[1+idx] = s2;
582:     t[2+idx] = s3;t[3+idx] = s4; t[4+idx] = s5;
583:   }
584:   /* backward solve the upper triangular */
585:   for (i=n-1; i>=0; i--) {
586:     v   = aa + 25*(adiag[i+1]+1);
587:     vi  = aj + adiag[i+1]+1;
588:     nz  = adiag[i] - adiag[i+1] - 1;
589:     idt = 5*i;
590:     s1  = t[idt];  s2 = t[1+idt];
591:     s3  = t[2+idt];s4 = t[3+idt]; s5 = t[4+idt];
592:     for (m=0; m<nz; m++) {
593:       idx = 5*vi[m];
594:       x1  = t[idx];   x2 = t[1+idx];
595:       x3  = t[2+idx]; x4 = t[3+idx]; x5 = t[4+idx];
596:       s1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
597:       s2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
598:       s3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
599:       s4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
600:       s5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
601:       v  += 25;
602:     }
603:     idc    = 5*c[i];
604:     x[idc] = t[idt]   = v[0]*s1+v[5]*s2+v[10]*s3+
605:                         v[15]*s4+v[20]*s5;
606:     x[1+idc] = t[1+idt] = v[1]*s1+v[6]*s2+v[11]*s3+
607:                           v[16]*s4+v[21]*s5;
608:     x[2+idc] = t[2+idt] = v[2]*s1+v[7]*s2+v[12]*s3+
609:                           v[17]*s4+v[22]*s5;
610:     x[3+idc] = t[3+idt] = v[3]*s1+v[8]*s2+v[13]*s3+
611:                           v[18]*s4+v[23]*s5;
612:     x[4+idc] = t[4+idt] = v[4]*s1+v[9]*s2+v[14]*s3+
613:                           v[19]*s4+v[24]*s5;
614:   }

616:   ISRestoreIndices(isrow,&rout);
617:   ISRestoreIndices(iscol,&cout);
618:   VecRestoreArrayRead(bb,&b);
619:   VecRestoreArray(xx,&x);
620:   PetscLogFlops(2.0*25*(a->nz) - 5.0*A->cmap->n);
621:   return(0);
622: }

624: PetscErrorCode MatSolve_SeqBAIJ_4_inplace(Mat A,Vec bb,Vec xx)
625: {
626:   Mat_SeqBAIJ       *a   = (Mat_SeqBAIJ*)A->data;
627:   IS                iscol=a->col,isrow=a->row;
628:   PetscErrorCode    ierr;
629:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j;
630:   PetscInt          i,nz,idx,idt,idc;
631:   const PetscInt    *r,*c,*diag = a->diag,*rout,*cout;
632:   const MatScalar   *aa=a->a,*v;
633:   PetscScalar       *x,s1,s2,s3,s4,x1,x2,x3,x4,*t;
634:   const PetscScalar *b;

637:   VecGetArrayRead(bb,&b);
638:   VecGetArray(xx,&x);
639:   t    = a->solve_work;

641:   ISGetIndices(isrow,&rout); r = rout;
642:   ISGetIndices(iscol,&cout); c = cout + (n-1);

644:   /* forward solve the lower triangular */
645:   idx  = 4*(*r++);
646:   t[0] = b[idx];   t[1] = b[1+idx];
647:   t[2] = b[2+idx]; t[3] = b[3+idx];
648:   for (i=1; i<n; i++) {
649:     v   = aa + 16*ai[i];
650:     vi  = aj + ai[i];
651:     nz  = diag[i] - ai[i];
652:     idx = 4*(*r++);
653:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
654:     while (nz--) {
655:       idx = 4*(*vi++);
656:       x1  = t[idx];x2 = t[1+idx];x3 = t[2+idx];x4 = t[3+idx];
657:       s1 -= v[0]*x1 + v[4]*x2 + v[8]*x3  + v[12]*x4;
658:       s2 -= v[1]*x1 + v[5]*x2 + v[9]*x3  + v[13]*x4;
659:       s3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4;
660:       s4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4;
661:       v  += 16;
662:     }
663:     idx      = 4*i;
664:     t[idx]   = s1;t[1+idx] = s2;
665:     t[2+idx] = s3;t[3+idx] = s4;
666:   }
667:   /* backward solve the upper triangular */
668:   for (i=n-1; i>=0; i--) {
669:     v   = aa + 16*diag[i] + 16;
670:     vi  = aj + diag[i] + 1;
671:     nz  = ai[i+1] - diag[i] - 1;
672:     idt = 4*i;
673:     s1  = t[idt];  s2 = t[1+idt];
674:     s3  = t[2+idt];s4 = t[3+idt];
675:     while (nz--) {
676:       idx = 4*(*vi++);
677:       x1  = t[idx];   x2 = t[1+idx];
678:       x3  = t[2+idx]; x4 = t[3+idx];
679:       s1 -= v[0]*x1 + v[4]*x2 + v[8]*x3   + v[12]*x4;
680:       s2 -= v[1]*x1 + v[5]*x2 + v[9]*x3   + v[13]*x4;
681:       s3 -= v[2]*x1 + v[6]*x2 + v[10]*x3  + v[14]*x4;
682:       s4 -= v[3]*x1 + v[7]*x2 + v[11]*x3  + v[15]*x4;
683:       v  += 16;
684:     }
685:     idc      = 4*(*c--);
686:     v        = aa + 16*diag[i];
687:     x[idc]   = t[idt]   = v[0]*s1+v[4]*s2+v[8]*s3+v[12]*s4;
688:     x[1+idc] = t[1+idt] = v[1]*s1+v[5]*s2+v[9]*s3+v[13]*s4;
689:     x[2+idc] = t[2+idt] = v[2]*s1+v[6]*s2+v[10]*s3+v[14]*s4;
690:     x[3+idc] = t[3+idt] = v[3]*s1+v[7]*s2+v[11]*s3+v[15]*s4;
691:   }

693:   ISRestoreIndices(isrow,&rout);
694:   ISRestoreIndices(iscol,&cout);
695:   VecRestoreArrayRead(bb,&b);
696:   VecRestoreArray(xx,&x);
697:   PetscLogFlops(2.0*16*(a->nz) - 4.0*A->cmap->n);
698:   return(0);
699: }

701: PetscErrorCode MatSolve_SeqBAIJ_4(Mat A,Vec bb,Vec xx)
702: {
703:   Mat_SeqBAIJ       *a   = (Mat_SeqBAIJ*)A->data;
704:   IS                iscol=a->col,isrow=a->row;
705:   PetscErrorCode    ierr;
706:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j,*adiag=a->diag;
707:   PetscInt          i,nz,idx,idt,idc,m;
708:   const PetscInt    *r,*c,*rout,*cout;
709:   const MatScalar   *aa=a->a,*v;
710:   PetscScalar       *x,s1,s2,s3,s4,x1,x2,x3,x4,*t;
711:   const PetscScalar *b;

714:   VecGetArrayRead(bb,&b);
715:   VecGetArray(xx,&x);
716:   t    = a->solve_work;

718:   ISGetIndices(isrow,&rout); r = rout;
719:   ISGetIndices(iscol,&cout); c = cout;

721:   /* forward solve the lower triangular */
722:   idx  = 4*r[0];
723:   t[0] = b[idx];   t[1] = b[1+idx];
724:   t[2] = b[2+idx]; t[3] = b[3+idx];
725:   for (i=1; i<n; i++) {
726:     v   = aa + 16*ai[i];
727:     vi  = aj + ai[i];
728:     nz  = ai[i+1] - ai[i];
729:     idx = 4*r[i];
730:     s1  = b[idx];s2 = b[1+idx];s3 = b[2+idx];s4 = b[3+idx];
731:     for (m=0; m<nz; m++) {
732:       idx = 4*vi[m];
733:       x1  = t[idx];x2 = t[1+idx];x3 = t[2+idx];x4 = t[3+idx];
734:       s1 -= v[0]*x1 + v[4]*x2 + v[8]*x3  + v[12]*x4;
735:       s2 -= v[1]*x1 + v[5]*x2 + v[9]*x3  + v[13]*x4;
736:       s3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4;
737:       s4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4;
738:       v  += 16;
739:     }
740:     idx      = 4*i;
741:     t[idx]   = s1;t[1+idx] = s2;
742:     t[2+idx] = s3;t[3+idx] = s4;
743:   }
744:   /* backward solve the upper triangular */
745:   for (i=n-1; i>=0; i--) {
746:     v   = aa + 16*(adiag[i+1]+1);
747:     vi  = aj + adiag[i+1]+1;
748:     nz  = adiag[i] - adiag[i+1] - 1;
749:     idt = 4*i;
750:     s1  = t[idt];  s2 = t[1+idt];
751:     s3  = t[2+idt];s4 = t[3+idt];
752:     for (m=0; m<nz; m++) {
753:       idx = 4*vi[m];
754:       x1  = t[idx];   x2 = t[1+idx];
755:       x3  = t[2+idx]; x4 = t[3+idx];
756:       s1 -= v[0]*x1 + v[4]*x2 + v[8]*x3   + v[12]*x4;
757:       s2 -= v[1]*x1 + v[5]*x2 + v[9]*x3   + v[13]*x4;
758:       s3 -= v[2]*x1 + v[6]*x2 + v[10]*x3  + v[14]*x4;
759:       s4 -= v[3]*x1 + v[7]*x2 + v[11]*x3  + v[15]*x4;
760:       v  += 16;
761:     }
762:     idc      = 4*c[i];
763:     x[idc]   = t[idt]   = v[0]*s1+v[4]*s2+v[8]*s3+v[12]*s4;
764:     x[1+idc] = t[1+idt] = v[1]*s1+v[5]*s2+v[9]*s3+v[13]*s4;
765:     x[2+idc] = t[2+idt] = v[2]*s1+v[6]*s2+v[10]*s3+v[14]*s4;
766:     x[3+idc] = t[3+idt] = v[3]*s1+v[7]*s2+v[11]*s3+v[15]*s4;
767:   }

769:   ISRestoreIndices(isrow,&rout);
770:   ISRestoreIndices(iscol,&cout);
771:   VecRestoreArrayRead(bb,&b);
772:   VecRestoreArray(xx,&x);
773:   PetscLogFlops(2.0*16*(a->nz) - 4.0*A->cmap->n);
774:   return(0);
775: }

777: PetscErrorCode MatSolve_SeqBAIJ_4_Demotion(Mat A,Vec bb,Vec xx)
778: {
779:   Mat_SeqBAIJ       *a   = (Mat_SeqBAIJ*)A->data;
780:   IS                iscol=a->col,isrow=a->row;
781:   PetscErrorCode    ierr;
782:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j;
783:   PetscInt          i,nz,idx,idt,idc;
784:   const PetscInt    *r,*c,*diag = a->diag,*rout,*cout;
785:   const MatScalar   *aa=a->a,*v;
786:   MatScalar         s1,s2,s3,s4,x1,x2,x3,x4,*t;
787:   PetscScalar       *x;
788:   const PetscScalar *b;

791:   VecGetArrayRead(bb,&b);
792:   VecGetArray(xx,&x);
793:   t    = (MatScalar*)a->solve_work;

795:   ISGetIndices(isrow,&rout); r = rout;
796:   ISGetIndices(iscol,&cout); c = cout + (n-1);

798:   /* forward solve the lower triangular */
799:   idx  = 4*(*r++);
800:   t[0] = (MatScalar)b[idx];
801:   t[1] = (MatScalar)b[1+idx];
802:   t[2] = (MatScalar)b[2+idx];
803:   t[3] = (MatScalar)b[3+idx];
804:   for (i=1; i<n; i++) {
805:     v   = aa + 16*ai[i];
806:     vi  = aj + ai[i];
807:     nz  = diag[i] - ai[i];
808:     idx = 4*(*r++);
809:     s1  = (MatScalar)b[idx];
810:     s2  = (MatScalar)b[1+idx];
811:     s3  = (MatScalar)b[2+idx];
812:     s4  = (MatScalar)b[3+idx];
813:     while (nz--) {
814:       idx = 4*(*vi++);
815:       x1  = t[idx];
816:       x2  = t[1+idx];
817:       x3  = t[2+idx];
818:       x4  = t[3+idx];
819:       s1 -= v[0]*x1 + v[4]*x2 + v[8]*x3  + v[12]*x4;
820:       s2 -= v[1]*x1 + v[5]*x2 + v[9]*x3  + v[13]*x4;
821:       s3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4;
822:       s4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4;
823:       v  += 16;
824:     }
825:     idx      = 4*i;
826:     t[idx]   = s1;
827:     t[1+idx] = s2;
828:     t[2+idx] = s3;
829:     t[3+idx] = s4;
830:   }
831:   /* backward solve the upper triangular */
832:   for (i=n-1; i>=0; i--) {
833:     v   = aa + 16*diag[i] + 16;
834:     vi  = aj + diag[i] + 1;
835:     nz  = ai[i+1] - diag[i] - 1;
836:     idt = 4*i;
837:     s1  = t[idt];
838:     s2  = t[1+idt];
839:     s3  = t[2+idt];
840:     s4  = t[3+idt];
841:     while (nz--) {
842:       idx = 4*(*vi++);
843:       x1  = t[idx];
844:       x2  = t[1+idx];
845:       x3  = t[2+idx];
846:       x4  = t[3+idx];
847:       s1 -= v[0]*x1 + v[4]*x2 + v[8]*x3   + v[12]*x4;
848:       s2 -= v[1]*x1 + v[5]*x2 + v[9]*x3   + v[13]*x4;
849:       s3 -= v[2]*x1 + v[6]*x2 + v[10]*x3  + v[14]*x4;
850:       s4 -= v[3]*x1 + v[7]*x2 + v[11]*x3  + v[15]*x4;
851:       v  += 16;
852:     }
853:     idc      = 4*(*c--);
854:     v        = aa + 16*diag[i];
855:     t[idt]   = v[0]*s1+v[4]*s2+v[8]*s3+v[12]*s4;
856:     t[1+idt] = v[1]*s1+v[5]*s2+v[9]*s3+v[13]*s4;
857:     t[2+idt] = v[2]*s1+v[6]*s2+v[10]*s3+v[14]*s4;
858:     t[3+idt] = v[3]*s1+v[7]*s2+v[11]*s3+v[15]*s4;
859:     x[idc]   = (PetscScalar)t[idt];
860:     x[1+idc] = (PetscScalar)t[1+idt];
861:     x[2+idc] = (PetscScalar)t[2+idt];
862:     x[3+idc] = (PetscScalar)t[3+idt];
863:   }

865:   ISRestoreIndices(isrow,&rout);
866:   ISRestoreIndices(iscol,&cout);
867:   VecRestoreArrayRead(bb,&b);
868:   VecRestoreArray(xx,&x);
869:   PetscLogFlops(2.0*16*(a->nz) - 4.0*A->cmap->n);
870:   return(0);
871: }

873: #if defined(PETSC_HAVE_SSE)

875: #include PETSC_HAVE_SSE

877: PetscErrorCode MatSolve_SeqBAIJ_4_SSE_Demotion(Mat A,Vec bb,Vec xx)
878: {
879:   /*
880:      Note: This code uses demotion of double
881:      to float when performing the mixed-mode computation.
882:      This may not be numerically reasonable for all applications.
883:   */
884:   Mat_SeqBAIJ    *a   = (Mat_SeqBAIJ*)A->data;
885:   IS             iscol=a->col,isrow=a->row;
887:   PetscInt       i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,ai16;
888:   const PetscInt *r,*c,*diag = a->diag,*rout,*cout;
889:   MatScalar      *aa=a->a,*v;
890:   PetscScalar    *x,*b,*t;

892:   /* Make space in temp stack for 16 Byte Aligned arrays */
893:   float         ssealignedspace[11],*tmps,*tmpx;
894:   unsigned long offset;

897:   SSE_SCOPE_BEGIN;

899:   offset = (unsigned long)ssealignedspace % 16;
900:   if (offset) offset = (16 - offset)/4;
901:   tmps = &ssealignedspace[offset];
902:   tmpx = &ssealignedspace[offset+4];
903:   PREFETCH_NTA(aa+16*ai[1]);

905:   VecGetArray(bb,&b);
906:   VecGetArray(xx,&x);
907:   t    = a->solve_work;

909:   ISGetIndices(isrow,&rout); r = rout;
910:   ISGetIndices(iscol,&cout); c = cout + (n-1);

912:   /* forward solve the lower triangular */
913:   idx  = 4*(*r++);
914:   t[0] = b[idx];   t[1] = b[1+idx];
915:   t[2] = b[2+idx]; t[3] = b[3+idx];
916:   v    =  aa + 16*ai[1];

918:   for (i=1; i<n; ) {
919:     PREFETCH_NTA(&v[8]);
920:     vi  =  aj      + ai[i];
921:     nz  =  diag[i] - ai[i];
922:     idx =  4*(*r++);

924:     /* Demote sum from double to float */
925:     CONVERT_DOUBLE4_FLOAT4(tmps,&b[idx]);
926:     LOAD_PS(tmps,XMM7);

928:     while (nz--) {
929:       PREFETCH_NTA(&v[16]);
930:       idx = 4*(*vi++);

932:       /* Demote solution (so far) from double to float */
933:       CONVERT_DOUBLE4_FLOAT4(tmpx,&x[idx]);

935:       /* 4x4 Matrix-Vector product with negative accumulation: */
936:       SSE_INLINE_BEGIN_2(tmpx,v)
937:       SSE_LOAD_PS(SSE_ARG_1,FLOAT_0,XMM6)

939:       /* First Column */
940:       SSE_COPY_PS(XMM0,XMM6)
941:       SSE_SHUFFLE(XMM0,XMM0,0x00)
942:       SSE_MULT_PS_M(XMM0,SSE_ARG_2,FLOAT_0)
943:       SSE_SUB_PS(XMM7,XMM0)

945:       /* Second Column */
946:       SSE_COPY_PS(XMM1,XMM6)
947:       SSE_SHUFFLE(XMM1,XMM1,0x55)
948:       SSE_MULT_PS_M(XMM1,SSE_ARG_2,FLOAT_4)
949:       SSE_SUB_PS(XMM7,XMM1)

951:       SSE_PREFETCH_NTA(SSE_ARG_2,FLOAT_24)

953:       /* Third Column */
954:       SSE_COPY_PS(XMM2,XMM6)
955:       SSE_SHUFFLE(XMM2,XMM2,0xAA)
956:       SSE_MULT_PS_M(XMM2,SSE_ARG_2,FLOAT_8)
957:       SSE_SUB_PS(XMM7,XMM2)

959:       /* Fourth Column */
960:       SSE_COPY_PS(XMM3,XMM6)
961:       SSE_SHUFFLE(XMM3,XMM3,0xFF)
962:       SSE_MULT_PS_M(XMM3,SSE_ARG_2,FLOAT_12)
963:       SSE_SUB_PS(XMM7,XMM3)
964:       SSE_INLINE_END_2

966:       v += 16;
967:     }
968:     idx = 4*i;
969:     v   = aa + 16*ai[++i];
970:     PREFETCH_NTA(v);
971:     STORE_PS(tmps,XMM7);

973:     /* Promote result from float to double */
974:     CONVERT_FLOAT4_DOUBLE4(&t[idx],tmps);
975:   }
976:   /* backward solve the upper triangular */
977:   idt  = 4*(n-1);
978:   ai16 = 16*diag[n-1];
979:   v    = aa + ai16 + 16;
980:   for (i=n-1; i>=0; ) {
981:     PREFETCH_NTA(&v[8]);
982:     vi = aj + diag[i] + 1;
983:     nz = ai[i+1] - diag[i] - 1;

985:     /* Demote accumulator from double to float */
986:     CONVERT_DOUBLE4_FLOAT4(tmps,&t[idt]);
987:     LOAD_PS(tmps,XMM7);

989:     while (nz--) {
990:       PREFETCH_NTA(&v[16]);
991:       idx = 4*(*vi++);

993:       /* Demote solution (so far) from double to float */
994:       CONVERT_DOUBLE4_FLOAT4(tmpx,&t[idx]);

996:       /* 4x4 Matrix-Vector Product with negative accumulation: */
997:       SSE_INLINE_BEGIN_2(tmpx,v)
998:       SSE_LOAD_PS(SSE_ARG_1,FLOAT_0,XMM6)

1000:       /* First Column */
1001:       SSE_COPY_PS(XMM0,XMM6)
1002:       SSE_SHUFFLE(XMM0,XMM0,0x00)
1003:       SSE_MULT_PS_M(XMM0,SSE_ARG_2,FLOAT_0)
1004:       SSE_SUB_PS(XMM7,XMM0)

1006:       /* Second Column */
1007:       SSE_COPY_PS(XMM1,XMM6)
1008:       SSE_SHUFFLE(XMM1,XMM1,0x55)
1009:       SSE_MULT_PS_M(XMM1,SSE_ARG_2,FLOAT_4)
1010:       SSE_SUB_PS(XMM7,XMM1)

1012:       SSE_PREFETCH_NTA(SSE_ARG_2,FLOAT_24)

1014:       /* Third Column */
1015:       SSE_COPY_PS(XMM2,XMM6)
1016:       SSE_SHUFFLE(XMM2,XMM2,0xAA)
1017:       SSE_MULT_PS_M(XMM2,SSE_ARG_2,FLOAT_8)
1018:       SSE_SUB_PS(XMM7,XMM2)

1020:       /* Fourth Column */
1021:       SSE_COPY_PS(XMM3,XMM6)
1022:       SSE_SHUFFLE(XMM3,XMM3,0xFF)
1023:       SSE_MULT_PS_M(XMM3,SSE_ARG_2,FLOAT_12)
1024:       SSE_SUB_PS(XMM7,XMM3)
1025:       SSE_INLINE_END_2
1026:       v += 16;
1027:     }
1028:     v    = aa + ai16;
1029:     ai16 = 16*diag[--i];
1030:     PREFETCH_NTA(aa+ai16+16);
1031:     /*
1032:        Scale the result by the diagonal 4x4 block,
1033:        which was inverted as part of the factorization
1034:     */
1035:     SSE_INLINE_BEGIN_3(v,tmps,aa+ai16)
1036:     /* First Column */
1037:     SSE_COPY_PS(XMM0,XMM7)
1038:     SSE_SHUFFLE(XMM0,XMM0,0x00)
1039:     SSE_MULT_PS_M(XMM0,SSE_ARG_1,FLOAT_0)

1041:     /* Second Column */
1042:     SSE_COPY_PS(XMM1,XMM7)
1043:     SSE_SHUFFLE(XMM1,XMM1,0x55)
1044:     SSE_MULT_PS_M(XMM1,SSE_ARG_1,FLOAT_4)
1045:     SSE_ADD_PS(XMM0,XMM1)

1047:     SSE_PREFETCH_NTA(SSE_ARG_3,FLOAT_24)

1049:     /* Third Column */
1050:     SSE_COPY_PS(XMM2,XMM7)
1051:     SSE_SHUFFLE(XMM2,XMM2,0xAA)
1052:     SSE_MULT_PS_M(XMM2,SSE_ARG_1,FLOAT_8)
1053:     SSE_ADD_PS(XMM0,XMM2)

1055:     /* Fourth Column */
1056:     SSE_COPY_PS(XMM3,XMM7)
1057:     SSE_SHUFFLE(XMM3,XMM3,0xFF)
1058:     SSE_MULT_PS_M(XMM3,SSE_ARG_1,FLOAT_12)
1059:     SSE_ADD_PS(XMM0,XMM3)

1061:     SSE_STORE_PS(SSE_ARG_2,FLOAT_0,XMM0)
1062:     SSE_INLINE_END_3

1064:     /* Promote solution from float to double */
1065:     CONVERT_FLOAT4_DOUBLE4(&t[idt],tmps);

1067:     /* Apply reordering to t and stream into x.    */
1068:     /* This way, x doesn't pollute the cache.      */
1069:     /* Be careful with size: 2 doubles = 4 floats! */
1070:     idc = 4*(*c--);
1071:     SSE_INLINE_BEGIN_2((float*)&t[idt],(float*)&x[idc])
1072:     /*  x[idc]   = t[idt];   x[1+idc] = t[1+idc]; */
1073:     SSE_LOAD_PS(SSE_ARG_1,FLOAT_0,XMM0)
1074:     SSE_STREAM_PS(SSE_ARG_2,FLOAT_0,XMM0)
1075:     /*  x[idc+2] = t[idt+2]; x[3+idc] = t[3+idc]; */
1076:     SSE_LOAD_PS(SSE_ARG_1,FLOAT_4,XMM1)
1077:     SSE_STREAM_PS(SSE_ARG_2,FLOAT_4,XMM1)
1078:     SSE_INLINE_END_2
1079:     v    = aa + ai16 + 16;
1080:     idt -= 4;
1081:   }

1083:   ISRestoreIndices(isrow,&rout);
1084:   ISRestoreIndices(iscol,&cout);
1085:   VecRestoreArray(bb,&b);
1086:   VecRestoreArray(xx,&x);
1087:   PetscLogFlops(2.0*16*(a->nz) - 4.0*A->cmap->n);
1088:   SSE_SCOPE_END;
1089:   return(0);
1090: }

1092: #endif

1094: PetscErrorCode MatSolve_SeqBAIJ_3_inplace(Mat A,Vec bb,Vec xx)
1095: {
1096:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
1097:   IS                iscol=a->col,isrow=a->row;
1098:   PetscErrorCode    ierr;
1099:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j;
1100:   PetscInt          i,nz,idx,idt,idc;
1101:   const PetscInt    *r,*c,*diag = a->diag,*rout,*cout;
1102:   const MatScalar   *aa=a->a,*v;
1103:   PetscScalar       *x,s1,s2,s3,x1,x2,x3,*t;
1104:   const PetscScalar *b;

1107:   VecGetArrayRead(bb,&b);
1108:   VecGetArray(xx,&x);
1109:   t    = a->solve_work;

1111:   ISGetIndices(isrow,&rout); r = rout;
1112:   ISGetIndices(iscol,&cout); c = cout + (n-1);

1114:   /* forward solve the lower triangular */
1115:   idx  = 3*(*r++);
1116:   t[0] = b[idx]; t[1] = b[1+idx]; t[2] = b[2+idx];
1117:   for (i=1; i<n; i++) {
1118:     v   = aa + 9*ai[i];
1119:     vi  = aj + ai[i];
1120:     nz  = diag[i] - ai[i];
1121:     idx = 3*(*r++);
1122:     s1  = b[idx]; s2 = b[1+idx]; s3 = b[2+idx];
1123:     while (nz--) {
1124:       idx = 3*(*vi++);
1125:       x1  = t[idx]; x2 = t[1+idx]; x3 = t[2+idx];
1126:       s1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
1127:       s2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
1128:       s3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
1129:       v  += 9;
1130:     }
1131:     idx    = 3*i;
1132:     t[idx] = s1; t[1+idx] = s2; t[2+idx] = s3;
1133:   }
1134:   /* backward solve the upper triangular */
1135:   for (i=n-1; i>=0; i--) {
1136:     v   = aa + 9*diag[i] + 9;
1137:     vi  = aj + diag[i] + 1;
1138:     nz  = ai[i+1] - diag[i] - 1;
1139:     idt = 3*i;
1140:     s1  = t[idt]; s2 = t[1+idt]; s3 = t[2+idt];
1141:     while (nz--) {
1142:       idx = 3*(*vi++);
1143:       x1  = t[idx]; x2 = t[1+idx]; x3 = t[2+idx];
1144:       s1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
1145:       s2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
1146:       s3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
1147:       v  += 9;
1148:     }
1149:     idc      = 3*(*c--);
1150:     v        = aa + 9*diag[i];
1151:     x[idc]   = t[idt]   = v[0]*s1 + v[3]*s2 + v[6]*s3;
1152:     x[1+idc] = t[1+idt] = v[1]*s1 + v[4]*s2 + v[7]*s3;
1153:     x[2+idc] = t[2+idt] = v[2]*s1 + v[5]*s2 + v[8]*s3;
1154:   }
1155:   ISRestoreIndices(isrow,&rout);
1156:   ISRestoreIndices(iscol,&cout);
1157:   VecRestoreArrayRead(bb,&b);
1158:   VecRestoreArray(xx,&x);
1159:   PetscLogFlops(2.0*9*(a->nz) - 3.0*A->cmap->n);
1160:   return(0);
1161: }

1163: PetscErrorCode MatSolve_SeqBAIJ_3(Mat A,Vec bb,Vec xx)
1164: {
1165:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
1166:   IS                iscol=a->col,isrow=a->row;
1167:   PetscErrorCode    ierr;
1168:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j,*adiag=a->diag;
1169:   PetscInt          i,nz,idx,idt,idc,m;
1170:   const PetscInt    *r,*c,*rout,*cout;
1171:   const MatScalar   *aa=a->a,*v;
1172:   PetscScalar       *x,s1,s2,s3,x1,x2,x3,*t;
1173:   const PetscScalar *b;

1176:   VecGetArrayRead(bb,&b);
1177:   VecGetArray(xx,&x);
1178:   t    = a->solve_work;

1180:   ISGetIndices(isrow,&rout); r = rout;
1181:   ISGetIndices(iscol,&cout); c = cout;

1183:   /* forward solve the lower triangular */
1184:   idx  = 3*r[0];
1185:   t[0] = b[idx]; t[1] = b[1+idx]; t[2] = b[2+idx];
1186:   for (i=1; i<n; i++) {
1187:     v   = aa + 9*ai[i];
1188:     vi  = aj + ai[i];
1189:     nz  = ai[i+1] - ai[i];
1190:     idx = 3*r[i];
1191:     s1  = b[idx]; s2 = b[1+idx]; s3 = b[2+idx];
1192:     for (m=0; m<nz; m++) {
1193:       idx = 3*vi[m];
1194:       x1  = t[idx]; x2 = t[1+idx]; x3 = t[2+idx];
1195:       s1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
1196:       s2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
1197:       s3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
1198:       v  += 9;
1199:     }
1200:     idx    = 3*i;
1201:     t[idx] = s1; t[1+idx] = s2; t[2+idx] = s3;
1202:   }
1203:   /* backward solve the upper triangular */
1204:   for (i=n-1; i>=0; i--) {
1205:     v   = aa + 9*(adiag[i+1]+1);
1206:     vi  = aj + adiag[i+1]+1;
1207:     nz  = adiag[i] - adiag[i+1] - 1;
1208:     idt = 3*i;
1209:     s1  = t[idt]; s2 = t[1+idt]; s3 = t[2+idt];
1210:     for (m=0; m<nz; m++) {
1211:       idx = 3*vi[m];
1212:       x1  = t[idx]; x2 = t[1+idx]; x3 = t[2+idx];
1213:       s1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
1214:       s2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
1215:       s3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
1216:       v  += 9;
1217:     }
1218:     idc      = 3*c[i];
1219:     x[idc]   = t[idt]   = v[0]*s1 + v[3]*s2 + v[6]*s3;
1220:     x[1+idc] = t[1+idt] = v[1]*s1 + v[4]*s2 + v[7]*s3;
1221:     x[2+idc] = t[2+idt] = v[2]*s1 + v[5]*s2 + v[8]*s3;
1222:   }
1223:   ISRestoreIndices(isrow,&rout);
1224:   ISRestoreIndices(iscol,&cout);
1225:   VecRestoreArrayRead(bb,&b);
1226:   VecRestoreArray(xx,&x);
1227:   PetscLogFlops(2.0*9*(a->nz) - 3.0*A->cmap->n);
1228:   return(0);
1229: }

1231: PetscErrorCode MatSolve_SeqBAIJ_2_inplace(Mat A,Vec bb,Vec xx)
1232: {
1233:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
1234:   IS                iscol=a->col,isrow=a->row;
1235:   PetscErrorCode    ierr;
1236:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j;
1237:   PetscInt          i,nz,idx,idt,idc;
1238:   const PetscInt    *r,*c,*diag = a->diag,*rout,*cout;
1239:   const MatScalar   *aa=a->a,*v;
1240:   PetscScalar       *x,s1,s2,x1,x2,*t;
1241:   const PetscScalar *b;

1244:   VecGetArrayRead(bb,&b);
1245:   VecGetArray(xx,&x);
1246:   t    = a->solve_work;

1248:   ISGetIndices(isrow,&rout); r = rout;
1249:   ISGetIndices(iscol,&cout); c = cout + (n-1);

1251:   /* forward solve the lower triangular */
1252:   idx  = 2*(*r++);
1253:   t[0] = b[idx]; t[1] = b[1+idx];
1254:   for (i=1; i<n; i++) {
1255:     v   = aa + 4*ai[i];
1256:     vi  = aj + ai[i];
1257:     nz  = diag[i] - ai[i];
1258:     idx = 2*(*r++);
1259:     s1  = b[idx]; s2 = b[1+idx];
1260:     while (nz--) {
1261:       idx = 2*(*vi++);
1262:       x1  = t[idx]; x2 = t[1+idx];
1263:       s1 -= v[0]*x1 + v[2]*x2;
1264:       s2 -= v[1]*x1 + v[3]*x2;
1265:       v  += 4;
1266:     }
1267:     idx    = 2*i;
1268:     t[idx] = s1; t[1+idx] = s2;
1269:   }
1270:   /* backward solve the upper triangular */
1271:   for (i=n-1; i>=0; i--) {
1272:     v   = aa + 4*diag[i] + 4;
1273:     vi  = aj + diag[i] + 1;
1274:     nz  = ai[i+1] - diag[i] - 1;
1275:     idt = 2*i;
1276:     s1  = t[idt]; s2 = t[1+idt];
1277:     while (nz--) {
1278:       idx = 2*(*vi++);
1279:       x1  = t[idx]; x2 = t[1+idx];
1280:       s1 -= v[0]*x1 + v[2]*x2;
1281:       s2 -= v[1]*x1 + v[3]*x2;
1282:       v  += 4;
1283:     }
1284:     idc      = 2*(*c--);
1285:     v        = aa + 4*diag[i];
1286:     x[idc]   = t[idt]   = v[0]*s1 + v[2]*s2;
1287:     x[1+idc] = t[1+idt] = v[1]*s1 + v[3]*s2;
1288:   }
1289:   ISRestoreIndices(isrow,&rout);
1290:   ISRestoreIndices(iscol,&cout);
1291:   VecRestoreArrayRead(bb,&b);
1292:   VecRestoreArray(xx,&x);
1293:   PetscLogFlops(2.0*4*(a->nz) - 2.0*A->cmap->n);
1294:   return(0);
1295: }

1297: PetscErrorCode MatSolve_SeqBAIJ_2(Mat A,Vec bb,Vec xx)
1298: {
1299:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
1300:   IS                iscol=a->col,isrow=a->row;
1301:   PetscErrorCode    ierr;
1302:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j,*adiag=a->diag;
1303:   PetscInt          i,nz,idx,jdx,idt,idc,m;
1304:   const PetscInt    *r,*c,*rout,*cout;
1305:   const MatScalar   *aa=a->a,*v;
1306:   PetscScalar       *x,s1,s2,x1,x2,*t;
1307:   const PetscScalar *b;

1310:   VecGetArrayRead(bb,&b);
1311:   VecGetArray(xx,&x);
1312:   t    = a->solve_work;

1314:   ISGetIndices(isrow,&rout); r = rout;
1315:   ISGetIndices(iscol,&cout); c = cout;

1317:   /* forward solve the lower triangular */
1318:   idx  = 2*r[0];
1319:   t[0] = b[idx]; t[1] = b[1+idx];
1320:   for (i=1; i<n; i++) {
1321:     v   = aa + 4*ai[i];
1322:     vi  = aj + ai[i];
1323:     nz  = ai[i+1] - ai[i];
1324:     idx = 2*r[i];
1325:     s1  = b[idx]; s2 = b[1+idx];
1326:     for (m=0; m<nz; m++) {
1327:       jdx = 2*vi[m];
1328:       x1  = t[jdx]; x2 = t[1+jdx];
1329:       s1 -= v[0]*x1 + v[2]*x2;
1330:       s2 -= v[1]*x1 + v[3]*x2;
1331:       v  += 4;
1332:     }
1333:     idx    = 2*i;
1334:     t[idx] = s1; t[1+idx] = s2;
1335:   }
1336:   /* backward solve the upper triangular */
1337:   for (i=n-1; i>=0; i--) {
1338:     v   = aa + 4*(adiag[i+1]+1);
1339:     vi  = aj + adiag[i+1]+1;
1340:     nz  = adiag[i] - adiag[i+1] - 1;
1341:     idt = 2*i;
1342:     s1  = t[idt]; s2 = t[1+idt];
1343:     for (m=0; m<nz; m++) {
1344:       idx = 2*vi[m];
1345:       x1  = t[idx]; x2 = t[1+idx];
1346:       s1 -= v[0]*x1 + v[2]*x2;
1347:       s2 -= v[1]*x1 + v[3]*x2;
1348:       v  += 4;
1349:     }
1350:     idc      = 2*c[i];
1351:     x[idc]   = t[idt]   = v[0]*s1 + v[2]*s2;
1352:     x[1+idc] = t[1+idt] = v[1]*s1 + v[3]*s2;
1353:   }
1354:   ISRestoreIndices(isrow,&rout);
1355:   ISRestoreIndices(iscol,&cout);
1356:   VecRestoreArrayRead(bb,&b);
1357:   VecRestoreArray(xx,&x);
1358:   PetscLogFlops(2.0*4*(a->nz) - 2.0*A->cmap->n);
1359:   return(0);
1360: }

1362: PetscErrorCode MatSolve_SeqBAIJ_1_inplace(Mat A,Vec bb,Vec xx)
1363: {
1364:   Mat_SeqBAIJ       *a   =(Mat_SeqBAIJ*)A->data;
1365:   IS                iscol=a->col,isrow=a->row;
1366:   PetscErrorCode    ierr;
1367:   const PetscInt    n=a->mbs,*vi,*ai=a->i,*aj=a->j;
1368:   PetscInt          i,nz;
1369:   const PetscInt    *r,*c,*diag = a->diag,*rout,*cout;
1370:   const MatScalar   *aa=a->a,*v;
1371:   PetscScalar       *x,s1,*t;
1372:   const PetscScalar *b;

1375:   if (!n) return(0);

1377:   VecGetArrayRead(bb,&b);
1378:   VecGetArray(xx,&x);
1379:   t    = a->solve_work;

1381:   ISGetIndices(isrow,&rout); r = rout;
1382:   ISGetIndices(iscol,&cout); c = cout + (n-1);

1384:   /* forward solve the lower triangular */
1385:   t[0] = b[*r++];
1386:   for (i=1; i<n; i++) {
1387:     v  = aa + ai[i];
1388:     vi = aj + ai[i];
1389:     nz = diag[i] - ai[i];
1390:     s1 = b[*r++];
1391:     while (nz--) {
1392:       s1 -= (*v++)*t[*vi++];
1393:     }
1394:     t[i] = s1;
1395:   }
1396:   /* backward solve the upper triangular */
1397:   for (i=n-1; i>=0; i--) {
1398:     v  = aa + diag[i] + 1;
1399:     vi = aj + diag[i] + 1;
1400:     nz = ai[i+1] - diag[i] - 1;
1401:     s1 = t[i];
1402:     while (nz--) {
1403:       s1 -= (*v++)*t[*vi++];
1404:     }
1405:     x[*c--] = t[i] = aa[diag[i]]*s1;
1406:   }

1408:   ISRestoreIndices(isrow,&rout);
1409:   ISRestoreIndices(iscol,&cout);
1410:   VecRestoreArrayRead(bb,&b);
1411:   VecRestoreArray(xx,&x);
1412:   PetscLogFlops(2.0*1*(a->nz) - A->cmap->n);
1413:   return(0);
1414: }

1416: PetscErrorCode MatSolve_SeqBAIJ_1(Mat A,Vec bb,Vec xx)
1417: {
1418:   Mat_SeqBAIJ       *a    = (Mat_SeqBAIJ*)A->data;
1419:   IS                iscol = a->col,isrow = a->row;
1420:   PetscErrorCode    ierr;
1421:   PetscInt          i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,*adiag = a->diag,nz;
1422:   const PetscInt    *rout,*cout,*r,*c;
1423:   PetscScalar       *x,*tmp,sum;
1424:   const PetscScalar *b;
1425:   const MatScalar   *aa = a->a,*v;

1428:   if (!n) return(0);

1430:   VecGetArrayRead(bb,&b);
1431:   VecGetArray(xx,&x);
1432:   tmp  = a->solve_work;

1434:   ISGetIndices(isrow,&rout); r = rout;
1435:   ISGetIndices(iscol,&cout); c = cout;

1437:   /* forward solve the lower triangular */
1438:   tmp[0] = b[r[0]];
1439:   v      = aa;
1440:   vi     = aj;
1441:   for (i=1; i<n; i++) {
1442:     nz  = ai[i+1] - ai[i];
1443:     sum = b[r[i]];
1444:     PetscSparseDenseMinusDot(sum,tmp,v,vi,nz);
1445:     tmp[i] = sum;
1446:     v     += nz; vi += nz;
1447:   }

1449:   /* backward solve the upper triangular */
1450:   for (i=n-1; i>=0; i--) {
1451:     v   = aa + adiag[i+1]+1;
1452:     vi  = aj + adiag[i+1]+1;
1453:     nz  = adiag[i]-adiag[i+1]-1;
1454:     sum = tmp[i];
1455:     PetscSparseDenseMinusDot(sum,tmp,v,vi,nz);
1456:     x[c[i]] = tmp[i] = sum*v[nz]; /* v[nz] = aa[adiag[i]] */
1457:   }

1459:   ISRestoreIndices(isrow,&rout);
1460:   ISRestoreIndices(iscol,&cout);
1461:   VecRestoreArrayRead(bb,&b);
1462:   VecRestoreArray(xx,&x);
1463:   PetscLogFlops(2*a->nz - A->cmap->n);
1464:   return(0);
1465: }