xref: /petsc/src/mat/impls/baij/seq/dgefa4.c (revision 99148ece0868be782a23610f29fe806ec3933521)
1*99148eceSKris Buschelman /*$Id: dgefa4.c,v 1.15 2001/03/23 23:22:07 balay Exp buschelm $*/
24224c193SBarry Smith /*
38a36c062SBarry Smith        Inverts 4 by 4 matrix using partial pivoting.
471c5468dSBarry Smith 
571c5468dSBarry Smith        Used by the sparse factorization routines in
671c5468dSBarry Smith      src/mat/impls/baij/seq and src/mat/impls/bdiag/seq
771c5468dSBarry Smith 
871c5468dSBarry Smith        See also src/inline/ilu.h
971c5468dSBarry Smith 
1071c5468dSBarry Smith        This is a combination of the Linpack routines
1171c5468dSBarry Smith     dgefa() and dgedi() specialized for a size of 4.
1271c5468dSBarry Smith 
134224c193SBarry Smith */
144224c193SBarry Smith #include "petsc.h"
154224c193SBarry Smith 
164a2ae208SSatish Balay #undef __FUNCT__
174a2ae208SSatish Balay #define __FUNCT__ "Kernel_A_gets_inverse_A_4"
183f1db9ecSBarry Smith int Kernel_A_gets_inverse_A_4(MatScalar *a)
194224c193SBarry Smith {
208a36c062SBarry Smith     int        i__2,i__3,kp1,j,k,l,ll,i,ipvt_l[4],*ipvt = ipvt_l-1,kb,k3;
214224c193SBarry Smith     int        k4,j3;
223f1db9ecSBarry Smith     MatScalar  *aa,*ax,*ay,work_l[16],*work = work_l-1,stmp;
23329f5518SBarry Smith     MatReal    tmp,max;
244224c193SBarry Smith 
254224c193SBarry Smith /*     gaussian elimination with partial pivoting */
264224c193SBarry Smith 
273a40ed3dSBarry Smith     PetscFunctionBegin;
284224c193SBarry Smith     /* Parameter adjustments */
298a36c062SBarry Smith     a       -= 5;
304224c193SBarry Smith 
318a36c062SBarry Smith     for (k = 1; k <= 3; ++k) {
324224c193SBarry Smith         kp1 = k + 1;
338a36c062SBarry Smith         k3  = 4*k;
344224c193SBarry Smith         k4  = k3 + k;
354224c193SBarry Smith /*        find l = pivot index */
364224c193SBarry Smith 
374224c193SBarry Smith         i__2 = 4 - k;
384224c193SBarry Smith         aa = &a[k4];
394224c193SBarry Smith         max = PetscAbsScalar(aa[0]);
404224c193SBarry Smith         l = 1;
414224c193SBarry Smith         for (ll=1; ll<i__2; ll++) {
424224c193SBarry Smith           tmp = PetscAbsScalar(aa[ll]);
434224c193SBarry Smith           if (tmp > max) { max = tmp; l = ll+1;}
444224c193SBarry Smith         }
454224c193SBarry Smith         l       += k - 1;
464224c193SBarry Smith         ipvt[k] = l;
474224c193SBarry Smith 
484224c193SBarry Smith         if (a[l + k3] == 0.) {
4929bbc08cSBarry Smith           SETERRQ(k,"Zero pivot");
504224c193SBarry Smith         }
514224c193SBarry Smith 
524224c193SBarry Smith /*           interchange if necessary */
534224c193SBarry Smith 
544224c193SBarry Smith         if (l != k) {
554224c193SBarry Smith           stmp      = a[l + k3];
564224c193SBarry Smith           a[l + k3] = a[k4];
574224c193SBarry Smith           a[k4]     = stmp;
584224c193SBarry Smith         }
594224c193SBarry Smith 
604224c193SBarry Smith /*           compute multipliers */
614224c193SBarry Smith 
624224c193SBarry Smith         stmp = -1. / a[k4];
638a36c062SBarry Smith         i__2 = 4 - k;
644224c193SBarry Smith         aa = &a[1 + k4];
654224c193SBarry Smith         for (ll=0; ll<i__2; ll++) {
664224c193SBarry Smith           aa[ll] *= stmp;
674224c193SBarry Smith         }
684224c193SBarry Smith 
694224c193SBarry Smith /*           row elimination with column indexing */
704224c193SBarry Smith 
714224c193SBarry Smith         ax = &a[k4+1];
728a36c062SBarry Smith         for (j = kp1; j <= 4; ++j) {
738a36c062SBarry Smith             j3   = 4*j;
744224c193SBarry Smith             stmp = a[l + j3];
754224c193SBarry Smith             if (l != k) {
764224c193SBarry Smith               a[l + j3] = a[k + j3];
774224c193SBarry Smith               a[k + j3] = stmp;
784224c193SBarry Smith             }
794224c193SBarry Smith 
808a36c062SBarry Smith             i__3 = 4 - k;
814224c193SBarry Smith             ay = &a[1+k+j3];
824224c193SBarry Smith             for (ll=0; ll<i__3; ll++) {
834224c193SBarry Smith               ay[ll] += stmp*ax[ll];
844224c193SBarry Smith             }
854224c193SBarry Smith         }
864224c193SBarry Smith     }
878a36c062SBarry Smith     ipvt[4] = 4;
888a36c062SBarry Smith     if (a[20] == 0.) {
8929bbc08cSBarry Smith         SETERRQ(3,"Zero pivot,final row");
904224c193SBarry Smith     }
914224c193SBarry Smith 
924224c193SBarry Smith     /*
934224c193SBarry Smith          Now form the inverse
944224c193SBarry Smith     */
954224c193SBarry Smith 
964224c193SBarry Smith    /*     compute inverse(u) */
974224c193SBarry Smith 
988a36c062SBarry Smith     for (k = 1; k <= 4; ++k) {
998a36c062SBarry Smith         k3    = 4*k;
1004224c193SBarry Smith         k4    = k3 + k;
1014224c193SBarry Smith         a[k4] = 1.0 / a[k4];
1024224c193SBarry Smith         stmp  = -a[k4];
1034224c193SBarry Smith         i__2  = k - 1;
1044224c193SBarry Smith         aa    = &a[k3 + 1];
1054224c193SBarry Smith         for (ll=0; ll<i__2; ll++) aa[ll] *= stmp;
1064224c193SBarry Smith         kp1 = k + 1;
1078a36c062SBarry Smith         if (4 < kp1) continue;
1084224c193SBarry Smith         ax = aa;
1098a36c062SBarry Smith         for (j = kp1; j <= 4; ++j) {
1108a36c062SBarry Smith             j3        = 4*j;
1114224c193SBarry Smith             stmp      = a[k + j3];
1124224c193SBarry Smith             a[k + j3] = 0.0;
1134224c193SBarry Smith             ay        = &a[j3 + 1];
1144224c193SBarry Smith             for (ll=0; ll<k; ll++) {
1154224c193SBarry Smith               ay[ll] += stmp*ax[ll];
1164224c193SBarry Smith             }
1174224c193SBarry Smith         }
1184224c193SBarry Smith     }
1194224c193SBarry Smith 
1204224c193SBarry Smith    /*    form inverse(u)*inverse(l) */
1214224c193SBarry Smith 
1228a36c062SBarry Smith     for (kb = 1; kb <= 3; ++kb) {
1238a36c062SBarry Smith         k   = 4 - kb;
1248a36c062SBarry Smith         k3  = 4*k;
1254224c193SBarry Smith         kp1 = k + 1;
1264224c193SBarry Smith         aa  = a + k3;
1278a36c062SBarry Smith         for (i = kp1; i <= 4; ++i) {
128f3f07278SSatish Balay             work_l[i-1] = aa[i];
129f3f07278SSatish Balay             /* work[i] = aa[i]; Fix for -O3 error on Origin 2000 */
1304224c193SBarry Smith             aa[i]   = 0.0;
1314224c193SBarry Smith         }
1328a36c062SBarry Smith         for (j = kp1; j <= 4; ++j) {
1334224c193SBarry Smith             stmp  = work[j];
1348a36c062SBarry Smith             ax    = &a[4*j + 1];
1354224c193SBarry Smith             ay    = &a[k3 + 1];
1364224c193SBarry Smith             ay[0] += stmp*ax[0];
1374224c193SBarry Smith             ay[1] += stmp*ax[1];
1384224c193SBarry Smith             ay[2] += stmp*ax[2];
1398a36c062SBarry Smith             ay[3] += stmp*ax[3];
1404224c193SBarry Smith         }
1414224c193SBarry Smith         l = ipvt[k];
1424224c193SBarry Smith         if (l != k) {
1434224c193SBarry Smith             ax = &a[k3 + 1];
1448a36c062SBarry Smith             ay = &a[4*l + 1];
1454224c193SBarry Smith             stmp = ax[0]; ax[0] = ay[0]; ay[0] = stmp;
1464224c193SBarry Smith             stmp = ax[1]; ax[1] = ay[1]; ay[1] = stmp;
1474224c193SBarry Smith             stmp = ax[2]; ax[2] = ay[2]; ay[2] = stmp;
1488a36c062SBarry Smith             stmp = ax[3]; ax[3] = ay[3]; ay[3] = stmp;
1494224c193SBarry Smith         }
1504224c193SBarry Smith     }
1513a40ed3dSBarry Smith     PetscFunctionReturn(0);
1524224c193SBarry Smith }
1534224c193SBarry Smith 
154*99148eceSKris Buschelman #ifdef PETSC_HAVE_ICL_SSE
155*99148eceSKris Buschelman #include "xmmintrin.h"
156*99148eceSKris Buschelman 
157*99148eceSKris Buschelman #undef __FUNCT__
158*99148eceSKris Buschelman #define __FUNCT__ "Kernel_A_gets_inverse_A_4SSE"
159*99148eceSKris Buschelman int Kernel_A_gets_inverse_A_4SSE(float *a)
160*99148eceSKris Buschelman {
161*99148eceSKris Buschelman   /*
162*99148eceSKris Buschelman      This routine is taken from Intel's Small Matrix Library.
163*99148eceSKris Buschelman      See: Streaming SIMD Extensions -- Inverse of 4x4 Matrix
164*99148eceSKris Buschelman      Order Number: 245043-001
165*99148eceSKris Buschelman      March 1999
166*99148eceSKris Buschelman      http://www.intel.com
167*99148eceSKris Buschelman 
168*99148eceSKris Buschelman      Note: Intel's SML uses row-wise storage for these small matrices,
169*99148eceSKris Buschelman      and PETSc uses column-wise storage.  However since inv(A')=(inv(A))'
170*99148eceSKris Buschelman      the same code can be used here.
171*99148eceSKris Buschelman 
172*99148eceSKris Buschelman      Inverse of a 4x4 matrix via Kramer's Rule:
173*99148eceSKris Buschelman      bool Invert4x4(SMLXMatrix &);
174*99148eceSKris Buschelman   */
175*99148eceSKris Buschelman   __m128 minor0, minor1, minor2, minor3;
176*99148eceSKris Buschelman   __m128 row0, row1, row2, row3;
177*99148eceSKris Buschelman   __m128 det, tmp1;
178*99148eceSKris Buschelman 
179*99148eceSKris Buschelman   PetscFunctionBegin;
180*99148eceSKris Buschelman   tmp1 = _mm_loadh_pi(_mm_loadl_pi(tmp1, (__m64*)(a)), (__m64*)(a+ 4));
181*99148eceSKris Buschelman   row1 = _mm_loadh_pi(_mm_loadl_pi(row1, (__m64*)(a+8)), (__m64*)(a+12));
182*99148eceSKris Buschelman   row0 = _mm_shuffle_ps(tmp1, row1, 0x88);
183*99148eceSKris Buschelman   row1 = _mm_shuffle_ps(row1, tmp1, 0xDD);
184*99148eceSKris Buschelman   tmp1 = _mm_loadh_pi(_mm_loadl_pi(tmp1, (__m64*)(a+ 2)), (__m64*)(a+ 6));
185*99148eceSKris Buschelman   row3 = _mm_loadh_pi(_mm_loadl_pi(row3, (__m64*)(a+10)), (__m64*)(a+14));
186*99148eceSKris Buschelman   row2 = _mm_shuffle_ps(tmp1, row3, 0x88);
187*99148eceSKris Buschelman   row3 = _mm_shuffle_ps(row3, tmp1, 0xDD);
188*99148eceSKris Buschelman   /* ----------------------------------------------- */
189*99148eceSKris Buschelman   tmp1 = _mm_mul_ps(row2, row3);
190*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
191*99148eceSKris Buschelman   minor0 = _mm_mul_ps(row1, tmp1);
192*99148eceSKris Buschelman   minor1 = _mm_mul_ps(row0, tmp1);
193*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
194*99148eceSKris Buschelman   minor0 = _mm_sub_ps(_mm_mul_ps(row1, tmp1), minor0);
195*99148eceSKris Buschelman   minor1 = _mm_sub_ps(_mm_mul_ps(row0, tmp1), minor1);
196*99148eceSKris Buschelman   minor1 = _mm_shuffle_ps(minor1, minor1, 0x4E);
197*99148eceSKris Buschelman   /* ----------------------------------------------- */
198*99148eceSKris Buschelman   tmp1 = _mm_mul_ps(row1, row2);
199*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
200*99148eceSKris Buschelman   minor0 = _mm_add_ps(_mm_mul_ps(row3, tmp1), minor0);
201*99148eceSKris Buschelman   minor3 = _mm_mul_ps(row0, tmp1);
202*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
203*99148eceSKris Buschelman   minor0 = _mm_sub_ps(minor0, _mm_mul_ps(row3, tmp1));
204*99148eceSKris Buschelman   minor3 = _mm_sub_ps(_mm_mul_ps(row0, tmp1), minor3);
205*99148eceSKris Buschelman   minor3 = _mm_shuffle_ps(minor3, minor3, 0x4E);
206*99148eceSKris Buschelman   /* ----------------------------------------------- */
207*99148eceSKris Buschelman   tmp1 = _mm_mul_ps(_mm_shuffle_ps(row1, row1, 0x4E), row3);
208*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
209*99148eceSKris Buschelman   row2 = _mm_shuffle_ps(row2, row2, 0x4E);
210*99148eceSKris Buschelman   minor0 = _mm_add_ps(_mm_mul_ps(row2, tmp1), minor0);
211*99148eceSKris Buschelman   minor2 = _mm_mul_ps(row0, tmp1);
212*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
213*99148eceSKris Buschelman   minor0 = _mm_sub_ps(minor0, _mm_mul_ps(row2, tmp1));
214*99148eceSKris Buschelman   minor2 = _mm_sub_ps(_mm_mul_ps(row0, tmp1), minor2);
215*99148eceSKris Buschelman   minor2 = _mm_shuffle_ps(minor2, minor2, 0x4E);
216*99148eceSKris Buschelman   /* ----------------------------------------------- */
217*99148eceSKris Buschelman   tmp1 = _mm_mul_ps(row0, row1);
218*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
219*99148eceSKris Buschelman   minor2 = _mm_add_ps(_mm_mul_ps(row3, tmp1), minor2);
220*99148eceSKris Buschelman   minor3 = _mm_sub_ps(_mm_mul_ps(row2, tmp1), minor3);
221*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
222*99148eceSKris Buschelman   minor2 = _mm_sub_ps(_mm_mul_ps(row3, tmp1), minor2);
223*99148eceSKris Buschelman   minor3 = _mm_sub_ps(minor3, _mm_mul_ps(row2, tmp1));
224*99148eceSKris Buschelman   /* ----------------------------------------------- */
225*99148eceSKris Buschelman   tmp1 = _mm_mul_ps(row0, row3);
226*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
227*99148eceSKris Buschelman   minor1 = _mm_sub_ps(minor1, _mm_mul_ps(row2, tmp1));
228*99148eceSKris Buschelman   minor2 = _mm_add_ps(_mm_mul_ps(row1, tmp1), minor2);
229*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
230*99148eceSKris Buschelman   minor1 = _mm_add_ps(_mm_mul_ps(row2, tmp1), minor1);
231*99148eceSKris Buschelman   minor2 = _mm_sub_ps(minor2, _mm_mul_ps(row1, tmp1));
232*99148eceSKris Buschelman   /* ----------------------------------------------- */
233*99148eceSKris Buschelman   tmp1 = _mm_mul_ps(row0, row2);
234*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
235*99148eceSKris Buschelman   minor1 = _mm_add_ps(_mm_mul_ps(row3, tmp1), minor1);
236*99148eceSKris Buschelman   minor3 = _mm_sub_ps(minor3, _mm_mul_ps(row1, tmp1));
237*99148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
238*99148eceSKris Buschelman   minor1 = _mm_sub_ps(minor1, _mm_mul_ps(row3, tmp1));
239*99148eceSKris Buschelman   minor3 = _mm_add_ps(_mm_mul_ps(row1, tmp1), minor3);
240*99148eceSKris Buschelman   /* ----------------------------------------------- */
241*99148eceSKris Buschelman   det = _mm_mul_ps(row0, minor0);
242*99148eceSKris Buschelman   det = _mm_add_ps(_mm_shuffle_ps(det, det, 0x4E), det);
243*99148eceSKris Buschelman   det = _mm_add_ss(_mm_shuffle_ps(det, det, 0xB1), det);
244*99148eceSKris Buschelman   tmp1 = _mm_rcp_ss(det);
245*99148eceSKris Buschelman   det = _mm_sub_ss(_mm_add_ss(tmp1, tmp1), _mm_mul_ss(det, _mm_mul_ss(tmp1, tmp1)));
246*99148eceSKris Buschelman   det = _mm_shuffle_ps(det, det, 0x00);
247*99148eceSKris Buschelman   minor0 = _mm_mul_ps(det, minor0);
248*99148eceSKris Buschelman   _mm_storel_pi((__m64*)(a), minor0);
249*99148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+2), minor0);
250*99148eceSKris Buschelman   minor1 = _mm_mul_ps(det, minor1);
251*99148eceSKris Buschelman   _mm_storel_pi((__m64*)(a+4), minor1);
252*99148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+6), minor1);
253*99148eceSKris Buschelman   minor2 = _mm_mul_ps(det, minor2);
254*99148eceSKris Buschelman   _mm_storel_pi((__m64*)(a+ 8), minor2);
255*99148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+10), minor2);
256*99148eceSKris Buschelman   minor3 = _mm_mul_ps(det, minor3);
257*99148eceSKris Buschelman   _mm_storel_pi((__m64*)(a+12), minor3);
258*99148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+14), minor3);
259*99148eceSKris Buschelman   PetscFunctionReturn(0);
260*99148eceSKris Buschelman }
261*99148eceSKris Buschelman 
262*99148eceSKris Buschelman #endif
263*99148eceSKris Buschelman 
264*99148eceSKris Buschelman 
265