xref: /freebsd/lib/libc/gen/fpclassify.c (revision 4d846d260e2b9a3d4d0a701462568268cbfe7a5b)
18cf5ed51SMike Barcroft /*-
2*4d846d26SWarner Losh  * SPDX-License-Identifier: BSD-2-Clause
3d915a14eSPedro F. Giffuni  *
48cf5ed51SMike Barcroft  * Copyright (c) 2003 Mike Barcroft <mike@FreeBSD.org>
5f154b03bSDavid Schultz  * Copyright (c) 2002, 2003 David Schultz <das@FreeBSD.ORG>
68cf5ed51SMike Barcroft  * All rights reserved.
78cf5ed51SMike Barcroft  *
88cf5ed51SMike Barcroft  * Redistribution and use in source and binary forms, with or without
98cf5ed51SMike Barcroft  * modification, are permitted provided that the following conditions
108cf5ed51SMike Barcroft  * are met:
118cf5ed51SMike Barcroft  * 1. Redistributions of source code must retain the above copyright
128cf5ed51SMike Barcroft  *    notice, this list of conditions and the following disclaimer.
138cf5ed51SMike Barcroft  * 2. Redistributions in binary form must reproduce the above copyright
148cf5ed51SMike Barcroft  *    notice, this list of conditions and the following disclaimer in the
158cf5ed51SMike Barcroft  *    documentation and/or other materials provided with the distribution.
168cf5ed51SMike Barcroft  *
178cf5ed51SMike Barcroft  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
188cf5ed51SMike Barcroft  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
198cf5ed51SMike Barcroft  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
208cf5ed51SMike Barcroft  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
218cf5ed51SMike Barcroft  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
228cf5ed51SMike Barcroft  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
238cf5ed51SMike Barcroft  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
248cf5ed51SMike Barcroft  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
258cf5ed51SMike Barcroft  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
268cf5ed51SMike Barcroft  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
278cf5ed51SMike Barcroft  * SUCH DAMAGE.
288cf5ed51SMike Barcroft  *
298cf5ed51SMike Barcroft  * $FreeBSD$
308cf5ed51SMike Barcroft  */
318cf5ed51SMike Barcroft 
328cf5ed51SMike Barcroft #include <sys/endian.h>
338cf5ed51SMike Barcroft 
345d8564aeSAndrew Turner #include <machine/float.h>
355d8564aeSAndrew Turner 
368cf5ed51SMike Barcroft #include <math.h>
378cf5ed51SMike Barcroft #include <stdint.h>
388cf5ed51SMike Barcroft 
398cf5ed51SMike Barcroft #include "fpmath.h"
408cf5ed51SMike Barcroft 
418cf5ed51SMike Barcroft int
428cf5ed51SMike Barcroft __fpclassifyf(float f)
438cf5ed51SMike Barcroft {
448cf5ed51SMike Barcroft 	union IEEEf2bits u;
458cf5ed51SMike Barcroft 
468cf5ed51SMike Barcroft 	u.f = f;
478cf5ed51SMike Barcroft 	if (u.bits.exp == 0) {
488cf5ed51SMike Barcroft 		if (u.bits.man == 0)
498cf5ed51SMike Barcroft 			return (FP_ZERO);
508cf5ed51SMike Barcroft 		return (FP_SUBNORMAL);
518cf5ed51SMike Barcroft 	}
528cf5ed51SMike Barcroft 	if (u.bits.exp == 255) {
538cf5ed51SMike Barcroft 		if (u.bits.man == 0)
548cf5ed51SMike Barcroft 			return (FP_INFINITE);
558cf5ed51SMike Barcroft 		return (FP_NAN);
568cf5ed51SMike Barcroft 	}
578cf5ed51SMike Barcroft 	return (FP_NORMAL);
588cf5ed51SMike Barcroft }
598cf5ed51SMike Barcroft 
608cf5ed51SMike Barcroft int
618cf5ed51SMike Barcroft __fpclassifyd(double d)
628cf5ed51SMike Barcroft {
638cf5ed51SMike Barcroft 	union IEEEd2bits u;
648cf5ed51SMike Barcroft 
658cf5ed51SMike Barcroft 	u.d = d;
668cf5ed51SMike Barcroft 	if (u.bits.exp == 0) {
678cf5ed51SMike Barcroft 		if ((u.bits.manl | u.bits.manh) == 0)
688cf5ed51SMike Barcroft 			return (FP_ZERO);
698cf5ed51SMike Barcroft 		return (FP_SUBNORMAL);
708cf5ed51SMike Barcroft 	}
718cf5ed51SMike Barcroft 	if (u.bits.exp == 2047) {
728cf5ed51SMike Barcroft 		if ((u.bits.manl | u.bits.manh) == 0)
738cf5ed51SMike Barcroft 			return (FP_INFINITE);
748cf5ed51SMike Barcroft 		return (FP_NAN);
758cf5ed51SMike Barcroft 	}
768cf5ed51SMike Barcroft 	return (FP_NORMAL);
778cf5ed51SMike Barcroft }
788cf5ed51SMike Barcroft 
798cf5ed51SMike Barcroft int
808cf5ed51SMike Barcroft __fpclassifyl(long double e)
818cf5ed51SMike Barcroft {
828cf5ed51SMike Barcroft 	union IEEEl2bits u;
838cf5ed51SMike Barcroft 
848cf5ed51SMike Barcroft 	u.e = e;
858cf5ed51SMike Barcroft 	if (u.bits.exp == 0) {
868cf5ed51SMike Barcroft 		if ((u.bits.manl | u.bits.manh) == 0)
878cf5ed51SMike Barcroft 			return (FP_ZERO);
888cf5ed51SMike Barcroft 		return (FP_SUBNORMAL);
898cf5ed51SMike Barcroft 	}
908cf5ed51SMike Barcroft 	mask_nbit_l(u);		/* Mask normalization bit if applicable. */
915d8564aeSAndrew Turner #if LDBL_MANT_DIG == 53
925d8564aeSAndrew Turner 	if (u.bits.exp == 2047) {
935d8564aeSAndrew Turner 		if ((u.bits.manl | u.bits.manh) == 0)
945d8564aeSAndrew Turner 			return (FP_INFINITE);
955d8564aeSAndrew Turner 		return (FP_NAN);
965d8564aeSAndrew Turner 	}
975d8564aeSAndrew Turner #else
988cf5ed51SMike Barcroft 	if (u.bits.exp == 32767) {
998cf5ed51SMike Barcroft 		if ((u.bits.manl | u.bits.manh) == 0)
1008cf5ed51SMike Barcroft 			return (FP_INFINITE);
1018cf5ed51SMike Barcroft 		return (FP_NAN);
1028cf5ed51SMike Barcroft 	}
1035d8564aeSAndrew Turner #endif
1048cf5ed51SMike Barcroft 	return (FP_NORMAL);
1058cf5ed51SMike Barcroft }
106