xref: /freebsd/lib/libc/gen/fpclassify.c (revision fed1ca4b719c56c930f2259d80663cd34be812bb)
1 /*-
2  * Copyright (c) 2003 Mike Barcroft <mike@FreeBSD.org>
3  * Copyright (c) 2002, 2003 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  * $FreeBSD$
28  */
29 
30 #include <sys/endian.h>
31 
32 #include <machine/float.h>
33 
34 #include <math.h>
35 #include <stdint.h>
36 
37 #include "fpmath.h"
38 
39 int
40 __fpclassifyf(float f)
41 {
42 	union IEEEf2bits u;
43 
44 	u.f = f;
45 	if (u.bits.exp == 0) {
46 		if (u.bits.man == 0)
47 			return (FP_ZERO);
48 		return (FP_SUBNORMAL);
49 	}
50 	if (u.bits.exp == 255) {
51 		if (u.bits.man == 0)
52 			return (FP_INFINITE);
53 		return (FP_NAN);
54 	}
55 	return (FP_NORMAL);
56 }
57 
58 int
59 __fpclassifyd(double d)
60 {
61 	union IEEEd2bits u;
62 
63 	u.d = d;
64 	if (u.bits.exp == 0) {
65 		if ((u.bits.manl | u.bits.manh) == 0)
66 			return (FP_ZERO);
67 		return (FP_SUBNORMAL);
68 	}
69 	if (u.bits.exp == 2047) {
70 		if ((u.bits.manl | u.bits.manh) == 0)
71 			return (FP_INFINITE);
72 		return (FP_NAN);
73 	}
74 	return (FP_NORMAL);
75 }
76 
77 int
78 __fpclassifyl(long double e)
79 {
80 	union IEEEl2bits u;
81 
82 	u.e = e;
83 	if (u.bits.exp == 0) {
84 		if ((u.bits.manl | u.bits.manh) == 0)
85 			return (FP_ZERO);
86 		return (FP_SUBNORMAL);
87 	}
88 	mask_nbit_l(u);		/* Mask normalization bit if applicable. */
89 #if LDBL_MANT_DIG == 53
90 	if (u.bits.exp == 2047) {
91 		if ((u.bits.manl | u.bits.manh) == 0)
92 			return (FP_INFINITE);
93 		return (FP_NAN);
94 	}
95 #else
96 	if (u.bits.exp == 32767) {
97 		if ((u.bits.manl | u.bits.manh) == 0)
98 			return (FP_INFINITE);
99 		return (FP_NAN);
100 	}
101 #endif
102 	return (FP_NORMAL);
103 }
104