initial cmath code and minor libm.h update
[libm] / src / math / lround.c
1 /* origin: FreeBSD /usr/src/lib/msun/src/s_lround.c */
2 /*-
3  * Copyright (c) 2005 David Schultz <das@FreeBSD.ORG>
4  * All rights reserved.
5  *
6  * Redistribution and use in source and binary forms, with or without
7  * modification, are permitted provided that the following conditions
8  * are met:
9  * 1. Redistributions of source code must retain the above copyright
10  *    notice, this list of conditions and the following disclaimer.
11  * 2. Redistributions in binary form must reproduce the above copyright
12  *    notice, this list of conditions and the following disclaimer in the
13  *    documentation and/or other materials provided with the distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25  * SUCH DAMAGE.
26  */
27
28 #include <limits.h>
29 #include <fenv.h>
30 #include "libm.h"
31
32 #ifndef type
33 #define type            double
34 #define roundit         round
35 #define dtype           long
36 #define DTYPE_MIN       LONG_MIN
37 #define DTYPE_MAX       LONG_MAX
38 #define fn              lround
39 #endif
40
41 /*
42  * If type has more precision than dtype, the endpoints dtype_(min|max) are
43  * of the form xxx.5; they are "out of range" because lround() rounds away
44  * from 0.  On the other hand, if type has less precision than dtype, then
45  * all values that are out of range are integral, so we might as well assume
46  * that everything is in range.  At compile time, INRANGE(x) should reduce to
47  * two floating-point comparisons in the former case, or TRUE otherwise.
48  */
49 static const type dtype_min = DTYPE_MIN - 0.5;
50 static const type dtype_max = DTYPE_MAX + 0.5;
51 #define INRANGE(x) \
52  (dtype_max - DTYPE_MAX != 0.5 || ((x) > dtype_min && (x) < dtype_max))
53
54 dtype fn(type x)
55 {
56
57         if (INRANGE(x)) {
58                 x = roundit(x);
59                 return (dtype)x;
60         } else {
61                 feraiseexcept(FE_INVALID);
62                 return DTYPE_MAX;
63         }
64 }