xref: /petsc/src/mat/impls/baij/seq/dgefa4.c (revision b48ee34328f226b69ca2f67c56325c0edf9cf680)
1*b48ee343SBarry Smith /*$Id: dgefa4.c,v 1.17 2001/04/07 15:40:47 bsmith Exp bsmith $*/
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 {
20da10e913SBarry Smith     int        i__2,i__3,kp1,j,k,l,ll,i,ipvt[4],kb,k3;
214224c193SBarry Smith     int        k4,j3;
22*b48ee343SBarry Smith     MatScalar  *aa,*ax,*ay,work[16],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;
46da10e913SBarry Smith         ipvt[k-1] = 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     }
87da10e913SBarry Smith     ipvt[3] = 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) {
128*b48ee343SBarry Smith             work[i-1] = aa[i];
1294224c193SBarry Smith             aa[i]   = 0.0;
1304224c193SBarry Smith         }
1318a36c062SBarry Smith         for (j = kp1; j <= 4; ++j) {
132*b48ee343SBarry Smith             stmp  = work[j-1];
1338a36c062SBarry Smith             ax    = &a[4*j + 1];
1344224c193SBarry Smith             ay    = &a[k3 + 1];
1354224c193SBarry Smith             ay[0] += stmp*ax[0];
1364224c193SBarry Smith             ay[1] += stmp*ax[1];
1374224c193SBarry Smith             ay[2] += stmp*ax[2];
1388a36c062SBarry Smith             ay[3] += stmp*ax[3];
1394224c193SBarry Smith         }
140da10e913SBarry Smith         l = ipvt[k-1];
1414224c193SBarry Smith         if (l != k) {
1424224c193SBarry Smith             ax = &a[k3 + 1];
1438a36c062SBarry Smith             ay = &a[4*l + 1];
1444224c193SBarry Smith             stmp = ax[0]; ax[0] = ay[0]; ay[0] = stmp;
1454224c193SBarry Smith             stmp = ax[1]; ax[1] = ay[1]; ay[1] = stmp;
1464224c193SBarry Smith             stmp = ax[2]; ax[2] = ay[2]; ay[2] = stmp;
1478a36c062SBarry Smith             stmp = ax[3]; ax[3] = ay[3]; ay[3] = stmp;
1484224c193SBarry Smith         }
1494224c193SBarry Smith     }
1503a40ed3dSBarry Smith     PetscFunctionReturn(0);
1514224c193SBarry Smith }
1524224c193SBarry Smith 
15399148eceSKris Buschelman #ifdef PETSC_HAVE_ICL_SSE
15499148eceSKris Buschelman #include "xmmintrin.h"
15599148eceSKris Buschelman 
15699148eceSKris Buschelman #undef __FUNCT__
15799148eceSKris Buschelman #define __FUNCT__ "Kernel_A_gets_inverse_A_4SSE"
15899148eceSKris Buschelman int Kernel_A_gets_inverse_A_4SSE(float *a)
15999148eceSKris Buschelman {
16099148eceSKris Buschelman   /*
16199148eceSKris Buschelman      This routine is taken from Intel's Small Matrix Library.
16299148eceSKris Buschelman      See: Streaming SIMD Extensions -- Inverse of 4x4 Matrix
16399148eceSKris Buschelman      Order Number: 245043-001
16499148eceSKris Buschelman      March 1999
16599148eceSKris Buschelman      http://www.intel.com
16699148eceSKris Buschelman 
16799148eceSKris Buschelman      Note: Intel's SML uses row-wise storage for these small matrices,
16899148eceSKris Buschelman      and PETSc uses column-wise storage.  However since inv(A')=(inv(A))'
16999148eceSKris Buschelman      the same code can be used here.
17099148eceSKris Buschelman 
17199148eceSKris Buschelman      Inverse of a 4x4 matrix via Kramer's Rule:
17299148eceSKris Buschelman      bool Invert4x4(SMLXMatrix &);
17399148eceSKris Buschelman   */
17499148eceSKris Buschelman   __m128 minor0, minor1, minor2, minor3;
17599148eceSKris Buschelman   __m128 row0, row1, row2, row3;
17699148eceSKris Buschelman   __m128 det, tmp1;
17799148eceSKris Buschelman 
17899148eceSKris Buschelman   PetscFunctionBegin;
17999148eceSKris Buschelman   tmp1 = _mm_loadh_pi(_mm_loadl_pi(tmp1, (__m64*)(a)), (__m64*)(a+ 4));
18099148eceSKris Buschelman   row1 = _mm_loadh_pi(_mm_loadl_pi(row1, (__m64*)(a+8)), (__m64*)(a+12));
18199148eceSKris Buschelman   row0 = _mm_shuffle_ps(tmp1, row1, 0x88);
18299148eceSKris Buschelman   row1 = _mm_shuffle_ps(row1, tmp1, 0xDD);
18399148eceSKris Buschelman   tmp1 = _mm_loadh_pi(_mm_loadl_pi(tmp1, (__m64*)(a+ 2)), (__m64*)(a+ 6));
18499148eceSKris Buschelman   row3 = _mm_loadh_pi(_mm_loadl_pi(row3, (__m64*)(a+10)), (__m64*)(a+14));
18599148eceSKris Buschelman   row2 = _mm_shuffle_ps(tmp1, row3, 0x88);
18699148eceSKris Buschelman   row3 = _mm_shuffle_ps(row3, tmp1, 0xDD);
18799148eceSKris Buschelman   /* ----------------------------------------------- */
18899148eceSKris Buschelman   tmp1 = _mm_mul_ps(row2, row3);
18999148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
19099148eceSKris Buschelman   minor0 = _mm_mul_ps(row1, tmp1);
19199148eceSKris Buschelman   minor1 = _mm_mul_ps(row0, tmp1);
19299148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
19399148eceSKris Buschelman   minor0 = _mm_sub_ps(_mm_mul_ps(row1, tmp1), minor0);
19499148eceSKris Buschelman   minor1 = _mm_sub_ps(_mm_mul_ps(row0, tmp1), minor1);
19599148eceSKris Buschelman   minor1 = _mm_shuffle_ps(minor1, minor1, 0x4E);
19699148eceSKris Buschelman   /* ----------------------------------------------- */
19799148eceSKris Buschelman   tmp1 = _mm_mul_ps(row1, row2);
19899148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
19999148eceSKris Buschelman   minor0 = _mm_add_ps(_mm_mul_ps(row3, tmp1), minor0);
20099148eceSKris Buschelman   minor3 = _mm_mul_ps(row0, tmp1);
20199148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
20299148eceSKris Buschelman   minor0 = _mm_sub_ps(minor0, _mm_mul_ps(row3, tmp1));
20399148eceSKris Buschelman   minor3 = _mm_sub_ps(_mm_mul_ps(row0, tmp1), minor3);
20499148eceSKris Buschelman   minor3 = _mm_shuffle_ps(minor3, minor3, 0x4E);
20599148eceSKris Buschelman   /* ----------------------------------------------- */
20699148eceSKris Buschelman   tmp1 = _mm_mul_ps(_mm_shuffle_ps(row1, row1, 0x4E), row3);
20799148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
20899148eceSKris Buschelman   row2 = _mm_shuffle_ps(row2, row2, 0x4E);
20999148eceSKris Buschelman   minor0 = _mm_add_ps(_mm_mul_ps(row2, tmp1), minor0);
21099148eceSKris Buschelman   minor2 = _mm_mul_ps(row0, tmp1);
21199148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
21299148eceSKris Buschelman   minor0 = _mm_sub_ps(minor0, _mm_mul_ps(row2, tmp1));
21399148eceSKris Buschelman   minor2 = _mm_sub_ps(_mm_mul_ps(row0, tmp1), minor2);
21499148eceSKris Buschelman   minor2 = _mm_shuffle_ps(minor2, minor2, 0x4E);
21599148eceSKris Buschelman   /* ----------------------------------------------- */
21699148eceSKris Buschelman   tmp1 = _mm_mul_ps(row0, row1);
21799148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
21899148eceSKris Buschelman   minor2 = _mm_add_ps(_mm_mul_ps(row3, tmp1), minor2);
21999148eceSKris Buschelman   minor3 = _mm_sub_ps(_mm_mul_ps(row2, tmp1), minor3);
22099148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
22199148eceSKris Buschelman   minor2 = _mm_sub_ps(_mm_mul_ps(row3, tmp1), minor2);
22299148eceSKris Buschelman   minor3 = _mm_sub_ps(minor3, _mm_mul_ps(row2, tmp1));
22399148eceSKris Buschelman   /* ----------------------------------------------- */
22499148eceSKris Buschelman   tmp1 = _mm_mul_ps(row0, row3);
22599148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
22699148eceSKris Buschelman   minor1 = _mm_sub_ps(minor1, _mm_mul_ps(row2, tmp1));
22799148eceSKris Buschelman   minor2 = _mm_add_ps(_mm_mul_ps(row1, tmp1), minor2);
22899148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
22999148eceSKris Buschelman   minor1 = _mm_add_ps(_mm_mul_ps(row2, tmp1), minor1);
23099148eceSKris Buschelman   minor2 = _mm_sub_ps(minor2, _mm_mul_ps(row1, tmp1));
23199148eceSKris Buschelman   /* ----------------------------------------------- */
23299148eceSKris Buschelman   tmp1 = _mm_mul_ps(row0, row2);
23399148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0xB1);
23499148eceSKris Buschelman   minor1 = _mm_add_ps(_mm_mul_ps(row3, tmp1), minor1);
23599148eceSKris Buschelman   minor3 = _mm_sub_ps(minor3, _mm_mul_ps(row1, tmp1));
23699148eceSKris Buschelman   tmp1 = _mm_shuffle_ps(tmp1, tmp1, 0x4E);
23799148eceSKris Buschelman   minor1 = _mm_sub_ps(minor1, _mm_mul_ps(row3, tmp1));
23899148eceSKris Buschelman   minor3 = _mm_add_ps(_mm_mul_ps(row1, tmp1), minor3);
23999148eceSKris Buschelman   /* ----------------------------------------------- */
24099148eceSKris Buschelman   det = _mm_mul_ps(row0, minor0);
24199148eceSKris Buschelman   det = _mm_add_ps(_mm_shuffle_ps(det, det, 0x4E), det);
24299148eceSKris Buschelman   det = _mm_add_ss(_mm_shuffle_ps(det, det, 0xB1), det);
24399148eceSKris Buschelman   tmp1 = _mm_rcp_ss(det);
24499148eceSKris Buschelman   det = _mm_sub_ss(_mm_add_ss(tmp1, tmp1), _mm_mul_ss(det, _mm_mul_ss(tmp1, tmp1)));
24599148eceSKris Buschelman   det = _mm_shuffle_ps(det, det, 0x00);
24699148eceSKris Buschelman   minor0 = _mm_mul_ps(det, minor0);
24799148eceSKris Buschelman   _mm_storel_pi((__m64*)(a), minor0);
24899148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+2), minor0);
24999148eceSKris Buschelman   minor1 = _mm_mul_ps(det, minor1);
25099148eceSKris Buschelman   _mm_storel_pi((__m64*)(a+4), minor1);
25199148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+6), minor1);
25299148eceSKris Buschelman   minor2 = _mm_mul_ps(det, minor2);
25399148eceSKris Buschelman   _mm_storel_pi((__m64*)(a+ 8), minor2);
25499148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+10), minor2);
25599148eceSKris Buschelman   minor3 = _mm_mul_ps(det, minor3);
25699148eceSKris Buschelman   _mm_storel_pi((__m64*)(a+12), minor3);
25799148eceSKris Buschelman   _mm_storeh_pi((__m64*)(a+14), minor3);
25899148eceSKris Buschelman   PetscFunctionReturn(0);
25999148eceSKris Buschelman }
26099148eceSKris Buschelman 
26199148eceSKris Buschelman #endif
26299148eceSKris Buschelman 
26399148eceSKris Buschelman 
264