111
|
1 /* Encoding of types for Objective C.
|
145
|
2 Copyright (C) 1993-2020 Free Software Foundation, Inc.
|
111
|
3 Contributed by Kresten Krab Thorup
|
|
4 Bitfield support by Ovidiu Predescu
|
|
5
|
|
6 This file is part of GCC.
|
|
7
|
|
8 GCC is free software; you can redistribute it and/or modify
|
|
9 it under the terms of the GNU General Public License as published by
|
|
10 the Free Software Foundation; either version 3, or (at your option)
|
|
11 any later version.
|
|
12
|
|
13 GCC is distributed in the hope that it will be useful,
|
|
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
16 GNU General Public License for more details.
|
|
17
|
|
18 Under Section 7 of GPL version 3, you are granted additional
|
|
19 permissions described in the GCC Runtime Library Exception, version
|
|
20 3.1, as published by the Free Software Foundation.
|
|
21
|
|
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/>. */
|
|
26
|
|
27 /* FIXME: This file has no business including tm.h. */
|
|
28
|
|
29 /* FIXME: This file contains functions that will abort the entire
|
|
30 program if they fail. Is that really needed ? */
|
|
31
|
|
32 #include "config.h"
|
|
33 #include "objc-private/common.h"
|
|
34 #include "objc-private/error.h"
|
|
35 #include "tconfig.h"
|
|
36 #include "coretypes.h"
|
|
37 #include "tm.h"
|
|
38 #include "objc/runtime.h"
|
|
39 #include "objc-private/module-abi-8.h" /* For struct objc_method */
|
|
40 #include <stdlib.h>
|
|
41 #include <ctype.h>
|
|
42 #include <string.h> /* For memcpy. */
|
|
43
|
|
44 #undef MAX
|
|
45 #define MAX(X, Y) \
|
|
46 ({ typeof (X) __x = (X), __y = (Y); \
|
|
47 (__x > __y ? __x : __y); })
|
|
48
|
|
49 #undef MIN
|
|
50 #define MIN(X, Y) \
|
|
51 ({ typeof (X) __x = (X), __y = (Y); \
|
|
52 (__x < __y ? __x : __y); })
|
|
53
|
|
54 #undef ROUND
|
|
55 #define ROUND(V, A) \
|
|
56 ({ typeof (V) __v = (V); typeof (A) __a = (A); \
|
|
57 __a * ((__v+__a - 1)/__a); })
|
|
58
|
|
59
|
|
60 /* Various hacks for objc_layout_record. These are used by the target
|
|
61 macros. */
|
|
62
|
|
63 #define TREE_CODE(TYPE) *(TYPE)
|
|
64 #define TREE_TYPE(TREE) (TREE)
|
|
65
|
|
66 #define RECORD_TYPE _C_STRUCT_B
|
|
67 #define UNION_TYPE _C_UNION_B
|
|
68 #define QUAL_UNION_TYPE _C_UNION_B
|
|
69 #define ARRAY_TYPE _C_ARY_B
|
|
70
|
|
71 #define REAL_TYPE _C_DBL
|
|
72
|
|
73 #define VECTOR_TYPE _C_VECTOR
|
|
74
|
|
75 #define TYPE_FIELDS(TYPE) ({const char *_field = (TYPE)+1; \
|
|
76 while (*_field != _C_STRUCT_E && *_field != _C_STRUCT_B \
|
|
77 && *_field != _C_UNION_B && *_field++ != '=') \
|
|
78 /* do nothing */; \
|
|
79 _field;})
|
|
80
|
|
81 #define DECL_MODE(TYPE) *(TYPE)
|
|
82 #define TYPE_MODE(TYPE) *(TYPE)
|
|
83
|
145
|
84 #undef DFmode
|
111
|
85 #define DFmode _C_DBL
|
|
86
|
|
87 #define strip_array_types(TYPE) ({const char *_field = (TYPE); \
|
|
88 while (*_field == _C_ARY_B)\
|
|
89 {\
|
|
90 while (isdigit ((unsigned char)*++_field))\
|
|
91 ;\
|
|
92 }\
|
|
93 _field;})
|
|
94
|
|
95 /* Some ports (eg ARM) allow the structure size boundary to be
|
|
96 selected at compile-time. We override the normal definition with
|
|
97 one that has a constant value for this compilation. */
|
|
98 #undef STRUCTURE_SIZE_BOUNDARY
|
|
99 #define STRUCTURE_SIZE_BOUNDARY (__CHAR_BIT__ * sizeof (struct{char a;}))
|
|
100
|
|
101 /* Some ROUND_TYPE_ALIGN macros use TARGET_foo, and consequently
|
|
102 target_flags. Define a dummy entry here to so we don't die.
|
|
103 We have to rename it because target_flags may already have been
|
|
104 declared extern. */
|
|
105 #define target_flags not_target_flags
|
|
106 static int __attribute__ ((__unused__)) not_target_flags = 0;
|
|
107
|
|
108 /* Some ROUND_TYPE_ALIGN use ALTIVEC_VECTOR_MODE (rs6000 darwin).
|
|
109 Define a dummy ALTIVEC_VECTOR_MODE so it will not die. */
|
|
110 #undef ALTIVEC_VECTOR_MODE
|
|
111 #define ALTIVEC_VECTOR_MODE(MODE) (0)
|
|
112
|
|
113 /* Replace TARGET_VSX, TARGET_ALTIVEC, and TARGET_64BIT with constants based on
|
|
114 the current switches, rather than looking in the options structure. */
|
|
115 #ifdef _ARCH_PPC
|
|
116 #undef TARGET_VSX
|
|
117 #undef TARGET_ALTIVEC
|
|
118 #undef TARGET_64BIT
|
|
119
|
|
120 #ifdef __VSX__
|
|
121 #define TARGET_VSX 1
|
|
122 #else
|
|
123 #define TARGET_VSX 0
|
|
124 #endif
|
|
125
|
|
126 #ifdef __ALTIVEC__
|
|
127 #define TARGET_ALTIVEC 1
|
|
128 #else
|
|
129 #define TARGET_ALTIVEC 0
|
|
130 #endif
|
|
131
|
|
132 #ifdef _ARCH_PPC64
|
|
133 #define TARGET_64BIT 1
|
|
134 #else
|
|
135 #define TARGET_64BIT 0
|
|
136 #endif
|
|
137 #endif
|
|
138
|
|
139 /* Furthermore, some (powerpc) targets also use TARGET_ALIGN_NATURAL
|
|
140 in their alignment macros. Currently[4.5/6], rs6000.h points this
|
|
141 to a static variable, initialized by target overrides. This is reset
|
|
142 in linux64.h but not in darwin64.h. The macro is not used by *86*. */
|
|
143
|
|
144 #if __MACH__
|
|
145 # if __LP64__
|
|
146 # undef TARGET_ALIGN_NATURAL
|
|
147 # define TARGET_ALIGN_NATURAL 1
|
|
148 # endif
|
|
149
|
|
150 /* On Darwin32, we need to recurse until we find the starting stuct type. */
|
|
151 static int
|
|
152 _darwin_rs6000_special_round_type_align (const char *struc, int comp, int spec)
|
|
153 {
|
|
154 const char *_stp , *_fields = TYPE_FIELDS (struc);
|
|
155 if (!_fields)
|
|
156 return MAX (comp, spec);
|
|
157 _stp = strip_array_types (_fields);
|
|
158 if (TYPE_MODE(_stp) == _C_COMPLEX)
|
|
159 _stp++;
|
|
160 switch (TYPE_MODE(_stp))
|
|
161 {
|
|
162 case RECORD_TYPE:
|
|
163 case UNION_TYPE:
|
|
164 return MAX (MAX (comp, spec), objc_alignof_type (_stp) * __CHAR_BIT__);
|
|
165 break;
|
|
166 case E_DFmode:
|
|
167 case _C_LNG_LNG:
|
|
168 case _C_ULNG_LNG:
|
|
169 return MAX (MAX (comp, spec), 64);
|
|
170 break;
|
|
171
|
|
172 default:
|
|
173 return MAX (comp, spec);
|
|
174 break;
|
|
175 }
|
|
176 }
|
|
177
|
|
178 /* See comment below. */
|
|
179 #define darwin_rs6000_special_round_type_align(S,C,S2) \
|
|
180 (_darwin_rs6000_special_round_type_align ((char*)(S), (int)(C), (int)(S2)))
|
|
181 #endif
|
|
182
|
|
183 /* FIXME: while this file has no business including tm.h, this
|
|
184 definitely has no business defining this macro but it
|
|
185 is only way around without really rewritting this file,
|
|
186 should look after the branch of 3.4 to fix this. */
|
|
187 #define rs6000_special_round_type_align(STRUCT, COMPUTED, SPECIFIED) \
|
|
188 ({ const char *_fields = TYPE_FIELDS (STRUCT); \
|
|
189 ((_fields != 0 \
|
|
190 && TYPE_MODE (strip_array_types (TREE_TYPE (_fields))) == DFmode) \
|
|
191 ? MAX (MAX (COMPUTED, SPECIFIED), 64) \
|
|
192 : MAX (COMPUTED, SPECIFIED));})
|
|
193
|
|
194 #define rs6000_special_adjust_field_align_p(FIELD, COMPUTED) 0
|
|
195
|
|
196 /* Skip a variable name, enclosed in quotes ("). */
|
|
197 static inline
|
|
198 const char *
|
|
199 objc_skip_variable_name (const char *type)
|
|
200 {
|
|
201 /* Skip the variable name if any. */
|
|
202 if (*type == '"')
|
|
203 {
|
|
204 /* FIXME: How do we know we won't read beyond the end of the
|
|
205 string. Here and in the rest of the file! */
|
|
206 /* Skip '"'. */
|
|
207 type++;
|
|
208 /* Skip to the next '"'. */
|
|
209 while (*type != '"')
|
|
210 type++;
|
|
211 /* Skip '"'. */
|
|
212 type++;
|
|
213 }
|
|
214
|
|
215 return type;
|
|
216 }
|
|
217
|
|
218 int
|
|
219 objc_sizeof_type (const char *type)
|
|
220 {
|
|
221 type = objc_skip_variable_name (type);
|
|
222
|
|
223 switch (*type) {
|
|
224 case _C_BOOL:
|
|
225 return sizeof (_Bool);
|
|
226 break;
|
|
227
|
|
228 case _C_ID:
|
|
229 return sizeof (id);
|
|
230 break;
|
|
231
|
|
232 case _C_CLASS:
|
|
233 return sizeof (Class);
|
|
234 break;
|
|
235
|
|
236 case _C_SEL:
|
|
237 return sizeof (SEL);
|
|
238 break;
|
|
239
|
|
240 case _C_CHR:
|
|
241 return sizeof (char);
|
|
242 break;
|
|
243
|
|
244 case _C_UCHR:
|
|
245 return sizeof (unsigned char);
|
|
246 break;
|
|
247
|
|
248 case _C_SHT:
|
|
249 return sizeof (short);
|
|
250 break;
|
|
251
|
|
252 case _C_USHT:
|
|
253 return sizeof (unsigned short);
|
|
254 break;
|
|
255
|
|
256 case _C_INT:
|
|
257 return sizeof (int);
|
|
258 break;
|
|
259
|
|
260 case _C_UINT:
|
|
261 return sizeof (unsigned int);
|
|
262 break;
|
|
263
|
|
264 case _C_LNG:
|
|
265 return sizeof (long);
|
|
266 break;
|
|
267
|
|
268 case _C_ULNG:
|
|
269 return sizeof (unsigned long);
|
|
270 break;
|
|
271
|
|
272 case _C_LNG_LNG:
|
|
273 return sizeof (long long);
|
|
274 break;
|
|
275
|
|
276 case _C_ULNG_LNG:
|
|
277 return sizeof (unsigned long long);
|
|
278 break;
|
|
279
|
|
280 case _C_FLT:
|
|
281 return sizeof (float);
|
|
282 break;
|
|
283
|
|
284 case _C_DBL:
|
|
285 return sizeof (double);
|
|
286 break;
|
|
287
|
|
288 case _C_LNG_DBL:
|
|
289 return sizeof (long double);
|
|
290 break;
|
|
291
|
|
292 case _C_VOID:
|
|
293 return sizeof (void);
|
|
294 break;
|
|
295
|
|
296 case _C_PTR:
|
|
297 case _C_ATOM:
|
|
298 case _C_CHARPTR:
|
|
299 return sizeof (char *);
|
|
300 break;
|
|
301
|
|
302 case _C_ARY_B:
|
|
303 {
|
|
304 int len = atoi (type + 1);
|
|
305 while (isdigit ((unsigned char)*++type))
|
|
306 ;
|
|
307 return len * objc_aligned_size (type);
|
|
308 }
|
|
309 break;
|
|
310
|
|
311 case _C_VECTOR:
|
|
312 {
|
|
313 /* Skip the '!'. */
|
|
314 type++;
|
|
315 /* Skip the '['. */
|
|
316 type++;
|
|
317
|
|
318 /* The size in bytes is the following number. */
|
|
319 int size = atoi (type);
|
|
320 return size;
|
|
321 }
|
|
322 break;
|
|
323
|
|
324 case _C_BFLD:
|
|
325 {
|
|
326 /* The GNU encoding of bitfields is: b 'position' 'type'
|
|
327 'size'. */
|
|
328 int position, size;
|
|
329 int startByte, endByte;
|
|
330
|
|
331 position = atoi (type + 1);
|
|
332 while (isdigit ((unsigned char)*++type))
|
|
333 ;
|
|
334 size = atoi (type + 1);
|
|
335
|
|
336 startByte = position / __CHAR_BIT__;
|
|
337 endByte = (position + size) / __CHAR_BIT__;
|
|
338 return endByte - startByte;
|
|
339 }
|
|
340
|
|
341 case _C_UNION_B:
|
|
342 case _C_STRUCT_B:
|
|
343 {
|
|
344 struct objc_struct_layout layout;
|
|
345 unsigned int size;
|
|
346
|
|
347 objc_layout_structure (type, &layout);
|
|
348 while (objc_layout_structure_next_member (&layout))
|
|
349 /* do nothing */ ;
|
|
350 objc_layout_finish_structure (&layout, &size, NULL);
|
|
351
|
|
352 return size;
|
|
353 }
|
|
354
|
|
355 case _C_COMPLEX:
|
|
356 {
|
|
357 type++; /* Skip after the 'j'. */
|
|
358 switch (*type)
|
|
359 {
|
|
360 case _C_CHR:
|
|
361 return sizeof (_Complex char);
|
|
362 break;
|
|
363
|
|
364 case _C_UCHR:
|
|
365 return sizeof (_Complex unsigned char);
|
|
366 break;
|
|
367
|
|
368 case _C_SHT:
|
|
369 return sizeof (_Complex short);
|
|
370 break;
|
|
371
|
|
372 case _C_USHT:
|
|
373 return sizeof (_Complex unsigned short);
|
|
374 break;
|
|
375
|
|
376 case _C_INT:
|
|
377 return sizeof (_Complex int);
|
|
378 break;
|
|
379
|
|
380 case _C_UINT:
|
|
381 return sizeof (_Complex unsigned int);
|
|
382 break;
|
|
383
|
|
384 case _C_LNG:
|
|
385 return sizeof (_Complex long);
|
|
386 break;
|
|
387
|
|
388 case _C_ULNG:
|
|
389 return sizeof (_Complex unsigned long);
|
|
390 break;
|
|
391
|
|
392 case _C_LNG_LNG:
|
|
393 return sizeof (_Complex long long);
|
|
394 break;
|
|
395
|
|
396 case _C_ULNG_LNG:
|
|
397 return sizeof (_Complex unsigned long long);
|
|
398 break;
|
|
399
|
|
400 case _C_FLT:
|
|
401 return sizeof (_Complex float);
|
|
402 break;
|
|
403
|
|
404 case _C_DBL:
|
|
405 return sizeof (_Complex double);
|
|
406 break;
|
|
407
|
|
408 case _C_LNG_DBL:
|
|
409 return sizeof (_Complex long double);
|
|
410 break;
|
|
411
|
|
412 default:
|
|
413 {
|
|
414 /* FIXME: Is this so bad that we have to abort the
|
|
415 entire program ? (it applies to all the other
|
|
416 _objc_abort calls in this file).
|
|
417 */
|
|
418 _objc_abort ("unknown complex type %s\n", type);
|
|
419 return 0;
|
|
420 }
|
|
421 }
|
|
422 }
|
|
423
|
|
424 default:
|
|
425 {
|
|
426 _objc_abort ("unknown type %s\n", type);
|
|
427 return 0;
|
|
428 }
|
|
429 }
|
|
430 }
|
|
431
|
|
432 int
|
|
433 objc_alignof_type (const char *type)
|
|
434 {
|
|
435 type = objc_skip_variable_name (type);
|
|
436
|
|
437 switch (*type) {
|
|
438 case _C_BOOL:
|
|
439 return __alignof__ (_Bool);
|
|
440 break;
|
|
441
|
|
442 case _C_ID:
|
|
443 return __alignof__ (id);
|
|
444 break;
|
|
445
|
|
446 case _C_CLASS:
|
|
447 return __alignof__ (Class);
|
|
448 break;
|
|
449
|
|
450 case _C_SEL:
|
|
451 return __alignof__ (SEL);
|
|
452 break;
|
|
453
|
|
454 case _C_CHR:
|
|
455 return __alignof__ (char);
|
|
456 break;
|
|
457
|
|
458 case _C_UCHR:
|
|
459 return __alignof__ (unsigned char);
|
|
460 break;
|
|
461
|
|
462 case _C_SHT:
|
|
463 return __alignof__ (short);
|
|
464 break;
|
|
465
|
|
466 case _C_USHT:
|
|
467 return __alignof__ (unsigned short);
|
|
468 break;
|
|
469
|
|
470 case _C_INT:
|
|
471 return __alignof__ (int);
|
|
472 break;
|
|
473
|
|
474 case _C_UINT:
|
|
475 return __alignof__ (unsigned int);
|
|
476 break;
|
|
477
|
|
478 case _C_LNG:
|
|
479 return __alignof__ (long);
|
|
480 break;
|
|
481
|
|
482 case _C_ULNG:
|
|
483 return __alignof__ (unsigned long);
|
|
484 break;
|
|
485
|
|
486 case _C_LNG_LNG:
|
|
487 return __alignof__ (long long);
|
|
488 break;
|
|
489
|
|
490 case _C_ULNG_LNG:
|
|
491 return __alignof__ (unsigned long long);
|
|
492 break;
|
|
493
|
|
494 case _C_FLT:
|
|
495 return __alignof__ (float);
|
|
496 break;
|
|
497
|
|
498 case _C_DBL:
|
|
499 return __alignof__ (double);
|
|
500 break;
|
|
501
|
|
502 case _C_LNG_DBL:
|
|
503 return __alignof__ (long double);
|
|
504 break;
|
|
505
|
|
506 case _C_PTR:
|
|
507 case _C_ATOM:
|
|
508 case _C_CHARPTR:
|
|
509 return __alignof__ (char *);
|
|
510 break;
|
|
511
|
|
512 case _C_ARY_B:
|
|
513 while (isdigit ((unsigned char)*++type))
|
|
514 /* do nothing */;
|
|
515 return objc_alignof_type (type);
|
|
516
|
|
517 case _C_VECTOR:
|
|
518 {
|
|
519 /* Skip the '!'. */
|
|
520 type++;
|
|
521 /* Skip the '['. */
|
|
522 type++;
|
|
523
|
|
524 /* Skip the size. */
|
|
525 while (isdigit ((unsigned char)*type))
|
|
526 type++;
|
|
527
|
|
528 /* Skip the ','. */
|
|
529 type++;
|
|
530
|
|
531 /* The alignment in bytes is the following number. */
|
|
532 return atoi (type);
|
|
533 }
|
|
534 case _C_STRUCT_B:
|
|
535 case _C_UNION_B:
|
|
536 {
|
|
537 struct objc_struct_layout layout;
|
|
538 unsigned int align;
|
|
539
|
|
540 objc_layout_structure (type, &layout);
|
|
541 while (objc_layout_structure_next_member (&layout))
|
|
542 /* do nothing */;
|
|
543 objc_layout_finish_structure (&layout, NULL, &align);
|
|
544
|
|
545 return align;
|
|
546 }
|
|
547
|
|
548
|
|
549 case _C_COMPLEX:
|
|
550 {
|
|
551 type++; /* Skip after the 'j'. */
|
|
552 switch (*type)
|
|
553 {
|
|
554 case _C_CHR:
|
|
555 return __alignof__ (_Complex char);
|
|
556 break;
|
|
557
|
|
558 case _C_UCHR:
|
|
559 return __alignof__ (_Complex unsigned char);
|
|
560 break;
|
|
561
|
|
562 case _C_SHT:
|
|
563 return __alignof__ (_Complex short);
|
|
564 break;
|
|
565
|
|
566 case _C_USHT:
|
|
567 return __alignof__ (_Complex unsigned short);
|
|
568 break;
|
|
569
|
|
570 case _C_INT:
|
|
571 return __alignof__ (_Complex int);
|
|
572 break;
|
|
573
|
|
574 case _C_UINT:
|
|
575 return __alignof__ (_Complex unsigned int);
|
|
576 break;
|
|
577
|
|
578 case _C_LNG:
|
|
579 return __alignof__ (_Complex long);
|
|
580 break;
|
|
581
|
|
582 case _C_ULNG:
|
|
583 return __alignof__ (_Complex unsigned long);
|
|
584 break;
|
|
585
|
|
586 case _C_LNG_LNG:
|
|
587 return __alignof__ (_Complex long long);
|
|
588 break;
|
|
589
|
|
590 case _C_ULNG_LNG:
|
|
591 return __alignof__ (_Complex unsigned long long);
|
|
592 break;
|
|
593
|
|
594 case _C_FLT:
|
|
595 return __alignof__ (_Complex float);
|
|
596 break;
|
|
597
|
|
598 case _C_DBL:
|
|
599 return __alignof__ (_Complex double);
|
|
600 break;
|
|
601
|
|
602 case _C_LNG_DBL:
|
|
603 return __alignof__ (_Complex long double);
|
|
604 break;
|
|
605
|
|
606 default:
|
|
607 {
|
|
608 _objc_abort ("unknown complex type %s\n", type);
|
|
609 return 0;
|
|
610 }
|
|
611 }
|
|
612 }
|
|
613
|
|
614 default:
|
|
615 {
|
|
616 _objc_abort ("unknown type %s\n", type);
|
|
617 return 0;
|
|
618 }
|
|
619 }
|
|
620 }
|
|
621
|
|
622 int
|
|
623 objc_aligned_size (const char *type)
|
|
624 {
|
|
625 int size, align;
|
|
626
|
|
627 type = objc_skip_variable_name (type);
|
|
628 size = objc_sizeof_type (type);
|
|
629 align = objc_alignof_type (type);
|
|
630
|
|
631 return ROUND (size, align);
|
|
632 }
|
|
633
|
|
634 int
|
|
635 objc_promoted_size (const char *type)
|
|
636 {
|
|
637 int size, wordsize;
|
|
638
|
|
639 type = objc_skip_variable_name (type);
|
|
640 size = objc_sizeof_type (type);
|
|
641 wordsize = sizeof (void *);
|
|
642
|
|
643 return ROUND (size, wordsize);
|
|
644 }
|
|
645
|
|
646 inline
|
|
647 const char *
|
|
648 objc_skip_type_qualifiers (const char *type)
|
|
649 {
|
|
650 while (*type == _C_CONST
|
|
651 || *type == _C_IN
|
|
652 || *type == _C_INOUT
|
|
653 || *type == _C_OUT
|
|
654 || *type == _C_BYCOPY
|
|
655 || *type == _C_BYREF
|
|
656 || *type == _C_ONEWAY
|
|
657 || *type == _C_GCINVISIBLE)
|
|
658 {
|
|
659 type += 1;
|
|
660 }
|
|
661 return type;
|
|
662 }
|
|
663
|
|
664 inline
|
|
665 const char *
|
|
666 objc_skip_typespec (const char *type)
|
|
667 {
|
|
668 type = objc_skip_variable_name (type);
|
|
669 type = objc_skip_type_qualifiers (type);
|
|
670
|
|
671 switch (*type) {
|
|
672
|
|
673 case _C_ID:
|
|
674 /* An id may be annotated by the actual type if it is known
|
|
675 with the @"ClassName" syntax */
|
|
676
|
|
677 if (*++type != '"')
|
|
678 return type;
|
|
679 else
|
|
680 {
|
|
681 while (*++type != '"')
|
|
682 /* do nothing */;
|
|
683 return type + 1;
|
|
684 }
|
|
685
|
|
686 /* The following are one character type codes */
|
|
687 case _C_CLASS:
|
|
688 case _C_SEL:
|
|
689 case _C_CHR:
|
|
690 case _C_UCHR:
|
|
691 case _C_CHARPTR:
|
|
692 case _C_ATOM:
|
|
693 case _C_SHT:
|
|
694 case _C_USHT:
|
|
695 case _C_INT:
|
|
696 case _C_UINT:
|
|
697 case _C_LNG:
|
|
698 case _C_BOOL:
|
|
699 case _C_ULNG:
|
|
700 case _C_LNG_LNG:
|
|
701 case _C_ULNG_LNG:
|
|
702 case _C_FLT:
|
|
703 case _C_DBL:
|
|
704 case _C_LNG_DBL:
|
|
705 case _C_VOID:
|
|
706 case _C_UNDEF:
|
|
707 return ++type;
|
|
708 break;
|
|
709
|
|
710 case _C_COMPLEX:
|
|
711 return type + 2;
|
|
712 break;
|
|
713
|
|
714 case _C_ARY_B:
|
|
715 /* skip digits, typespec and closing ']' */
|
|
716 while (isdigit ((unsigned char)*++type))
|
|
717 ;
|
|
718 type = objc_skip_typespec (type);
|
|
719 if (*type == _C_ARY_E)
|
|
720 return ++type;
|
|
721 else
|
|
722 {
|
|
723 _objc_abort ("bad array type %s\n", type);
|
|
724 return 0;
|
|
725 }
|
|
726
|
|
727 case _C_VECTOR:
|
|
728 /* Skip '!' */
|
|
729 type++;
|
|
730 /* Skip '[' */
|
|
731 type++;
|
|
732 /* Skip digits (size) */
|
|
733 while (isdigit ((unsigned char)*type))
|
|
734 type++;
|
|
735 /* Skip ',' */
|
|
736 type++;
|
|
737 /* Skip digits (alignment) */
|
|
738 while (isdigit ((unsigned char)*type))
|
|
739 type++;
|
|
740 /* Skip typespec. */
|
|
741 type = objc_skip_typespec (type);
|
|
742 /* Skip closing ']'. */
|
|
743 if (*type == _C_ARY_E)
|
|
744 return ++type;
|
|
745 else
|
|
746 {
|
|
747 _objc_abort ("bad vector type %s\n", type);
|
|
748 return 0;
|
|
749 }
|
|
750
|
|
751 case _C_BFLD:
|
|
752 /* The GNU encoding of bitfields is: b 'position' 'type'
|
|
753 'size'. */
|
|
754 while (isdigit ((unsigned char)*++type))
|
|
755 ; /* skip position */
|
|
756 while (isdigit ((unsigned char)*++type))
|
|
757 ; /* skip type and size */
|
|
758 return type;
|
|
759
|
|
760 case _C_STRUCT_B:
|
|
761 /* skip name, and elements until closing '}' */
|
|
762
|
|
763 while (*type != _C_STRUCT_E && *type++ != '=')
|
|
764 ;
|
|
765 while (*type != _C_STRUCT_E)
|
|
766 {
|
|
767 type = objc_skip_typespec (type);
|
|
768 }
|
|
769 return ++type;
|
|
770
|
|
771 case _C_UNION_B:
|
|
772 /* skip name, and elements until closing ')' */
|
|
773
|
|
774 while (*type != _C_UNION_E && *type++ != '=')
|
|
775 ;
|
|
776 while (*type != _C_UNION_E)
|
|
777 {
|
|
778 type = objc_skip_typespec (type);
|
|
779 }
|
|
780 return ++type;
|
|
781
|
|
782 case _C_PTR:
|
|
783 /* Just skip the following typespec */
|
|
784
|
|
785 return objc_skip_typespec (++type);
|
|
786
|
|
787 default:
|
|
788 {
|
|
789 _objc_abort ("unknown type %s\n", type);
|
|
790 return 0;
|
|
791 }
|
|
792 }
|
|
793 }
|
|
794
|
|
795 inline
|
|
796 const char *
|
|
797 objc_skip_offset (const char *type)
|
|
798 {
|
|
799 /* The offset is prepended by a '+' if the argument is passed in
|
|
800 registers. PS: The compiler stopped generating this '+' in
|
|
801 version 3.4. */
|
|
802 if (*type == '+')
|
|
803 type++;
|
|
804
|
|
805 /* Some people claim that on some platforms, where the stack grows
|
|
806 backwards, the compiler generates negative offsets (??). Skip a
|
|
807 '-' for such a negative offset. */
|
|
808 if (*type == '-')
|
|
809 type++;
|
|
810
|
|
811 /* Skip the digits that represent the offset. */
|
|
812 while (isdigit ((unsigned char) *type))
|
|
813 type++;
|
|
814
|
|
815 return type;
|
|
816 }
|
|
817
|
|
818 const char *
|
|
819 objc_skip_argspec (const char *type)
|
|
820 {
|
|
821 type = objc_skip_typespec (type);
|
|
822 type = objc_skip_offset (type);
|
|
823 return type;
|
|
824 }
|
|
825
|
|
826 char *
|
|
827 method_copyReturnType (struct objc_method *method)
|
|
828 {
|
|
829 if (method == NULL)
|
|
830 return 0;
|
|
831 else
|
|
832 {
|
|
833 char *returnValue;
|
|
834 size_t returnValueSize;
|
|
835
|
|
836 /* Determine returnValueSize. */
|
|
837 {
|
|
838 /* Find the end of the first argument. We want to return the
|
|
839 first argument spec, plus 1 byte for the \0 at the end. */
|
|
840 const char *type = method->method_types;
|
|
841 if (*type == '\0')
|
|
842 return NULL;
|
|
843 type = objc_skip_argspec (type);
|
|
844 returnValueSize = type - method->method_types + 1;
|
|
845 }
|
|
846
|
|
847 /* Copy the first argument into returnValue. */
|
|
848 returnValue = malloc (sizeof (char) * returnValueSize);
|
|
849 memcpy (returnValue, method->method_types, returnValueSize);
|
|
850 returnValue[returnValueSize - 1] = '\0';
|
|
851
|
|
852 return returnValue;
|
|
853 }
|
|
854 }
|
|
855
|
|
856 char *
|
|
857 method_copyArgumentType (struct objc_method * method, unsigned int argumentNumber)
|
|
858 {
|
|
859 if (method == NULL)
|
|
860 return 0;
|
|
861 else
|
|
862 {
|
|
863 char *returnValue;
|
|
864 const char *returnValueStart;
|
|
865 size_t returnValueSize;
|
|
866
|
|
867 /* Determine returnValueStart and returnValueSize. */
|
|
868 {
|
|
869 const char *type = method->method_types;
|
|
870
|
|
871 /* Skip the first argument (return type). */
|
|
872 type = objc_skip_argspec (type);
|
|
873
|
|
874 /* Now keep skipping arguments until we get to
|
|
875 argumentNumber. */
|
|
876 while (argumentNumber > 0)
|
|
877 {
|
|
878 /* We are supposed to skip an argument, but the string is
|
|
879 finished. This means we were asked for a non-existing
|
|
880 argument. */
|
|
881 if (*type == '\0')
|
|
882 return NULL;
|
|
883
|
|
884 type = objc_skip_argspec (type);
|
|
885 argumentNumber--;
|
|
886 }
|
|
887
|
|
888 /* If the argument does not exist, return NULL. */
|
|
889 if (*type == '\0')
|
|
890 return NULL;
|
|
891
|
|
892 returnValueStart = type;
|
|
893 type = objc_skip_argspec (type);
|
|
894 returnValueSize = type - returnValueStart + 1;
|
|
895 }
|
|
896
|
|
897 /* Copy the argument into returnValue. */
|
|
898 returnValue = malloc (sizeof (char) * returnValueSize);
|
|
899 memcpy (returnValue, returnValueStart, returnValueSize);
|
|
900 returnValue[returnValueSize - 1] = '\0';
|
|
901
|
|
902 return returnValue;
|
|
903 }
|
|
904 }
|
|
905
|
|
906 void method_getReturnType (struct objc_method * method, char *returnValue,
|
|
907 size_t returnValueSize)
|
|
908 {
|
|
909 if (returnValue == NULL || returnValueSize == 0)
|
|
910 return;
|
|
911
|
|
912 /* Zero the string; we'll then write the argument type at the
|
|
913 beginning of it, if needed. */
|
|
914 memset (returnValue, 0, returnValueSize);
|
|
915
|
|
916 if (method == NULL)
|
|
917 return;
|
|
918 else
|
|
919 {
|
|
920 size_t argumentTypeSize;
|
|
921
|
|
922 /* Determine argumentTypeSize. */
|
|
923 {
|
|
924 /* Find the end of the first argument. We want to return the
|
|
925 first argument spec. */
|
|
926 const char *type = method->method_types;
|
|
927 if (*type == '\0')
|
|
928 return;
|
|
929 type = objc_skip_argspec (type);
|
|
930 argumentTypeSize = type - method->method_types;
|
|
931 if (argumentTypeSize > returnValueSize)
|
|
932 argumentTypeSize = returnValueSize;
|
|
933 }
|
|
934 /* Copy the argument at the beginning of the string. */
|
|
935 memcpy (returnValue, method->method_types, argumentTypeSize);
|
|
936 }
|
|
937 }
|
|
938
|
|
939 void method_getArgumentType (struct objc_method * method, unsigned int argumentNumber,
|
|
940 char *returnValue, size_t returnValueSize)
|
|
941 {
|
|
942 if (returnValue == NULL || returnValueSize == 0)
|
|
943 return;
|
|
944
|
|
945 /* Zero the string; we'll then write the argument type at the
|
|
946 beginning of it, if needed. */
|
|
947 memset (returnValue, 0, returnValueSize);
|
|
948
|
|
949 if (method == NULL)
|
|
950 return;
|
|
951 else
|
|
952 {
|
|
953 const char *returnValueStart;
|
|
954 size_t argumentTypeSize;
|
|
955
|
|
956 /* Determine returnValueStart and argumentTypeSize. */
|
|
957 {
|
|
958 const char *type = method->method_types;
|
|
959
|
|
960 /* Skip the first argument (return type). */
|
|
961 type = objc_skip_argspec (type);
|
|
962
|
|
963 /* Now keep skipping arguments until we get to
|
|
964 argumentNumber. */
|
|
965 while (argumentNumber > 0)
|
|
966 {
|
|
967 /* We are supposed to skip an argument, but the string is
|
|
968 finished. This means we were asked for a non-existing
|
|
969 argument. */
|
|
970 if (*type == '\0')
|
|
971 return;
|
|
972
|
|
973 type = objc_skip_argspec (type);
|
|
974 argumentNumber--;
|
|
975 }
|
|
976
|
|
977 /* If the argument does not exist, it's game over. */
|
|
978 if (*type == '\0')
|
|
979 return;
|
|
980
|
|
981 returnValueStart = type;
|
|
982 type = objc_skip_argspec (type);
|
|
983 argumentTypeSize = type - returnValueStart;
|
|
984 if (argumentTypeSize > returnValueSize)
|
|
985 argumentTypeSize = returnValueSize;
|
|
986 }
|
|
987 /* Copy the argument at the beginning of the string. */
|
|
988 memcpy (returnValue, returnValueStart, argumentTypeSize);
|
|
989 }
|
|
990 }
|
|
991
|
|
992 unsigned int
|
|
993 method_getNumberOfArguments (struct objc_method *method)
|
|
994 {
|
|
995 if (method == NULL)
|
|
996 return 0;
|
|
997 else
|
|
998 {
|
|
999 unsigned int i = 0;
|
|
1000 const char *type = method->method_types;
|
|
1001 while (*type)
|
|
1002 {
|
|
1003 type = objc_skip_argspec (type);
|
|
1004 i += 1;
|
|
1005 }
|
|
1006
|
|
1007 if (i == 0)
|
|
1008 {
|
|
1009 /* This could only happen if method_types is invalid; in
|
|
1010 that case, return 0. */
|
|
1011 return 0;
|
|
1012 }
|
|
1013 else
|
|
1014 {
|
|
1015 /* Remove the return type. */
|
|
1016 return (i - 1);
|
|
1017 }
|
|
1018 }
|
|
1019 }
|
|
1020
|
|
1021 unsigned
|
|
1022 objc_get_type_qualifiers (const char *type)
|
|
1023 {
|
|
1024 unsigned res = 0;
|
|
1025 BOOL flag = YES;
|
|
1026
|
|
1027 while (flag)
|
|
1028 switch (*type++)
|
|
1029 {
|
|
1030 case _C_CONST: res |= _F_CONST; break;
|
|
1031 case _C_IN: res |= _F_IN; break;
|
|
1032 case _C_INOUT: res |= _F_INOUT; break;
|
|
1033 case _C_OUT: res |= _F_OUT; break;
|
|
1034 case _C_BYCOPY: res |= _F_BYCOPY; break;
|
|
1035 case _C_BYREF: res |= _F_BYREF; break;
|
|
1036 case _C_ONEWAY: res |= _F_ONEWAY; break;
|
|
1037 case _C_GCINVISIBLE: res |= _F_GCINVISIBLE; break;
|
|
1038 default: flag = NO;
|
|
1039 }
|
|
1040
|
|
1041 return res;
|
|
1042 }
|
|
1043
|
|
1044 /* The following three functions can be used to determine how a
|
|
1045 structure is laid out by the compiler. For example:
|
|
1046
|
|
1047 struct objc_struct_layout layout;
|
|
1048 int i;
|
|
1049
|
|
1050 objc_layout_structure (type, &layout);
|
|
1051 while (objc_layout_structure_next_member (&layout))
|
|
1052 {
|
|
1053 int position, align;
|
|
1054 const char *type;
|
|
1055
|
|
1056 objc_layout_structure_get_info (&layout, &position, &align, &type);
|
|
1057 printf ("element %d has offset %d, alignment %d\n",
|
|
1058 i++, position, align);
|
|
1059 }
|
|
1060
|
|
1061 These functions are used by objc_sizeof_type and objc_alignof_type
|
|
1062 functions to compute the size and alignment of structures. The
|
|
1063 previous method of computing the size and alignment of a structure
|
|
1064 was not working on some architectures, particularly on AIX, and in
|
|
1065 the presence of bitfields inside the structure. */
|
|
1066 void
|
|
1067 objc_layout_structure (const char *type,
|
|
1068 struct objc_struct_layout *layout)
|
|
1069 {
|
|
1070 const char *ntype;
|
|
1071
|
|
1072 if (*type != _C_UNION_B && *type != _C_STRUCT_B)
|
|
1073 {
|
|
1074 _objc_abort ("record (or union) type expected in objc_layout_structure, got %s\n",
|
|
1075 type);
|
|
1076 }
|
|
1077
|
|
1078 type ++;
|
|
1079 layout->original_type = type;
|
|
1080
|
|
1081 /* Skip "<name>=" if any. Avoid embedded structures and unions. */
|
|
1082 ntype = type;
|
|
1083 while (*ntype != _C_STRUCT_E && *ntype != _C_STRUCT_B && *ntype != _C_UNION_B
|
|
1084 && *ntype++ != '=')
|
|
1085 /* do nothing */;
|
|
1086
|
|
1087 /* If there's a "<name>=", ntype - 1 points to '='; skip the the name */
|
|
1088 if (*(ntype - 1) == '=')
|
|
1089 type = ntype;
|
|
1090
|
|
1091 layout->type = type;
|
|
1092 layout->prev_type = NULL;
|
|
1093 layout->record_size = 0;
|
|
1094 layout->record_align = __CHAR_BIT__;
|
|
1095
|
|
1096 layout->record_align = MAX (layout->record_align, STRUCTURE_SIZE_BOUNDARY);
|
|
1097 }
|
|
1098
|
|
1099 BOOL
|
|
1100 objc_layout_structure_next_member (struct objc_struct_layout *layout)
|
|
1101 {
|
|
1102 register int desired_align = 0;
|
|
1103
|
|
1104 /* The following are used only if the field is a bitfield */
|
|
1105 register const char *bfld_type = 0;
|
|
1106 register int bfld_type_align = 0, bfld_field_size = 0;
|
|
1107
|
|
1108 /* The current type without the type qualifiers */
|
|
1109 const char *type;
|
|
1110 BOOL unionp = layout->original_type[-1] == _C_UNION_B;
|
|
1111
|
|
1112 /* Add the size of the previous field to the size of the record. */
|
|
1113 if (layout->prev_type)
|
|
1114 {
|
|
1115 type = objc_skip_type_qualifiers (layout->prev_type);
|
|
1116 if (unionp)
|
|
1117 layout->record_size = MAX (layout->record_size,
|
|
1118 objc_sizeof_type (type) * __CHAR_BIT__);
|
|
1119
|
|
1120 else if (*type != _C_BFLD)
|
|
1121 layout->record_size += objc_sizeof_type (type) * __CHAR_BIT__;
|
|
1122 else {
|
|
1123 /* Get the bitfield's type */
|
|
1124 for (bfld_type = type + 1;
|
|
1125 isdigit ((unsigned char)*bfld_type);
|
|
1126 bfld_type++)
|
|
1127 /* do nothing */;
|
|
1128
|
|
1129 bfld_type_align = objc_alignof_type (bfld_type) * __CHAR_BIT__;
|
|
1130 bfld_field_size = atoi (objc_skip_typespec (bfld_type));
|
|
1131 layout->record_size += bfld_field_size;
|
|
1132 }
|
|
1133 }
|
|
1134
|
|
1135 if ((unionp && *layout->type == _C_UNION_E)
|
|
1136 || (!unionp && *layout->type == _C_STRUCT_E))
|
|
1137 return NO;
|
|
1138
|
|
1139 /* Skip the variable name if any */
|
|
1140 layout->type = objc_skip_variable_name (layout->type);
|
|
1141 type = objc_skip_type_qualifiers (layout->type);
|
|
1142
|
|
1143 if (*type != _C_BFLD)
|
|
1144 desired_align = objc_alignof_type (type) * __CHAR_BIT__;
|
|
1145 else
|
|
1146 {
|
|
1147 desired_align = 1;
|
|
1148 /* Skip the bitfield's offset */
|
|
1149 for (bfld_type = type + 1;
|
|
1150 isdigit ((unsigned char) *bfld_type);
|
|
1151 bfld_type++)
|
|
1152 /* do nothing */;
|
|
1153
|
|
1154 bfld_type_align = objc_alignof_type (bfld_type) * __CHAR_BIT__;
|
|
1155 bfld_field_size = atoi (objc_skip_typespec (bfld_type));
|
|
1156 }
|
|
1157
|
|
1158 /* The following won't work for vectors. */
|
|
1159 #ifdef BIGGEST_FIELD_ALIGNMENT
|
|
1160 desired_align = MIN (desired_align, BIGGEST_FIELD_ALIGNMENT);
|
|
1161 #endif
|
|
1162 #ifdef ADJUST_FIELD_ALIGN
|
|
1163 desired_align = ADJUST_FIELD_ALIGN (type, type, desired_align);
|
|
1164 #endif
|
|
1165
|
|
1166 /* Record must have at least as much alignment as any field.
|
|
1167 Otherwise, the alignment of the field within the record
|
|
1168 is meaningless. */
|
|
1169 #ifndef HAVE_BITFIELD_TYPE_MATTERS
|
|
1170 layout->record_align = MAX (layout->record_align, desired_align);
|
|
1171 #else /* PCC_BITFIELD_TYPE_MATTERS */
|
|
1172 if (*type == _C_BFLD)
|
|
1173 {
|
|
1174 /* For these machines, a zero-length field does not
|
|
1175 affect the alignment of the structure as a whole.
|
|
1176 It does, however, affect the alignment of the next field
|
|
1177 within the structure. */
|
|
1178 if (bfld_field_size)
|
|
1179 layout->record_align = MAX (layout->record_align, desired_align);
|
|
1180 else
|
|
1181 desired_align = objc_alignof_type (bfld_type) * __CHAR_BIT__;
|
|
1182
|
|
1183 /* A named bit field of declared type `int'
|
|
1184 forces the entire structure to have `int' alignment.
|
|
1185 Q1: How is encoded this thing and how to check for it?
|
|
1186 Q2: How to determine maximum_field_alignment at runtime? */
|
|
1187
|
|
1188 /* if (DECL_NAME (field) != 0) */
|
|
1189 {
|
|
1190 int type_align = bfld_type_align;
|
|
1191 #if 0
|
|
1192 if (maximum_field_alignment != 0)
|
|
1193 type_align = MIN (type_align, maximum_field_alignment);
|
|
1194 else if (DECL_PACKED (field))
|
|
1195 type_align = MIN (type_align, __CHAR_BIT__);
|
|
1196 #endif
|
|
1197
|
|
1198 layout->record_align = MAX (layout->record_align, type_align);
|
|
1199 }
|
|
1200 }
|
|
1201 else
|
|
1202 layout->record_align = MAX (layout->record_align, desired_align);
|
|
1203 #endif /* PCC_BITFIELD_TYPE_MATTERS */
|
|
1204
|
|
1205 /* Does this field automatically have alignment it needs
|
|
1206 by virtue of the fields that precede it and the record's
|
|
1207 own alignment? */
|
|
1208
|
|
1209 if (*type == _C_BFLD)
|
|
1210 layout->record_size = atoi (type + 1);
|
|
1211 else if (layout->record_size % desired_align != 0)
|
|
1212 {
|
|
1213 /* No, we need to skip space before this field.
|
|
1214 Bump the cumulative size to multiple of field alignment. */
|
|
1215 layout->record_size = ROUND (layout->record_size, desired_align);
|
|
1216 }
|
|
1217
|
|
1218 /* Jump to the next field in record. */
|
|
1219
|
|
1220 layout->prev_type = layout->type;
|
|
1221 layout->type = objc_skip_typespec (layout->type); /* skip component */
|
|
1222
|
|
1223 return YES;
|
|
1224 }
|
|
1225
|
|
1226 void objc_layout_finish_structure (struct objc_struct_layout *layout,
|
|
1227 unsigned int *size,
|
|
1228 unsigned int *align)
|
|
1229 {
|
|
1230 BOOL unionp = layout->original_type[-1] == _C_UNION_B;
|
|
1231 if (layout->type
|
|
1232 && ((!unionp && *layout->type == _C_STRUCT_E)
|
|
1233 || (unionp && *layout->type == _C_UNION_E)))
|
|
1234 {
|
|
1235 /* Work out the alignment of the record as one expression and store
|
|
1236 in the record type. Round it up to a multiple of the record's
|
|
1237 alignment. */
|
|
1238 #if defined (ROUND_TYPE_ALIGN) && ! defined (__sparc__)
|
|
1239 layout->record_align = ROUND_TYPE_ALIGN (layout->original_type-1,
|
|
1240 1,
|
|
1241 layout->record_align);
|
|
1242 #else
|
|
1243 layout->record_align = MAX (1, layout->record_align);
|
|
1244 #endif
|
|
1245
|
|
1246 /* Round the size up to be a multiple of the required alignment */
|
|
1247 layout->record_size = ROUND (layout->record_size, layout->record_align);
|
|
1248
|
|
1249 layout->type = NULL;
|
|
1250 }
|
|
1251 if (size)
|
|
1252 *size = layout->record_size / __CHAR_BIT__;
|
|
1253 if (align)
|
|
1254 *align = layout->record_align / __CHAR_BIT__;
|
|
1255 }
|
|
1256
|
|
1257 void objc_layout_structure_get_info (struct objc_struct_layout *layout,
|
|
1258 unsigned int *offset,
|
|
1259 unsigned int *align,
|
|
1260 const char **type)
|
|
1261 {
|
|
1262 if (offset)
|
|
1263 *offset = layout->record_size / __CHAR_BIT__;
|
|
1264 if (align)
|
|
1265 *align = layout->record_align / __CHAR_BIT__;
|
|
1266 if (type)
|
|
1267 *type = layout->prev_type;
|
|
1268 }
|