lib/libc/gen/fpclassify.c

   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 }