2 * Symbol lookup and handling.
4 * Copyright (C) 2003 Transmeta Corp.
5 * 2003-2004 Linus Torvalds
7 * Licensed under the Open Software License version 1.1
20 #include "expression.h"
25 * Secondary symbol list for stuff that needs to be output because it
28 struct symbol_list
*translation_unit_used_list
= NULL
;
31 * If the symbol is an inline symbol, add it to the list of symbols to parse
33 void access_symbol(struct symbol
*sym
)
35 if (sym
->ctype
.modifiers
& MOD_INLINE
) {
36 if (!(sym
->ctype
.modifiers
& MOD_ACCESSED
)) {
37 add_symbol(&translation_unit_used_list
, sym
);
38 sym
->ctype
.modifiers
|= MOD_ACCESSED
;
43 struct symbol
*lookup_symbol(struct ident
*ident
, enum namespace ns
)
47 for (sym
= ident
->symbols
; sym
; sym
= sym
->next_id
) {
48 if (sym
->namespace & ns
) {
56 struct context
*alloc_context(void)
58 return __alloc_context(0);
61 struct symbol
*alloc_symbol(struct position pos
, int type
)
63 struct symbol
*sym
= __alloc_symbol(0);
69 struct struct_union_info
{
70 unsigned long max_align
;
71 unsigned long bit_size
;
76 * Unions are fairly easy to lay out ;)
78 static void lay_out_union(struct symbol
*sym
, struct struct_union_info
*info
)
80 examine_symbol_type(sym
);
82 // Unnamed bitfields do not affect alignment.
83 if (sym
->ident
|| !is_bitfield_type(sym
)) {
84 if (sym
->ctype
.alignment
> info
->max_align
)
85 info
->max_align
= sym
->ctype
.alignment
;
88 if (sym
->bit_size
> info
->bit_size
)
89 info
->bit_size
= sym
->bit_size
;
94 static int bitfield_base_size(struct symbol
*sym
)
96 if (sym
->type
== SYM_NODE
)
97 sym
= sym
->ctype
.base_type
;
98 if (sym
->type
== SYM_BITFIELD
)
99 sym
= sym
->ctype
.base_type
;
100 return sym
->bit_size
;
104 * Structures are a bit more interesting to lay out
106 static void lay_out_struct(struct symbol
*sym
, struct struct_union_info
*info
)
108 unsigned long bit_size
, align_bit_mask
;
111 examine_symbol_type(sym
);
113 // Unnamed bitfields do not affect alignment.
114 if (sym
->ident
|| !is_bitfield_type(sym
)) {
115 if (sym
->ctype
.alignment
> info
->max_align
)
116 info
->max_align
= sym
->ctype
.alignment
;
119 bit_size
= info
->bit_size
;
120 base_size
= sym
->bit_size
;
123 * Unsized arrays cause us to not align the resulting
127 info
->align_size
= 0;
131 align_bit_mask
= (sym
->ctype
.alignment
<< 3) - 1;
134 * Bitfields have some very special rules..
136 if (is_bitfield_type (sym
)) {
137 unsigned long bit_offset
= bit_size
& align_bit_mask
;
138 int room
= bitfield_base_size(sym
) - bit_offset
;
139 // Zero-width fields just fill up the unit.
140 int width
= base_size
? : (bit_offset
? room
: 0);
143 bit_size
= (bit_size
+ align_bit_mask
) & ~align_bit_mask
;
146 sym
->offset
= (bit_size
- bit_offset
) >> 3;
147 sym
->bit_offset
= bit_offset
;
148 sym
->ctype
.base_type
->bit_offset
= bit_offset
;
149 info
->bit_size
= bit_size
+ width
;
150 // warning (sym->pos, "bitfield: offset=%d:%d size=:%d", sym->offset, sym->bit_offset, width);
156 * Otherwise, just align it right and add it up..
158 bit_size
= (bit_size
+ align_bit_mask
) & ~align_bit_mask
;
159 sym
->offset
= bit_size
>> 3;
161 info
->bit_size
= bit_size
+ base_size
;
162 // warning (sym->pos, "regular: offset=%d", sym->offset);
165 static struct symbol
* examine_struct_union_type(struct symbol
*sym
, int advance
)
167 struct struct_union_info info
= {
172 unsigned long bit_size
, bit_align
;
173 void (*fn
)(struct symbol
*, struct struct_union_info
*);
174 struct symbol
*member
;
176 fn
= advance
? lay_out_struct
: lay_out_union
;
177 FOR_EACH_PTR(sym
->symbol_list
, member
) {
179 } END_FOR_EACH_PTR(member
);
181 if (!sym
->ctype
.alignment
)
182 sym
->ctype
.alignment
= info
.max_align
;
183 bit_size
= info
.bit_size
;
184 if (info
.align_size
) {
185 bit_align
= (sym
->ctype
.alignment
<< 3)-1;
186 bit_size
= (bit_size
+ bit_align
) & ~bit_align
;
188 sym
->bit_size
= bit_size
;
192 static struct symbol
*examine_base_type(struct symbol
*sym
)
194 struct symbol
*base_type
;
196 /* Check the basetype */
197 base_type
= sym
->ctype
.base_type
;
199 base_type
= examine_symbol_type(base_type
);
201 /* "typeof" can cause this */
202 if (base_type
&& base_type
->type
== SYM_NODE
)
203 merge_type(sym
, base_type
);
208 static struct symbol
* examine_array_type(struct symbol
*sym
)
210 struct symbol
*base_type
= examine_base_type(sym
);
211 unsigned long bit_size
, alignment
;
215 bit_size
= base_type
->bit_size
* get_expression_value(sym
->array_size
);
216 if (!sym
->array_size
|| sym
->array_size
->type
!= EXPR_VALUE
)
218 alignment
= base_type
->ctype
.alignment
;
219 if (!sym
->ctype
.alignment
)
220 sym
->ctype
.alignment
= alignment
;
221 sym
->bit_size
= bit_size
;
225 static struct symbol
*examine_bitfield_type(struct symbol
*sym
)
227 struct symbol
*base_type
= examine_base_type(sym
);
228 unsigned long bit_size
, alignment
, modifiers
;
232 bit_size
= base_type
->bit_size
;
233 if (sym
->bit_size
> bit_size
)
234 warning(sym
->pos
, "impossible field-width, %d, for this type", sym
->bit_size
);
236 alignment
= base_type
->ctype
.alignment
;
237 if (!sym
->ctype
.alignment
)
238 sym
->ctype
.alignment
= alignment
;
239 modifiers
= base_type
->ctype
.modifiers
;
241 /* Bitfields are unsigned, unless the base type was explicitly signed */
242 if (!(modifiers
& MOD_EXPLICITLY_SIGNED
))
243 modifiers
= (modifiers
& ~MOD_SIGNED
) | MOD_UNSIGNED
;
244 sym
->ctype
.modifiers
|= modifiers
& MOD_SIGNEDNESS
;
249 * "typeof" will have to merge the types together
251 void merge_type(struct symbol
*sym
, struct symbol
*base_type
)
253 sym
->ctype
.as
|= base_type
->ctype
.as
;
254 sym
->ctype
.modifiers
|= (base_type
->ctype
.modifiers
& ~MOD_STORAGE
);
255 concat_ptr_list((struct ptr_list
*)base_type
->ctype
.contexts
,
256 (struct ptr_list
**)&sym
->ctype
.contexts
);
257 sym
->ctype
.base_type
= base_type
->ctype
.base_type
;
260 static int count_array_initializer(struct symbol
*t
, struct expression
*expr
)
266 * Arrays of character types are special; they can be initialized by
267 * string literal _or_ by string literal in braces. The latter means
268 * that with T x[] = {<string literal>} number of elements in x depends
269 * on T - if it's a character type, we get the length of string literal
270 * (including NUL), otherwise we have one element here.
272 if (t
->ctype
.base_type
== &int_type
&& t
->ctype
.modifiers
& MOD_CHAR
)
275 switch (expr
->type
) {
276 case EXPR_INITIALIZER
: {
277 struct expression
*entry
;
280 FOR_EACH_PTR(expr
->expr_list
, entry
) {
282 switch (entry
->type
) {
284 if (entry
->idx_to
>= nr
)
285 nr
= entry
->idx_to
+1;
289 str_len
= entry
->string
->length
;
293 } END_FOR_EACH_PTR(entry
);
294 if (count
== 1 && str_len
)
300 nr
= expr
->string
->length
;
307 static struct symbol
* examine_node_type(struct symbol
*sym
)
309 struct symbol
*base_type
= examine_base_type(sym
);
311 unsigned long alignment
, modifiers
;
313 /* SYM_NODE - figure out what the type of the node was.. */
314 modifiers
= sym
->ctype
.modifiers
;
321 bit_size
= base_type
->bit_size
;
322 alignment
= base_type
->ctype
.alignment
;
324 /* Pick up signedness information into the node */
325 sym
->ctype
.modifiers
|= (MOD_SIGNEDNESS
& base_type
->ctype
.modifiers
);
327 if (!sym
->ctype
.alignment
)
328 sym
->ctype
.alignment
= alignment
;
330 /* Unsized array? The size might come from the initializer.. */
331 if (bit_size
< 0 && base_type
->type
== SYM_ARRAY
&& sym
->initializer
) {
332 struct symbol
*node_type
= base_type
->ctype
.base_type
;
333 int count
= count_array_initializer(node_type
, sym
->initializer
);
335 if (node_type
&& node_type
->bit_size
>= 0)
336 bit_size
= node_type
->bit_size
* count
;
339 sym
->bit_size
= bit_size
;
343 static struct symbol
*examine_enum_type(struct symbol
*sym
)
345 struct symbol
*base_type
= examine_base_type(sym
);
347 sym
->ctype
.modifiers
|= (base_type
->ctype
.modifiers
& MOD_SIGNEDNESS
);
348 sym
->bit_size
= bits_in_enum
;
349 if (base_type
->bit_size
> sym
->bit_size
)
350 sym
->bit_size
= base_type
->bit_size
;
351 sym
->ctype
.alignment
= enum_alignment
;
352 if (base_type
->ctype
.alignment
> sym
->ctype
.alignment
)
353 sym
->ctype
.alignment
= base_type
->ctype
.alignment
;
357 static struct symbol
*examine_pointer_type(struct symbol
*sym
)
360 * We need to set the pointer size first, and
361 * examine the thing we point to only afterwards.
362 * That's because this pointer type may end up
363 * being needed for the base type size evalutation.
366 sym
->bit_size
= bits_in_pointer
;
367 if (!sym
->ctype
.alignment
)
368 sym
->ctype
.alignment
= pointer_alignment
;
373 * Fill in type size and alignment information for
374 * regular SYM_TYPE things.
376 struct symbol
*examine_symbol_type(struct symbol
* sym
)
389 return examine_node_type(sym
);
391 return examine_array_type(sym
);
393 return examine_struct_union_type(sym
, 1);
395 return examine_struct_union_type(sym
, 0);
397 return examine_pointer_type(sym
);
399 return examine_enum_type(sym
);
401 return examine_bitfield_type(sym
);
403 /* Size and alignment had better already be set up */
406 struct symbol
*base
= evaluate_expression(sym
->initializer
);
408 if (is_bitfield_type(base
))
409 warning(base
->pos
, "typeof applied to bitfield type");
410 if (base
->type
== SYM_NODE
)
411 base
= base
->ctype
.base_type
;
417 case SYM_PREPROCESSOR
:
418 sparse_error(sym
->pos
, "ctype on preprocessor command? (%s)", show_ident(sym
->ident
));
420 case SYM_UNINITIALIZED
:
421 sparse_error(sym
->pos
, "ctype on uninitialized symbol %p", sym
);
424 examine_base_type(sym
);
427 examine_base_type(sym
);
430 sparse_error(sym
->pos
, "Examining unknown symbol type %d", sym
->type
);
436 static struct symbol_list
*restr
, *fouled
;
438 void create_fouled(struct symbol
*type
)
440 if (type
->bit_size
< bits_in_int
) {
441 struct symbol
*new = alloc_symbol(type
->pos
, type
->type
);
443 new->bit_size
= bits_in_int
;
444 new->type
= SYM_FOULED
;
445 new->ctype
.base_type
= type
;
446 add_symbol(&restr
, type
);
447 add_symbol(&fouled
, new);
451 struct symbol
*befoul(struct symbol
*type
)
453 struct symbol
*t1
, *t2
;
454 while (type
->type
== SYM_NODE
)
455 type
= type
->ctype
.base_type
;
456 PREPARE_PTR_LIST(restr
, t1
);
457 PREPARE_PTR_LIST(fouled
, t2
);
471 void check_declaration(struct symbol
*sym
)
474 struct symbol
*next
= sym
;
476 while ((next
= next
->next_id
) != NULL
) {
477 if (next
->namespace != sym
->namespace)
479 if (sym
->scope
== next
->scope
) {
480 sym
->same_symbol
= next
;
483 if (sym
->ctype
.modifiers
& next
->ctype
.modifiers
& MOD_EXTERN
) {
484 sym
->same_symbol
= next
;
488 if (!Wshadow
|| warned
)
490 if (get_sym_type(next
) == SYM_FN
)
493 warning(sym
->pos
, "symbol '%s' shadows an earlier one", show_ident(sym
->ident
));
494 info(next
->pos
, "originally declared here");
498 void bind_symbol(struct symbol
*sym
, struct ident
*ident
, enum namespace ns
)
502 sparse_error(sym
->pos
, "internal error: symbol type already bound");
505 if (ident
->reserved
&& (ns
& (NS_TYPEDEF
| NS_STRUCT
| NS_LABEL
| NS_SYMBOL
))) {
506 sparse_error(sym
->pos
, "Trying to use reserved word '%s' as identifier", show_ident(ident
));
510 sym
->next_id
= ident
->symbols
;
511 ident
->symbols
= sym
;
512 sym
->id_list
= &ident
->symbols
;
513 if (sym
->ident
&& sym
->ident
!= ident
)
514 warning(sym
->pos
, "Symbol '%s' already bound", show_ident(sym
->ident
));
518 if (ns
== NS_SYMBOL
&& toplevel(scope
)) {
519 unsigned mod
= MOD_ADDRESSABLE
| MOD_TOPLEVEL
;
520 scope
= global_scope
;
521 if (sym
->ctype
.modifiers
& MOD_STATIC
) {
525 sym
->ctype
.modifiers
|= mod
;
530 scope
= function_scope
;
531 bind_scope(sym
, scope
);
534 struct symbol
*create_symbol(int stream
, const char *name
, int type
, int namespace)
536 struct token
*token
= built_in_token(stream
, name
);
537 struct symbol
*sym
= alloc_symbol(token
->pos
, type
);
539 bind_symbol(sym
, token
->ident
, namespace);
543 static int evaluate_to_integer(struct expression
*expr
)
545 expr
->ctype
= &int_ctype
;
549 static int evaluate_expect(struct expression
*expr
)
551 /* Should we evaluate it to return the type of the first argument? */
552 expr
->ctype
= &int_ctype
;
556 static int arguments_choose(struct expression
*expr
)
558 struct expression_list
*arglist
= expr
->args
;
559 struct expression
*arg
;
562 FOR_EACH_PTR (arglist
, arg
) {
563 if (!evaluate_expression(arg
))
566 } END_FOR_EACH_PTR(arg
);
568 sparse_error(expr
->pos
,
569 "not enough arguments for __builtin_choose_expr");
572 sparse_error(expr
->pos
,
573 "too many arguments for __builtin_choose_expr");
579 static int evaluate_choose(struct expression
*expr
)
581 struct expression_list
*list
= expr
->args
;
582 struct expression
*arg
, *args
[3];
585 /* there will be exactly 3; we'd already verified that */
586 FOR_EACH_PTR(list
, arg
) {
588 } END_FOR_EACH_PTR(arg
);
590 *expr
= get_expression_value(args
[0]) ? *args
[1] : *args
[2];
595 static int expand_expect(struct expression
*expr
, int cost
)
597 struct expression
*arg
= first_ptr_list((struct ptr_list
*) expr
->args
);
605 * __builtin_warning() has type "int" and always returns 1,
606 * so that you can use it in conditionals or whatever
608 static int expand_warning(struct expression
*expr
, int cost
)
610 struct expression
*arg
;
611 struct expression_list
*arglist
= expr
->args
;
613 FOR_EACH_PTR (arglist
, arg
) {
615 * Constant strings get printed out as a warning. By the
616 * time we get here, the EXPR_STRING has been fully
617 * evaluated, so by now it's an anonymous symbol with a
618 * string initializer.
620 * Just for the heck of it, allow any constant string
623 if (arg
->type
== EXPR_SYMBOL
) {
624 struct symbol
*sym
= arg
->symbol
;
625 if (sym
->initializer
&& sym
->initializer
->type
== EXPR_STRING
) {
626 struct string
*string
= sym
->initializer
->string
;
627 warning(expr
->pos
, "%*s", string
->length
-1, string
->data
);
633 * Any other argument is a conditional. If it's
634 * non-constant, or it is false, we exit and do
635 * not print any warning.
637 if (arg
->type
!= EXPR_VALUE
)
641 } END_FOR_EACH_PTR(arg
);
643 expr
->type
= EXPR_VALUE
;
649 * Type and storage class keywords need to have the symbols
650 * created for them, so that the parser can have enough semantic
651 * information to do parsing.
653 * "double" == "long float", "long double" == "long long float"
655 static struct sym_init
{
657 struct symbol
*base_type
;
658 unsigned int modifiers
;
659 struct symbol_op
*op
;
660 } symbol_init_table
[] = {
662 { "auto", NULL
, MOD_AUTO
},
663 { "register", NULL
, MOD_REGISTER
},
664 { "static", NULL
, MOD_STATIC
},
665 { "extern", NULL
, MOD_EXTERN
},
667 /* Type specifiers */
668 { "void", &void_ctype
, 0 },
669 { "char", NULL
, MOD_CHAR
},
670 { "short", NULL
, MOD_SHORT
},
671 { "int", &int_type
, 0 },
672 { "long", NULL
, MOD_LONG
},
673 { "float", &fp_type
, 0 },
674 { "double", &fp_type
, MOD_LONG
},
675 { "signed", NULL
, MOD_SIGNED
| MOD_EXPLICITLY_SIGNED
},
676 { "__signed", NULL
, MOD_SIGNED
| MOD_EXPLICITLY_SIGNED
},
677 { "__signed__", NULL
, MOD_SIGNED
| MOD_EXPLICITLY_SIGNED
},
678 { "unsigned", NULL
, MOD_UNSIGNED
},
679 { "__label__", &label_ctype
, MOD_LABEL
| MOD_UNSIGNED
},
680 { "_Bool", &bool_ctype
, MOD_UNSIGNED
},
682 /* Type qualifiers */
683 { "const", NULL
, MOD_CONST
},
684 { "__const", NULL
, MOD_CONST
},
685 { "__const__", NULL
, MOD_CONST
},
686 { "volatile", NULL
, MOD_VOLATILE
},
687 { "__volatile", NULL
, MOD_VOLATILE
},
688 { "__volatile__", NULL
, MOD_VOLATILE
},
690 /* Predeclared types */
691 { "__builtin_va_list", &int_type
, 0 },
694 { "typedef", NULL
, MOD_TYPEDEF
},
697 { "typeof", NULL
, MOD_TYPEOF
},
698 { "__typeof", NULL
, MOD_TYPEOF
},
699 { "__typeof__", NULL
, MOD_TYPEOF
},
702 { "attribute", NULL
, MOD_ATTRIBUTE
},
704 { "__attribute", NULL
, MOD_ATTRIBUTE
},
705 { "__attribute__", NULL
, MOD_ATTRIBUTE
},
707 { "struct", NULL
, MOD_STRUCTOF
},
708 { "union", NULL
, MOD_UNIONOF
},
709 { "enum", NULL
, MOD_ENUMOF
},
711 { "inline", NULL
, MOD_INLINE
},
712 { "__inline", NULL
, MOD_INLINE
},
713 { "__inline__", NULL
, MOD_INLINE
},
715 /* Ignored for now.. */
716 { "restrict", NULL
, 0 },
717 { "__restrict", NULL
, 0 },
722 static struct symbol_op constant_p_op
= {
723 .evaluate
= evaluate_to_integer
,
724 .expand
= expand_constant_p
727 static struct symbol_op safe_p_op
= {
728 .evaluate
= evaluate_to_integer
,
729 .expand
= expand_safe_p
732 static struct symbol_op warning_op
= {
733 .evaluate
= evaluate_to_integer
,
734 .expand
= expand_warning
737 static struct symbol_op expect_op
= {
738 .evaluate
= evaluate_expect
,
739 .expand
= expand_expect
742 static struct symbol_op choose_op
= {
743 .evaluate
= evaluate_choose
,
744 .args
= arguments_choose
,
750 static struct symbol builtin_fn_type
= { .type
= SYM_FN
/* , .variadic =1 */ };
751 static struct sym_init eval_init_table
[] = {
752 { "__builtin_constant_p", &builtin_fn_type
, MOD_TOPLEVEL
, &constant_p_op
},
753 { "__builtin_safe_p", &builtin_fn_type
, MOD_TOPLEVEL
, &safe_p_op
},
754 { "__builtin_warning", &builtin_fn_type
, MOD_TOPLEVEL
, &warning_op
},
755 { "__builtin_expect", &builtin_fn_type
, MOD_TOPLEVEL
, &expect_op
},
756 { "__builtin_choose_expr", &builtin_fn_type
, MOD_TOPLEVEL
, &choose_op
},
764 struct symbol int_type
,
768 * C types (ie actual instances that the abstract types
771 struct symbol bool_ctype
, void_ctype
, type_ctype
,
772 char_ctype
, schar_ctype
, uchar_ctype
,
773 short_ctype
, sshort_ctype
, ushort_ctype
,
774 int_ctype
, sint_ctype
, uint_ctype
,
775 long_ctype
, slong_ctype
, ulong_ctype
,
776 llong_ctype
, sllong_ctype
, ullong_ctype
,
777 float_ctype
, double_ctype
, ldouble_ctype
,
778 string_ctype
, ptr_ctype
, lazy_ptr_ctype
,
779 incomplete_ctype
, label_ctype
, bad_ctype
;
781 struct symbol zero_int
;
783 #define __INIT_IDENT(str, res) { .len = sizeof(str)-1, .name = str, .reserved = res }
784 #define __IDENT(n,str,res) \
785 struct ident n = __INIT_IDENT(str,res)
787 #include "ident-list.h"
789 void init_symbols(void)
791 int stream
= init_stream("builtin", -1, includepath
);
792 struct sym_init
*ptr
;
794 #define __IDENT(n,str,res) \
796 #include "ident-list.h"
798 for (ptr
= symbol_init_table
; ptr
->name
; ptr
++) {
800 sym
= create_symbol(stream
, ptr
->name
, SYM_NODE
, NS_TYPEDEF
);
801 sym
->ident
->reserved
= 1;
802 sym
->ctype
.base_type
= ptr
->base_type
;
803 sym
->ctype
.modifiers
= ptr
->modifiers
;
806 builtin_fn_type
.variadic
= 1;
807 for (ptr
= eval_init_table
; ptr
->name
; ptr
++) {
809 sym
= create_symbol(stream
, ptr
->name
, SYM_NODE
, NS_SYMBOL
);
810 sym
->ctype
.base_type
= ptr
->base_type
;
811 sym
->ctype
.modifiers
= ptr
->modifiers
;
816 #define MOD_ESIGNED (MOD_SIGNED | MOD_EXPLICITLY_SIGNED)
817 #define MOD_LL (MOD_LONG | MOD_LONGLONG)
818 static const struct ctype_declare
{
821 unsigned long modifiers
;
824 struct symbol
*base_type
;
825 } ctype_declaration
[] = {
826 { &bool_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
, &bits_in_bool
, &max_int_alignment
, &int_type
},
827 { &void_ctype
, SYM_BASETYPE
, 0, NULL
, NULL
, NULL
},
828 { &type_ctype
, SYM_BASETYPE
, MOD_TYPE
, NULL
, NULL
, NULL
},
829 { &incomplete_ctype
,SYM_BASETYPE
, 0, NULL
, NULL
, NULL
},
830 { &bad_ctype
, SYM_BASETYPE
, 0, NULL
, NULL
, NULL
},
832 { &char_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_CHAR
, &bits_in_char
, &max_int_alignment
, &int_type
},
833 { &schar_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_CHAR
, &bits_in_char
, &max_int_alignment
, &int_type
},
834 { &uchar_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_CHAR
, &bits_in_char
, &max_int_alignment
, &int_type
},
835 { &short_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_SHORT
, &bits_in_short
, &max_int_alignment
, &int_type
},
836 { &sshort_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_SHORT
, &bits_in_short
, &max_int_alignment
, &int_type
},
837 { &ushort_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_SHORT
, &bits_in_short
, &max_int_alignment
, &int_type
},
838 { &int_ctype
, SYM_BASETYPE
, MOD_SIGNED
, &bits_in_int
, &max_int_alignment
, &int_type
},
839 { &sint_ctype
, SYM_BASETYPE
, MOD_ESIGNED
, &bits_in_int
, &max_int_alignment
, &int_type
},
840 { &uint_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
, &bits_in_int
, &max_int_alignment
, &int_type
},
841 { &long_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_LONG
, &bits_in_long
, &max_int_alignment
, &int_type
},
842 { &slong_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_LONG
, &bits_in_long
, &max_int_alignment
, &int_type
},
843 { &ulong_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_LONG
, &bits_in_long
, &max_int_alignment
, &int_type
},
844 { &llong_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_LL
, &bits_in_longlong
, &max_int_alignment
, &int_type
},
845 { &sllong_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_LL
, &bits_in_longlong
, &max_int_alignment
, &int_type
},
846 { &ullong_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_LL
, &bits_in_longlong
, &max_int_alignment
, &int_type
},
848 { &float_ctype
, SYM_BASETYPE
, 0, &bits_in_float
, &max_fp_alignment
, &fp_type
},
849 { &double_ctype
, SYM_BASETYPE
, MOD_LONG
, &bits_in_double
, &max_fp_alignment
, &fp_type
},
850 { &ldouble_ctype
, SYM_BASETYPE
, MOD_LONG
| MOD_LONGLONG
, &bits_in_longdouble
, &max_fp_alignment
, &fp_type
},
852 { &string_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &char_ctype
},
853 { &ptr_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &void_ctype
},
854 { &label_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &void_ctype
},
855 { &lazy_ptr_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &void_ctype
},
861 void init_ctype(void)
863 const struct ctype_declare
*ctype
;
865 for (ctype
= ctype_declaration
; ctype
->ptr
; ctype
++) {
866 struct symbol
*sym
= ctype
->ptr
;
867 unsigned long bit_size
= ctype
->bit_size
? *ctype
->bit_size
: -1;
868 unsigned long maxalign
= ctype
->maxalign
? *ctype
->maxalign
: 0;
869 unsigned long alignment
= bit_size
>> 3;
871 if (alignment
> maxalign
)
872 alignment
= maxalign
;
873 sym
->type
= ctype
->type
;
874 sym
->bit_size
= bit_size
;
875 sym
->ctype
.alignment
= alignment
;
876 sym
->ctype
.base_type
= ctype
->base_type
;
877 sym
->ctype
.modifiers
= ctype
->modifiers
;