]>
Commit | Line | Data |
---|---|---|
f7eac6eb RM |
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 | |
cccda09f | 8 | * software is freely granted, provided that this notice |
f7eac6eb RM |
9 | * is preserved. |
10 | * ==================================================== | |
11 | */ | |
12 | ||
f7eac6eb RM |
13 | /* |
14 | * floor(x) | |
15 | * Return x rounded toward -inf to integral value | |
16 | * Method: | |
17 | * Bit twiddling. | |
18 | * Exception: | |
19 | * Inexact flag raised if x not equal to floor(x). | |
20 | */ | |
21 | ||
22 | #include "math.h" | |
23 | #include "math_private.h" | |
24 | ||
25 | #ifdef __STDC__ | |
26 | static const double huge = 1.0e300; | |
27 | #else | |
28 | static double huge = 1.0e300; | |
29 | #endif | |
30 | ||
31 | #ifdef __STDC__ | |
32 | double __floor(double x) | |
33 | #else | |
34 | double __floor(x) | |
35 | double x; | |
36 | #endif | |
37 | { | |
38 | int32_t i0,i1,j0; | |
39 | u_int32_t i,j; | |
40 | EXTRACT_WORDS(i0,i1,x); | |
41 | j0 = ((i0>>20)&0x7ff)-0x3ff; | |
42 | if(j0<20) { | |
ad0f5cad | 43 | if(j0<0) { /* raise inexact if x != 0 */ |
f7eac6eb | 44 | if(huge+x>0.0) {/* return 0*sign(x) if |x|<1 */ |
cccda09f | 45 | if(i0>=0) {i0=i1=0;} |
f7eac6eb RM |
46 | else if(((i0&0x7fffffff)|i1)!=0) |
47 | { i0=0xbff00000;i1=0;} | |
48 | } | |
49 | } else { | |
50 | i = (0x000fffff)>>j0; | |
51 | if(((i0&i)|i1)==0) return x; /* x is integral */ | |
52 | if(huge+x>0.0) { /* raise inexact flag */ | |
53 | if(i0<0) i0 += (0x00100000)>>j0; | |
54 | i0 &= (~i); i1=0; | |
55 | } | |
56 | } | |
57 | } else if (j0>51) { | |
58 | if(j0==0x400) return x+x; /* inf or NaN */ | |
59 | else return x; /* x is integral */ | |
60 | } else { | |
61 | i = ((u_int32_t)(0xffffffff))>>(j0-20); | |
62 | if((i1&i)==0) return x; /* x is integral */ | |
ad0f5cad | 63 | if(huge+x>0.0) { /* raise inexact flag */ |
f7eac6eb | 64 | if(i0<0) { |
cccda09f | 65 | if(j0==20) i0+=1; |
f7eac6eb RM |
66 | else { |
67 | j = i1+(1<<(52-j0)); | |
ad0f5cad | 68 | if(j<i1) i0 +=1 ; /* got a carry */ |
f7eac6eb RM |
69 | i1=j; |
70 | } | |
71 | } | |
72 | i1 &= (~i); | |
73 | } | |
74 | } | |
75 | INSERT_WORDS(x,i0,i1); | |
76 | return x; | |
77 | } | |
ad0f5cad | 78 | #ifndef __floor |
f7eac6eb | 79 | weak_alias (__floor, floor) |
ad0f5cad | 80 | # ifdef NO_LONG_DOUBLE |
cccda09f UD |
81 | strong_alias (__floor, __floorl) |
82 | weak_alias (__floor, floorl) | |
ad0f5cad | 83 | # endif |
cccda09f | 84 | #endif |