^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) /* Software floating-point emulation. Common operations.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) Copyright (C) 1997,1998,1999 Free Software Foundation, Inc.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) This file is part of the GNU C Library.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) Contributed by Richard Henderson (rth@cygnus.com),
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) Jakub Jelinek (jj@ultra.linux.cz),
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) David S. Miller (davem@redhat.com) and
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) Peter Maydell (pmaydell@chiark.greenend.org.uk).
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) The GNU C Library is free software; you can redistribute it and/or
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) modify it under the terms of the GNU Library General Public License as
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) published by the Free Software Foundation; either version 2 of the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) License, or (at your option) any later version.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) The GNU C Library is distributed in the hope that it will be useful,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) but WITHOUT ANY WARRANTY; without even the implied warranty of
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) Library General Public License for more details.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) You should have received a copy of the GNU Library General Public
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) License along with the GNU C Library; see the file COPYING.LIB. If
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) not, write to the Free Software Foundation, Inc.,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22) 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) #ifndef __MATH_EMU_OP_COMMON_H__
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) #define __MATH_EMU_OP_COMMON_H__
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) #define _FP_DECL(wc, X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) _FP_I_TYPE X##_c=0, X##_s=0, X##_e=0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) _FP_FRAC_DECL_##wc(X)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 32) * Finish truly unpacking a native fp value by classifying the kind
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 33) * of fp value and normalizing both the exponent and the fraction.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36) #define _FP_UNPACK_CANONICAL(fs, wc, X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 37) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 38) switch (X##_e) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 39) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 40) default: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 41) _FP_FRAC_HIGH_RAW_##fs(X) |= _FP_IMPLBIT_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 42) _FP_FRAC_SLL_##wc(X, _FP_WORKBITS); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 43) X##_e -= _FP_EXPBIAS_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 44) X##_c = FP_CLS_NORMAL; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 45) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 46) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 47) case 0: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 48) if (_FP_FRAC_ZEROP_##wc(X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 49) X##_c = FP_CLS_ZERO; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 50) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 51) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 52) /* a denormalized number */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 53) _FP_I_TYPE _shift; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 54) _FP_FRAC_CLZ_##wc(_shift, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 55) _shift -= _FP_FRACXBITS_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 56) _FP_FRAC_SLL_##wc(X, (_shift+_FP_WORKBITS)); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 57) X##_e -= _FP_EXPBIAS_##fs - 1 + _shift; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 58) X##_c = FP_CLS_NORMAL; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 59) FP_SET_EXCEPTION(FP_EX_DENORM); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 60) if (FP_DENORM_ZERO) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 61) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 62) FP_SET_EXCEPTION(FP_EX_INEXACT); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 63) X##_c = FP_CLS_ZERO; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 64) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 65) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 66) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 67) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 68) case _FP_EXPMAX_##fs: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 69) if (_FP_FRAC_ZEROP_##wc(X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 70) X##_c = FP_CLS_INF; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 71) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 72) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 73) X##_c = FP_CLS_NAN; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 74) /* Check for signaling NaN */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 75) if (!(_FP_FRAC_HIGH_RAW_##fs(X) & _FP_QNANBIT_##fs)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 76) FP_SET_EXCEPTION(FP_EX_INVALID | FP_EX_INVALID_SNAN); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 77) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 78) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 79) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 80) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 81)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 82) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 83) * Before packing the bits back into the native fp result, take care
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 84) * of such mundane things as rounding and overflow. Also, for some
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 85) * kinds of fp values, the original parts may not have been fully
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 86) * extracted -- but that is ok, we can regenerate them now.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 87) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 88)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 89) #define _FP_PACK_CANONICAL(fs, wc, X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 90) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 91) switch (X##_c) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 92) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 93) case FP_CLS_NORMAL: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 94) X##_e += _FP_EXPBIAS_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 95) if (X##_e > 0) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 96) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 97) _FP_ROUND(wc, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 98) if (_FP_FRAC_OVERP_##wc(fs, X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 99) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 100) _FP_FRAC_CLEAR_OVERP_##wc(fs, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 101) X##_e++; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 102) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 103) _FP_FRAC_SRL_##wc(X, _FP_WORKBITS); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 104) if (X##_e >= _FP_EXPMAX_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 105) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 106) /* overflow */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 107) switch (FP_ROUNDMODE) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 108) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 109) case FP_RND_NEAREST: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 110) X##_c = FP_CLS_INF; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 111) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 112) case FP_RND_PINF: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 113) if (!X##_s) X##_c = FP_CLS_INF; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 114) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 115) case FP_RND_MINF: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 116) if (X##_s) X##_c = FP_CLS_INF; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 117) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 118) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 119) if (X##_c == FP_CLS_INF) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 120) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 121) /* Overflow to infinity */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 122) X##_e = _FP_EXPMAX_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 123) _FP_FRAC_SET_##wc(X, _FP_ZEROFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 124) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 125) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 126) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 127) /* Overflow to maximum normal */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 128) X##_e = _FP_EXPMAX_##fs - 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 129) _FP_FRAC_SET_##wc(X, _FP_MAXFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 130) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 131) FP_SET_EXCEPTION(FP_EX_OVERFLOW); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 132) FP_SET_EXCEPTION(FP_EX_INEXACT); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 133) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 134) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 135) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 136) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 137) /* we've got a denormalized number */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 138) X##_e = -X##_e + 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 139) if (X##_e <= _FP_WFRACBITS_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 140) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 141) _FP_FRAC_SRS_##wc(X, X##_e, _FP_WFRACBITS_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 142) if (_FP_FRAC_HIGH_##fs(X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 143) & (_FP_OVERFLOW_##fs >> 1)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 144) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 145) X##_e = 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 146) _FP_FRAC_SET_##wc(X, _FP_ZEROFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 147) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 148) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 149) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 150) _FP_ROUND(wc, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 151) if (_FP_FRAC_HIGH_##fs(X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 152) & (_FP_OVERFLOW_##fs >> 1)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 153) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 154) X##_e = 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 155) _FP_FRAC_SET_##wc(X, _FP_ZEROFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 156) FP_SET_EXCEPTION(FP_EX_INEXACT); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 157) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 158) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 159) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 160) X##_e = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 161) _FP_FRAC_SRL_##wc(X, _FP_WORKBITS); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 162) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 163) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 164) if ((FP_CUR_EXCEPTIONS & FP_EX_INEXACT) || \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 165) (FP_TRAPPING_EXCEPTIONS & FP_EX_UNDERFLOW)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 166) FP_SET_EXCEPTION(FP_EX_UNDERFLOW); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 167) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 168) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 169) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 170) /* underflow to zero */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 171) X##_e = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 172) if (!_FP_FRAC_ZEROP_##wc(X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 173) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 174) _FP_FRAC_SET_##wc(X, _FP_MINFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 175) _FP_ROUND(wc, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 176) _FP_FRAC_LOW_##wc(X) >>= (_FP_WORKBITS); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 177) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 178) FP_SET_EXCEPTION(FP_EX_UNDERFLOW); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 179) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 180) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 181) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 182) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 183) case FP_CLS_ZERO: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 184) X##_e = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 185) _FP_FRAC_SET_##wc(X, _FP_ZEROFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 186) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 187) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 188) case FP_CLS_INF: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 189) X##_e = _FP_EXPMAX_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 190) _FP_FRAC_SET_##wc(X, _FP_ZEROFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 191) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 192) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 193) case FP_CLS_NAN: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 194) X##_e = _FP_EXPMAX_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 195) if (!_FP_KEEPNANFRACP) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 196) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 197) _FP_FRAC_SET_##wc(X, _FP_NANFRAC_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 198) X##_s = _FP_NANSIGN_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 199) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 200) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 201) _FP_FRAC_HIGH_RAW_##fs(X) |= _FP_QNANBIT_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 202) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 203) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 204) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 205)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 206) /* This one accepts raw argument and not cooked, returns
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 207) * 1 if X is a signaling NaN.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 208) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 209) #define _FP_ISSIGNAN(fs, wc, X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 210) ({ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 211) int __ret = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 212) if (X##_e == _FP_EXPMAX_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 213) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 214) if (!_FP_FRAC_ZEROP_##wc(X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 215) && !(_FP_FRAC_HIGH_RAW_##fs(X) & _FP_QNANBIT_##fs)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 216) __ret = 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 217) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 218) __ret; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 219) })
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 220)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 221)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 222)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 223)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 224)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 225) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 226) * Main addition routine. The input values should be cooked.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 227) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 228)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 229) #define _FP_ADD_INTERNAL(fs, wc, R, X, Y, OP) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 230) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 231) switch (_FP_CLS_COMBINE(X##_c, Y##_c)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 232) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 233) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 234) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 235) /* shift the smaller number so that its exponent matches the larger */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 236) _FP_I_TYPE diff = X##_e - Y##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 237) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 238) if (diff < 0) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 239) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 240) diff = -diff; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 241) if (diff <= _FP_WFRACBITS_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 242) _FP_FRAC_SRS_##wc(X, diff, _FP_WFRACBITS_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 243) else if (!_FP_FRAC_ZEROP_##wc(X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 244) _FP_FRAC_SET_##wc(X, _FP_MINFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 245) R##_e = Y##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 246) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 247) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 248) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 249) if (diff > 0) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 250) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 251) if (diff <= _FP_WFRACBITS_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 252) _FP_FRAC_SRS_##wc(Y, diff, _FP_WFRACBITS_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 253) else if (!_FP_FRAC_ZEROP_##wc(Y)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 254) _FP_FRAC_SET_##wc(Y, _FP_MINFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 255) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 256) R##_e = X##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 257) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 258) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 259) R##_c = FP_CLS_NORMAL; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 260) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 261) if (X##_s == Y##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 262) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 263) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 264) _FP_FRAC_ADD_##wc(R, X, Y); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 265) if (_FP_FRAC_OVERP_##wc(fs, R)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 266) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 267) _FP_FRAC_SRS_##wc(R, 1, _FP_WFRACBITS_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 268) R##_e++; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 269) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 270) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 271) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 272) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 273) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 274) _FP_FRAC_SUB_##wc(R, X, Y); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 275) if (_FP_FRAC_ZEROP_##wc(R)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 276) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 277) /* return an exact zero */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 278) if (FP_ROUNDMODE == FP_RND_MINF) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 279) R##_s |= Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 280) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 281) R##_s &= Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 282) R##_c = FP_CLS_ZERO; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 283) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 284) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 285) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 286) if (_FP_FRAC_NEGP_##wc(R)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 287) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 288) _FP_FRAC_SUB_##wc(R, Y, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 289) R##_s = Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 290) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 291) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 292) /* renormalize after subtraction */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 293) _FP_FRAC_CLZ_##wc(diff, R); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 294) diff -= _FP_WFRACXBITS_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 295) if (diff) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 296) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 297) R##_e -= diff; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 298) _FP_FRAC_SLL_##wc(R, diff); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 299) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 300) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 301) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 302) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 303) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 304) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 305) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 306) _FP_CHOOSENAN(fs, wc, R, X, Y, OP); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 307) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 308) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 309) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 310) R##_e = X##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 311) fallthrough; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 312) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 313) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 314) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 315) _FP_FRAC_COPY_##wc(R, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 316) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 317) R##_c = X##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 318) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 319) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 320) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 321) R##_e = Y##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 322) fallthrough; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 323) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 324) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 325) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 326) _FP_FRAC_COPY_##wc(R, Y); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 327) R##_s = Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 328) R##_c = Y##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 329) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 330) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 331) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 332) if (X##_s != Y##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 333) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 334) /* +INF + -INF => NAN */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 335) _FP_FRAC_SET_##wc(R, _FP_NANFRAC_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 336) R##_s = _FP_NANSIGN_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 337) R##_c = FP_CLS_NAN; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 338) FP_SET_EXCEPTION(FP_EX_INVALID | FP_EX_INVALID_ISI); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 339) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 340) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 341) /* FALLTHRU */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 342) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 343) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 344) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 345) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 346) R##_c = FP_CLS_INF; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 347) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 348) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 349) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 350) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 351) R##_s = Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 352) R##_c = FP_CLS_INF; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 353) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 354) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 355) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 356) /* make sure the sign is correct */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 357) if (FP_ROUNDMODE == FP_RND_MINF) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 358) R##_s = X##_s | Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 359) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 360) R##_s = X##_s & Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 361) R##_c = FP_CLS_ZERO; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 362) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 363) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 364) default: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 365) abort(); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 366) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 367) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 368)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 369) #define _FP_ADD(fs, wc, R, X, Y) _FP_ADD_INTERNAL(fs, wc, R, X, Y, '+')
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 370) #define _FP_SUB(fs, wc, R, X, Y) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 371) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 372) if (Y##_c != FP_CLS_NAN) Y##_s ^= 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 373) _FP_ADD_INTERNAL(fs, wc, R, X, Y, '-'); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 374) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 375)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 376)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 377) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 378) * Main negation routine. FIXME -- when we care about setting exception
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 379) * bits reliably, this will not do. We should examine all of the fp classes.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 380) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 381)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 382) #define _FP_NEG(fs, wc, R, X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 383) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 384) _FP_FRAC_COPY_##wc(R, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 385) R##_c = X##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 386) R##_e = X##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 387) R##_s = 1 ^ X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 388) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 389)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 390)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 391) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 392) * Main multiplication routine. The input values should be cooked.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 393) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 394)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 395) #define _FP_MUL(fs, wc, R, X, Y) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 396) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 397) R##_s = X##_s ^ Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 398) switch (_FP_CLS_COMBINE(X##_c, Y##_c)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 399) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 400) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 401) R##_c = FP_CLS_NORMAL; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 402) R##_e = X##_e + Y##_e + 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 403) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 404) _FP_MUL_MEAT_##fs(R,X,Y); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 405) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 406) if (_FP_FRAC_OVERP_##wc(fs, R)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 407) _FP_FRAC_SRS_##wc(R, 1, _FP_WFRACBITS_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 408) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 409) R##_e--; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 410) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 411) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 412) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 413) _FP_CHOOSENAN(fs, wc, R, X, Y, '*'); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 414) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 415) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 416) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 417) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 418) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 419) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 420) fallthrough; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 421) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 422) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 423) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 424) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 425) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 426) _FP_FRAC_COPY_##wc(R, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 427) R##_c = X##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 428) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 429) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 430) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 431) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 432) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 433) R##_s = Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 434) fallthrough; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 435) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 436) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 437) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 438) _FP_FRAC_COPY_##wc(R, Y); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 439) R##_c = Y##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 440) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 441) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 442) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 443) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 444) R##_s = _FP_NANSIGN_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 445) R##_c = FP_CLS_NAN; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 446) _FP_FRAC_SET_##wc(R, _FP_NANFRAC_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 447) FP_SET_EXCEPTION(FP_EX_INVALID | FP_EX_INVALID_IMZ);\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 448) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 449) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 450) default: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 451) abort(); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 452) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 453) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 454)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 455)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 456) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 457) * Main division routine. The input values should be cooked.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 458) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 459)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 460) #define _FP_DIV(fs, wc, R, X, Y) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 461) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 462) R##_s = X##_s ^ Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 463) switch (_FP_CLS_COMBINE(X##_c, Y##_c)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 464) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 465) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 466) R##_c = FP_CLS_NORMAL; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 467) R##_e = X##_e - Y##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 468) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 469) _FP_DIV_MEAT_##fs(R,X,Y); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 470) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 471) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 472) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 473) _FP_CHOOSENAN(fs, wc, R, X, Y, '/'); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 474) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 475) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 476) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 477) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 478) case _FP_CLS_COMBINE(FP_CLS_NAN,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 479) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 480) _FP_FRAC_COPY_##wc(R, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 481) R##_c = X##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 482) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 483) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 484) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 485) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 486) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_NAN): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 487) R##_s = Y##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 488) _FP_FRAC_COPY_##wc(R, Y); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 489) R##_c = Y##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 490) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 491) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 492) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 493) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 494) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 495) R##_c = FP_CLS_ZERO; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 496) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 497) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 498) case _FP_CLS_COMBINE(FP_CLS_NORMAL,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 499) FP_SET_EXCEPTION(FP_EX_DIVZERO); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 500) fallthrough; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 501) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 502) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_NORMAL): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 503) R##_c = FP_CLS_INF; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 504) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 505) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 506) case _FP_CLS_COMBINE(FP_CLS_INF,FP_CLS_INF): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 507) R##_s = _FP_NANSIGN_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 508) R##_c = FP_CLS_NAN; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 509) _FP_FRAC_SET_##wc(R, _FP_NANFRAC_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 510) FP_SET_EXCEPTION(FP_EX_INVALID | FP_EX_INVALID_IDI);\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 511) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 512) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 513) case _FP_CLS_COMBINE(FP_CLS_ZERO,FP_CLS_ZERO): \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 514) R##_s = _FP_NANSIGN_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 515) R##_c = FP_CLS_NAN; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 516) _FP_FRAC_SET_##wc(R, _FP_NANFRAC_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 517) FP_SET_EXCEPTION(FP_EX_INVALID | FP_EX_INVALID_ZDZ);\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 518) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 519) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 520) default: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 521) abort(); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 522) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 523) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 524)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 525)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 526) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 527) * Main differential comparison routine. The inputs should be raw not
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 528) * cooked. The return is -1,0,1 for normal values, 2 otherwise.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 529) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 530)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 531) #define _FP_CMP(fs, wc, ret, X, Y, un) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 532) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 533) /* NANs are unordered */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 534) if ((X##_e == _FP_EXPMAX_##fs && !_FP_FRAC_ZEROP_##wc(X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 535) || (Y##_e == _FP_EXPMAX_##fs && !_FP_FRAC_ZEROP_##wc(Y))) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 536) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 537) ret = un; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 538) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 539) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 540) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 541) int __is_zero_x; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 542) int __is_zero_y; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 543) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 544) __is_zero_x = (!X##_e && _FP_FRAC_ZEROP_##wc(X)) ? 1 : 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 545) __is_zero_y = (!Y##_e && _FP_FRAC_ZEROP_##wc(Y)) ? 1 : 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 546) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 547) if (__is_zero_x && __is_zero_y) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 548) ret = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 549) else if (__is_zero_x) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 550) ret = Y##_s ? 1 : -1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 551) else if (__is_zero_y) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 552) ret = X##_s ? -1 : 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 553) else if (X##_s != Y##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 554) ret = X##_s ? -1 : 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 555) else if (X##_e > Y##_e) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 556) ret = X##_s ? -1 : 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 557) else if (X##_e < Y##_e) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 558) ret = X##_s ? 1 : -1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 559) else if (_FP_FRAC_GT_##wc(X, Y)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 560) ret = X##_s ? -1 : 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 561) else if (_FP_FRAC_GT_##wc(Y, X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 562) ret = X##_s ? 1 : -1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 563) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 564) ret = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 565) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 566) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 567)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 568)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 569) /* Simplification for strict equality. */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 570)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 571) #define _FP_CMP_EQ(fs, wc, ret, X, Y) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 572) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 573) /* NANs are unordered */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 574) if ((X##_e == _FP_EXPMAX_##fs && !_FP_FRAC_ZEROP_##wc(X)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 575) || (Y##_e == _FP_EXPMAX_##fs && !_FP_FRAC_ZEROP_##wc(Y))) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 576) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 577) ret = 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 578) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 579) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 580) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 581) ret = !(X##_e == Y##_e \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 582) && _FP_FRAC_EQ_##wc(X, Y) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 583) && (X##_s == Y##_s || !X##_e && _FP_FRAC_ZEROP_##wc(X))); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 584) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 585) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 586)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 587) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 588) * Main square root routine. The input value should be cooked.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 589) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 590)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 591) #define _FP_SQRT(fs, wc, R, X) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 592) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 593) _FP_FRAC_DECL_##wc(T); _FP_FRAC_DECL_##wc(S); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 594) _FP_W_TYPE q; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 595) switch (X##_c) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 596) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 597) case FP_CLS_NAN: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 598) _FP_FRAC_COPY_##wc(R, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 599) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 600) R##_c = FP_CLS_NAN; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 601) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 602) case FP_CLS_INF: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 603) if (X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 604) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 605) R##_s = _FP_NANSIGN_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 606) R##_c = FP_CLS_NAN; /* NAN */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 607) _FP_FRAC_SET_##wc(R, _FP_NANFRAC_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 608) FP_SET_EXCEPTION(FP_EX_INVALID); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 609) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 610) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 611) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 612) R##_s = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 613) R##_c = FP_CLS_INF; /* sqrt(+inf) = +inf */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 614) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 615) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 616) case FP_CLS_ZERO: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 617) R##_s = X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 618) R##_c = FP_CLS_ZERO; /* sqrt(+-0) = +-0 */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 619) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 620) case FP_CLS_NORMAL: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 621) R##_s = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 622) if (X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 623) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 624) R##_c = FP_CLS_NAN; /* sNAN */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 625) R##_s = _FP_NANSIGN_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 626) _FP_FRAC_SET_##wc(R, _FP_NANFRAC_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 627) FP_SET_EXCEPTION(FP_EX_INVALID); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 628) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 629) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 630) R##_c = FP_CLS_NORMAL; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 631) if (X##_e & 1) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 632) _FP_FRAC_SLL_##wc(X, 1); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 633) R##_e = X##_e >> 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 634) _FP_FRAC_SET_##wc(S, _FP_ZEROFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 635) _FP_FRAC_SET_##wc(R, _FP_ZEROFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 636) q = _FP_OVERFLOW_##fs >> 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 637) _FP_SQRT_MEAT_##wc(R, S, T, X, q); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 638) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 639) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 640)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 641) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 642) * Convert from FP to integer
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 643) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 644)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 645) /* RSIGNED can have following values:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 646) * 0: the number is required to be 0..(2^rsize)-1, if not, NV is set plus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 647) * the result is either 0 or (2^rsize)-1 depending on the sign in such case.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 648) * 1: the number is required to be -(2^(rsize-1))..(2^(rsize-1))-1, if not, NV is
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 649) * set plus the result is either -(2^(rsize-1)) or (2^(rsize-1))-1 depending
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 650) * on the sign in such case.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 651) * 2: the number is required to be -(2^(rsize-1))..(2^(rsize-1))-1, if not, NV is
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 652) * set plus the result is truncated to fit into destination.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 653) * -1: the number is required to be -(2^(rsize-1))..(2^rsize)-1, if not, NV is
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 654) * set plus the result is either -(2^(rsize-1)) or (2^(rsize-1))-1 depending
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 655) * on the sign in such case.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 656) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 657) #define _FP_TO_INT(fs, wc, r, X, rsize, rsigned) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 658) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 659) switch (X##_c) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 660) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 661) case FP_CLS_NORMAL: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 662) if (X##_e < 0) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 663) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 664) FP_SET_EXCEPTION(FP_EX_INEXACT); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 665) case FP_CLS_ZERO: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 666) r = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 667) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 668) else if (X##_e >= rsize - (rsigned > 0 || X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 669) || (!rsigned && X##_s)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 670) { /* overflow */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 671) case FP_CLS_NAN: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 672) case FP_CLS_INF: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 673) if (rsigned == 2) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 674) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 675) if (X##_c != FP_CLS_NORMAL \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 676) || X##_e >= rsize - 1 + _FP_WFRACBITS_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 677) r = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 678) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 679) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 680) _FP_FRAC_SLL_##wc(X, (X##_e - _FP_WFRACBITS_##fs + 1)); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 681) _FP_FRAC_ASSEMBLE_##wc(r, X, rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 682) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 683) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 684) else if (rsigned) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 685) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 686) r = 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 687) r <<= rsize - 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 688) r -= 1 - X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 689) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 690) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 691) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 692) r = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 693) if (!X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 694) r = ~r; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 695) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 696) FP_SET_EXCEPTION(FP_EX_INVALID); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 697) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 698) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 699) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 700) if (_FP_W_TYPE_SIZE*wc < rsize) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 701) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 702) _FP_FRAC_ASSEMBLE_##wc(r, X, rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 703) r <<= X##_e - _FP_WFRACBITS_##fs; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 704) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 705) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 706) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 707) if (X##_e >= _FP_WFRACBITS_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 708) _FP_FRAC_SLL_##wc(X, (X##_e - _FP_WFRACBITS_##fs + 1)); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 709) else if (X##_e < _FP_WFRACBITS_##fs - 1) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 710) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 711) _FP_FRAC_SRS_##wc(X, (_FP_WFRACBITS_##fs - X##_e - 2), \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 712) _FP_WFRACBITS_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 713) if (_FP_FRAC_LOW_##wc(X) & 1) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 714) FP_SET_EXCEPTION(FP_EX_INEXACT); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 715) _FP_FRAC_SRL_##wc(X, 1); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 716) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 717) _FP_FRAC_ASSEMBLE_##wc(r, X, rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 718) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 719) if (rsigned && X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 720) r = -r; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 721) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 722) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 723) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 724) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 725)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 726) #define _FP_TO_INT_ROUND(fs, wc, r, X, rsize, rsigned) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 727) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 728) r = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 729) switch (X##_c) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 730) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 731) case FP_CLS_NORMAL: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 732) if (X##_e >= _FP_FRACBITS_##fs - 1) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 733) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 734) if (X##_e < rsize - 1 + _FP_WFRACBITS_##fs) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 735) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 736) if (X##_e >= _FP_WFRACBITS_##fs - 1) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 737) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 738) _FP_FRAC_ASSEMBLE_##wc(r, X, rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 739) r <<= X##_e - _FP_WFRACBITS_##fs + 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 740) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 741) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 742) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 743) _FP_FRAC_SRL_##wc(X, _FP_WORKBITS - X##_e \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 744) + _FP_FRACBITS_##fs - 1); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 745) _FP_FRAC_ASSEMBLE_##wc(r, X, rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 746) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 747) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 748) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 749) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 750) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 751) int _lz0, _lz1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 752) if (X##_e <= -_FP_WORKBITS - 1) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 753) _FP_FRAC_SET_##wc(X, _FP_MINFRAC_##wc); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 754) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 755) _FP_FRAC_SRS_##wc(X, _FP_FRACBITS_##fs - 1 - X##_e, \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 756) _FP_WFRACBITS_##fs); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 757) _FP_FRAC_CLZ_##wc(_lz0, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 758) _FP_ROUND(wc, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 759) _FP_FRAC_CLZ_##wc(_lz1, X); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 760) if (_lz1 < _lz0) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 761) X##_e++; /* For overflow detection. */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 762) _FP_FRAC_SRL_##wc(X, _FP_WORKBITS); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 763) _FP_FRAC_ASSEMBLE_##wc(r, X, rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 764) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 765) if (rsigned && X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 766) r = -r; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 767) if (X##_e >= rsize - (rsigned > 0 || X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 768) || (!rsigned && X##_s)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 769) { /* overflow */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 770) case FP_CLS_NAN: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 771) case FP_CLS_INF: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 772) if (!rsigned) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 773) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 774) r = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 775) if (!X##_s) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 776) r = ~r; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 777) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 778) else if (rsigned != 2) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 779) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 780) r = 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 781) r <<= rsize - 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 782) r -= 1 - X##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 783) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 784) FP_SET_EXCEPTION(FP_EX_INVALID); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 785) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 786) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 787) case FP_CLS_ZERO: \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 788) break; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 789) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 790) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 791)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 792) #define _FP_FROM_INT(fs, wc, X, r, rsize, rtype) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 793) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 794) if (r) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 795) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 796) unsigned rtype ur_; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 797) X##_c = FP_CLS_NORMAL; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 798) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 799) if ((X##_s = (r < 0))) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 800) ur_ = (unsigned rtype) -r; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 801) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 802) ur_ = (unsigned rtype) r; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 803) (void) (((rsize) <= _FP_W_TYPE_SIZE) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 804) ? ({ __FP_CLZ(X##_e, ur_); }) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 805) : ({ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 806) __FP_CLZ_2(X##_e, (_FP_W_TYPE)(ur_ >> _FP_W_TYPE_SIZE), \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 807) (_FP_W_TYPE)ur_); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 808) })); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 809) if (rsize < _FP_W_TYPE_SIZE) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 810) X##_e -= (_FP_W_TYPE_SIZE - rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 811) X##_e = rsize - X##_e - 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 812) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 813) if (_FP_FRACBITS_##fs < rsize && _FP_WFRACBITS_##fs <= X##_e) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 814) __FP_FRAC_SRS_1(ur_, (X##_e - _FP_WFRACBITS_##fs + 1), rsize);\
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 815) _FP_FRAC_DISASSEMBLE_##wc(X, ur_, rsize); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 816) if ((_FP_WFRACBITS_##fs - X##_e - 1) > 0) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 817) _FP_FRAC_SLL_##wc(X, (_FP_WFRACBITS_##fs - X##_e - 1)); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 818) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 819) else \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 820) { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 821) X##_c = FP_CLS_ZERO, X##_s = 0; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 822) } \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 823) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 824)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 825)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 826) #define FP_CONV(dfs,sfs,dwc,swc,D,S) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 827) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 828) _FP_FRAC_CONV_##dwc##_##swc(dfs, sfs, D, S); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 829) D##_e = S##_e; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 830) D##_c = S##_c; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 831) D##_s = S##_s; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 832) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 833)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 834) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 835) * Helper primitives.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 836) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 837)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 838) /* Count leading zeros in a word. */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 839)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 840) #ifndef __FP_CLZ
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 841) #if _FP_W_TYPE_SIZE < 64
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 842) /* this is just to shut the compiler up about shifts > word length -- PMM 02/1998 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 843) #define __FP_CLZ(r, x) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 844) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 845) _FP_W_TYPE _t = (x); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 846) r = _FP_W_TYPE_SIZE - 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 847) if (_t > 0xffff) r -= 16; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 848) if (_t > 0xffff) _t >>= 16; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 849) if (_t > 0xff) r -= 8; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 850) if (_t > 0xff) _t >>= 8; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 851) if (_t & 0xf0) r -= 4; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 852) if (_t & 0xf0) _t >>= 4; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 853) if (_t & 0xc) r -= 2; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 854) if (_t & 0xc) _t >>= 2; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 855) if (_t & 0x2) r -= 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 856) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 857) #else /* not _FP_W_TYPE_SIZE < 64 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 858) #define __FP_CLZ(r, x) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 859) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 860) _FP_W_TYPE _t = (x); \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 861) r = _FP_W_TYPE_SIZE - 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 862) if (_t > 0xffffffff) r -= 32; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 863) if (_t > 0xffffffff) _t >>= 32; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 864) if (_t > 0xffff) r -= 16; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 865) if (_t > 0xffff) _t >>= 16; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 866) if (_t > 0xff) r -= 8; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 867) if (_t > 0xff) _t >>= 8; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 868) if (_t & 0xf0) r -= 4; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 869) if (_t & 0xf0) _t >>= 4; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 870) if (_t & 0xc) r -= 2; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 871) if (_t & 0xc) _t >>= 2; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 872) if (_t & 0x2) r -= 1; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 873) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 874) #endif /* not _FP_W_TYPE_SIZE < 64 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 875) #endif /* ndef __FP_CLZ */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 876)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 877) #define _FP_DIV_HELP_imm(q, r, n, d) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 878) do { \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 879) q = n / d, r = n % d; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 880) } while (0)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 881)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 882) #endif /* __MATH_EMU_OP_COMMON_H__ */
Orange Pi5 kernel
Deprecated Linux kernel 5.10.110 for OrangePi 5/5B/5+ boards
3 Commits
0 Branches
0 Tags