Home | History | Annotate | Line # | Download | only in mips
      1 /* softfp machine description for MIPS.
      2    Copyright (C) 2009-2022 Free Software Foundation, Inc.
      3 
      4 This file is part of GCC.
      5 
      6 GCC is free software; you can redistribute it and/or modify it under
      7 the terms of the GNU General Public License as published by the Free
      8 Software Foundation; either version 3, or (at your option) any later
      9 version.
     10 
     11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
     12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
     13 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
     14 for more details.
     15 
     16 Under Section 7 of GPL version 3, you are granted additional
     17 permissions described in the GCC Runtime Library Exception, version
     18 3.1, as published by the Free Software Foundation.
     19 
     20 You should have received a copy of the GNU General Public License and
     21 a copy of the GCC Runtime Library Exception along with this program;
     22 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
     23 <http://www.gnu.org/licenses/>.  */
     24 
     25 #ifdef __mips64
     26 #define _FP_W_TYPE_SIZE		64
     27 #define _FP_W_TYPE		unsigned long long
     28 #define _FP_WS_TYPE		signed long long
     29 #define _FP_I_TYPE		long long
     30 
     31 typedef int TItype __attribute__ ((mode (TI)));
     32 typedef unsigned int UTItype __attribute__ ((mode (TI)));
     33 #define TI_BITS (__CHAR_BIT__ * (int) sizeof (TItype))
     34 
     35 #define _FP_MUL_MEAT_S(R,X,Y)				\
     36   _FP_MUL_MEAT_1_wide(_FP_WFRACBITS_S,R,X,Y,umul_ppmm)
     37 #define _FP_MUL_MEAT_D(R,X,Y)				\
     38   _FP_MUL_MEAT_1_wide(_FP_WFRACBITS_D,R,X,Y,umul_ppmm)
     39 #define _FP_MUL_MEAT_Q(R,X,Y)				\
     40   _FP_MUL_MEAT_2_wide(_FP_WFRACBITS_Q,R,X,Y,umul_ppmm)
     41 
     42 #define _FP_DIV_MEAT_S(R,X,Y)	_FP_DIV_MEAT_1_udiv_norm(S,R,X,Y)
     43 #define _FP_DIV_MEAT_D(R,X,Y)	_FP_DIV_MEAT_1_udiv_norm(D,R,X,Y)
     44 #define _FP_DIV_MEAT_Q(R,X,Y)	_FP_DIV_MEAT_2_udiv(Q,R,X,Y)
     45 
     46 #ifdef __mips_nan2008
     47 # define _FP_NANFRAC_S		((_FP_QNANBIT_S << 1) - 1)
     48 # define _FP_NANFRAC_D		((_FP_QNANBIT_D << 1) - 1)
     49 # define _FP_NANFRAC_Q		((_FP_QNANBIT_Q << 1) - 1), -1
     50 #else
     51 # define _FP_NANFRAC_S		(_FP_QNANBIT_S - 1)
     52 # define _FP_NANFRAC_D		(_FP_QNANBIT_D - 1)
     53 # define _FP_NANFRAC_Q		(_FP_QNANBIT_Q - 1), -1
     54 #endif
     55 #else
     56 #define _FP_W_TYPE_SIZE		32
     57 #define _FP_W_TYPE		unsigned int
     58 #define _FP_WS_TYPE		signed int
     59 #define _FP_I_TYPE		int
     60 
     61 #define _FP_MUL_MEAT_S(R,X,Y)				\
     62   _FP_MUL_MEAT_1_wide(_FP_WFRACBITS_S,R,X,Y,umul_ppmm)
     63 #define _FP_MUL_MEAT_D(R,X,Y)				\
     64   _FP_MUL_MEAT_2_wide(_FP_WFRACBITS_D,R,X,Y,umul_ppmm)
     65 #define _FP_MUL_MEAT_Q(R,X,Y)				\
     66   _FP_MUL_MEAT_4_wide(_FP_WFRACBITS_Q,R,X,Y,umul_ppmm)
     67 
     68 #define _FP_DIV_MEAT_S(R,X,Y)	_FP_DIV_MEAT_1_udiv_norm(S,R,X,Y)
     69 #define _FP_DIV_MEAT_D(R,X,Y)	_FP_DIV_MEAT_2_udiv(D,R,X,Y)
     70 #define _FP_DIV_MEAT_Q(R,X,Y)	_FP_DIV_MEAT_4_udiv(Q,R,X,Y)
     71 
     72 #ifdef __mips_nan2008
     73 # define _FP_NANFRAC_S		((_FP_QNANBIT_S << 1) - 1)
     74 # define _FP_NANFRAC_D		((_FP_QNANBIT_D << 1) - 1), -1
     75 # define _FP_NANFRAC_Q		((_FP_QNANBIT_Q << 1) - 1), -1, -1, -1
     76 #else
     77 # define _FP_NANFRAC_S		(_FP_QNANBIT_S - 1)
     78 # define _FP_NANFRAC_D		(_FP_QNANBIT_D - 1), -1
     79 # define _FP_NANFRAC_Q		(_FP_QNANBIT_Q - 1), -1, -1, -1
     80 #endif
     81 #endif
     82 
     83 /* The type of the result of a floating point comparison.  This must
     84    match __libgcc_cmp_return__ in GCC for the target.  */
     85 typedef int __gcc_CMPtype __attribute__ ((mode (__libgcc_cmp_return__)));
     86 #define CMPtype __gcc_CMPtype
     87 
     88 #define _FP_NANSIGN_S		0
     89 #define _FP_NANSIGN_D		0
     90 #define _FP_NANSIGN_Q		0
     91 
     92 #define _FP_KEEPNANFRACP 1
     93 #ifdef __mips_nan2008
     94 # define _FP_QNANNEGATEDP 0
     95 #else
     96 # define _FP_QNANNEGATEDP 1
     97 #endif
     98 
     99 #ifdef __mips_nan2008
    100 /* NaN payloads should be preserved for NAN2008.  */
    101 # define _FP_CHOOSENAN(fs, wc, R, X, Y, OP)	\
    102   do						\
    103     {						\
    104       R##_s = X##_s;				\
    105       _FP_FRAC_COPY_##wc (R, X);		\
    106       R##_c = FP_CLS_NAN;			\
    107     }						\
    108   while (0)
    109 #else
    110 /* Comment from glibc: */
    111 /* From my experiments it seems X is chosen unless one of the
    112    NaNs is sNaN,  in which case the result is NANSIGN/NANFRAC.  */
    113 # define _FP_CHOOSENAN(fs, wc, R, X, Y, OP)			\
    114   do {								\
    115     if ((_FP_FRAC_HIGH_RAW_##fs(X) |				\
    116 	 _FP_FRAC_HIGH_RAW_##fs(Y)) & _FP_QNANBIT_##fs)		\
    117       {								\
    118 	R##_s = _FP_NANSIGN_##fs;				\
    119 	_FP_FRAC_SET_##wc(R,_FP_NANFRAC_##fs);			\
    120       }								\
    121     else							\
    122       {								\
    123 	R##_s = X##_s;						\
    124 	_FP_FRAC_COPY_##wc(R,X);				\
    125       }								\
    126     R##_c = FP_CLS_NAN;						\
    127   } while (0)
    128 #endif
    129 
    130 #ifdef __mips_hard_float
    131 #define FP_EX_INVALID           0x40
    132 #define FP_EX_DIVZERO           0x20
    133 #define FP_EX_OVERFLOW          0x10
    134 #define FP_EX_UNDERFLOW         0x08
    135 #define FP_EX_INEXACT           0x04
    136 #define FP_EX_ALL \
    137 	(FP_EX_INVALID | FP_EX_DIVZERO | FP_EX_OVERFLOW | FP_EX_UNDERFLOW \
    138 	 | FP_EX_INEXACT)
    139 
    140 #define FP_EX_ENABLE_SHIFT	5
    141 #define FP_EX_CAUSE_SHIFT	10
    142 
    143 #define FP_RND_NEAREST		0x0
    144 #define FP_RND_ZERO		0x1
    145 #define FP_RND_PINF		0x2
    146 #define FP_RND_MINF		0x3
    147 #define FP_RND_MASK		0x3
    148 
    149 #define _FP_DECL_EX \
    150   unsigned long int _fcsr __attribute__ ((unused)) = FP_RND_NEAREST
    151 
    152 #define FP_INIT_ROUNDMODE			\
    153   do {						\
    154     _fcsr = __builtin_mips_get_fcsr ();		\
    155   } while (0)
    156 
    157 #define FP_ROUNDMODE (_fcsr & FP_RND_MASK)
    158 
    159 #define FP_TRAPPING_EXCEPTIONS ((_fcsr >> FP_EX_ENABLE_SHIFT) & FP_EX_ALL)
    160 
    161 #define FP_HANDLE_EXCEPTIONS				\
    162   do {							\
    163     _fcsr &= ~(FP_EX_ALL << FP_EX_CAUSE_SHIFT);		\
    164     /* Also clear Unimplemented Operation.  */		\
    165     _fcsr &= ~(1 << 17);				\
    166     _fcsr |= _fex | (_fex << FP_EX_CAUSE_SHIFT);	\
    167     __builtin_mips_set_fcsr (_fcsr);			\
    168   } while (0)
    169 
    170 #else
    171 #define FP_EX_INVALID           (1 << 4)
    172 #define FP_EX_DIVZERO           (1 << 3)
    173 #define FP_EX_OVERFLOW          (1 << 2)
    174 #define FP_EX_UNDERFLOW         (1 << 1)
    175 #define FP_EX_INEXACT           (1 << 0)
    176 #endif
    177 
    178 #define _FP_TININESS_AFTER_ROUNDING 1
    179 
    180 #define	__LITTLE_ENDIAN	1234
    181 #define	__BIG_ENDIAN	4321
    182 
    183 #if defined _MIPSEB
    184 # define __BYTE_ORDER __BIG_ENDIAN
    185 #else
    186 # define __BYTE_ORDER __LITTLE_ENDIAN
    187 #endif
    188 
    189 /* Define ALIASNAME as a strong alias for NAME.  */
    190 # define strong_alias(name, aliasname) _strong_alias(name, aliasname)
    191 # define _strong_alias(name, aliasname) \
    192   extern __typeof (name) aliasname __attribute__ ((alias (#name)));
    193