blob: 4127a98f7ee1fadf66cf3abf5a5022656f12cec8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
|
/****************************************************************************
* *
* GNAT COMPILER COMPONENTS *
* *
* T A R G T Y P S *
* *
* C Implementation File *
* *
* Copyright (C) 1992-2024, Free Software Foundation, Inc. *
* *
* GNAT is free software; you can redistribute it and/or modify it under *
* terms of the GNU General Public License as published by the Free Soft- *
* ware Foundation; either version 3, or (at your option) any later ver- *
* sion. GNAT is distributed in the hope that it will be useful, but WITH- *
* OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License *
* for more details. You should have received a copy of the GNU General *
* Public License distributed with GNAT; see file COPYING3. If not see *
* <http://www.gnu.org/licenses/>. *
* *
* GNAT was originally developed by the GNAT team at New York University. *
* Extensive contributions were provided by Ada Core Technologies Inc. *
* *
****************************************************************************/
/* Functions for retrieving target types. See Ada package Get_Targ. */
#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "tm.h"
#include "target.h"
#include "tree.h"
#include "ada.h"
#include "types.h"
#include "sinfo.h"
#include "ada-tree.h"
#include "gigi.h"
/* If we don't have a specific size for Ada's equivalent of `long', use that
of C. */
#ifndef ADA_LONG_TYPE_SIZE
#define ADA_LONG_TYPE_SIZE LONG_TYPE_SIZE
#endif
/* The following provide a functional interface for the front end Ada code
to determine the sizes that are used for various C types. */
Pos
get_target_bits_per_unit (void)
{
return BITS_PER_UNIT;
}
Pos
get_target_bits_per_word (void)
{
return BITS_PER_WORD;
}
Pos
get_target_char_size (void)
{
return CHAR_TYPE_SIZE;
}
Pos
get_target_wchar_t_size (void)
{
/* We never want wide characters less than "short" in Ada. */
return MAX (SHORT_TYPE_SIZE, WCHAR_TYPE_SIZE);
}
Pos
get_target_short_size (void)
{
return SHORT_TYPE_SIZE;
}
Pos
get_target_int_size (void)
{
return INT_TYPE_SIZE;
}
Pos
get_target_long_size (void)
{
return ADA_LONG_TYPE_SIZE;
}
Pos
get_target_long_long_size (void)
{
return LONG_LONG_TYPE_SIZE;
}
Pos
get_target_long_long_long_size (void)
{
if (targetm.scalar_mode_supported_p (TImode))
return GET_MODE_BITSIZE (TImode);
else
return LONG_LONG_TYPE_SIZE;
}
Pos
get_target_pointer_size (void)
{
return POINTER_SIZE;
}
/* Alignment related values, mapped to attributes for functional and
documentation purposes. */
/* Standard'Maximum_Default_Alignment. Maximum alignment that the compiler
might choose by default for a type or object.
Stricter alignment requests trigger gigi's aligning_type circuitry for
stack objects or objects allocated by the default allocator. */
Pos
get_target_maximum_default_alignment (void)
{
return BIGGEST_ALIGNMENT / BITS_PER_UNIT;
}
/* Standard'System_Allocator_Alignment. Alignment guaranteed to be honored
by the default allocator (System.Memory.Alloc or malloc if we have no
run-time library at hand).
Stricter alignment requests trigger gigi's aligning_type circuitry for
objects allocated by the default allocator. */
/* ??? Need a way to get info about __gnat_malloc from here (whether it is
handy and what alignment it honors). In the meantime, resort to malloc
considerations only. */
/* Account for MALLOC_OBSERVABLE_ALIGNMENTs here. Use this or the ABI
guaranteed alignment if greater. */
#ifdef MALLOC_OBSERVABLE_ALIGNMENT
#define MALLOC_ALIGNMENT MALLOC_OBSERVABLE_ALIGNMENT
#else
#define MALLOC_OBSERVABLE_ALIGNMENT (2 * POINTER_SIZE)
#define MALLOC_ALIGNMENT \
MAX (MALLOC_ABI_ALIGNMENT, MALLOC_OBSERVABLE_ALIGNMENT)
#endif
Pos
get_target_system_allocator_alignment (void)
{
return MALLOC_ALIGNMENT / BITS_PER_UNIT;
}
/* Standard'Maximum_Allowed_Alignment. Maximum alignment that we may
accept for any type or object. */
#ifndef MAX_OFILE_ALIGNMENT
#define MAX_OFILE_ALIGNMENT BIGGEST_ALIGNMENT
#endif
Pos
get_target_maximum_allowed_alignment (void)
{
return MAX_OFILE_ALIGNMENT / BITS_PER_UNIT;
}
/* Standard'Maximum_Alignment. The single attribute initially made
available, now a synonym of Standard'Maximum_Default_Alignment. */
Pos
get_target_maximum_alignment (void)
{
return get_target_maximum_default_alignment ();
}
#ifndef FLOAT_WORDS_BIG_ENDIAN
#define FLOAT_WORDS_BIG_ENDIAN WORDS_BIG_ENDIAN
#endif
Nat
get_target_float_words_be (void)
{
return FLOAT_WORDS_BIG_ENDIAN;
}
Nat
get_target_words_be (void)
{
return WORDS_BIG_ENDIAN;
}
Nat
get_target_bytes_be (void)
{
return BYTES_BIG_ENDIAN;
}
Nat
get_target_bits_be (void)
{
return BITS_BIG_ENDIAN;
}
Nat
get_target_strict_alignment (void)
{
return STRICT_ALIGNMENT;
}
Nat
get_target_double_float_alignment (void)
{
#ifdef TARGET_ALIGN_NATURAL
/* This macro is only defined by the rs6000 port. */
if (!TARGET_ALIGN_NATURAL
&& (DEFAULT_ABI == ABI_AIX || DEFAULT_ABI == ABI_DARWIN))
return 32 / BITS_PER_UNIT;
#endif
return 0;
}
Nat
get_target_double_scalar_alignment (void)
{
#ifdef TARGET_ALIGN_DOUBLE
/* This macro is only defined by the i386 and sh ports. */
if (!TARGET_ALIGN_DOUBLE
#ifdef TARGET_64BIT
&& !TARGET_64BIT
#endif
)
return 32 / BITS_PER_UNIT;
#endif
return 0;
}
|