| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 1 | /* | 
 | 2 |  * Copyright (C) 2014 The Android Open Source Project | 
 | 3 |  * All rights reserved. | 
 | 4 |  * | 
 | 5 |  * Redistribution and use in source and binary forms, with or without | 
 | 6 |  * modification, are permitted provided that the following conditions | 
 | 7 |  * are met: | 
 | 8 |  *  * Redistributions of source code must retain the above copyright | 
 | 9 |  *    notice, this list of conditions and the following disclaimer. | 
 | 10 |  *  * Redistributions in binary form must reproduce the above copyright | 
 | 11 |  *    notice, this list of conditions and the following disclaimer in | 
 | 12 |  *    the documentation and/or other materials provided with the | 
 | 13 |  *    distribution. | 
 | 14 |  * | 
 | 15 |  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | 
 | 16 |  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | 
 | 17 |  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS | 
 | 18 |  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE | 
 | 19 |  * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, | 
 | 20 |  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, | 
 | 21 |  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS | 
 | 22 |  * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED | 
 | 23 |  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, | 
 | 24 |  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT | 
 | 25 |  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | 
 | 26 |  * SUCH DAMAGE. | 
 | 27 |  */ | 
 | 28 |  | 
 | 29 | #include <sys/types.h> | 
 | 30 |  | 
 | 31 | #include <math.h> | 
 | 32 | #include <machine/ieee.h> | 
 | 33 |  | 
 | 34 | // These aren't declared in our <math.h>. | 
 | 35 | extern "C" int __isinf(double); | 
 | 36 | extern "C" int __isnan(double); | 
 | 37 |  | 
 | 38 | union float_u { | 
 | 39 |   float f; | 
 | 40 |   ieee_single bits; | 
 | 41 | }; | 
 | 42 |  | 
 | 43 | union double_u { | 
 | 44 |   double d; | 
 | 45 |   ieee_double bits; | 
 | 46 | }; | 
 | 47 |  | 
 | 48 | int __fpclassifyd(double d) { | 
 | 49 |   double_u u; | 
 | 50 |   u.d = d; | 
 | 51 |   if (u.bits.dbl_exp == 0) { | 
 | 52 |     return ((u.bits.dbl_fracl | u.bits.dbl_frach) == 0) ? FP_ZERO : FP_SUBNORMAL; | 
 | 53 |   } | 
 | 54 |   if (u.bits.dbl_exp == DBL_EXP_INFNAN) { | 
 | 55 |     return ((u.bits.dbl_fracl | u.bits.dbl_frach) == 0) ? FP_INFINITE : FP_NAN; | 
 | 56 |   } | 
 | 57 |   return FP_NORMAL; | 
 | 58 | } | 
 | 59 | __strong_alias(__fpclassify, __fpclassifyd); // glibc uses __fpclassify, BSD __fpclassifyd. | 
 | 60 |  | 
 | 61 | int __fpclassifyf(float f) { | 
 | 62 |   float_u u; | 
 | 63 |   u.f = f; | 
 | 64 |   if (u.bits.sng_exp == 0) { | 
 | 65 |     return (u.bits.sng_frac == 0) ? FP_ZERO : FP_SUBNORMAL; | 
 | 66 |   } | 
 | 67 |   if (u.bits.sng_exp == SNG_EXP_INFNAN) { | 
 | 68 |     return (u.bits.sng_frac == 0) ? FP_INFINITE : FP_NAN; | 
 | 69 |   } | 
 | 70 |   return FP_NORMAL; | 
 | 71 | } | 
 | 72 |  | 
 | 73 | int __isinf(double d) { | 
 | 74 |   return (__fpclassifyd(d) == FP_INFINITE); | 
 | 75 | } | 
 | 76 | __strong_alias(isinf, __isinf); | 
 | 77 |  | 
 | 78 | int __isinff(float f) { | 
 | 79 |   return (__fpclassifyf(f) == FP_INFINITE); | 
 | 80 | } | 
 | 81 | __strong_alias(isinff, __isinff); | 
 | 82 |  | 
 | 83 | int __isnan(double d) { | 
 | 84 |   return (__fpclassifyd(d) == FP_NAN); | 
 | 85 | } | 
 | 86 | __strong_alias(isnan, __isnan); | 
 | 87 |  | 
 | 88 | int __isnanf(float f) { | 
 | 89 |   return (__fpclassifyf(f) == FP_NAN); | 
 | 90 | } | 
 | 91 | __strong_alias(isnanf, __isnanf); | 
 | 92 |  | 
