1 1.11 nat /* $NetBSD: softfloat.h,v 1.11 2025/09/17 11:37:38 nat Exp $ */ 2 1.1 jmmv 3 1.1 jmmv /* This is a derivative work. */ 4 1.1 jmmv 5 1.1 jmmv /* 6 1.1 jmmv =============================================================================== 7 1.1 jmmv 8 1.1 jmmv This C header file is part of the SoftFloat IEC/IEEE Floating-point 9 1.1 jmmv Arithmetic Package, Release 2a. 10 1.1 jmmv 11 1.1 jmmv Written by John R. Hauser. This work was made possible in part by the 12 1.1 jmmv International Computer Science Institute, located at Suite 600, 1947 Center 13 1.1 jmmv Street, Berkeley, California 94704. Funding was partially provided by the 14 1.1 jmmv National Science Foundation under grant MIP-9311980. The original version 15 1.1 jmmv of this code was written as part of a project to build a fixed-point vector 16 1.1 jmmv processor in collaboration with the University of California at Berkeley, 17 1.1 jmmv overseen by Profs. Nelson Morgan and John Wawrzynek. More information 18 1.1 jmmv is available through the Web page `http://HTTP.CS.Berkeley.EDU/~jhauser/ 19 1.1 jmmv arithmetic/SoftFloat.html'. 20 1.1 jmmv 21 1.1 jmmv THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort 22 1.1 jmmv has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT 23 1.1 jmmv TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO 24 1.1 jmmv PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY 25 1.1 jmmv AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE. 26 1.1 jmmv 27 1.1 jmmv Derivative works are acceptable, even for commercial purposes, so long as 28 1.1 jmmv (1) they include prominent notice that the work is derivative, and (2) they 29 1.1 jmmv include prominent notice akin to these four paragraphs for those parts of 30 1.1 jmmv this code that are retained. 31 1.1 jmmv 32 1.1 jmmv =============================================================================== 33 1.1 jmmv */ 34 1.1 jmmv 35 1.1 jmmv /* 36 1.1 jmmv ------------------------------------------------------------------------------- 37 1.1 jmmv The macro `FLOATX80' must be defined to enable the extended double-precision 38 1.1 jmmv floating-point format `floatx80'. If this macro is not defined, the 39 1.1 jmmv `floatx80' type will not be defined, and none of the functions that either 40 1.1 jmmv input or output the `floatx80' type will be defined. The same applies to 41 1.1 jmmv the `FLOAT128' macro and the quadruple-precision format `float128'. 42 1.1 jmmv ------------------------------------------------------------------------------- 43 1.1 jmmv */ 44 1.5 matt #ifndef __mcoldfire__ 45 1.1 jmmv #define FLOATX80 46 1.5 matt #endif 47 1.1 jmmv /* #define FLOAT128 */ 48 1.1 jmmv 49 1.1 jmmv #include <machine/ieeefp.h> 50 1.1 jmmv 51 1.1 jmmv /* 52 1.1 jmmv ------------------------------------------------------------------------------- 53 1.1 jmmv Software IEC/IEEE floating-point types. 54 1.1 jmmv ------------------------------------------------------------------------------- 55 1.1 jmmv */ 56 1.1 jmmv typedef unsigned int float32; 57 1.1 jmmv typedef unsigned long long float64; 58 1.1 jmmv #ifdef FLOATX80 59 1.11 nat #define X80SHIFT 16 60 1.11 nat 61 1.1 jmmv typedef struct { 62 1.10 nat unsigned long high; 63 1.9 nat unsigned long long low; 64 1.10 nat }__packed floatx80; 65 1.1 jmmv #endif 66 1.1 jmmv #ifdef FLOAT128 67 1.1 jmmv typedef struct { 68 1.1 jmmv unsigned long long high, low; 69 1.1 jmmv } float128; 70 1.1 jmmv #endif 71 1.1 jmmv 72 1.1 jmmv /* 73 1.1 jmmv ------------------------------------------------------------------------------- 74 1.1 jmmv Software IEC/IEEE floating-point underflow tininess-detection mode. 75 1.1 jmmv ------------------------------------------------------------------------------- 76 1.1 jmmv */ 77 1.2 mrg #ifndef SOFTFLOAT_FOR_GCC 78 1.1 jmmv extern int8 float_detect_tininess; 79 1.2 mrg #endif 80 1.1 jmmv enum { 81 1.1 jmmv float_tininess_after_rounding = 0, 82 1.1 jmmv float_tininess_before_rounding = 1 83 1.1 jmmv }; 84 1.1 jmmv 85 1.1 jmmv /* 86 1.1 jmmv ------------------------------------------------------------------------------- 87 1.1 jmmv Software IEC/IEEE floating-point rounding mode. 88 1.1 jmmv ------------------------------------------------------------------------------- 89 1.1 jmmv */ 90 1.1 jmmv extern fp_rnd float_rounding_mode; 91 1.4 matt #define float_round_nearest_even FP_RN 92 1.4 matt #define float_round_to_zero FP_RZ 93 1.4 matt #define float_round_down FP_RM 94 1.4 matt #define float_round_up FP_RP 95 1.1 jmmv 96 1.1 jmmv /* 97 1.1 jmmv ------------------------------------------------------------------------------- 98 1.1 jmmv Software IEC/IEEE floating-point exception flags. 99 1.1 jmmv ------------------------------------------------------------------------------- 100 1.1 jmmv */ 101 1.1 jmmv extern fp_except float_exception_flags; 102 1.1 jmmv extern fp_except float_exception_mask; 103 1.1 jmmv enum { 104 1.1 jmmv float_flag_inexact = FP_X_IMP, 105 1.1 jmmv float_flag_underflow = FP_X_UFL, 106 1.1 jmmv float_flag_overflow = FP_X_OFL, 107 1.1 jmmv float_flag_divbyzero = FP_X_DZ, 108 1.1 jmmv float_flag_invalid = FP_X_INV 109 1.1 jmmv }; 110 1.1 jmmv 111 1.1 jmmv /* 112 1.1 jmmv ------------------------------------------------------------------------------- 113 1.1 jmmv Routine to raise any or all of the software IEC/IEEE floating-point 114 1.1 jmmv exception flags. 115 1.1 jmmv ------------------------------------------------------------------------------- 116 1.1 jmmv */ 117 1.1 jmmv void float_raise( fp_except ); 118 1.1 jmmv 119 1.1 jmmv /* 120 1.1 jmmv ------------------------------------------------------------------------------- 121 1.1 jmmv Software IEC/IEEE integer-to-floating-point conversion routines. 122 1.1 jmmv ------------------------------------------------------------------------------- 123 1.1 jmmv */ 124 1.3 matt float32 int32_to_float32( int32 ); 125 1.3 matt float32 uint32_to_float32( uint32 ); 126 1.3 matt float64 int32_to_float64( int32 ); 127 1.3 matt float64 uint32_to_float64( uint32 ); 128 1.1 jmmv #ifdef FLOATX80 129 1.3 matt floatx80 int32_to_floatx80( int32 ); 130 1.3 matt floatx80 uint32_to_floatx80( uint32 ); 131 1.1 jmmv #endif 132 1.1 jmmv #ifdef FLOAT128 133 1.3 matt float128 int32_to_float128( int32 ); 134 1.3 matt float128 uint32_to_float128( uint32 ); 135 1.1 jmmv #endif 136 1.1 jmmv float32 int64_to_float32( long long ); 137 1.1 jmmv float64 int64_to_float64( long long ); 138 1.1 jmmv #ifdef FLOATX80 139 1.1 jmmv floatx80 int64_to_floatx80( long long ); 140 1.1 jmmv #endif 141 1.1 jmmv #ifdef FLOAT128 142 1.1 jmmv float128 int64_to_float128( long long ); 143 1.1 jmmv #endif 144 1.1 jmmv 145 1.1 jmmv /* 146 1.1 jmmv ------------------------------------------------------------------------------- 147 1.1 jmmv Software IEC/IEEE single-precision conversion routines. 148 1.1 jmmv ------------------------------------------------------------------------------- 149 1.1 jmmv */ 150 1.1 jmmv int float32_to_int32( float32 ); 151 1.1 jmmv int float32_to_int32_round_to_zero( float32 ); 152 1.1 jmmv unsigned int float32_to_uint32_round_to_zero( float32 ); 153 1.1 jmmv long long float32_to_int64( float32 ); 154 1.1 jmmv long long float32_to_int64_round_to_zero( float32 ); 155 1.1 jmmv float64 float32_to_float64( float32 ); 156 1.1 jmmv #ifdef FLOATX80 157 1.1 jmmv floatx80 float32_to_floatx80( float32 ); 158 1.1 jmmv #endif 159 1.1 jmmv #ifdef FLOAT128 160 1.1 jmmv float128 float32_to_float128( float32 ); 161 1.1 jmmv #endif 162 1.1 jmmv 163 1.1 jmmv /* 164 1.1 jmmv ------------------------------------------------------------------------------- 165 1.1 jmmv Software IEC/IEEE single-precision operations. 166 1.1 jmmv ------------------------------------------------------------------------------- 167 1.1 jmmv */ 168 1.1 jmmv float32 float32_round_to_int( float32 ); 169 1.1 jmmv float32 float32_add( float32, float32 ); 170 1.1 jmmv float32 float32_sub( float32, float32 ); 171 1.1 jmmv float32 float32_mul( float32, float32 ); 172 1.1 jmmv float32 float32_div( float32, float32 ); 173 1.1 jmmv float32 float32_rem( float32, float32 ); 174 1.1 jmmv float32 float32_sqrt( float32 ); 175 1.1 jmmv flag float32_eq( float32, float32 ); 176 1.1 jmmv flag float32_le( float32, float32 ); 177 1.1 jmmv flag float32_lt( float32, float32 ); 178 1.1 jmmv flag float32_eq_signaling( float32, float32 ); 179 1.1 jmmv flag float32_le_quiet( float32, float32 ); 180 1.1 jmmv flag float32_lt_quiet( float32, float32 ); 181 1.7 matt #if !defined(SOFTFLOAT_FOR_GCC) || defined(SOFTFLOATM68K_FOR_GCC) 182 1.1 jmmv flag float32_is_signaling_nan( float32 ); 183 1.1 jmmv #endif 184 1.1 jmmv 185 1.1 jmmv /* 186 1.1 jmmv ------------------------------------------------------------------------------- 187 1.1 jmmv Software IEC/IEEE double-precision conversion routines. 188 1.1 jmmv ------------------------------------------------------------------------------- 189 1.1 jmmv */ 190 1.1 jmmv int float64_to_int32( float64 ); 191 1.1 jmmv int float64_to_int32_round_to_zero( float64 ); 192 1.1 jmmv unsigned int float64_to_uint32_round_to_zero( float64 ); 193 1.1 jmmv long long float64_to_int64( float64 ); 194 1.1 jmmv long long float64_to_int64_round_to_zero( float64 ); 195 1.1 jmmv float32 float64_to_float32( float64 ); 196 1.1 jmmv #ifdef FLOATX80 197 1.1 jmmv floatx80 float64_to_floatx80( float64 ); 198 1.1 jmmv #endif 199 1.1 jmmv #ifdef FLOAT128 200 1.1 jmmv float128 float64_to_float128( float64 ); 201 1.1 jmmv #endif 202 1.1 jmmv 203 1.1 jmmv /* 204 1.1 jmmv ------------------------------------------------------------------------------- 205 1.1 jmmv Software IEC/IEEE double-precision operations. 206 1.1 jmmv ------------------------------------------------------------------------------- 207 1.1 jmmv */ 208 1.1 jmmv float64 float64_round_to_int( float64 ); 209 1.1 jmmv float64 float64_add( float64, float64 ); 210 1.1 jmmv float64 float64_sub( float64, float64 ); 211 1.1 jmmv float64 float64_mul( float64, float64 ); 212 1.1 jmmv float64 float64_div( float64, float64 ); 213 1.1 jmmv float64 float64_rem( float64, float64 ); 214 1.1 jmmv float64 float64_sqrt( float64 ); 215 1.1 jmmv flag float64_eq( float64, float64 ); 216 1.1 jmmv flag float64_le( float64, float64 ); 217 1.1 jmmv flag float64_lt( float64, float64 ); 218 1.1 jmmv flag float64_eq_signaling( float64, float64 ); 219 1.1 jmmv flag float64_le_quiet( float64, float64 ); 220 1.1 jmmv flag float64_lt_quiet( float64, float64 ); 221 1.8 nat #if !defined(SOFTFLOAT_FOR_GCC) || defined(SOFTFLOATM68K_FOR_GCC) 222 1.1 jmmv flag float64_is_signaling_nan( float64 ); 223 1.8 nat #endif 224 1.1 jmmv 225 1.1 jmmv #ifdef FLOATX80 226 1.1 jmmv 227 1.1 jmmv /* 228 1.1 jmmv ------------------------------------------------------------------------------- 229 1.1 jmmv Software IEC/IEEE extended double-precision conversion routines. 230 1.1 jmmv ------------------------------------------------------------------------------- 231 1.1 jmmv */ 232 1.1 jmmv int floatx80_to_int32( floatx80 ); 233 1.1 jmmv int floatx80_to_int32_round_to_zero( floatx80 ); 234 1.1 jmmv long long floatx80_to_int64( floatx80 ); 235 1.1 jmmv long long floatx80_to_int64_round_to_zero( floatx80 ); 236 1.1 jmmv float32 floatx80_to_float32( floatx80 ); 237 1.1 jmmv float64 floatx80_to_float64( floatx80 ); 238 1.1 jmmv #ifdef FLOAT128 239 1.1 jmmv float128 floatx80_to_float128( floatx80 ); 240 1.1 jmmv #endif 241 1.1 jmmv 242 1.1 jmmv /* 243 1.1 jmmv ------------------------------------------------------------------------------- 244 1.1 jmmv Software IEC/IEEE extended double-precision rounding precision. Valid 245 1.1 jmmv values are 32, 64, and 80. 246 1.1 jmmv ------------------------------------------------------------------------------- 247 1.1 jmmv */ 248 1.1 jmmv extern int floatx80_rounding_precision; 249 1.1 jmmv 250 1.1 jmmv /* 251 1.1 jmmv ------------------------------------------------------------------------------- 252 1.1 jmmv Software IEC/IEEE extended double-precision operations. 253 1.1 jmmv ------------------------------------------------------------------------------- 254 1.1 jmmv */ 255 1.1 jmmv floatx80 floatx80_round_to_int( floatx80 ); 256 1.1 jmmv floatx80 floatx80_add( floatx80, floatx80 ); 257 1.1 jmmv floatx80 floatx80_sub( floatx80, floatx80 ); 258 1.1 jmmv floatx80 floatx80_mul( floatx80, floatx80 ); 259 1.1 jmmv floatx80 floatx80_div( floatx80, floatx80 ); 260 1.1 jmmv floatx80 floatx80_rem( floatx80, floatx80 ); 261 1.1 jmmv floatx80 floatx80_sqrt( floatx80 ); 262 1.1 jmmv flag floatx80_eq( floatx80, floatx80 ); 263 1.1 jmmv flag floatx80_le( floatx80, floatx80 ); 264 1.1 jmmv flag floatx80_lt( floatx80, floatx80 ); 265 1.1 jmmv flag floatx80_eq_signaling( floatx80, floatx80 ); 266 1.1 jmmv flag floatx80_le_quiet( floatx80, floatx80 ); 267 1.1 jmmv flag floatx80_lt_quiet( floatx80, floatx80 ); 268 1.1 jmmv flag floatx80_is_signaling_nan( floatx80 ); 269 1.1 jmmv flag floatx80_is_nan( floatx80 ); 270 1.1 jmmv 271 1.1 jmmv #endif 272 1.1 jmmv 273 1.1 jmmv #ifdef FLOAT128 274 1.1 jmmv 275 1.1 jmmv /* 276 1.1 jmmv ------------------------------------------------------------------------------- 277 1.1 jmmv Software IEC/IEEE quadruple-precision conversion routines. 278 1.1 jmmv ------------------------------------------------------------------------------- 279 1.1 jmmv */ 280 1.1 jmmv int float128_to_int32( float128 ); 281 1.1 jmmv int float128_to_int32_round_to_zero( float128 ); 282 1.1 jmmv long long float128_to_int64( float128 ); 283 1.1 jmmv long long float128_to_int64_round_to_zero( float128 ); 284 1.1 jmmv float32 float128_to_float32( float128 ); 285 1.1 jmmv float64 float128_to_float64( float128 ); 286 1.1 jmmv #ifdef FLOATX80 287 1.1 jmmv floatx80 float128_to_floatx80( float128 ); 288 1.1 jmmv #endif 289 1.1 jmmv 290 1.1 jmmv /* 291 1.1 jmmv ------------------------------------------------------------------------------- 292 1.1 jmmv Software IEC/IEEE quadruple-precision operations. 293 1.1 jmmv ------------------------------------------------------------------------------- 294 1.1 jmmv */ 295 1.1 jmmv float128 float128_round_to_int( float128 ); 296 1.1 jmmv float128 float128_add( float128, float128 ); 297 1.1 jmmv float128 float128_sub( float128, float128 ); 298 1.1 jmmv float128 float128_mul( float128, float128 ); 299 1.1 jmmv float128 float128_div( float128, float128 ); 300 1.1 jmmv float128 float128_rem( float128, float128 ); 301 1.1 jmmv float128 float128_sqrt( float128 ); 302 1.1 jmmv flag float128_eq( float128, float128 ); 303 1.1 jmmv flag float128_le( float128, float128 ); 304 1.1 jmmv flag float128_lt( float128, float128 ); 305 1.1 jmmv flag float128_eq_signaling( float128, float128 ); 306 1.1 jmmv flag float128_le_quiet( float128, float128 ); 307 1.1 jmmv flag float128_lt_quiet( float128, float128 ); 308 1.1 jmmv flag float128_is_signaling_nan( float128 ); 309 1.1 jmmv 310 1.1 jmmv #endif 311