xref: /utopia/UTPA2-700.0.x/projects/tools/lint/mips-sde-elf_include/float.h (revision 53ee8cc121a030b8d368113ac3e966b4705770ef)
1 /* Copyright (C) 2002, 2007 Free Software Foundation, Inc.
2 
3 This file is part of GCC.
4 
5 GCC is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2, or (at your option)
8 any later version.
9 
10 GCC is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 GNU General Public License for more details.
14 
15 You should have received a copy of the GNU General Public License
16 along with GCC; see the file COPYING.  If not, write to
17 the Free Software Foundation, 51 Franklin Street, Fifth Floor,
18 Boston, MA 02110-1301, USA.  */
19 
20 /* As a special exception, if you include this header file into source
21    files compiled by GCC, this header file does not by itself cause
22    the resulting executable to be covered by the GNU General Public
23    License.  This exception does not however invalidate any other
24    reasons why the executable file might be covered by the GNU General
25    Public License.  */
26 
27 /*
28  * ISO C Standard:  5.2.4.2.2  Characteristics of floating types <float.h>
29  */
30 
31 #ifndef _FLOAT_H___
32 #define _FLOAT_H___
33 
34 /* Radix of exponent representation, b. */
35 #undef FLT_RADIX
36 #define FLT_RADIX	__FLT_RADIX__
37 
38 /* Number of base-FLT_RADIX digits in the significand, p.  */
39 #undef FLT_MANT_DIG
40 #undef DBL_MANT_DIG
41 #undef LDBL_MANT_DIG
42 #define FLT_MANT_DIG	__FLT_MANT_DIG__
43 #define DBL_MANT_DIG	__DBL_MANT_DIG__
44 #define LDBL_MANT_DIG	__LDBL_MANT_DIG__
45 
46 /* Number of decimal digits, q, such that any floating-point number with q
47    decimal digits can be rounded into a floating-point number with p radix b
48    digits and back again without change to the q decimal digits,
49 
50 	p * log10(b)			if b is a power of 10
51 	floor((p - 1) * log10(b))	otherwise
52 */
53 #undef FLT_DIG
54 #undef DBL_DIG
55 #undef LDBL_DIG
56 #define FLT_DIG		__FLT_DIG__
57 #define DBL_DIG		__DBL_DIG__
58 #define LDBL_DIG	__LDBL_DIG__
59 
60 /* Minimum int x such that FLT_RADIX**(x-1) is a normalized float, emin */
61 #undef FLT_MIN_EXP
62 #undef DBL_MIN_EXP
63 #undef LDBL_MIN_EXP
64 #define FLT_MIN_EXP	__FLT_MIN_EXP__
65 #define DBL_MIN_EXP	__DBL_MIN_EXP__
66 #define LDBL_MIN_EXP	__LDBL_MIN_EXP__
67 
68 /* Minimum negative integer such that 10 raised to that power is in the
69    range of normalized floating-point numbers,
70 
71 	ceil(log10(b) * (emin - 1))
72 */
73 #undef FLT_MIN_10_EXP
74 #undef DBL_MIN_10_EXP
75 #undef LDBL_MIN_10_EXP
76 #define FLT_MIN_10_EXP	__FLT_MIN_10_EXP__
77 #define DBL_MIN_10_EXP	__DBL_MIN_10_EXP__
78 #define LDBL_MIN_10_EXP	__LDBL_MIN_10_EXP__
79 
80 /* Maximum int x such that FLT_RADIX**(x-1) is a representable float, emax.  */
81 #undef FLT_MAX_EXP
82 #undef DBL_MAX_EXP
83 #undef LDBL_MAX_EXP
84 #define FLT_MAX_EXP	__FLT_MAX_EXP__
85 #define DBL_MAX_EXP	__DBL_MAX_EXP__
86 #define LDBL_MAX_EXP	__LDBL_MAX_EXP__
87 
88 /* Maximum integer such that 10 raised to that power is in the range of
89    representable finite floating-point numbers,
90 
91 	floor(log10((1 - b**-p) * b**emax))
92 */
93 #undef FLT_MAX_10_EXP
94 #undef DBL_MAX_10_EXP
95 #undef LDBL_MAX_10_EXP
96 #define FLT_MAX_10_EXP	__FLT_MAX_10_EXP__
97 #define DBL_MAX_10_EXP	__DBL_MAX_10_EXP__
98 #define LDBL_MAX_10_EXP	__LDBL_MAX_10_EXP__
99 
100 /* Maximum representable finite floating-point number,
101 
102 	(1 - b**-p) * b**emax
103 */
104 #undef FLT_MAX
105 #undef DBL_MAX
106 #undef LDBL_MAX
107 #define FLT_MAX		__FLT_MAX__
108 #define DBL_MAX		__DBL_MAX__
109 #define LDBL_MAX	__LDBL_MAX__
110 
111 /* The difference between 1 and the least value greater than 1 that is
112    representable in the given floating point type, b**1-p.  */
113 #undef FLT_EPSILON
114 #undef DBL_EPSILON
115 #undef LDBL_EPSILON
116 #define FLT_EPSILON	__FLT_EPSILON__
117 #define DBL_EPSILON	__DBL_EPSILON__
118 #define LDBL_EPSILON	__LDBL_EPSILON__
119 
120 /* Minimum normalized positive floating-point number, b**(emin - 1).  */
121 #undef FLT_MIN
122 #undef DBL_MIN
123 #undef LDBL_MIN
124 #define FLT_MIN		__FLT_MIN__
125 #define DBL_MIN		__DBL_MIN__
126 #define LDBL_MIN	__LDBL_MIN__
127 
128 /* Addition rounds to 0: zero, 1: nearest, 2: +inf, 3: -inf, -1: unknown.  */
129 /* ??? This is supposed to change with calls to fesetround in <fenv.h>.  */
130 #undef FLT_ROUNDS
131 #define FLT_ROUNDS 1
132 
133 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
134 /* The floating-point expression evaluation method.
135         -1  indeterminate
136          0  evaluate all operations and constants just to the range and
137             precision of the type
138          1  evaluate operations and constants of type float and double
139             to the range and precision of the double type, evaluate
140             long double operations and constants to the range and
141             precision of the long double type
142          2  evaluate all operations and constants to the range and
143             precision of the long double type
144 
145    ??? This ought to change with the setting of the fp control word;
146    the value provided by the compiler assumes the widest setting.  */
147 #undef FLT_EVAL_METHOD
148 #define FLT_EVAL_METHOD	__FLT_EVAL_METHOD__
149 
150 /* Number of decimal digits, n, such that any floating-point number in the
151    widest supported floating type with pmax radix b digits can be rounded
152    to a floating-point number with n decimal digits and back again without
153    change to the value,
154 
155 	pmax * log10(b)			if b is a power of 10
156 	ceil(1 + pmax * log10(b))	otherwise
157 */
158 #undef DECIMAL_DIG
159 #define DECIMAL_DIG	__DECIMAL_DIG__
160 
161 #endif /* C99 */
162 
163 #ifdef __STDC_WANT_DEC_FP__
164 /* Draft Technical Report 24732, extension for decimal floating-point
165    arithmetic: Characteristic of decimal floating types <float.h>.  */
166 
167 /* Number of base-FLT_RADIX digits in the significand, p.  */
168 #undef DEC32_MANT_DIG
169 #undef DEC64_MANT_DIG
170 #undef DEC128_MANT_DIG
171 #define DEC32_MANT_DIG	__DEC32_MANT_DIG__
172 #define DEC64_MANT_DIG	__DEC64_MANT_DIG__
173 #define DEC128_MANT_DIG	__DEC128_MANT_DIG__
174 
175 /* Minimum exponent. */
176 #undef DEC32_MIN_EXP
177 #undef DEC64_MIN_EXP
178 #undef DEC128_MIN_EXP
179 #define DEC32_MIN_EXP	__DEC32_MIN_EXP__
180 #define DEC64_MIN_EXP	__DEC64_MIN_EXP__
181 #define DEC128_MIN_EXP	__DEC128_MIN_EXP__
182 
183 /* Maximum exponent. */
184 #undef DEC32_MAX_EXP
185 #undef DEC64_MAX_EXP
186 #undef DEC128_MAX_EXP
187 #define DEC32_MAX_EXP	__DEC32_MAX_EXP__
188 #define DEC64_MAX_EXP	__DEC64_MAX_EXP__
189 #define DEC128_MAX_EXP	__DEC128_MAX_EXP__
190 
191 /* Maximum representable finite decimal floating-point number
192    (there are 6, 15, and 33 9s after the decimal points respectively). */
193 #undef DEC32_MAX
194 #undef DEC64_MAX
195 #undef DEC128_MAX
196 #define DEC32_MAX   __DEC32_MAX__
197 #define DEC64_MAX   __DEC64_MAX__
198 #define DEC128_MAX  __DEC128_MAX__
199 
200 /* The difference between 1 and the least value greater than 1 that is
201    representable in the given floating point type. */
202 #undef DEC32_EPSILON
203 #undef DEC64_EPSILON
204 #undef DEC128_EPSILON
205 #define DEC32_EPSILON	__DEC32_EPSILON__
206 #define DEC64_EPSILON	__DEC64_EPSILON__
207 #define DEC128_EPSILON	__DEC128_EPSILON__
208 
209 /* Minimum normalized positive floating-point number. */
210 #undef DEC32_MIN
211 #undef DEC64_MIN
212 #undef DEC128_MIN
213 #define DEC32_MIN	__DEC32_MIN__
214 #define DEC64_MIN	__DEC64_MIN__
215 #define DEC128_MIN	__DEC128_MIN__
216 
217 /* Minimum denormalized positive floating-point number. */
218 #undef DEC32_DEN
219 #undef DEC64_DEN
220 #undef DEC128_DEN
221 #define DEC32_DEN       __DEC32_DEN__
222 #define DEC64_DEN       __DEC64_DEN__
223 #define DEC128_DEN      __DEC128_DEN__
224 
225 /* The floating-point expression evaluation method.
226          -1  indeterminate
227          0  evaluate all operations and constants just to the range and
228             precision of the type
229          1  evaluate operations and constants of type _Decimal32
230 	    and _Decimal64 to the range and precision of the _Decimal64
231             type, evaluate _Decimal128 operations and constants to the
232 	    range and precision of the _Decimal128 type;
233 	 2  evaluate all operations and constants to the range and
234 	    precision of the _Decimal128 type.  */
235 
236 #undef DECFLT_EVAL_METHOD
237 #define DECFLT_EVAL_METHOD	__DECFLT_EVAL_METHOD__
238 
239 #endif /* __STDC_WANT_DEC_FP__ */
240 
241 #endif /* _FLOAT_H___ */
242