Branch data     Line data    Source code

       1                 :             : /* @(#)s_floor.c 5.1 93/09/24 */
       2                 :             : /*
       3                 :             :  * ====================================================
       4                 :             :  * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
       5                 :             :  *
       6                 :             :  * Developed at SunPro, a Sun Microsystems, Inc. business.
       7                 :             :  * Permission to use, copy, modify, and distribute this
       8                 :             :  * software is freely granted, provided that this notice
       9                 :             :  * is preserved.
      10                 :             :  * ====================================================
      11                 :             :  */
      12                 :             : 
      13                 :             : #include "cdefs-compat.h"
      14                 :             : //__FBSDID("$FreeBSD: src/lib/msun/src/s_floor.c,v 1.11 2008/02/15 07:01:40 bde Exp $");
      15                 :             : 
      16                 :             : /*
      17                 :             :  * floor(x)
      18                 :             :  * Return x rounded toward -inf to integral value
      19                 :             :  * Method:
      20                 :             :  *      Bit twiddling.
      21                 :             :  * Exception:
      22                 :             :  *      Inexact flag raised if x not equal to floor(x).
      23                 :             :  */
      24                 :             : 
      25                 :             : #include <float.h>
      26                 :             : #include <openlibm_math.h>
      27                 :             : 
      28                 :             : #include "math_private.h"
      29                 :             : 
      30                 :             : static const double huge = 1.0e300;
      31                 :             : 
      32                 :             : OLM_DLLEXPORT double
      33                 :          66 : floor(double x)
      34                 :             : {
      35                 :             :         int32_t i0,i1,j0;
      36                 :             :         u_int32_t i,j;
      37                 :          66 :         EXTRACT_WORDS(i0,i1,x);
      38                 :          66 :         j0 = ((i0>>20)&0x7ff)-0x3ff;
      39         [ +  + ]:          66 :         if(j0<20) {
      40         [ +  + ]:          44 :             if(j0<0) {       /* raise inexact if x != 0 */
      41         [ +  - ]:          30 :                 if(huge+x>0.0) {/* return 0*sign(x) if |x|<1 */
      42         [ +  + ]:          30 :                     if(i0>=0) {i0=i1=0;}
      43         [ -  + ]:           1 :                     else if(((i0&0x7fffffff)|i1)!=0)
      44                 :           0 :                         { i0=0xbff00000;i1=0;}
      45                 :             :                 }
      46                 :             :             } else {
      47                 :          14 :                 i = (0x000fffff)>>j0;
      48         [ +  + ]:          14 :                 if(((i0&i)|i1)==0) return x; /* x is integral */
      49         [ +  - ]:          12 :                 if(huge+x>0.0) {     /* raise inexact flag */
      50         [ +  + ]:          12 :                     if(i0<0) i0 += (0x00100000)>>j0;
      51                 :          12 :                     i0 &= (~i); i1=0;
      52                 :             :                 }
      53                 :             :             }
      54         [ +  + ]:          22 :         } else if (j0>51) {
      55         [ +  + ]:           7 :             if(j0==0x400) return x+x;   /* inf or NaN */
      56                 :           4 :             else return x;              /* x is integral */
      57                 :             :         } else {
      58                 :          15 :             i = ((u_int32_t)(0xffffffff))>>(j0-20);
      59         [ +  + ]:          15 :             if((i1&i)==0) return x; /* x is integral */
      60         [ +  - ]:          10 :             if(huge+x>0.0) {                 /* raise inexact flag */
      61         [ -  + ]:          10 :                 if(i0<0) {
      62         [ #  # ]:           0 :                     if(j0==20) i0+=1;
      63                 :             :                     else {
      64                 :           0 :                         j = i1+(1<<(52-j0));
      65         [ #  # ]:           0 :                         if(j<i1) i0 +=1 ;    /* got a carry */
      66                 :           0 :                         i1=j;
      67                 :             :                     }
      68                 :             :                 }
      69                 :          10 :                 i1 &= (~i);
      70                 :             :             }
      71                 :             :         }
      72                 :          52 :         INSERT_WORDS(x,i0,i1);
      73                 :          52 :         return x;
      74                 :             : }
      75                 :             : 
      76                 :             : #if LDBL_MANT_DIG == 53
      77                 :             : openlibm_weak_reference(floor, floorl);
      78                 :             : #endif