ada: Fix internal error on quantified expression with predicated type
[official-gcc.git] / libgcc / libgcc2.h
blob3ec9bbd81647514e299fec6b445e48b21c88943b
1 /* Header file for libgcc2.c. */
2 /* Copyright (C) 2000-2023 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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.
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/>. */
25 #ifndef GCC_LIBGCC2_H
26 #define GCC_LIBGCC2_H
28 #ifndef HIDE_EXPORTS
29 #pragma GCC visibility push(default)
30 #endif
32 extern int __gcc_bcmp (const unsigned char *, const unsigned char *, size_t);
33 extern void __clear_cache (void *, void *);
34 extern void __eprintf (const char *, const char *, unsigned int, const char *)
35 __attribute__ ((__noreturn__));
37 #ifdef __LIBGCC_HAS_HF_MODE__
38 #define LIBGCC2_HAS_HF_MODE 1
39 #else
40 #define LIBGCC2_HAS_HF_MODE 0
41 #endif
43 #ifdef __LIBGCC_HAS_SF_MODE__
44 #define LIBGCC2_HAS_SF_MODE 1
45 #else
46 #define LIBGCC2_HAS_SF_MODE 0
47 #endif
49 #ifdef __LIBGCC_HAS_DF_MODE__
50 #define LIBGCC2_HAS_DF_MODE 1
51 #else
52 #define LIBGCC2_HAS_DF_MODE 0
53 #endif
55 #ifdef __LIBGCC_HAS_XF_MODE__
56 #define LIBGCC2_HAS_XF_MODE 1
57 #else
58 #define LIBGCC2_HAS_XF_MODE 0
59 #endif
61 #ifdef __LIBGCC_HAS_TF_MODE__
62 #define LIBGCC2_HAS_TF_MODE 1
63 #else
64 #define LIBGCC2_HAS_TF_MODE 0
65 #endif
67 #ifndef __LIBGCC_SF_MANT_DIG__
68 #if LIBGCC2_HAS_SF_MODE
69 #error __LIBGCC_SF_MANT_DIG__ not defined
70 #else
71 #define __LIBGCC_SF_MANT_DIG__ 0
72 #endif
73 #endif
75 #ifndef __LIBGCC_DF_MANT_DIG__
76 #if LIBGCC2_HAS_DF_MODE
77 #error __LIBGCC_DF_MANT_DIG__ not defined
78 #else
79 #define __LIBGCC_DF_MANT_DIG__ 0
80 #endif
81 #endif
83 #ifndef __LIBGCC_XF_MANT_DIG__
84 #if LIBGCC2_HAS_XF_MODE
85 #error __LIBGCC_XF_MANT_DIG__ not defined
86 #else
87 #define __LIBGCC_XF_MANT_DIG__ 0
88 #endif
89 #endif
91 #ifndef __LIBGCC_TF_MANT_DIG__
92 #if LIBGCC2_HAS_TF_MODE
93 #error __LIBGCC_TF_MANT_DIG__ not defined
94 #else
95 #define __LIBGCC_TF_MANT_DIG__ 0
96 #endif
97 #endif
99 /* FIXME: This #ifdef probably should be removed, ie. enable the test
100 for mips too. */
101 /* Don't use IBM Extended Double TFmode for TI->SF calculations.
102 The conversion from long double to float suffers from double
103 rounding, because we convert via double. In other cases, going
104 through the software fp routines is much slower than the fallback. */
105 #ifdef __powerpc__
106 #define AVOID_FP_TYPE_CONVERSION(SIZE) (SIZE == 106)
107 #elif defined(WIDEST_HARDWARE_FP_SIZE)
108 #define AVOID_FP_TYPE_CONVERSION(SIZE) (SIZE > WIDEST_HARDWARE_FP_SIZE)
109 #else
110 #define AVOID_FP_TYPE_CONVERSION(SIZE) 0
111 #endif
113 /* In the first part of this file, we are interfacing to calls generated
114 by the compiler itself. These calls pass values into these routines
115 which have very specific modes (rather than very specific types), and
116 these compiler-generated calls also expect any return values to have
117 very specific modes (rather than very specific types). Thus, we need
118 to avoid using regular C language type names in this part of the file
119 because the sizes for those types can be configured to be anything.
120 Instead we use the following special type names. */
122 typedef int QItype __attribute__ ((mode (QI)));
123 typedef unsigned int UQItype __attribute__ ((mode (QI)));
124 typedef int HItype __attribute__ ((mode (HI)));
125 typedef unsigned int UHItype __attribute__ ((mode (HI)));
126 #if MIN_UNITS_PER_WORD > 1
127 /* These typedefs are usually forbidden on dsp's with UNITS_PER_WORD 1. */
128 typedef int SItype __attribute__ ((mode (SI)));
129 typedef unsigned int USItype __attribute__ ((mode (SI)));
130 #if __SIZEOF_LONG_LONG__ > 4
131 /* These typedefs are usually forbidden on archs with UNITS_PER_WORD 2. */
132 typedef int DItype __attribute__ ((mode (DI)));
133 typedef unsigned int UDItype __attribute__ ((mode (DI)));
134 #if MIN_UNITS_PER_WORD > 4
135 /* These typedefs are usually forbidden on archs with UNITS_PER_WORD 4. */
136 typedef int TItype __attribute__ ((mode (TI)));
137 typedef unsigned int UTItype __attribute__ ((mode (TI)));
138 #endif
139 #endif
140 #endif
142 #if LIBGCC2_HAS_HF_MODE
143 typedef float HFtype __attribute__ ((mode (HF)));
144 typedef _Complex float HCtype __attribute__ ((mode (HC)));
145 #endif
146 #if LIBGCC2_HAS_SF_MODE
147 typedef float SFtype __attribute__ ((mode (SF)));
148 typedef _Complex float SCtype __attribute__ ((mode (SC)));
149 #endif
150 #if LIBGCC2_HAS_DF_MODE
151 typedef float DFtype __attribute__ ((mode (DF)));
152 typedef _Complex float DCtype __attribute__ ((mode (DC)));
153 #endif
154 #if LIBGCC2_HAS_XF_MODE
155 typedef float XFtype __attribute__ ((mode (XF)));
156 typedef _Complex float XCtype __attribute__ ((mode (XC)));
157 #endif
158 #if LIBGCC2_HAS_TF_MODE
159 #ifndef TFtype
160 typedef float TFtype __attribute__ ((mode (TF)));
161 #endif
162 #ifndef TCtype
163 typedef _Complex float TCtype __attribute__ ((mode (TC)));
164 #endif
165 #endif
167 typedef int cmp_return_type __attribute__((mode (__libgcc_cmp_return__)));
168 typedef int shift_count_type __attribute__((mode (__libgcc_shift_count__)));
170 /* Make sure that we don't accidentally use any normal C language built-in
171 type names in the first part of this file. Instead we want to use *only*
172 the type names defined above. The following macro definitions insure
173 that if we *do* accidentally use some normal C language built-in type name,
174 we will get a syntax error. */
176 #define char bogus_type
177 #define short bogus_type
178 #define int bogus_type
179 #define long bogus_type
180 #define unsigned bogus_type
181 #define float bogus_type
182 #define double bogus_type
184 /* Versions prior to 3.4.4 were not taking into account the word size for
185 the 5 trapping arithmetic functions absv, addv, subv, mulv and negv. As
186 a consequence, the si and di variants were always and the only ones emitted.
187 To maintain backward compatibility, COMPAT_SIMODE_TRAPPING_ARITHMETIC is
188 defined on platforms where it makes sense to still have the si variants
189 emitted. As a bonus, their implementation is now correct. Note that the
190 same mechanism should have been implemented for the di variants, but it
191 turns out that no platform would define COMPAT_DIMODE_TRAPPING_ARITHMETIC
192 if it existed. */
194 #if LIBGCC2_UNITS_PER_WORD == 8
195 #define W_TYPE_SIZE (8 * __CHAR_BIT__)
196 #define Wtype DItype
197 #define UWtype UDItype
198 #define HWtype DItype
199 #define UHWtype UDItype
200 #define DWtype TItype
201 #define UDWtype UTItype
202 #ifdef LIBGCC2_GNU_PREFIX
203 #define __NW(a,b) __gnu_ ## a ## di ## b
204 #define __NDW(a,b) __gnu_ ## a ## ti ## b
205 #else
206 #define __NW(a,b) __ ## a ## di ## b
207 #define __NDW(a,b) __ ## a ## ti ## b
208 #endif
209 #define COMPAT_SIMODE_TRAPPING_ARITHMETIC
210 #elif LIBGCC2_UNITS_PER_WORD == 4
211 #define W_TYPE_SIZE (4 * __CHAR_BIT__)
212 #define Wtype SItype
213 #define UWtype USItype
214 #define HWtype SItype
215 #define UHWtype USItype
216 #define DWtype DItype
217 #define UDWtype UDItype
218 #ifdef LIBGCC2_GNU_PREFIX
219 #define __NW(a,b) __gnu_ ## a ## si ## b
220 #define __NDW(a,b) __gnu_ ## a ## di ## b
221 #else
222 #define __NW(a,b) __ ## a ## si ## b
223 #define __NDW(a,b) __ ## a ## di ## b
224 #endif
225 #elif LIBGCC2_UNITS_PER_WORD == 2
226 #define W_TYPE_SIZE (2 * __CHAR_BIT__)
227 #define Wtype HItype
228 #define UWtype UHItype
229 #define HWtype HItype
230 #define UHWtype UHItype
231 #define DWtype SItype
232 #define UDWtype USItype
233 #ifdef LIBGCC2_GNU_PREFIX
234 #define __NW(a,b) __gnu_ ## a ## hi ## b
235 #define __NDW(a,b) __gnu_ ## a ## si ## b
236 #else
237 #define __NW(a,b) __ ## a ## hi ## b
238 #define __NDW(a,b) __ ## a ## si ## b
239 #endif
240 #else
241 #define W_TYPE_SIZE __CHAR_BIT__
242 #define Wtype QItype
243 #define UWtype UQItype
244 #define HWtype QItype
245 #define UHWtype UQItype
246 #define DWtype HItype
247 #define UDWtype UHItype
248 #ifdef LIBGCC2_GNU_PREFIX
249 #define __NW(a,b) __gnu_ ## a ## qi ## b
250 #define __NDW(a,b) __gnu_ ## a ## hi ## b
251 #else
252 #define __NW(a,b) __ ## a ## qi ## b
253 #define __NDW(a,b) __ ## a ## hi ## b
254 #endif
255 #endif
257 #ifdef LIBGCC2_GNU_PREFIX
258 #define __N(a) __gnu_ ## a
259 #else
260 #define __N(a) __ ## a
261 #endif
262 #define Wtype_MAX ((Wtype)(((UWtype)1 << (W_TYPE_SIZE - 1)) - 1))
263 #define Wtype_MIN (- Wtype_MAX - 1)
265 #if W_TYPE_SIZE == 8
266 # define Wtype_MAXp1_F 0x1p8f
267 #elif W_TYPE_SIZE == 16
268 # define Wtype_MAXp1_F 0x1p16f
269 #elif W_TYPE_SIZE == 32
270 # define Wtype_MAXp1_F 0x1p32f
271 #elif W_TYPE_SIZE == 64
272 # define Wtype_MAXp1_F 0x1p64f
273 #else
274 # error "expand the table"
275 #endif
277 #define __muldi3 __NDW(mul,3)
278 #define __divdi3 __NDW(div,3)
279 #define __udivdi3 __NDW(udiv,3)
280 #define __moddi3 __NDW(mod,3)
281 #define __umoddi3 __NDW(umod,3)
282 #define __negdi2 __NDW(neg,2)
283 #define __lshrdi3 __NDW(lshr,3)
284 #define __ashldi3 __NDW(ashl,3)
285 #define __ashrdi3 __NDW(ashr,3)
286 #define __cmpdi2 __NDW(cmp,2)
287 #define __ucmpdi2 __NDW(ucmp,2)
288 #define __divmoddi4 __NDW(divmod,4)
289 #define __udivmoddi4 __NDW(udivmod,4)
290 #define __fixunstfDI __NDW(fixunstf,)
291 #define __fixtfdi __NDW(fixtf,)
292 #define __fixunsxfDI __NDW(fixunsxf,)
293 #define __fixxfdi __NDW(fixxf,)
294 #define __fixunsdfDI __NDW(fixunsdf,)
295 #define __fixdfdi __NDW(fixdf,)
296 #define __fixunssfDI __NDW(fixunssf,)
297 #define __fixsfdi __NDW(fixsf,)
298 #define __floatdixf __NDW(float,xf)
299 #define __floatditf __NDW(float,tf)
300 #define __floatdidf __NDW(float,df)
301 #define __floatdisf __NDW(float,sf)
302 #define __floatundixf __NDW(floatun,xf)
303 #define __floatunditf __NDW(floatun,tf)
304 #define __floatundidf __NDW(floatun,df)
305 #define __floatundisf __NDW(floatun,sf)
306 #define __fixunsxfSI __NW(fixunsxf,)
307 #define __fixunstfSI __NW(fixunstf,)
308 #define __fixunsdfSI __NW(fixunsdf,)
309 #define __fixunssfSI __NW(fixunssf,)
311 #define __absvSI2 __NW(absv,2)
312 #define __addvSI3 __NW(addv,3)
313 #define __subvSI3 __NW(subv,3)
314 #define __mulvSI3 __NW(mulv,3)
315 #define __negvSI2 __NW(negv,2)
316 #define __absvDI2 __NDW(absv,2)
317 #define __addvDI3 __NDW(addv,3)
318 #define __subvDI3 __NDW(subv,3)
319 #define __mulvDI3 __NDW(mulv,3)
320 #define __negvDI2 __NDW(negv,2)
322 #define __ffsSI2 __NW(ffs,2)
323 #define __clzSI2 __NW(clz,2)
324 #define __ctzSI2 __NW(ctz,2)
325 #define __clrsbSI2 __NW(clrsb,2)
326 #define __popcountSI2 __NW(popcount,2)
327 #define __paritySI2 __NW(parity,2)
328 #define __ffsDI2 __NDW(ffs,2)
329 #define __clzDI2 __NDW(clz,2)
330 #define __ctzDI2 __NDW(ctz,2)
331 #define __clrsbDI2 __NDW(clrsb,2)
332 #define __popcountDI2 __NDW(popcount,2)
333 #define __parityDI2 __NDW(parity,2)
335 #define __clz_tab __N(clz_tab)
336 #define __bswapsi2 __N(bswapsi2)
337 #define __bswapdi2 __N(bswapdi2)
338 #define __udiv_w_sdiv __N(udiv_w_sdiv)
339 #define __clear_cache __N(clear_cache)
340 #define __enable_execute_stack __N(enable_execute_stack)
342 #ifndef __powisf2
343 #define __powisf2 __N(powisf2)
344 #endif
345 #ifndef __powidf2
346 #define __powidf2 __N(powidf2)
347 #endif
348 #ifndef __powitf2
349 #define __powitf2 __N(powitf2)
350 #endif
351 #ifndef __powixf2
352 #define __powixf2 __N(powixf2)
353 #endif
354 #ifndef __mulsc3
355 #define __mulsc3 __N(mulsc3)
356 #endif
357 #ifndef __muldc3
358 #define __muldc3 __N(muldc3)
359 #endif
360 #ifndef __mulxc3
361 #define __mulxc3 __N(mulxc3)
362 #endif
363 #ifndef __multc3
364 #define __multc3 __N(multc3)
365 #endif
366 #ifndef __divsc3
367 #define __divsc3 __N(divsc3)
368 #endif
369 #ifndef __divdc3
370 #define __divdc3 __N(divdc3)
371 #endif
372 #ifndef __divxc3
373 #define __divxc3 __N(divxc3)
374 #endif
375 #ifndef __divtc3
376 #define __divtc3 __N(divtc3)
377 #endif
379 extern DWtype __muldi3 (DWtype, DWtype);
380 extern DWtype __divdi3 (DWtype, DWtype);
381 extern UDWtype __udivdi3 (UDWtype, UDWtype);
382 extern UDWtype __umoddi3 (UDWtype, UDWtype);
383 extern DWtype __moddi3 (DWtype, DWtype);
384 extern DWtype __divmoddi4 (DWtype, DWtype, DWtype *);
386 /* __udivmoddi4 is static inline when building other libgcc2 portions. */
387 #if (!defined (L_udivdi3) && !defined (L_divdi3) && \
388 !defined (L_umoddi3) && !defined (L_moddi3) && \
389 !defined (L_divmoddi4))
390 extern UDWtype __udivmoddi4 (UDWtype, UDWtype, UDWtype *);
391 #endif
393 /* __negdi2 is static inline when building other libgcc2 portions. */
394 #if !defined(L_divdi3) && !defined(L_moddi3)
395 extern DWtype __negdi2 (DWtype);
396 #endif
398 extern DWtype __lshrdi3 (DWtype, shift_count_type);
399 extern DWtype __ashldi3 (DWtype, shift_count_type);
400 extern DWtype __ashrdi3 (DWtype, shift_count_type);
402 /* __udiv_w_sdiv is static inline when building other libgcc2 portions. */
403 #if (!defined(L_udivdi3) && !defined(L_divdi3) && \
404 !defined(L_umoddi3) && !defined(L_moddi3))
405 extern UWtype __udiv_w_sdiv (UWtype *, UWtype, UWtype, UWtype);
406 #endif
408 extern cmp_return_type __cmpdi2 (DWtype, DWtype);
409 extern cmp_return_type __ucmpdi2 (UDWtype, UDWtype);
411 #if MIN_UNITS_PER_WORD > 1
412 extern SItype __bswapsi2 (SItype);
413 #endif
414 #if __SIZEOF_LONG_LONG__ > 4
415 extern DItype __bswapdi2 (DItype);
416 #endif
418 extern Wtype __absvSI2 (Wtype);
419 extern Wtype __addvSI3 (Wtype, Wtype);
420 extern Wtype __subvSI3 (Wtype, Wtype);
421 extern Wtype __mulvSI3 (Wtype, Wtype);
422 extern Wtype __negvSI2 (Wtype);
423 extern DWtype __absvDI2 (DWtype);
424 extern DWtype __addvDI3 (DWtype, DWtype);
425 extern DWtype __subvDI3 (DWtype, DWtype);
426 extern DWtype __mulvDI3 (DWtype, DWtype);
427 extern DWtype __negvDI2 (DWtype);
429 #ifdef COMPAT_SIMODE_TRAPPING_ARITHMETIC
430 #define __absvsi2 __N(absvsi2)
431 #define __negvsi2 __N(negvsi2)
432 #define __addvsi3 __N(addvsi3)
433 #define __subvsi3 __N(subvsi3)
434 #define __mulvsi3 __N(mulvsi3)
436 extern SItype __absvsi2 (SItype);
437 extern SItype __addvsi3 (SItype, SItype);
438 extern SItype __subvsi3 (SItype, SItype);
439 extern SItype __mulvsi3 (SItype, SItype);
440 extern SItype __negvsi2 (SItype);
441 #endif /* COMPAT_SIMODE_TRAPPING_ARITHMETIC */
443 #undef int
444 #if LIBGCC2_HAS_HF_MODE
445 extern HCtype __divhc3 (HFtype, HFtype, HFtype, HFtype);
446 extern HCtype __mulhc3 (HFtype, HFtype, HFtype, HFtype);
447 #endif
448 #if LIBGCC2_HAS_SF_MODE
449 extern DWtype __fixsfdi (SFtype);
450 extern SFtype __floatdisf (DWtype);
451 extern SFtype __floatundisf (UDWtype);
452 extern UWtype __fixunssfSI (SFtype);
453 extern UDWtype __fixunssfDI (SFtype);
454 extern SFtype __powisf2 (SFtype, int);
455 extern SCtype __divsc3 (SFtype, SFtype, SFtype, SFtype);
456 extern SCtype __mulsc3 (SFtype, SFtype, SFtype, SFtype);
457 #endif
458 #if LIBGCC2_HAS_DF_MODE
459 extern DWtype __fixdfdi (DFtype);
460 extern DFtype __floatdidf (DWtype);
461 extern DFtype __floatundidf (UDWtype);
462 extern UWtype __fixunsdfSI (DFtype);
463 extern UDWtype __fixunsdfDI (DFtype);
464 extern DFtype __powidf2 (DFtype, int);
465 extern DCtype __divdc3 (DFtype, DFtype, DFtype, DFtype);
466 extern DCtype __muldc3 (DFtype, DFtype, DFtype, DFtype);
467 #endif
469 #if LIBGCC2_HAS_XF_MODE
470 extern DWtype __fixxfdi (XFtype);
471 extern UDWtype __fixunsxfDI (XFtype);
472 extern XFtype __floatdixf (DWtype);
473 extern XFtype __floatundixf (UDWtype);
474 extern UWtype __fixunsxfSI (XFtype);
475 extern XFtype __powixf2 (XFtype, int);
476 extern XCtype __divxc3 (XFtype, XFtype, XFtype, XFtype);
477 extern XCtype __mulxc3 (XFtype, XFtype, XFtype, XFtype);
478 #endif
480 #if LIBGCC2_HAS_TF_MODE
481 extern UDWtype __fixunstfDI (TFtype);
482 extern DWtype __fixtfdi (TFtype);
483 extern TFtype __floatditf (DWtype);
484 extern TFtype __floatunditf (UDWtype);
485 extern TFtype __powitf2 (TFtype, int);
486 extern TCtype __divtc3 (TFtype, TFtype, TFtype, TFtype);
487 extern TCtype __multc3 (TFtype, TFtype, TFtype, TFtype);
488 #endif
489 #define int bogus_type
491 /* DWstructs are pairs of Wtype values in the order determined by
492 __BYTE_ORDER__. */
494 #if __BYTE_ORDER__ != __ORDER_LITTLE_ENDIAN__
495 struct DWstruct {Wtype high, low;};
496 #else
497 struct DWstruct {Wtype low, high;};
498 #endif
500 /* We need this union to unpack/pack DImode values, since we don't have
501 any arithmetic yet. Incoming DImode parameters are stored into the
502 `ll' field, and the unpacked result is read from the struct `s'. */
504 typedef union
506 struct DWstruct s;
507 DWtype ll;
508 } DWunion;
510 /* Defined for L_popcount_tab. Exported here because some targets may
511 want to use it for their own versions of the __popcount builtins. */
512 extern const UQItype __popcount_tab[256];
514 /* Defined for L_clz. Exported here because some targets may want to use
515 it for their own versions of the __clz builtins. It contains the bit
516 position of the first set bit for the numbers 0 - 255. This avoids the
517 need for a separate table for the __ctz builtins. */
518 extern const UQItype __clz_tab[256];
520 #include "longlong.h"
522 #undef int
523 extern int __clzDI2 (UDWtype);
524 extern int __clzSI2 (UWtype);
525 extern int __ctzSI2 (UWtype);
526 extern int __ctzDI2 (UDWtype);
527 extern int __clrsbSI2 (Wtype);
528 extern int __clrsbDI2 (DWtype);
529 extern int __ffsSI2 (UWtype);
530 extern int __ffsDI2 (DWtype);
531 extern int __popcountSI2 (UWtype);
532 extern int __popcountDI2 (UDWtype);
533 extern int __paritySI2 (UWtype);
534 extern int __parityDI2 (UDWtype);
535 #define int bogus_type
537 extern void __enable_execute_stack (void *);
539 #ifndef HIDE_EXPORTS
540 #pragma GCC visibility pop
541 #endif
543 #endif /* ! GCC_LIBGCC2_H */