1*1da177e4SLinus Torvalds /* Software floating-point emulation. 2*1da177e4SLinus Torvalds Definitions for IEEE Double Precision 3*1da177e4SLinus Torvalds Copyright (C) 1997,1998,1999 Free Software Foundation, Inc. 4*1da177e4SLinus Torvalds This file is part of the GNU C Library. 5*1da177e4SLinus Torvalds Contributed by Richard Henderson (rth@cygnus.com), 6*1da177e4SLinus Torvalds Jakub Jelinek (jj@ultra.linux.cz), 7*1da177e4SLinus Torvalds David S. Miller (davem@redhat.com) and 8*1da177e4SLinus Torvalds Peter Maydell (pmaydell@chiark.greenend.org.uk). 9*1da177e4SLinus Torvalds 10*1da177e4SLinus Torvalds The GNU C Library is free software; you can redistribute it and/or 11*1da177e4SLinus Torvalds modify it under the terms of the GNU Library General Public License as 12*1da177e4SLinus Torvalds published by the Free Software Foundation; either version 2 of the 13*1da177e4SLinus Torvalds License, or (at your option) any later version. 14*1da177e4SLinus Torvalds 15*1da177e4SLinus Torvalds The GNU C Library is distributed in the hope that it will be useful, 16*1da177e4SLinus Torvalds but WITHOUT ANY WARRANTY; without even the implied warranty of 17*1da177e4SLinus Torvalds MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 18*1da177e4SLinus Torvalds Library General Public License for more details. 19*1da177e4SLinus Torvalds 20*1da177e4SLinus Torvalds You should have received a copy of the GNU Library General Public 21*1da177e4SLinus Torvalds License along with the GNU C Library; see the file COPYING.LIB. If 22*1da177e4SLinus Torvalds not, write to the Free Software Foundation, Inc., 23*1da177e4SLinus Torvalds 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ 24*1da177e4SLinus Torvalds 25*1da177e4SLinus Torvalds #ifndef __MATH_EMU_DOUBLE_H__ 26*1da177e4SLinus Torvalds #define __MATH_EMU_DOUBLE_H__ 27*1da177e4SLinus Torvalds 28*1da177e4SLinus Torvalds #if _FP_W_TYPE_SIZE < 32 29*1da177e4SLinus Torvalds #error "Here's a nickel kid. Go buy yourself a real computer." 30*1da177e4SLinus Torvalds #endif 31*1da177e4SLinus Torvalds 32*1da177e4SLinus Torvalds #if _FP_W_TYPE_SIZE < 64 33*1da177e4SLinus Torvalds #define _FP_FRACTBITS_D (2 * _FP_W_TYPE_SIZE) 34*1da177e4SLinus Torvalds #else 35*1da177e4SLinus Torvalds #define _FP_FRACTBITS_D _FP_W_TYPE_SIZE 36*1da177e4SLinus Torvalds #endif 37*1da177e4SLinus Torvalds 38*1da177e4SLinus Torvalds #define _FP_FRACBITS_D 53 39*1da177e4SLinus Torvalds #define _FP_FRACXBITS_D (_FP_FRACTBITS_D - _FP_FRACBITS_D) 40*1da177e4SLinus Torvalds #define _FP_WFRACBITS_D (_FP_WORKBITS + _FP_FRACBITS_D) 41*1da177e4SLinus Torvalds #define _FP_WFRACXBITS_D (_FP_FRACTBITS_D - _FP_WFRACBITS_D) 42*1da177e4SLinus Torvalds #define _FP_EXPBITS_D 11 43*1da177e4SLinus Torvalds #define _FP_EXPBIAS_D 1023 44*1da177e4SLinus Torvalds #define _FP_EXPMAX_D 2047 45*1da177e4SLinus Torvalds 46*1da177e4SLinus Torvalds #define _FP_QNANBIT_D \ 47*1da177e4SLinus Torvalds ((_FP_W_TYPE)1 << (_FP_FRACBITS_D-2) % _FP_W_TYPE_SIZE) 48*1da177e4SLinus Torvalds #define _FP_IMPLBIT_D \ 49*1da177e4SLinus Torvalds ((_FP_W_TYPE)1 << (_FP_FRACBITS_D-1) % _FP_W_TYPE_SIZE) 50*1da177e4SLinus Torvalds #define _FP_OVERFLOW_D \ 51*1da177e4SLinus Torvalds ((_FP_W_TYPE)1 << _FP_WFRACBITS_D % _FP_W_TYPE_SIZE) 52*1da177e4SLinus Torvalds 53*1da177e4SLinus Torvalds #if _FP_W_TYPE_SIZE < 64 54*1da177e4SLinus Torvalds 55*1da177e4SLinus Torvalds union _FP_UNION_D 56*1da177e4SLinus Torvalds { 57*1da177e4SLinus Torvalds double flt; 58*1da177e4SLinus Torvalds struct { 59*1da177e4SLinus Torvalds #if __BYTE_ORDER == __BIG_ENDIAN 60*1da177e4SLinus Torvalds unsigned sign : 1; 61*1da177e4SLinus Torvalds unsigned exp : _FP_EXPBITS_D; 62*1da177e4SLinus Torvalds unsigned frac1 : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0) - _FP_W_TYPE_SIZE; 63*1da177e4SLinus Torvalds unsigned frac0 : _FP_W_TYPE_SIZE; 64*1da177e4SLinus Torvalds #else 65*1da177e4SLinus Torvalds unsigned frac0 : _FP_W_TYPE_SIZE; 66*1da177e4SLinus Torvalds unsigned frac1 : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0) - _FP_W_TYPE_SIZE; 67*1da177e4SLinus Torvalds unsigned exp : _FP_EXPBITS_D; 68*1da177e4SLinus Torvalds unsigned sign : 1; 69*1da177e4SLinus Torvalds #endif 70*1da177e4SLinus Torvalds } bits __attribute__((packed)); 71*1da177e4SLinus Torvalds }; 72*1da177e4SLinus Torvalds 73*1da177e4SLinus Torvalds #define FP_DECL_D(X) _FP_DECL(2,X) 74*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_D(X,val) _FP_UNPACK_RAW_2(D,X,val) 75*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_DP(X,val) _FP_UNPACK_RAW_2_P(D,X,val) 76*1da177e4SLinus Torvalds #define FP_PACK_RAW_D(val,X) _FP_PACK_RAW_2(D,val,X) 77*1da177e4SLinus Torvalds #define FP_PACK_RAW_DP(val,X) \ 78*1da177e4SLinus Torvalds do { \ 79*1da177e4SLinus Torvalds if (!FP_INHIBIT_RESULTS) \ 80*1da177e4SLinus Torvalds _FP_PACK_RAW_2_P(D,val,X); \ 81*1da177e4SLinus Torvalds } while (0) 82*1da177e4SLinus Torvalds 83*1da177e4SLinus Torvalds #define FP_UNPACK_D(X,val) \ 84*1da177e4SLinus Torvalds do { \ 85*1da177e4SLinus Torvalds _FP_UNPACK_RAW_2(D,X,val); \ 86*1da177e4SLinus Torvalds _FP_UNPACK_CANONICAL(D,2,X); \ 87*1da177e4SLinus Torvalds } while (0) 88*1da177e4SLinus Torvalds 89*1da177e4SLinus Torvalds #define FP_UNPACK_DP(X,val) \ 90*1da177e4SLinus Torvalds do { \ 91*1da177e4SLinus Torvalds _FP_UNPACK_RAW_2_P(D,X,val); \ 92*1da177e4SLinus Torvalds _FP_UNPACK_CANONICAL(D,2,X); \ 93*1da177e4SLinus Torvalds } while (0) 94*1da177e4SLinus Torvalds 95*1da177e4SLinus Torvalds #define FP_PACK_D(val,X) \ 96*1da177e4SLinus Torvalds do { \ 97*1da177e4SLinus Torvalds _FP_PACK_CANONICAL(D,2,X); \ 98*1da177e4SLinus Torvalds _FP_PACK_RAW_2(D,val,X); \ 99*1da177e4SLinus Torvalds } while (0) 100*1da177e4SLinus Torvalds 101*1da177e4SLinus Torvalds #define FP_PACK_DP(val,X) \ 102*1da177e4SLinus Torvalds do { \ 103*1da177e4SLinus Torvalds _FP_PACK_CANONICAL(D,2,X); \ 104*1da177e4SLinus Torvalds if (!FP_INHIBIT_RESULTS) \ 105*1da177e4SLinus Torvalds _FP_PACK_RAW_2_P(D,val,X); \ 106*1da177e4SLinus Torvalds } while (0) 107*1da177e4SLinus Torvalds 108*1da177e4SLinus Torvalds #define FP_ISSIGNAN_D(X) _FP_ISSIGNAN(D,2,X) 109*1da177e4SLinus Torvalds #define FP_NEG_D(R,X) _FP_NEG(D,2,R,X) 110*1da177e4SLinus Torvalds #define FP_ADD_D(R,X,Y) _FP_ADD(D,2,R,X,Y) 111*1da177e4SLinus Torvalds #define FP_SUB_D(R,X,Y) _FP_SUB(D,2,R,X,Y) 112*1da177e4SLinus Torvalds #define FP_MUL_D(R,X,Y) _FP_MUL(D,2,R,X,Y) 113*1da177e4SLinus Torvalds #define FP_DIV_D(R,X,Y) _FP_DIV(D,2,R,X,Y) 114*1da177e4SLinus Torvalds #define FP_SQRT_D(R,X) _FP_SQRT(D,2,R,X) 115*1da177e4SLinus Torvalds #define _FP_SQRT_MEAT_D(R,S,T,X,Q) _FP_SQRT_MEAT_2(R,S,T,X,Q) 116*1da177e4SLinus Torvalds 117*1da177e4SLinus Torvalds #define FP_CMP_D(r,X,Y,un) _FP_CMP(D,2,r,X,Y,un) 118*1da177e4SLinus Torvalds #define FP_CMP_EQ_D(r,X,Y) _FP_CMP_EQ(D,2,r,X,Y) 119*1da177e4SLinus Torvalds 120*1da177e4SLinus Torvalds #define FP_TO_INT_D(r,X,rsz,rsg) _FP_TO_INT(D,2,r,X,rsz,rsg) 121*1da177e4SLinus Torvalds #define FP_TO_INT_ROUND_D(r,X,rsz,rsg) _FP_TO_INT_ROUND(D,2,r,X,rsz,rsg) 122*1da177e4SLinus Torvalds #define FP_FROM_INT_D(X,r,rs,rt) _FP_FROM_INT(D,2,X,r,rs,rt) 123*1da177e4SLinus Torvalds 124*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_D(X) _FP_FRAC_HIGH_2(X) 125*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_RAW_D(X) _FP_FRAC_HIGH_2(X) 126*1da177e4SLinus Torvalds 127*1da177e4SLinus Torvalds #else 128*1da177e4SLinus Torvalds 129*1da177e4SLinus Torvalds union _FP_UNION_D 130*1da177e4SLinus Torvalds { 131*1da177e4SLinus Torvalds double flt; 132*1da177e4SLinus Torvalds struct { 133*1da177e4SLinus Torvalds #if __BYTE_ORDER == __BIG_ENDIAN 134*1da177e4SLinus Torvalds unsigned sign : 1; 135*1da177e4SLinus Torvalds unsigned exp : _FP_EXPBITS_D; 136*1da177e4SLinus Torvalds unsigned long frac : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0); 137*1da177e4SLinus Torvalds #else 138*1da177e4SLinus Torvalds unsigned long frac : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0); 139*1da177e4SLinus Torvalds unsigned exp : _FP_EXPBITS_D; 140*1da177e4SLinus Torvalds unsigned sign : 1; 141*1da177e4SLinus Torvalds #endif 142*1da177e4SLinus Torvalds } bits __attribute__((packed)); 143*1da177e4SLinus Torvalds }; 144*1da177e4SLinus Torvalds 145*1da177e4SLinus Torvalds #define FP_DECL_D(X) _FP_DECL(1,X) 146*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_D(X,val) _FP_UNPACK_RAW_1(D,X,val) 147*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_DP(X,val) _FP_UNPACK_RAW_1_P(D,X,val) 148*1da177e4SLinus Torvalds #define FP_PACK_RAW_D(val,X) _FP_PACK_RAW_1(D,val,X) 149*1da177e4SLinus Torvalds #define FP_PACK_RAW_DP(val,X) \ 150*1da177e4SLinus Torvalds do { \ 151*1da177e4SLinus Torvalds if (!FP_INHIBIT_RESULTS) \ 152*1da177e4SLinus Torvalds _FP_PACK_RAW_1_P(D,val,X); \ 153*1da177e4SLinus Torvalds } while (0) 154*1da177e4SLinus Torvalds 155*1da177e4SLinus Torvalds #define FP_UNPACK_D(X,val) \ 156*1da177e4SLinus Torvalds do { \ 157*1da177e4SLinus Torvalds _FP_UNPACK_RAW_1(D,X,val); \ 158*1da177e4SLinus Torvalds _FP_UNPACK_CANONICAL(D,1,X); \ 159*1da177e4SLinus Torvalds } while (0) 160*1da177e4SLinus Torvalds 161*1da177e4SLinus Torvalds #define FP_UNPACK_DP(X,val) \ 162*1da177e4SLinus Torvalds do { \ 163*1da177e4SLinus Torvalds _FP_UNPACK_RAW_1_P(D,X,val); \ 164*1da177e4SLinus Torvalds _FP_UNPACK_CANONICAL(D,1,X); \ 165*1da177e4SLinus Torvalds } while (0) 166*1da177e4SLinus Torvalds 167*1da177e4SLinus Torvalds #define FP_PACK_D(val,X) \ 168*1da177e4SLinus Torvalds do { \ 169*1da177e4SLinus Torvalds _FP_PACK_CANONICAL(D,1,X); \ 170*1da177e4SLinus Torvalds _FP_PACK_RAW_1(D,val,X); \ 171*1da177e4SLinus Torvalds } while (0) 172*1da177e4SLinus Torvalds 173*1da177e4SLinus Torvalds #define FP_PACK_DP(val,X) \ 174*1da177e4SLinus Torvalds do { \ 175*1da177e4SLinus Torvalds _FP_PACK_CANONICAL(D,1,X); \ 176*1da177e4SLinus Torvalds if (!FP_INHIBIT_RESULTS) \ 177*1da177e4SLinus Torvalds _FP_PACK_RAW_1_P(D,val,X); \ 178*1da177e4SLinus Torvalds } while (0) 179*1da177e4SLinus Torvalds 180*1da177e4SLinus Torvalds #define FP_ISSIGNAN_D(X) _FP_ISSIGNAN(D,1,X) 181*1da177e4SLinus Torvalds #define FP_NEG_D(R,X) _FP_NEG(D,1,R,X) 182*1da177e4SLinus Torvalds #define FP_ADD_D(R,X,Y) _FP_ADD(D,1,R,X,Y) 183*1da177e4SLinus Torvalds #define FP_SUB_D(R,X,Y) _FP_SUB(D,1,R,X,Y) 184*1da177e4SLinus Torvalds #define FP_MUL_D(R,X,Y) _FP_MUL(D,1,R,X,Y) 185*1da177e4SLinus Torvalds #define FP_DIV_D(R,X,Y) _FP_DIV(D,1,R,X,Y) 186*1da177e4SLinus Torvalds #define FP_SQRT_D(R,X) _FP_SQRT(D,1,R,X) 187*1da177e4SLinus Torvalds #define _FP_SQRT_MEAT_D(R,S,T,X,Q) _FP_SQRT_MEAT_1(R,S,T,X,Q) 188*1da177e4SLinus Torvalds 189*1da177e4SLinus Torvalds /* The implementation of _FP_MUL_D and _FP_DIV_D should be chosen by 190*1da177e4SLinus Torvalds the target machine. */ 191*1da177e4SLinus Torvalds 192*1da177e4SLinus Torvalds #define FP_CMP_D(r,X,Y,un) _FP_CMP(D,1,r,X,Y,un) 193*1da177e4SLinus Torvalds #define FP_CMP_EQ_D(r,X,Y) _FP_CMP_EQ(D,1,r,X,Y) 194*1da177e4SLinus Torvalds 195*1da177e4SLinus Torvalds #define FP_TO_INT_D(r,X,rsz,rsg) _FP_TO_INT(D,1,r,X,rsz,rsg) 196*1da177e4SLinus Torvalds #define FP_TO_INT_ROUND_D(r,X,rsz,rsg) _FP_TO_INT_ROUND(D,1,r,X,rsz,rsg) 197*1da177e4SLinus Torvalds #define FP_FROM_INT_D(X,r,rs,rt) _FP_FROM_INT(D,1,X,r,rs,rt) 198*1da177e4SLinus Torvalds 199*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_D(X) _FP_FRAC_HIGH_1(X) 200*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_RAW_D(X) _FP_FRAC_HIGH_1(X) 201*1da177e4SLinus Torvalds 202*1da177e4SLinus Torvalds #endif /* W_TYPE_SIZE < 64 */ 203*1da177e4SLinus Torvalds 204*1da177e4SLinus Torvalds 205*1da177e4SLinus Torvalds #endif /* __MATH_EMU_DOUBLE_H__ */ 206