00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040
00041
00042
00043
00044
00045
00046
00047
00048
00049
00050
00051
00052
00053
00054
00055
00056
00057
00058
00059 static char *rcs_id = "$Source: /proj/osprey/CVS/open64/osprey1.0/libm/drem.c,v $ $Revision: 1.1.1.1 $";
00060
00061 #ifdef _CALL_MATHERR
00062 #include <stdio.h>
00063 #include <math.h>
00064 #endif
00065
00066 #include "libm.h"
00067
00068 #if defined(mips) && !defined(__GNUC__)
00069
00070 #include <ieeefp.h>
00071
00072 extern fp_rnd swapRM(fp_rnd);
00073 #endif
00074
00075 #ifdef __GNUC__
00076
00077 #include <fenv.h>
00078
00079 extern int swapRM(int);
00080 #endif
00081
00082 #if defined(mips) && !defined(__GNUC__)
00083 extern double drem(double, double);
00084 extern double remainder(double, double);
00085 extern double __remainder(double, double);
00086
00087 #pragma weak drem = __drem
00088 #pragma weak remainder = __drem
00089 #pragma weak __remainder = __drem
00090 #endif
00091
00092 #if defined(BUILD_OS_DARWIN)
00093 extern double __drem( double x, double y );
00094 double drem( double x, double y ) {
00095 return __drem(x, y);
00096 }
00097 #pragma weak drem
00098 double remainder( double x, double y ) {
00099 return __remainder(x, y);
00100 }
00101 #pragma weak remainder
00102 #elif defined(__GNUC__)
00103 extern double __drem(double, double);
00104
00105 double drem() __attribute__ ((weak, alias ("__drem")));
00106
00107 extern double __remainder(double, double);
00108
00109 double remainder() __attribute__ ((weak, alias ("__remainder")));
00110
00111 #endif
00112
00113 static const du Qnan =
00114 {D(QNANHI, QNANLO)};
00115
00116 static const du twopm1021 =
00117 {D(0x00200000, 0x00000000)};
00118
00119 static const du twopm104 =
00120 {D(0x39700000, 0x00000000)};
00121
00122 static const du twop52 =
00123 {D(0x43300000, 0x00000000)};
00124
00125 static const du twop104 =
00126 {D(0x46700000, 0x00000000)};
00127
00128 static const du twop920 =
00129 {D(0x79700000, 0x00000000)};
00130
00131 #define NO 0
00132 #define YES 1
00133
00134
00135
00136
00137
00138
00139
00140
00141
00142
00143
00144 double
00145 __drem( double x, double y )
00146 {
00147 #ifdef _32BIT_MACHINE
00148
00149 int ix, iy;
00150 int xptx, xpty;
00151 int m;
00152
00153 #else
00154
00155 long long ix, iy;
00156 long long xptx, xpty;
00157 long long m;
00158
00159 #endif
00160
00161 #if defined(mips) && !defined(__GNUC__)
00162 fp_rnd rm;
00163 #endif
00164
00165 #ifdef __GNUC__
00166 int rm;
00167 #endif
00168
00169 int scaled;
00170 int signx;
00171 double nd, yhi, ylo;
00172 double y1;
00173 double result;
00174 int n, q;
00175 #ifdef _CALL_MATHERR
00176 struct exception exstruct;
00177 #endif
00178
00179
00180
00181 #ifdef _32BIT_MACHINE
00182
00183 DBLHI2INT(x, ix);
00184 DBLHI2INT(y, iy);
00185 #else
00186 DBL2LL(x, ix);
00187 DBL2LL(y, iy);
00188 #endif
00189 xptx = (ix >> DMANTWIDTH);
00190 signx = (xptx >> DEXPWIDTH);
00191 xptx &= 0x7ff;
00192 signx &= 1;
00193
00194 xpty = (iy >> DMANTWIDTH);
00195 xpty &= 0x7ff;
00196
00197
00198
00199 if ( (xpty == 0x7ff) || (xptx == 0x7ff) )
00200 {
00201 if ( (y != y) || (x != x) )
00202 {
00203
00204
00205 #ifdef _CALL_MATHERR
00206
00207 exstruct.type = DOMAIN;
00208 exstruct.name = "drem";
00209 exstruct.arg1 = x;
00210 exstruct.arg2 = y;
00211 exstruct.retval = Qnan.d;
00212
00213 if ( matherr( &exstruct ) == 0 )
00214 {
00215 fprintf(stderr, "domain error in drem\n");
00216 SETERRNO(EDOM);
00217 }
00218
00219 return ( exstruct.retval );
00220 #else
00221 NAN_SETERRNO(EDOM);
00222
00223 return ( Qnan.d );
00224 #endif
00225 }
00226 }
00227
00228 if ( (xptx == 0x7ff) || ((xpty == 0) && (y == 0.0)) )
00229 {
00230
00231
00232 #ifdef _CALL_MATHERR
00233
00234 exstruct.type = DOMAIN;
00235 exstruct.name = "drem";
00236 exstruct.arg1 = x;
00237 exstruct.arg2 = y;
00238 exstruct.retval = Qnan.d;
00239
00240 if ( matherr( &exstruct ) == 0 )
00241 {
00242 fprintf(stderr, "domain error in drem\n");
00243 SETERRNO(EDOM);
00244 }
00245
00246 return ( exstruct.retval );
00247 #else
00248 SETERRNO(EDOM);
00249
00250 return ( Qnan.d );
00251 #endif
00252 }
00253
00254 y = fabs(y);
00255 x = fabs(x);
00256
00257
00258
00259 #if defined(mips) && !defined(__GNUC__)
00260 rm = swapRM( FP_RZ );
00261 #endif
00262
00263 #ifdef __GNUC__
00264 rm = swapRM( FE_TOWARDZERO );
00265 #endif
00266
00267 scaled = NO;
00268
00269 q = 0;
00270
00271 if ( x < y )
00272 goto L;
00273
00274 if ( xpty < 0x035 )
00275 {
00276 while ( x >= twop920.d )
00277 {
00278
00279
00280
00281
00282 y1 = twop52.d*y;
00283
00284
00285 #ifdef _32BIT_MACHINE
00286
00287 DBLHI2INT(y1, m);
00288 m &= DEXPMASK;
00289 m |= ((xptx - 25) << DMANTWIDTH);
00290 INT2DBLHI(m, y1);
00291 #else
00292 DBL2LL(y1, m);
00293 m &= DEXPMASK;
00294 m |= ((xptx - 25) << DMANTWIDTH);
00295 LL2DBL(m, y1);
00296 #endif
00297 nd = x/y1;
00298
00299 yhi = y1;
00300
00301 #ifdef _32BIT_MACHINE
00302
00303 DBLLO2INT(yhi, m);
00304 m >>= 27;
00305 m <<= 27;
00306 INT2DBLLO(m, yhi);
00307 #else
00308 DBL2LL(yhi, m);
00309 m >>= 27;
00310 m <<= 27;
00311 LL2DBL(m, yhi);
00312 #endif
00313 ylo = y1 - yhi;
00314
00315 nd = n = nd;
00316
00317 x = x - nd*yhi - nd*ylo;
00318
00319 #ifdef _32BIT_MACHINE
00320
00321 DBLHI2INT(x, ix);
00322 #else
00323 DBL2LL(x, ix);
00324 #endif
00325 xptx = (ix >> DMANTWIDTH);
00326 xptx &= 0x7ff;
00327 }
00328
00329 if ( x >= y )
00330 {
00331
00332
00333 x *= twop104.d;
00334 y *= twop104.d;
00335
00336 #ifdef _32BIT_MACHINE
00337
00338 DBLHI2INT(x, ix);
00339 DBLHI2INT(y, iy);
00340 #else
00341 DBL2LL(x, ix);
00342 DBL2LL(y, iy);
00343 #endif
00344 xptx = (ix >> DMANTWIDTH);
00345 xptx &= 0x7ff;
00346
00347 xpty = (iy >> DMANTWIDTH);
00348 xpty &= 0x7ff;
00349
00350 scaled = YES;
00351 }
00352 }
00353
00354 while ( xptx >= xpty + 26 )
00355 {
00356
00357
00358
00359 y1 = y;
00360
00361 #ifdef _32BIT_MACHINE
00362
00363 DBLHI2INT(y1, m);
00364 m &= DEXPMASK;
00365 m |= ((xptx - 25) << 20);
00366 INT2DBLHI(m, y1);
00367 #else
00368 DBL2LL(y1, m);
00369 m &= DEXPMASK;
00370 m |= ((xptx - 25) << DMANTWIDTH);
00371 LL2DBL(m, y1);
00372 #endif
00373 nd = x/y1;
00374
00375 yhi = y1;
00376
00377 #ifdef _32BIT_MACHINE
00378
00379 DBLLO2INT(yhi, m);
00380 m >>= 27;
00381 m <<= 27;
00382 INT2DBLLO(m, yhi);
00383 #else
00384 DBL2LL(yhi, m);
00385 m >>= 27;
00386 m <<= 27;
00387 LL2DBL(m, yhi);
00388 #endif
00389 ylo = y1 - yhi;
00390
00391 nd = n = nd;
00392
00393 x = x - nd*yhi - nd*ylo;
00394
00395 #ifdef _32BIT_MACHINE
00396
00397 DBLHI2INT(x, ix);
00398 #else
00399 DBL2LL(x, ix);
00400 #endif
00401 xptx = (ix >> DMANTWIDTH);
00402 xptx &= 0x7ff;
00403 }
00404
00405 if ( x >= y )
00406 {
00407 nd = x/y;
00408
00409 yhi = y;
00410
00411 #ifdef _32BIT_MACHINE
00412
00413 DBLLO2INT(yhi, m);
00414 m >>= 27;
00415 m <<= 27;
00416 INT2DBLLO(m, yhi);
00417 #else
00418 DBL2LL(yhi, m);
00419 m >>= 27;
00420 m <<= 27;
00421 LL2DBL(m, yhi);
00422 #endif
00423 ylo = y - yhi;
00424
00425 nd = n = nd;
00426 q ^= n;
00427
00428 x = x - nd*yhi - nd*ylo;
00429 }
00430
00431 L:
00432 if ( y > twopm1021.d )
00433 {
00434 if ( x < 0.5*y )
00435 {
00436 result = x;
00437 }
00438 else if ( (x > 0.5*y) || (q & 1) )
00439 {
00440 result = x - y;
00441 }
00442 else
00443 {
00444 result = x;
00445 }
00446 }
00447 else
00448 {
00449 if ( 2.0*x < y )
00450 {
00451 result = x;
00452 }
00453 else if ( (2.0*x > y) || (q & 1) )
00454 {
00455 result = x - y;
00456 }
00457 else
00458 {
00459 result = x;
00460 }
00461 }
00462
00463 if ( scaled == YES )
00464 result *= twopm104.d;
00465
00466 rm = swapRM( rm );
00467
00468 if ( signx != 0 )
00469 result = -result;
00470
00471 return ( result );
00472 }
00473
00474 #ifdef __GNUC__
00475
00476 double
00477 __remainder( double x, double y )
00478 {
00479 return ( __drem(x, y) );
00480 }
00481
00482 #endif
00483
00484 #ifdef NO_LONG_DOUBLE
00485
00486 #if defined(BUILD_OS_DARWIN)
00487 long double dreml( long double x, long double y ) {
00488 return __dreml(x, y);
00489 }
00490 #pragma weak dreml
00491 long double remainderl( long double x, long double y ) {
00492 return __remainderl(x, y);
00493 }
00494 #pragma weak remainderl
00495 #elif defined(__GNUC__)
00496 extern long double __dreml(long double, long double);
00497
00498 long double dreml() __attribute__ ((weak, alias ("__dreml")));
00499
00500 extern long double __remainderl(long double, long double);
00501
00502 long double remainderl() __attribute__ ((weak, alias ("__remainderl")));
00503
00504 #endif
00505
00506 long double
00507 __dreml( long double x, long double y )
00508 {
00509 return ( (long double)__drem((double)x, (double)y) );
00510 }
00511
00512 long double
00513 __remainderl( long double x, long double y )
00514 {
00515 return ( (long double)__remainder((double)x, (double)y) );
00516 }
00517
00518 #endif
00519