Branch data Line data Source code
1 : : /* s_floorf.c -- float version of s_floor.c.
2 : : * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
3 : : */
4 : :
5 : : /*
6 : : * ====================================================
7 : : * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
8 : : *
9 : : * Developed at SunPro, a Sun Microsystems, Inc. business.
10 : : * Permission to use, copy, modify, and distribute this
11 : : * software is freely granted, provided that this notice
12 : : * is preserved.
13 : : * ====================================================
14 : : */
15 : :
16 : : #include "cdefs-compat.h"
17 : : //__FBSDID("$FreeBSD: src/lib/msun/src/s_floorf.c,v 1.8 2008/02/22 02:30:35 das Exp $");
18 : :
19 : : /*
20 : : * floorf(x)
21 : : * Return x rounded toward -inf to integral value
22 : : * Method:
23 : : * Bit twiddling.
24 : : * Exception:
25 : : * Inexact flag raised if x not equal to floorf(x).
26 : : */
27 : :
28 : : #include <openlibm_math.h>
29 : :
30 : : #include "math_private.h"
31 : :
32 : : static const float huge = 1.0e30;
33 : :
34 : : OLM_DLLEXPORT float
35 : 58 : floorf(float x)
36 : : {
37 : : int32_t i0,j0;
38 : : u_int32_t i;
39 : 58 : GET_FLOAT_WORD(i0,x);
40 : 58 : j0 = ((i0>>23)&0xff)-0x7f;
41 [ + + ]: 58 : if(j0<23) {
42 [ + + ]: 47 : if(j0<0) { /* raise inexact if x != 0 */
43 [ + - ]: 30 : if(huge+x>(float)0.0) {/* return 0*sign(x) if |x|<1 */
44 [ + + ]: 30 : if(i0>=0) {i0=0;}
45 [ - + ]: 4 : else if((i0&0x7fffffff)!=0)
46 : 0 : { i0=0xbf800000;}
47 : : }
48 : : } else {
49 : 17 : i = (0x007fffff)>>j0;
50 [ + + ]: 17 : if((i0&i)==0) return x; /* x is integral */
51 [ + - ]: 14 : if(huge+x>(float)0.0) { /* raise inexact flag */
52 [ + + ]: 14 : if(i0<0) i0 += (0x00800000)>>j0;
53 : 14 : i0 &= (~i);
54 : : }
55 : : }
56 : : } else {
57 [ + + ]: 11 : if(j0==0x80) return x+x; /* inf or NaN */
58 : 8 : else return x; /* x is integral */
59 : : }
60 : 44 : SET_FLOAT_WORD(x,i0);
61 : 44 : return x;
62 : : }
|