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