13a8617a8SJordan K. Hubbard /*
23a8617a8SJordan K. Hubbard * ====================================================
33a8617a8SJordan K. Hubbard * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
43a8617a8SJordan K. Hubbard *
53a8617a8SJordan K. Hubbard * Developed at SunPro, a Sun Microsystems, Inc. business.
63a8617a8SJordan K. Hubbard * Permission to use, copy, modify, and distribute this
73a8617a8SJordan K. Hubbard * software is freely granted, provided that this notice
83a8617a8SJordan K. Hubbard * is preserved.
93a8617a8SJordan K. Hubbard * ====================================================
103a8617a8SJordan K. Hubbard */
113a8617a8SJordan K. Hubbard
123a8617a8SJordan K. Hubbard /*
133a8617a8SJordan K. Hubbard * modf(double x, double *iptr)
143a8617a8SJordan K. Hubbard * return fraction part of x, and return x's integral part in *iptr.
153a8617a8SJordan K. Hubbard * Method:
163a8617a8SJordan K. Hubbard * Bit twiddling.
173a8617a8SJordan K. Hubbard *
183a8617a8SJordan K. Hubbard * Exception:
193a8617a8SJordan K. Hubbard * No exception.
203a8617a8SJordan K. Hubbard */
213a8617a8SJordan K. Hubbard
223a8617a8SJordan K. Hubbard #include "math.h"
233a8617a8SJordan K. Hubbard #include "math_private.h"
243a8617a8SJordan K. Hubbard
253a8617a8SJordan K. Hubbard static const double one = 1.0;
263a8617a8SJordan K. Hubbard
2759b19ff1SAlfred Perlstein double
modf(double x,double * iptr)2859b19ff1SAlfred Perlstein modf(double x, double *iptr)
293a8617a8SJordan K. Hubbard {
303a8617a8SJordan K. Hubbard int32_t i0,i1,j0;
313a8617a8SJordan K. Hubbard u_int32_t i;
323a8617a8SJordan K. Hubbard EXTRACT_WORDS(i0,i1,x);
333a8617a8SJordan K. Hubbard j0 = ((i0>>20)&0x7ff)-0x3ff; /* exponent of x */
343a8617a8SJordan K. Hubbard if(j0<20) { /* integer part in high x */
353a8617a8SJordan K. Hubbard if(j0<0) { /* |x|<1 */
363a8617a8SJordan K. Hubbard INSERT_WORDS(*iptr,i0&0x80000000,0); /* *iptr = +-0 */
373a8617a8SJordan K. Hubbard return x;
383a8617a8SJordan K. Hubbard } else {
393a8617a8SJordan K. Hubbard i = (0x000fffff)>>j0;
403a8617a8SJordan K. Hubbard if(((i0&i)|i1)==0) { /* x is integral */
413a8617a8SJordan K. Hubbard u_int32_t high;
423a8617a8SJordan K. Hubbard *iptr = x;
433a8617a8SJordan K. Hubbard GET_HIGH_WORD(high,x);
443a8617a8SJordan K. Hubbard INSERT_WORDS(x,high&0x80000000,0); /* return +-0 */
453a8617a8SJordan K. Hubbard return x;
463a8617a8SJordan K. Hubbard } else {
473a8617a8SJordan K. Hubbard INSERT_WORDS(*iptr,i0&(~i),0);
483a8617a8SJordan K. Hubbard return x - *iptr;
493a8617a8SJordan K. Hubbard }
503a8617a8SJordan K. Hubbard }
513a8617a8SJordan K. Hubbard } else if (j0>51) { /* no fraction part */
523a8617a8SJordan K. Hubbard u_int32_t high;
539fa229fcSDavid Schultz if (j0 == 0x400) { /* inf/NaN */
549fa229fcSDavid Schultz *iptr = x;
559fa229fcSDavid Schultz return 0.0 / x;
569fa229fcSDavid Schultz }
573a8617a8SJordan K. Hubbard *iptr = x*one;
583a8617a8SJordan K. Hubbard GET_HIGH_WORD(high,x);
593a8617a8SJordan K. Hubbard INSERT_WORDS(x,high&0x80000000,0); /* return +-0 */
603a8617a8SJordan K. Hubbard return x;
613a8617a8SJordan K. Hubbard } else { /* fraction part in low x */
623a8617a8SJordan K. Hubbard i = ((u_int32_t)(0xffffffff))>>(j0-20);
633a8617a8SJordan K. Hubbard if((i1&i)==0) { /* x is integral */
643a8617a8SJordan K. Hubbard u_int32_t high;
653a8617a8SJordan K. Hubbard *iptr = x;
663a8617a8SJordan K. Hubbard GET_HIGH_WORD(high,x);
673a8617a8SJordan K. Hubbard INSERT_WORDS(x,high&0x80000000,0); /* return +-0 */
683a8617a8SJordan K. Hubbard return x;
693a8617a8SJordan K. Hubbard } else {
703a8617a8SJordan K. Hubbard INSERT_WORDS(*iptr,i0,i1&(~i));
713a8617a8SJordan K. Hubbard return x - *iptr;
723a8617a8SJordan K. Hubbard }
733a8617a8SJordan K. Hubbard }
743a8617a8SJordan K. Hubbard }
75