17ffaea80SDavid Schultz /*
27ffaea80SDavid Schultz * ====================================================
37ffaea80SDavid Schultz * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
47ffaea80SDavid Schultz *
57ffaea80SDavid Schultz * Developed at SunPro, a Sun Microsystems, Inc. business.
67ffaea80SDavid Schultz * Permission to use, copy, modify, and distribute this
77ffaea80SDavid Schultz * software is freely granted, provided that this notice
87ffaea80SDavid Schultz * is preserved.
97ffaea80SDavid Schultz * ====================================================
107ffaea80SDavid Schultz */
117ffaea80SDavid Schultz
127ffaea80SDavid Schultz /*
137ffaea80SDavid Schultz * trunc(x)
147ffaea80SDavid Schultz * Return x rounded toward 0 to integral value
157ffaea80SDavid Schultz * Method:
167ffaea80SDavid Schultz * Bit twiddling.
177ffaea80SDavid Schultz * Exception:
187ffaea80SDavid Schultz * Inexact flag raised if x not equal to trunc(x).
197ffaea80SDavid Schultz */
207ffaea80SDavid Schultz
2163b4a1f8SBruce Evans #include <float.h>
2263b4a1f8SBruce Evans
237ffaea80SDavid Schultz #include "math.h"
247ffaea80SDavid Schultz #include "math_private.h"
257ffaea80SDavid Schultz
267ffaea80SDavid Schultz static const double huge = 1.0e300;
277ffaea80SDavid Schultz
287ffaea80SDavid Schultz double
trunc(double x)297ffaea80SDavid Schultz trunc(double x)
307ffaea80SDavid Schultz {
317ffaea80SDavid Schultz int32_t i0,i1,j0;
32fab324dfSDavid Schultz u_int32_t i;
337ffaea80SDavid Schultz EXTRACT_WORDS(i0,i1,x);
347ffaea80SDavid Schultz j0 = ((i0>>20)&0x7ff)-0x3ff;
357ffaea80SDavid Schultz if(j0<20) {
367ffaea80SDavid Schultz if(j0<0) { /* raise inexact if x != 0 */
377ffaea80SDavid Schultz if(huge+x>0.0) {/* |x|<1, so return 0*sign(x) */
387ffaea80SDavid Schultz i0 &= 0x80000000U;
397ffaea80SDavid Schultz i1 = 0;
407ffaea80SDavid Schultz }
417ffaea80SDavid Schultz } else {
427ffaea80SDavid Schultz i = (0x000fffff)>>j0;
437ffaea80SDavid Schultz if(((i0&i)|i1)==0) return x; /* x is integral */
447ffaea80SDavid Schultz if(huge+x>0.0) { /* raise inexact flag */
457ffaea80SDavid Schultz i0 &= (~i); i1=0;
467ffaea80SDavid Schultz }
477ffaea80SDavid Schultz }
487ffaea80SDavid Schultz } else if (j0>51) {
497ffaea80SDavid Schultz if(j0==0x400) return x+x; /* inf or NaN */
507ffaea80SDavid Schultz else return x; /* x is integral */
517ffaea80SDavid Schultz } else {
527ffaea80SDavid Schultz i = ((u_int32_t)(0xffffffff))>>(j0-20);
537ffaea80SDavid Schultz if((i1&i)==0) return x; /* x is integral */
547ffaea80SDavid Schultz if(huge+x>0.0) /* raise inexact flag */
557ffaea80SDavid Schultz i1 &= (~i);
567ffaea80SDavid Schultz }
577ffaea80SDavid Schultz INSERT_WORDS(x,i0,i1);
587ffaea80SDavid Schultz return x;
597ffaea80SDavid Schultz }
605014f8deSBruce Evans
615014f8deSBruce Evans #if LDBL_MANT_DIG == 53
625014f8deSBruce Evans __weak_reference(trunc, truncl);
635014f8deSBruce Evans #endif
64