1 |
786 |
skrzyp |
//===========================================================================
|
2 |
|
|
//
|
3 |
|
|
// e_remainder.c
|
4 |
|
|
//
|
5 |
|
|
// Part of the standard mathematical function library
|
6 |
|
|
//
|
7 |
|
|
//===========================================================================
|
8 |
|
|
// ####ECOSGPLCOPYRIGHTBEGIN####
|
9 |
|
|
// -------------------------------------------
|
10 |
|
|
// This file is part of eCos, the Embedded Configurable Operating System.
|
11 |
|
|
// Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
|
12 |
|
|
//
|
13 |
|
|
// eCos is free software; you can redistribute it and/or modify it under
|
14 |
|
|
// the terms of the GNU General Public License as published by the Free
|
15 |
|
|
// Software Foundation; either version 2 or (at your option) any later
|
16 |
|
|
// version.
|
17 |
|
|
//
|
18 |
|
|
// eCos is distributed in the hope that it will be useful, but WITHOUT
|
19 |
|
|
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
20 |
|
|
// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
21 |
|
|
// for more details.
|
22 |
|
|
//
|
23 |
|
|
// You should have received a copy of the GNU General Public License
|
24 |
|
|
// along with eCos; if not, write to the Free Software Foundation, Inc.,
|
25 |
|
|
// 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
26 |
|
|
//
|
27 |
|
|
// As a special exception, if other files instantiate templates or use
|
28 |
|
|
// macros or inline functions from this file, or you compile this file
|
29 |
|
|
// and link it with other works to produce a work based on this file,
|
30 |
|
|
// this file does not by itself cause the resulting work to be covered by
|
31 |
|
|
// the GNU General Public License. However the source code for this file
|
32 |
|
|
// must still be made available in accordance with section (3) of the GNU
|
33 |
|
|
// General Public License v2.
|
34 |
|
|
//
|
35 |
|
|
// This exception does not invalidate any other reasons why a work based
|
36 |
|
|
// on this file might be covered by the GNU General Public License.
|
37 |
|
|
// -------------------------------------------
|
38 |
|
|
// ####ECOSGPLCOPYRIGHTEND####
|
39 |
|
|
//===========================================================================
|
40 |
|
|
//#####DESCRIPTIONBEGIN####
|
41 |
|
|
//
|
42 |
|
|
// Author(s): jlarmour
|
43 |
|
|
// Contributors: jlarmour
|
44 |
|
|
// Date: 1998-02-13
|
45 |
|
|
// Purpose:
|
46 |
|
|
// Description:
|
47 |
|
|
// Usage:
|
48 |
|
|
//
|
49 |
|
|
//####DESCRIPTIONEND####
|
50 |
|
|
//
|
51 |
|
|
//===========================================================================
|
52 |
|
|
|
53 |
|
|
// CONFIGURATION
|
54 |
|
|
|
55 |
|
|
#include <pkgconf/libm.h> // Configuration header
|
56 |
|
|
|
57 |
|
|
// Include the Math library?
|
58 |
|
|
#ifdef CYGPKG_LIBM
|
59 |
|
|
|
60 |
|
|
// Derived from code with the following copyright
|
61 |
|
|
|
62 |
|
|
|
63 |
|
|
/* @(#)e_remainder.c 1.3 95/01/18 */
|
64 |
|
|
/*
|
65 |
|
|
* ====================================================
|
66 |
|
|
* Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
|
67 |
|
|
*
|
68 |
|
|
* Developed at SunSoft, a Sun Microsystems, Inc. business.
|
69 |
|
|
* Permission to use, copy, modify, and distribute this
|
70 |
|
|
* software is freely granted, provided that this notice
|
71 |
|
|
* is preserved.
|
72 |
|
|
* ====================================================
|
73 |
|
|
*/
|
74 |
|
|
|
75 |
|
|
/* __ieee754_remainder(x,p)
|
76 |
|
|
* Return :
|
77 |
|
|
* returns x REM p = x - [x/p]*p as if in infinite
|
78 |
|
|
* precise arithmetic, where [x/p] is the (infinite bit)
|
79 |
|
|
* integer nearest x/p (in half way case choose the even one).
|
80 |
|
|
* Method :
|
81 |
|
|
* Based on fmod() return x-[x/p]chopped*p exactlp.
|
82 |
|
|
*/
|
83 |
|
|
|
84 |
|
|
#include "mathincl/fdlibm.h"
|
85 |
|
|
|
86 |
|
|
static const double zero = 0.0;
|
87 |
|
|
|
88 |
|
|
|
89 |
|
|
double __ieee754_remainder(double x, double p)
|
90 |
|
|
{
|
91 |
|
|
int hx,hp;
|
92 |
|
|
unsigned sx,lx,lp;
|
93 |
|
|
double p_half;
|
94 |
|
|
|
95 |
|
|
hx = CYG_LIBM_HI(x); /* high word of x */
|
96 |
|
|
lx = CYG_LIBM_LO(x); /* low word of x */
|
97 |
|
|
hp = CYG_LIBM_HI(p); /* high word of p */
|
98 |
|
|
lp = CYG_LIBM_LO(p); /* low word of p */
|
99 |
|
|
sx = hx&0x80000000;
|
100 |
|
|
hp &= 0x7fffffff;
|
101 |
|
|
hx &= 0x7fffffff;
|
102 |
|
|
|
103 |
|
|
/* purge off exception values */
|
104 |
|
|
if((hp|lp)==0) return (x*p)/(x*p); /* p = 0 */
|
105 |
|
|
if((hx>=0x7ff00000)|| /* x not finite */
|
106 |
|
|
((hp>=0x7ff00000)&& /* p is NaN */
|
107 |
|
|
(((hp-0x7ff00000)|lp)!=0)))
|
108 |
|
|
return (x*p)/(x*p);
|
109 |
|
|
|
110 |
|
|
|
111 |
|
|
if (hp<=0x7fdfffff) x = __ieee754_fmod(x,p+p); /* now x < 2p */
|
112 |
|
|
if (((hx-hp)|(lx-lp))==0) return zero*x;
|
113 |
|
|
x = fabs(x);
|
114 |
|
|
p = fabs(p);
|
115 |
|
|
if (hp<0x00200000) {
|
116 |
|
|
if(x+x>p) {
|
117 |
|
|
x-=p;
|
118 |
|
|
if(x+x>=p) x -= p;
|
119 |
|
|
}
|
120 |
|
|
} else {
|
121 |
|
|
p_half = 0.5*p;
|
122 |
|
|
if(x>p_half) {
|
123 |
|
|
x-=p;
|
124 |
|
|
if(x>=p_half) x -= p;
|
125 |
|
|
}
|
126 |
|
|
}
|
127 |
|
|
CYG_LIBM_HI(x) ^= sx;
|
128 |
|
|
return x;
|
129 |
|
|
}
|
130 |
|
|
|
131 |
|
|
#endif // ifdef CYGPKG_LIBM
|
132 |
|
|
|
133 |
|
|
// EOF e_remainder.c
|