| Calin Juravle | 1abc9ff | 2014-04-17 18:17:32 +0100 | [diff] [blame] | 93 | int __isfinite(double d) { | 
 | 94 |   int type = __fpclassifyd(d); | 
 | 95 |   return ((type != FP_NAN) && (type != FP_INFINITE)); | 
 | 96 | } | 
 | 97 | __strong_alias(isfinite, __isfinite); | 
 | 98 |  | 
 | 99 | int __isfinitef(float f) { | 
 | 100 |   int type = __fpclassifyf(f); | 
 | 101 |   return ((type != FP_NAN) && (type != FP_INFINITE)); | 
 | 102 | } | 
 | 103 | __strong_alias(isfinitef, __isfinitef); | 
 | 104 |  | 
 | 105 | int __isnormal(double d) { | 
 | 106 |   return (__fpclassifyd(d) == FP_NORMAL); | 
 | 107 | } | 
 | 108 | __strong_alias(isnormal, __isnormal); | 
 | 109 |  | 
 | 110 | int __isnormalf(float f) { | 
 | 111 |   return (__fpclassifyf(f) == FP_NORMAL); | 
 | 112 | } | 
 | 113 | __strong_alias(isnormalf, __isnormalf); | 
 | 114 |  | 
| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 115 | #if __LP64__ | 
 | 116 |  | 
 | 117 | // LP64 uses 128-bit long doubles. | 
 | 118 |  | 
 | 119 | union long_double_u { | 
 | 120 |   long double ld; | 
| Elliott Hughes | f081e13 | 2014-04-16 16:45:59 -0700 | [diff] [blame] | 121 |   ieee_ext bits; | 
| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 122 | }; | 
 | 123 |  | 
| Elliott Hughes | f081e13 | 2014-04-16 16:45:59 -0700 | [diff] [blame] | 124 | #define zero_frac(b) ((b.ext_fracl | b.ext_fraclm | b.ext_frachm | b.ext_frach) == 0) | 
 | 125 |  | 
| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 126 | int __fpclassifyl(long double ld) { | 
 | 127 |   long_double_u u; | 
 | 128 |   u.ld = ld; | 
| Elliott Hughes | f081e13 | 2014-04-16 16:45:59 -0700 | [diff] [blame] | 129 |   if (u.bits.ext_exp == 0) { | 
 | 130 |     return zero_frac(u.bits) ? FP_ZERO : FP_SUBNORMAL; | 
| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 131 |   } | 
| Elliott Hughes | f081e13 | 2014-04-16 16:45:59 -0700 | [diff] [blame] | 132 |   if (u.bits.ext_exp == EXT_EXP_INFNAN) { | 
 | 133 |     return zero_frac(u.bits) ? FP_INFINITE : FP_NAN; | 
| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 134 |   } | 
 | 135 |   return FP_NORMAL; | 
 | 136 | } | 
 | 137 |  | 
 | 138 | int __isinfl(long double ld) { | 
 | 139 |   return (__fpclassifyl(ld) == FP_INFINITE); | 
 | 140 | } | 
 | 141 |  | 
 | 142 | int __isnanl(long double ld) { | 
 | 143 |   return (__fpclassifyl(ld) == FP_NAN); | 
 | 144 | } | 
 | 145 |  | 
| Calin Juravle | 1abc9ff | 2014-04-17 18:17:32 +0100 | [diff] [blame] | 146 | int __isfinitel(long double ld) { | 
 | 147 |   int type = __fpclassifyl(ld); | 
 | 148 |   return ((type != FP_NAN) && (type != FP_INFINITE)); | 
 | 149 | } | 
 | 150 |  | 
 | 151 | int __isnormall(long double ld) { | 
 | 152 |   return (__fpclassifyl(ld) == FP_NORMAL); | 
 | 153 | } | 
 | 154 |  | 
| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 155 | #else | 
 | 156 |  | 
 | 157 | // LP32 uses double as long double. | 
 | 158 |  | 
 | 159 | __strong_alias(__fpclassifyl, __fpclassify); | 
 | 160 | __strong_alias(__isinfl, __isinf); | 
 | 161 | __strong_alias(__isnanl, __isnan); | 
| Calin Juravle | 1abc9ff | 2014-04-17 18:17:32 +0100 | [diff] [blame] | 162 | __strong_alias(__isfinitel, __isfinite); | 
 | 163 | __strong_alias(__isnormall, __isnormal); | 
| Elliott Hughes | 02c78a3 | 2014-04-11 17:02:20 -0700 | [diff] [blame] | 164 |  | 
 | 165 | #endif | 
 | 166 |  | 
 | 167 | __strong_alias(isinfl, __isinfl); | 
 | 168 | __strong_alias(isnanl, __isnanl); | 
| Calin Juravle | 1abc9ff | 2014-04-17 18:17:32 +0100 | [diff] [blame] | 169 | __strong_alias(isfinitel, __isfinitel); | 
 | 170 | __strong_alias(isnormall, __isnormall); |