1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- I N T E R F A C E S . C . E X T E N S I O N S --
9 -- Copyright (C) 1992-2024, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. --
18 -- As a special exception under Section 7 of GPL version 3, you are granted --
19 -- additional permissions described in the GCC Runtime Library Exception, --
20 -- version 3.1, as published by the Free Software Foundation. --
22 -- You should have received a copy of the GNU General Public License and --
23 -- a copy of the GCC Runtime Library Exception along with this program; --
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
25 -- <http://www.gnu.org/licenses/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 -- This package contains additional C-related definitions, intended for use
33 -- with either manually or automatically generated bindings to C libraries.
37 package Interfaces
.C
.Extensions
is
40 -- Definitions for C "void" and "void *" types
42 subtype void
is System
.Address
;
43 subtype void_ptr
is System
.Address
;
45 -- Definitions for C incomplete/unknown structs
47 subtype opaque_structure_def
is System
.Address
;
48 type opaque_structure_def_ptr
is access opaque_structure_def
;
49 for opaque_structure_def_ptr
'Storage_Size use 0;
51 -- Definitions for C++ incomplete/unknown classes
53 subtype incomplete_class_def
is System
.Address
;
54 type incomplete_class_def_ptr
is access incomplete_class_def
;
55 for incomplete_class_def_ptr
'Storage_Size use 0;
59 subtype bool
is Interfaces
.C
.C_bool
;
61 -- 64-bit integer types
63 subtype long_long
is Interfaces
.C
.long_long
;
64 subtype unsigned_long_long
is Interfaces
.C
.unsigned_long_long
;
66 -- 128-bit integer type available on 64-bit platforms:
67 -- typedef int signed_128 __attribute__ ((mode (TI)));
69 type Signed_128
is record
70 low
, high
: unsigned_long_long
;
72 pragma Convention
(C_Pass_By_Copy
, Signed_128
);
73 for Signed_128
'Alignment use unsigned_long_long
'Alignment * 2;
75 -- 128-bit floating-point type available on x86:
76 -- typedef float float_128 __attribute__ ((mode (TF)));
78 type Float_128
is record
79 low
, high
: unsigned_long_long
;
81 pragma Convention
(C_Pass_By_Copy
, Float_128
);
82 for Float_128
'Alignment use unsigned_long_long
'Alignment * 2;
84 -- 128-bit complex floating-point type available on x86:
85 -- typedef _Complex float cfloat_128 __attribute__ ((mode (TC)));
87 type CFloat_128
is record
90 pragma Convention
(C_Pass_By_Copy
, CFloat_128
);
92 -- Types for bitfields
94 type Unsigned_1
is mod 2 ** 1;
95 for Unsigned_1
'Size use 1;
97 type Unsigned_2
is mod 2 ** 2;
98 for Unsigned_2
'Size use 2;
100 type Unsigned_3
is mod 2 ** 3;
101 for Unsigned_3
'Size use 3;
103 type Unsigned_4
is mod 2 ** 4;
104 for Unsigned_4
'Size use 4;
106 type Unsigned_5
is mod 2 ** 5;
107 for Unsigned_5
'Size use 5;
109 type Unsigned_6
is mod 2 ** 6;
110 for Unsigned_6
'Size use 6;
112 type Unsigned_7
is mod 2 ** 7;
113 for Unsigned_7
'Size use 7;
115 type Unsigned_8
is mod 2 ** 8;
116 for Unsigned_8
'Size use 8;
118 type Unsigned_9
is mod 2 ** 9;
119 for Unsigned_9
'Size use 9;
121 type Unsigned_10
is mod 2 ** 10;
122 for Unsigned_10
'Size use 10;
124 type Unsigned_11
is mod 2 ** 11;
125 for Unsigned_11
'Size use 11;
127 type Unsigned_12
is mod 2 ** 12;
128 for Unsigned_12
'Size use 12;
130 type Unsigned_13
is mod 2 ** 13;
131 for Unsigned_13
'Size use 13;
133 type Unsigned_14
is mod 2 ** 14;
134 for Unsigned_14
'Size use 14;
136 type Unsigned_15
is mod 2 ** 15;
137 for Unsigned_15
'Size use 15;
139 type Unsigned_16
is mod 2 ** 16;
140 for Unsigned_16
'Size use 16;
142 type Unsigned_17
is mod 2 ** 17;
143 for Unsigned_17
'Size use 17;
145 type Unsigned_18
is mod 2 ** 18;
146 for Unsigned_18
'Size use 18;
148 type Unsigned_19
is mod 2 ** 19;
149 for Unsigned_19
'Size use 19;
151 type Unsigned_20
is mod 2 ** 20;
152 for Unsigned_20
'Size use 20;
154 type Unsigned_21
is mod 2 ** 21;
155 for Unsigned_21
'Size use 21;
157 type Unsigned_22
is mod 2 ** 22;
158 for Unsigned_22
'Size use 22;
160 type Unsigned_23
is mod 2 ** 23;
161 for Unsigned_23
'Size use 23;
163 type Unsigned_24
is mod 2 ** 24;
164 for Unsigned_24
'Size use 24;
166 type Unsigned_25
is mod 2 ** 25;
167 for Unsigned_25
'Size use 25;
169 type Unsigned_26
is mod 2 ** 26;
170 for Unsigned_26
'Size use 26;
172 type Unsigned_27
is mod 2 ** 27;
173 for Unsigned_27
'Size use 27;
175 type Unsigned_28
is mod 2 ** 28;
176 for Unsigned_28
'Size use 28;
178 type Unsigned_29
is mod 2 ** 29;
179 for Unsigned_29
'Size use 29;
181 type Unsigned_30
is mod 2 ** 30;
182 for Unsigned_30
'Size use 30;
184 type Unsigned_31
is mod 2 ** 31;
185 for Unsigned_31
'Size use 31;
187 type Unsigned_32
is mod 2 ** 32;
188 for Unsigned_32
'Size use 32;
190 type Unsigned_33
is mod 2 ** 33;
191 for Unsigned_33
'Size use 33;
193 type Unsigned_34
is mod 2 ** 34;
194 for Unsigned_34
'Size use 34;
196 type Unsigned_35
is mod 2 ** 35;
197 for Unsigned_35
'Size use 35;
199 type Unsigned_36
is mod 2 ** 36;
200 for Unsigned_36
'Size use 36;
202 type Unsigned_37
is mod 2 ** 37;
203 for Unsigned_37
'Size use 37;
205 type Unsigned_38
is mod 2 ** 38;
206 for Unsigned_38
'Size use 38;
208 type Unsigned_39
is mod 2 ** 39;
209 for Unsigned_39
'Size use 39;
211 type Unsigned_40
is mod 2 ** 40;
212 for Unsigned_40
'Size use 40;
214 type Unsigned_41
is mod 2 ** 41;
215 for Unsigned_41
'Size use 41;
217 type Unsigned_42
is mod 2 ** 42;
218 for Unsigned_42
'Size use 42;
220 type Unsigned_43
is mod 2 ** 43;
221 for Unsigned_43
'Size use 43;
223 type Unsigned_44
is mod 2 ** 44;
224 for Unsigned_44
'Size use 44;
226 type Unsigned_45
is mod 2 ** 45;
227 for Unsigned_45
'Size use 45;
229 type Unsigned_46
is mod 2 ** 46;
230 for Unsigned_46
'Size use 46;
232 type Unsigned_47
is mod 2 ** 47;
233 for Unsigned_47
'Size use 47;
235 type Unsigned_48
is mod 2 ** 48;
236 for Unsigned_48
'Size use 48;
238 type Unsigned_49
is mod 2 ** 49;
239 for Unsigned_49
'Size use 49;
241 type Unsigned_50
is mod 2 ** 50;
242 for Unsigned_50
'Size use 50;
244 type Unsigned_51
is mod 2 ** 51;
245 for Unsigned_51
'Size use 51;
247 type Unsigned_52
is mod 2 ** 52;
248 for Unsigned_52
'Size use 52;
250 type Unsigned_53
is mod 2 ** 53;
251 for Unsigned_53
'Size use 53;
253 type Unsigned_54
is mod 2 ** 54;
254 for Unsigned_54
'Size use 54;
256 type Unsigned_55
is mod 2 ** 55;
257 for Unsigned_55
'Size use 55;
259 type Unsigned_56
is mod 2 ** 56;
260 for Unsigned_56
'Size use 56;
262 type Unsigned_57
is mod 2 ** 57;
263 for Unsigned_57
'Size use 57;
265 type Unsigned_58
is mod 2 ** 58;
266 for Unsigned_58
'Size use 58;
268 type Unsigned_59
is mod 2 ** 59;
269 for Unsigned_59
'Size use 59;
271 type Unsigned_60
is mod 2 ** 60;
272 for Unsigned_60
'Size use 60;
274 type Unsigned_61
is mod 2 ** 61;
275 for Unsigned_61
'Size use 61;
277 type Unsigned_62
is mod 2 ** 62;
278 for Unsigned_62
'Size use 62;
280 type Unsigned_63
is mod 2 ** 63;
281 for Unsigned_63
'Size use 63;
283 type Unsigned_64
is mod 2 ** 64;
284 for Unsigned_64
'Size use 64;
286 type Signed_2
is range -2 ** 1 .. 2 ** 1 - 1;
287 for Signed_2
'Size use 2;
289 type Signed_3
is range -2 ** 2 .. 2 ** 2 - 1;
290 for Signed_3
'Size use 3;
292 type Signed_4
is range -2 ** 3 .. 2 ** 3 - 1;
293 for Signed_4
'Size use 4;
295 type Signed_5
is range -2 ** 4 .. 2 ** 4 - 1;
296 for Signed_5
'Size use 5;
298 type Signed_6
is range -2 ** 5 .. 2 ** 5 - 1;
299 for Signed_6
'Size use 6;
301 type Signed_7
is range -2 ** 6 .. 2 ** 6 - 1;
302 for Signed_7
'Size use 7;
304 type Signed_8
is range -2 ** 7 .. 2 ** 7 - 1;
305 for Signed_8
'Size use 8;
307 type Signed_9
is range -2 ** 8 .. 2 ** 8 - 1;
308 for Signed_9
'Size use 9;
310 type Signed_10
is range -2 ** 9 .. 2 ** 9 - 1;
311 for Signed_10
'Size use 10;
313 type Signed_11
is range -2 ** 10 .. 2 ** 10 - 1;
314 for Signed_11
'Size use 11;
316 type Signed_12
is range -2 ** 11 .. 2 ** 11 - 1;
317 for Signed_12
'Size use 12;
319 type Signed_13
is range -2 ** 12 .. 2 ** 12 - 1;
320 for Signed_13
'Size use 13;
322 type Signed_14
is range -2 ** 13 .. 2 ** 13 - 1;
323 for Signed_14
'Size use 14;
325 type Signed_15
is range -2 ** 14 .. 2 ** 14 - 1;
326 for Signed_15
'Size use 15;
328 type Signed_16
is range -2 ** 15 .. 2 ** 15 - 1;
329 for Signed_16
'Size use 16;
331 type Signed_17
is range -2 ** 16 .. 2 ** 16 - 1;
332 for Signed_17
'Size use 17;
334 type Signed_18
is range -2 ** 17 .. 2 ** 17 - 1;
335 for Signed_18
'Size use 18;
337 type Signed_19
is range -2 ** 18 .. 2 ** 18 - 1;
338 for Signed_19
'Size use 19;
340 type Signed_20
is range -2 ** 19 .. 2 ** 19 - 1;
341 for Signed_20
'Size use 20;
343 type Signed_21
is range -2 ** 20 .. 2 ** 20 - 1;
344 for Signed_21
'Size use 21;
346 type Signed_22
is range -2 ** 21 .. 2 ** 21 - 1;
347 for Signed_22
'Size use 22;
349 type Signed_23
is range -2 ** 22 .. 2 ** 22 - 1;
350 for Signed_23
'Size use 23;
352 type Signed_24
is range -2 ** 23 .. 2 ** 23 - 1;
353 for Signed_24
'Size use 24;
355 type Signed_25
is range -2 ** 24 .. 2 ** 24 - 1;
356 for Signed_25
'Size use 25;
358 type Signed_26
is range -2 ** 25 .. 2 ** 25 - 1;
359 for Signed_26
'Size use 26;
361 type Signed_27
is range -2 ** 26 .. 2 ** 26 - 1;
362 for Signed_27
'Size use 27;
364 type Signed_28
is range -2 ** 27 .. 2 ** 27 - 1;
365 for Signed_28
'Size use 28;
367 type Signed_29
is range -2 ** 28 .. 2 ** 28 - 1;
368 for Signed_29
'Size use 29;
370 type Signed_30
is range -2 ** 29 .. 2 ** 29 - 1;
371 for Signed_30
'Size use 30;
373 type Signed_31
is range -2 ** 30 .. 2 ** 30 - 1;
374 for Signed_31
'Size use 31;
376 type Signed_32
is range -2 ** 31 .. 2 ** 31 - 1;
377 for Signed_32
'Size use 32;
379 type Signed_33
is range -2 ** 32 .. 2 ** 32 - 1;
380 for Signed_33
'Size use 33;
382 type Signed_34
is range -2 ** 33 .. 2 ** 33 - 1;
383 for Signed_34
'Size use 34;
385 type Signed_35
is range -2 ** 34 .. 2 ** 34 - 1;
386 for Signed_35
'Size use 35;
388 type Signed_36
is range -2 ** 35 .. 2 ** 35 - 1;
389 for Signed_36
'Size use 36;
391 type Signed_37
is range -2 ** 36 .. 2 ** 36 - 1;
392 for Signed_37
'Size use 37;
394 type Signed_38
is range -2 ** 37 .. 2 ** 37 - 1;
395 for Signed_38
'Size use 38;
397 type Signed_39
is range -2 ** 38 .. 2 ** 38 - 1;
398 for Signed_39
'Size use 39;
400 type Signed_40
is range -2 ** 39 .. 2 ** 39 - 1;
401 for Signed_40
'Size use 40;
403 type Signed_41
is range -2 ** 40 .. 2 ** 40 - 1;
404 for Signed_41
'Size use 41;
406 type Signed_42
is range -2 ** 41 .. 2 ** 41 - 1;
407 for Signed_42
'Size use 42;
409 type Signed_43
is range -2 ** 42 .. 2 ** 42 - 1;
410 for Signed_43
'Size use 43;
412 type Signed_44
is range -2 ** 43 .. 2 ** 43 - 1;
413 for Signed_44
'Size use 44;
415 type Signed_45
is range -2 ** 44 .. 2 ** 44 - 1;
416 for Signed_45
'Size use 45;
418 type Signed_46
is range -2 ** 45 .. 2 ** 45 - 1;
419 for Signed_46
'Size use 46;
421 type Signed_47
is range -2 ** 46 .. 2 ** 46 - 1;
422 for Signed_47
'Size use 47;
424 type Signed_48
is range -2 ** 47 .. 2 ** 47 - 1;
425 for Signed_48
'Size use 48;
427 type Signed_49
is range -2 ** 48 .. 2 ** 48 - 1;
428 for Signed_49
'Size use 49;
430 type Signed_50
is range -2 ** 49 .. 2 ** 49 - 1;
431 for Signed_50
'Size use 50;
433 type Signed_51
is range -2 ** 50 .. 2 ** 50 - 1;
434 for Signed_51
'Size use 51;
436 type Signed_52
is range -2 ** 51 .. 2 ** 51 - 1;
437 for Signed_52
'Size use 52;
439 type Signed_53
is range -2 ** 52 .. 2 ** 52 - 1;
440 for Signed_53
'Size use 53;
442 type Signed_54
is range -2 ** 53 .. 2 ** 53 - 1;
443 for Signed_54
'Size use 54;
445 type Signed_55
is range -2 ** 54 .. 2 ** 54 - 1;
446 for Signed_55
'Size use 55;
448 type Signed_56
is range -2 ** 55 .. 2 ** 55 - 1;
449 for Signed_56
'Size use 56;
451 type Signed_57
is range -2 ** 56 .. 2 ** 56 - 1;
452 for Signed_57
'Size use 57;
454 type Signed_58
is range -2 ** 57 .. 2 ** 57 - 1;
455 for Signed_58
'Size use 58;
457 type Signed_59
is range -2 ** 58 .. 2 ** 58 - 1;
458 for Signed_59
'Size use 59;
460 type Signed_60
is range -2 ** 59 .. 2 ** 59 - 1;
461 for Signed_60
'Size use 60;
463 type Signed_61
is range -2 ** 60 .. 2 ** 60 - 1;
464 for Signed_61
'Size use 61;
466 type Signed_62
is range -2 ** 61 .. 2 ** 61 - 1;
467 for Signed_62
'Size use 62;
469 type Signed_63
is range -2 ** 62 .. 2 ** 62 - 1;
470 for Signed_63
'Size use 63;
472 type Signed_64
is range -2 ** 63 .. 2 ** 63 - 1;
473 for Signed_64
'Size use 64;
475 end Interfaces
.C
.Extensions
;