1 /* Process source files and output type information.
2 Copyright (C) 2002, 2003, 2004 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 2, or (at your option) any later
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
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
23 #include "coretypes.h"
29 /* Nonzero iff an error has occurred. */
30 static int hit_error
= 0;
32 static void gen_rtx_next (void);
33 static void write_rtx_next (void);
34 static void open_base_files (void);
35 static void close_output_files (void);
37 /* Report an error at POS, printing MSG. */
40 error_at_line (struct fileloc
*pos
, const char *msg
, ...)
46 fprintf (stderr
, "%s:%d: ", pos
->file
, pos
->line
);
47 vfprintf (stderr
, msg
, ap
);
54 /* vasprintf, but produces fatal message on out-of-memory. */
56 xvasprintf (char **result
, const char *format
, va_list args
)
58 int ret
= vasprintf (result
, format
, args
);
59 if (*result
== NULL
|| ret
< 0)
61 fputs ("gengtype: out of memory", stderr
);
67 /* Wrapper for xvasprintf. */
69 xasprintf (const char *format
, ...)
74 va_start (ap
, format
);
75 xvasprintf (&result
, format
, ap
);
80 /* The one and only TYPE_STRING. */
82 struct type string_type
= {
83 TYPE_STRING
, NULL
, NULL
, GC_USED
, {0}
86 /* Lists of various things. */
88 static pair_p typedefs
;
89 static type_p structures
;
90 static type_p param_structs
;
91 static pair_p variables
;
93 static void do_scalar_typedef (const char *, struct fileloc
*);
94 static type_p find_param_structure
95 (type_p t
, type_p param
[NUM_PARAM
]);
96 static type_p
adjust_field_tree_exp (type_p t
, options_p opt
);
97 static type_p
adjust_field_rtx_def (type_p t
, options_p opt
);
99 /* Define S as a typedef to T at POS. */
102 do_typedef (const char *s
, type_p t
, struct fileloc
*pos
)
106 for (p
= typedefs
; p
!= NULL
; p
= p
->next
)
107 if (strcmp (p
->name
, s
) == 0)
111 error_at_line (pos
, "type `%s' previously defined", s
);
112 error_at_line (&p
->line
, "previously defined here");
117 p
= XNEW (struct pair
);
125 /* Define S as a typename of a scalar. */
128 do_scalar_typedef (const char *s
, struct fileloc
*pos
)
130 do_typedef (s
, create_scalar_type (s
, strlen (s
)), pos
);
133 /* Return the type previously defined for S. Use POS to report errors. */
136 resolve_typedef (const char *s
, struct fileloc
*pos
)
139 for (p
= typedefs
; p
!= NULL
; p
= p
->next
)
140 if (strcmp (p
->name
, s
) == 0)
142 error_at_line (pos
, "unidentified type `%s'", s
);
143 return create_scalar_type ("char", 4);
146 /* Create a new structure with tag NAME (or a union iff ISUNION is nonzero),
147 at POS with fields FIELDS and options O. */
150 new_structure (const char *name
, int isunion
, struct fileloc
*pos
,
151 pair_p fields
, options_p o
)
155 lang_bitmap bitmap
= get_base_file_bitmap (pos
->file
);
157 for (si
= structures
; si
!= NULL
; si
= si
->next
)
158 if (strcmp (name
, si
->u
.s
.tag
) == 0
159 && UNION_P (si
) == isunion
)
162 if (si
->kind
== TYPE_LANG_STRUCT
)
166 for (si
= ls
->u
.s
.lang_struct
; si
!= NULL
; si
= si
->next
)
167 if (si
->u
.s
.bitmap
== bitmap
)
170 else if (si
->u
.s
.line
.file
!= NULL
&& si
->u
.s
.bitmap
!= bitmap
)
173 si
= XCNEW (struct type
);
174 memcpy (si
, ls
, sizeof (struct type
));
175 ls
->kind
= TYPE_LANG_STRUCT
;
176 ls
->u
.s
.lang_struct
= si
;
177 ls
->u
.s
.fields
= NULL
;
179 si
->pointer_to
= NULL
;
180 si
->u
.s
.lang_struct
= ls
;
185 if (ls
!= NULL
&& s
== NULL
)
187 s
= XCNEW (struct type
);
188 s
->next
= ls
->u
.s
.lang_struct
;
189 ls
->u
.s
.lang_struct
= s
;
190 s
->u
.s
.lang_struct
= ls
;
197 s
= XCNEW (struct type
);
198 s
->next
= structures
;
202 if (s
->u
.s
.line
.file
!= NULL
203 || (s
->u
.s
.lang_struct
&& (s
->u
.s
.lang_struct
->u
.s
.bitmap
& bitmap
)))
205 error_at_line (pos
, "duplicate structure definition");
206 error_at_line (&s
->u
.s
.line
, "previous definition here");
209 s
->kind
= isunion
? TYPE_UNION
: TYPE_STRUCT
;
212 s
->u
.s
.fields
= fields
;
214 s
->u
.s
.bitmap
= bitmap
;
215 if (s
->u
.s
.lang_struct
)
216 s
->u
.s
.lang_struct
->u
.s
.bitmap
|= bitmap
;
219 /* Return the previously-defined structure with tag NAME (or a union
220 iff ISUNION is nonzero), or a new empty structure or union if none
221 was defined previously. */
224 find_structure (const char *name
, int isunion
)
228 for (s
= structures
; s
!= NULL
; s
= s
->next
)
229 if (strcmp (name
, s
->u
.s
.tag
) == 0
230 && UNION_P (s
) == isunion
)
233 s
= XCNEW (struct type
);
234 s
->next
= structures
;
236 s
->kind
= isunion
? TYPE_UNION
: TYPE_STRUCT
;
242 /* Return the previously-defined parameterized structure for structure
243 T and parameters PARAM, or a new parameterized empty structure or
244 union if none was defined previously. */
247 find_param_structure (type_p t
, type_p param
[NUM_PARAM
])
251 for (res
= param_structs
; res
; res
= res
->next
)
252 if (res
->u
.param_struct
.stru
== t
253 && memcmp (res
->u
.param_struct
.param
, param
,
254 sizeof (type_p
) * NUM_PARAM
) == 0)
258 res
= XCNEW (struct type
);
259 res
->kind
= TYPE_PARAM_STRUCT
;
260 res
->next
= param_structs
;
262 res
->u
.param_struct
.stru
= t
;
263 memcpy (res
->u
.param_struct
.param
, param
, sizeof (type_p
) * NUM_PARAM
);
268 /* Return a scalar type with name NAME. */
271 create_scalar_type (const char *name
, size_t name_len
)
273 type_p r
= XCNEW (struct type
);
274 r
->kind
= TYPE_SCALAR
;
275 r
->u
.sc
= (char *) xmemdup (name
, name_len
, name_len
+ 1);
279 /* Return a pointer to T. */
282 create_pointer (type_p t
)
286 type_p r
= XCNEW (struct type
);
287 r
->kind
= TYPE_POINTER
;
291 return t
->pointer_to
;
294 /* Return an array of length LEN. */
297 create_array (type_p t
, const char *len
)
301 v
= XCNEW (struct type
);
302 v
->kind
= TYPE_ARRAY
;
308 /* Return an options structure with name NAME and info INFO. */
310 create_option (const char *name
, void *info
)
312 options_p o
= XNEW (struct options
);
314 o
->info
= (const char*) info
;
318 /* Add a variable named S of type T with options O defined at POS,
322 note_variable (const char *s
, type_p t
, options_p o
, struct fileloc
*pos
)
325 n
= XNEW (struct pair
);
334 /* We don't care how long a CONST_DOUBLE is. */
335 #define CONST_DOUBLE_FORMAT "ww"
336 /* We don't want to see codes that are only for generator files. */
337 #undef GENERATOR_FILE
340 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) ENUM ,
346 static const char * const rtx_name
[NUM_RTX_CODE
] = {
347 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) NAME ,
352 static const char * const rtx_format
[NUM_RTX_CODE
] = {
353 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) FORMAT ,
358 static int rtx_next_new
[NUM_RTX_CODE
];
360 /* We also need codes and names for insn notes (not register notes).
361 Note that we do *not* bias the note values here. */
363 #define DEF_INSN_NOTE(NAME) NAME,
364 #include "insn-notes.def"
370 static const char *const note_insn_name
[NOTE_INSN_MAX
] = {
371 #define DEF_INSN_NOTE(NAME) #NAME,
372 #include "insn-notes.def"
376 #undef CONST_DOUBLE_FORMAT
377 #define GENERATOR_FILE
379 /* Generate the contents of the rtx_next array. This really doesn't belong
380 in gengtype at all, but it's needed for adjust_field_rtx_def. */
386 for (i
= 0; i
< NUM_RTX_CODE
; i
++)
390 rtx_next_new
[i
] = -1;
391 if (strncmp (rtx_format
[i
], "iuu", 3) == 0)
393 else if (i
== COND_EXEC
|| i
== SET
|| i
== EXPR_LIST
|| i
== INSN_LIST
)
396 for (k
= strlen (rtx_format
[i
]) - 1; k
>= 0; k
--)
397 if (rtx_format
[i
][k
] == 'e' || rtx_format
[i
][k
] == 'u')
402 /* Write out the contents of the rtx_next array. */
404 write_rtx_next (void)
406 outf_p f
= get_output_file_with_visibility (NULL
);
409 oprintf (f
, "\n/* Used to implement the RTX_NEXT macro. */\n");
410 oprintf (f
, "const unsigned char rtx_next[NUM_RTX_CODE] = {\n");
411 for (i
= 0; i
< NUM_RTX_CODE
; i
++)
412 if (rtx_next_new
[i
] == -1)
413 oprintf (f
, " 0,\n");
416 " RTX_HDR_SIZE + %d * sizeof (rtunion),\n",
421 /* Handle `special("rtx_def")'. This is a special case for field
422 `fld' of struct rtx_def, which is an array of unions whose values
423 are based in a complex way on the type of RTL. */
426 adjust_field_rtx_def (type_p t
, options_p
ARG_UNUSED (opt
))
431 type_p rtx_tp
, rtvec_tp
, tree_tp
, mem_attrs_tp
, note_union_tp
, scalar_tp
;
432 type_p bitmap_tp
, basic_block_tp
, reg_attrs_tp
;
434 if (t
->kind
!= TYPE_UNION
)
436 error_at_line (&lexer_line
,
437 "special `rtx_def' must be applied to a union");
441 nodot
= XNEW (struct options
);
446 rtx_tp
= create_pointer (find_structure ("rtx_def", 0));
447 rtvec_tp
= create_pointer (find_structure ("rtvec_def", 0));
448 tree_tp
= create_pointer (find_structure ("tree_node", 1));
449 mem_attrs_tp
= create_pointer (find_structure ("mem_attrs", 0));
450 reg_attrs_tp
= create_pointer (find_structure ("reg_attrs", 0));
451 bitmap_tp
= create_pointer (find_structure ("bitmap_element_def", 0));
452 basic_block_tp
= create_pointer (find_structure ("basic_block_def", 0));
453 scalar_tp
= create_scalar_type ("rtunion scalar", 14);
456 pair_p note_flds
= NULL
;
459 for (c
= 0; c
<= NOTE_INSN_MAX
; c
++)
461 pair_p old_note_flds
= note_flds
;
463 note_flds
= XNEW (struct pair
);
464 note_flds
->line
.file
= __FILE__
;
465 note_flds
->line
.line
= __LINE__
;
466 note_flds
->opt
= XNEW (struct options
);
467 note_flds
->opt
->next
= nodot
;
468 note_flds
->opt
->name
= "tag";
469 note_flds
->opt
->info
= note_insn_name
[c
];
470 note_flds
->next
= old_note_flds
;
474 /* NOTE_INSN_MAX is used as the default field for line
477 note_flds
->opt
->name
= "default";
478 note_flds
->name
= "rt_str";
479 note_flds
->type
= &string_type
;
482 case NOTE_INSN_BLOCK_BEG
:
483 case NOTE_INSN_BLOCK_END
:
484 note_flds
->name
= "rt_tree";
485 note_flds
->type
= tree_tp
;
488 case NOTE_INSN_EXPECTED_VALUE
:
489 case NOTE_INSN_VAR_LOCATION
:
490 note_flds
->name
= "rt_rtx";
491 note_flds
->type
= rtx_tp
;
495 note_flds
->name
= "rt_int";
496 note_flds
->type
= scalar_tp
;
500 new_structure ("rtx_def_note_subunion", 1, &lexer_line
, note_flds
, NULL
);
503 note_union_tp
= find_structure ("rtx_def_note_subunion", 1);
505 for (i
= 0; i
< NUM_RTX_CODE
; i
++)
507 pair_p old_flds
= flds
;
508 pair_p subfields
= NULL
;
509 size_t aindex
, nmindex
;
513 for (aindex
= 0; aindex
< strlen (rtx_format
[i
]); aindex
++)
515 pair_p old_subf
= subfields
;
519 switch (rtx_format
[i
][aindex
])
530 if (i
== MEM
&& aindex
== 1)
531 t
= mem_attrs_tp
, subname
= "rt_mem";
532 else if (i
== JUMP_INSN
&& aindex
== 9)
533 t
= rtx_tp
, subname
= "rt_rtx";
534 else if (i
== CODE_LABEL
&& aindex
== 4)
535 t
= scalar_tp
, subname
= "rt_int";
536 else if (i
== CODE_LABEL
&& aindex
== 5)
537 t
= rtx_tp
, subname
= "rt_rtx";
538 else if (i
== LABEL_REF
539 && (aindex
== 1 || aindex
== 2))
540 t
= rtx_tp
, subname
= "rt_rtx";
541 else if (i
== NOTE
&& aindex
== 4)
542 t
= note_union_tp
, subname
= "";
543 else if (i
== NOTE
&& aindex
>= 7)
544 t
= scalar_tp
, subname
= "rt_int";
545 else if (i
== ADDR_DIFF_VEC
&& aindex
== 4)
546 t
= scalar_tp
, subname
= "rt_int";
547 else if (i
== VALUE
&& aindex
== 0)
548 t
= scalar_tp
, subname
= "rt_int";
549 else if (i
== REG
&& aindex
== 1)
550 t
= scalar_tp
, subname
= "rt_int";
551 else if (i
== REG
&& aindex
== 2)
552 t
= reg_attrs_tp
, subname
= "rt_reg";
553 else if (i
== SCRATCH
&& aindex
== 0)
554 t
= scalar_tp
, subname
= "rt_int";
555 else if (i
== SYMBOL_REF
&& aindex
== 1)
556 t
= scalar_tp
, subname
= "rt_int";
557 else if (i
== SYMBOL_REF
&& aindex
== 2)
558 t
= tree_tp
, subname
= "rt_tree";
559 else if (i
== BARRIER
&& aindex
>= 3)
560 t
= scalar_tp
, subname
= "rt_int";
563 error_at_line (&lexer_line
,
564 "rtx type `%s' has `0' in position %lu, can't handle",
565 rtx_name
[i
], (unsigned long) aindex
);
587 subname
= "rt_rtvec";
606 error_at_line (&lexer_line
,
607 "rtx type `%s' has `%c' in position %lu, can't handle",
608 rtx_name
[i
], rtx_format
[i
][aindex
],
609 (unsigned long)aindex
);
615 subfields
= XNEW (struct pair
);
616 subfields
->next
= old_subf
;
618 subfields
->name
= xasprintf (".fld[%lu].%s", (unsigned long)aindex
,
620 subfields
->line
.file
= __FILE__
;
621 subfields
->line
.line
= __LINE__
;
622 if (t
== note_union_tp
)
624 subfields
->opt
= XNEW (struct options
);
625 subfields
->opt
->next
= nodot
;
626 subfields
->opt
->name
= "desc";
627 subfields
->opt
->info
= "NOTE_LINE_NUMBER (&%0)";
629 else if (t
== basic_block_tp
)
631 /* We don't presently GC basic block structures... */
632 subfields
->opt
= XNEW (struct options
);
633 subfields
->opt
->next
= nodot
;
634 subfields
->opt
->name
= "skip";
635 subfields
->opt
->info
= NULL
;
638 subfields
->opt
= nodot
;
641 flds
= XNEW (struct pair
);
642 flds
->next
= old_flds
;
644 sname
= xasprintf ("rtx_def_%s", rtx_name
[i
]);
645 new_structure (sname
, 0, &lexer_line
, subfields
, NULL
);
646 flds
->type
= find_structure (sname
, 0);
647 flds
->line
.file
= __FILE__
;
648 flds
->line
.line
= __LINE__
;
649 flds
->opt
= XNEW (struct options
);
650 flds
->opt
->next
= nodot
;
651 flds
->opt
->name
= "tag";
652 ftag
= xstrdup (rtx_name
[i
]);
653 for (nmindex
= 0; nmindex
< strlen (ftag
); nmindex
++)
654 ftag
[nmindex
] = TOUPPER (ftag
[nmindex
]);
655 flds
->opt
->info
= ftag
;
658 new_structure ("rtx_def_subunion", 1, &lexer_line
, flds
, nodot
);
659 return find_structure ("rtx_def_subunion", 1);
662 /* Handle `special("tree_exp")'. This is a special case for
663 field `operands' of struct tree_exp, which although it claims to contain
664 pointers to trees, actually sometimes contains pointers to RTL too.
665 Passed T, the old type of the field, and OPT its options. Returns
666 a new type for the field. */
669 adjust_field_tree_exp (type_p t
, options_p opt ATTRIBUTE_UNUSED
)
674 if (t
->kind
!= TYPE_ARRAY
)
676 error_at_line (&lexer_line
,
677 "special `tree_exp' must be applied to an array");
681 nodot
= XNEW (struct options
);
686 flds
= XNEW (struct pair
);
690 flds
->line
.file
= __FILE__
;
691 flds
->line
.line
= __LINE__
;
692 flds
->opt
= XNEW (struct options
);
693 flds
->opt
->next
= nodot
;
694 flds
->opt
->name
= "length";
695 flds
->opt
->info
= "TREE_CODE_LENGTH (TREE_CODE ((tree) &%0))";
697 options_p oldopt
= flds
->opt
;
698 flds
->opt
= XNEW (struct options
);
699 flds
->opt
->next
= oldopt
;
700 flds
->opt
->name
= "default";
701 flds
->opt
->info
= "";
704 new_structure ("tree_exp_subunion", 1, &lexer_line
, flds
, nodot
);
705 return find_structure ("tree_exp_subunion", 1);
708 /* Perform any special processing on a type T, about to become the type
709 of a field. Return the appropriate type for the field.
711 - Converts pointer-to-char, with no length parameter, to TYPE_STRING;
712 - Similarly for arrays of pointer-to-char;
713 - Converts structures for which a parameter is provided to
715 - Handles "special" options.
719 adjust_field_type (type_p t
, options_p opt
)
722 const int pointer_p
= t
->kind
== TYPE_POINTER
;
723 type_p params
[NUM_PARAM
];
727 for (i
= 0; i
< NUM_PARAM
; i
++)
730 for (; opt
; opt
= opt
->next
)
731 if (strcmp (opt
->name
, "length") == 0)
733 else if (strcmp (opt
->name
, "param_is") == 0
734 || (strncmp (opt
->name
, "param", 5) == 0
735 && ISDIGIT (opt
->name
[5])
736 && strcmp (opt
->name
+ 6, "_is") == 0))
738 int num
= ISDIGIT (opt
->name
[5]) ? opt
->name
[5] - '0' : 0;
740 if (! UNION_OR_STRUCT_P (t
)
741 && (t
->kind
!= TYPE_POINTER
|| ! UNION_OR_STRUCT_P (t
->u
.p
)))
743 error_at_line (&lexer_line
,
744 "option `%s' may only be applied to structures or structure pointers",
750 if (params
[num
] != NULL
)
751 error_at_line (&lexer_line
, "duplicate `%s' option", opt
->name
);
752 if (! ISDIGIT (opt
->name
[5]))
753 params
[num
] = create_pointer ((type_p
) opt
->info
);
755 params
[num
] = (type_p
) opt
->info
;
757 else if (strcmp (opt
->name
, "special") == 0)
759 const char *special_name
= opt
->info
;
760 if (strcmp (special_name
, "tree_exp") == 0)
761 t
= adjust_field_tree_exp (t
, opt
);
762 else if (strcmp (special_name
, "rtx_def") == 0)
763 t
= adjust_field_rtx_def (t
, opt
);
765 error_at_line (&lexer_line
, "unknown special `%s'", special_name
);
774 realt
= find_param_structure (t
, params
);
775 t
= pointer_p
? create_pointer (realt
) : realt
;
780 && t
->u
.p
->kind
== TYPE_SCALAR
781 && (strcmp (t
->u
.p
->u
.sc
, "char") == 0
782 || strcmp (t
->u
.p
->u
.sc
, "unsigned char") == 0))
784 if (t
->kind
== TYPE_ARRAY
&& t
->u
.a
.p
->kind
== TYPE_POINTER
785 && t
->u
.a
.p
->u
.p
->kind
== TYPE_SCALAR
786 && (strcmp (t
->u
.a
.p
->u
.p
->u
.sc
, "char") == 0
787 || strcmp (t
->u
.a
.p
->u
.p
->u
.sc
, "unsigned char") == 0))
788 return create_array (&string_type
, t
->u
.a
.len
);
793 /* Create a union for YYSTYPE, as yacc would do it, given a fieldlist FIELDS
794 and information about the correspondence between token types and fields
795 in TYPEINFO. POS is used for error messages. */
798 note_yacc_type (options_p o
, pair_p fields
, pair_p typeinfo
,
804 for (p
= typeinfo
; p
; p
= p
->next
)
811 if (p
->type
== (type_p
) 1)
816 for (pp
= typeinfo
; pp
; pp
= pp
->next
)
817 if (pp
->type
!= (type_p
) 1
818 && strcmp (pp
->opt
->info
, p
->opt
->info
) == 0)
827 for (m
= fields
; m
; m
= m
->next
)
828 if (strcmp (m
->name
, p
->name
) == 0)
832 error_at_line (&p
->line
,
833 "couldn't match fieldname `%s'", p
->name
);
844 || p
->type
== (type_p
) 1)
850 new_structure ("yy_union", 1, pos
, typeinfo
, o
);
851 do_typedef ("YYSTYPE", find_structure ("yy_union", 1), pos
);
854 static void process_gc_options (options_p
, enum gc_used_enum
,
855 int *, int *, int *, type_p
*);
856 static void set_gc_used_type (type_p
, enum gc_used_enum
, type_p
*);
857 static void set_gc_used (pair_p
);
859 /* Handle OPT for set_gc_used_type. */
862 process_gc_options (options_p opt
, enum gc_used_enum level
, int *maybe_undef
,
863 int *pass_param
, int *length
, type_p
*nested_ptr
)
866 for (o
= opt
; o
; o
= o
->next
)
867 if (strcmp (o
->name
, "ptr_alias") == 0 && level
== GC_POINTED_TO
)
868 set_gc_used_type ((type_p
) o
->info
, GC_POINTED_TO
, NULL
);
869 else if (strcmp (o
->name
, "maybe_undef") == 0)
871 else if (strcmp (o
->name
, "use_params") == 0)
873 else if (strcmp (o
->name
, "length") == 0)
875 else if (strcmp (o
->name
, "nested_ptr") == 0)
876 *nested_ptr
= ((const struct nested_ptr_data
*) o
->info
)->type
;
879 /* Set the gc_used field of T to LEVEL, and handle the types it references. */
882 set_gc_used_type (type_p t
, enum gc_used_enum level
, type_p param
[NUM_PARAM
])
884 if (t
->gc_used
>= level
)
898 process_gc_options (t
->u
.s
.opt
, level
, &dummy
, &dummy
, &dummy
,
901 for (f
= t
->u
.s
.fields
; f
; f
= f
->next
)
906 type_p nested_ptr
= NULL
;
907 process_gc_options (f
->opt
, level
, &maybe_undef
, &pass_param
,
908 &length
, &nested_ptr
);
910 if (nested_ptr
&& f
->type
->kind
== TYPE_POINTER
)
911 set_gc_used_type (nested_ptr
, GC_POINTED_TO
,
912 pass_param
? param
: NULL
);
913 else if (length
&& f
->type
->kind
== TYPE_POINTER
)
914 set_gc_used_type (f
->type
->u
.p
, GC_USED
, NULL
);
915 else if (maybe_undef
&& f
->type
->kind
== TYPE_POINTER
)
916 set_gc_used_type (f
->type
->u
.p
, GC_MAYBE_POINTED_TO
, NULL
);
917 else if (pass_param
&& f
->type
->kind
== TYPE_POINTER
&& param
)
918 set_gc_used_type (find_param_structure (f
->type
->u
.p
, param
),
919 GC_POINTED_TO
, NULL
);
921 set_gc_used_type (f
->type
, GC_USED
, pass_param
? param
: NULL
);
927 set_gc_used_type (t
->u
.p
, GC_POINTED_TO
, NULL
);
931 set_gc_used_type (t
->u
.a
.p
, GC_USED
, param
);
934 case TYPE_LANG_STRUCT
:
935 for (t
= t
->u
.s
.lang_struct
; t
; t
= t
->next
)
936 set_gc_used_type (t
, level
, param
);
939 case TYPE_PARAM_STRUCT
:
942 for (i
= 0; i
< NUM_PARAM
; i
++)
943 if (t
->u
.param_struct
.param
[i
] != 0)
944 set_gc_used_type (t
->u
.param_struct
.param
[i
], GC_USED
, NULL
);
946 if (t
->u
.param_struct
.stru
->gc_used
== GC_POINTED_TO
)
947 level
= GC_POINTED_TO
;
950 t
->u
.param_struct
.stru
->gc_used
= GC_UNUSED
;
951 set_gc_used_type (t
->u
.param_struct
.stru
, level
,
952 t
->u
.param_struct
.param
);
960 /* Set the gc_used fields of all the types pointed to by VARIABLES. */
963 set_gc_used (pair_p variables
)
966 for (p
= variables
; p
; p
= p
->next
)
967 set_gc_used_type (p
->type
, GC_USED
, NULL
);
970 /* File mapping routines. For each input file, there is one output .c file
971 (but some output files have many input files), and there is one .h file
972 for the whole build. */
974 /* The list of output files. */
975 static outf_p output_files
;
977 /* The output header file that is included into pretty much every
979 static outf_p header_file
;
981 /* Number of files specified in gtfiles. */
982 #define NUM_GT_FILES (ARRAY_SIZE (all_files) - 1)
984 /* Number of files in the language files array. */
985 #define NUM_LANG_FILES (ARRAY_SIZE (lang_files) - 1)
987 /* Length of srcdir name. */
988 static int srcdir_len
= 0;
990 #define NUM_BASE_FILES (ARRAY_SIZE (lang_dir_names) - 1)
991 outf_p base_files
[NUM_BASE_FILES
];
993 static outf_p
create_file (const char *, const char *);
994 static const char * get_file_basename (const char *);
996 /* Create and return an outf_p for a new file for NAME, to be called
1000 create_file (const char *name
, const char *oname
)
1002 static const char *const hdr
[] = {
1003 " Copyright (C) 2004 Free Software Foundation, Inc.\n",
1005 "This file is part of GCC.\n",
1007 "GCC is free software; you can redistribute it and/or modify it under\n",
1008 "the terms of the GNU General Public License as published by the Free\n",
1009 "Software Foundation; either version 2, or (at your option) any later\n",
1012 "GCC is distributed in the hope that it will be useful, but WITHOUT ANY\n",
1013 "WARRANTY; without even the implied warranty of MERCHANTABILITY or\n",
1014 "FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License\n",
1015 "for more details.\n",
1017 "You should have received a copy of the GNU General Public License\n",
1018 "along with GCC; see the file COPYING. If not, write to the Free\n",
1019 "Software Foundation, 59 Temple Place - Suite 330, Boston, MA\n",
1020 "02111-1307, USA. */\n",
1022 "/* This file is machine generated. Do not edit. */\n"
1027 f
= XCNEW (struct outf
);
1028 f
->next
= output_files
;
1032 oprintf (f
, "/* Type information for %s.\n", name
);
1033 for (i
= 0; i
< ARRAY_SIZE (hdr
); i
++)
1034 oprintf (f
, "%s", hdr
[i
]);
1038 /* Print, like fprintf, to O. */
1040 oprintf (outf_p o
, const char *format
, ...)
1046 va_start (ap
, format
);
1047 slength
= xvasprintf (&s
, format
, ap
);
1049 if (o
->bufused
+ slength
> o
->buflength
)
1051 size_t new_len
= o
->buflength
;
1056 } while (o
->bufused
+ slength
>= new_len
);
1057 o
->buf
= XRESIZEVEC (char, o
->buf
, new_len
);
1058 o
->buflength
= new_len
;
1060 memcpy (o
->buf
+ o
->bufused
, s
, slength
);
1061 o
->bufused
+= slength
;
1066 /* Open the global header file and the language-specific header files. */
1069 open_base_files (void)
1073 header_file
= create_file ("GCC", "gtype-desc.h");
1075 for (i
= 0; i
< NUM_BASE_FILES
; i
++)
1076 base_files
[i
] = create_file (lang_dir_names
[i
],
1077 xasprintf ("gtype-%s.h", lang_dir_names
[i
]));
1079 /* gtype-desc.c is a little special, so we create it here. */
1081 /* The order of files here matters very much. */
1082 static const char *const ifiles
[] = {
1083 "config.h", "system.h", "coretypes.h", "tm.h", "varray.h",
1084 "hashtab.h", "splay-tree.h", "bitmap.h", "input.h", "tree.h", "rtl.h",
1085 "function.h", "insn-config.h", "expr.h", "hard-reg-set.h",
1086 "basic-block.h", "cselib.h", "insn-addr.h", "optabs.h",
1087 "libfuncs.h", "debug.h", "ggc.h", "cgraph.h",
1088 "tree-alias-type.h", "tree-flow.h", "reload.h",
1093 const char *const *ifp
;
1094 outf_p gtype_desc_c
;
1096 gtype_desc_c
= create_file ("GCC", "gtype-desc.c");
1097 for (ifp
= ifiles
; *ifp
; ifp
++)
1098 oprintf (gtype_desc_c
, "#include \"%s\"\n", *ifp
);
1102 /* Determine the pathname to F relative to $(srcdir). */
1105 get_file_basename (const char *f
)
1107 const char *basename
;
1110 basename
= strrchr (f
, '/');
1117 for (i
= 1; i
< NUM_BASE_FILES
; i
++)
1123 s1
= basename
- strlen (lang_dir_names
[i
]) - 1;
1124 s2
= lang_dir_names
[i
];
1127 if (l1
>= l2
&& IS_DIR_SEPARATOR (s1
[-1]) && !memcmp (s1
, s2
, l2
))
1130 if ((basename
- f
- 1) != srcdir_len
)
1131 fatal ("filename `%s' should be preceded by $srcdir", f
);
1139 /* Return a bitmap which has bit `1 << BASE_FILE_<lang>' set iff
1140 INPUT_FILE is used by <lang>.
1142 This function should be written to assume that a file _is_ used
1143 if the situation is unclear. If it wrongly assumes a file _is_ used,
1144 a linker error will result. If it wrongly assumes a file _is not_ used,
1145 some GC roots may be missed, which is a much harder-to-debug problem. */
1148 get_base_file_bitmap (const char *input_file
)
1150 const char *basename
= get_file_basename (input_file
);
1151 const char *slashpos
= strchr (basename
, '/');
1156 /* If the file resides in a language subdirectory (e.g., 'cp'), assume that
1157 it belongs to the corresponding language. The file may belong to other
1158 languages as well (which is checked for below). */
1163 for (i
= 1; i
< NUM_BASE_FILES
; i
++)
1164 if ((size_t)(slashpos
- basename
) == strlen (lang_dir_names
[i
])
1165 && memcmp (basename
, lang_dir_names
[i
], strlen (lang_dir_names
[i
])) == 0)
1167 /* It's in a language directory, set that language. */
1172 /* If it's in any config-lang.in, then set for the languages
1177 for (j
= 0; j
< NUM_LANG_FILES
; j
++)
1179 if (!strcmp(input_file
, lang_files
[j
]))
1181 for (k
= 0; k
< NUM_BASE_FILES
; k
++)
1183 if (!strcmp(lang_dir_names
[k
], langs_for_lang_files
[j
]))
1189 /* Otherwise, set all languages. */
1191 bitmap
= (1 << NUM_BASE_FILES
) - 1;
1196 /* An output file, suitable for definitions, that can see declarations
1197 made in INPUT_FILE and is linked into every language that uses
1201 get_output_file_with_visibility (const char *input_file
)
1205 const char *basename
;
1206 const char *for_name
;
1207 const char *output_name
;
1209 /* This can happen when we need a file with visibility on a
1210 structure that we've never seen. We have to just hope that it's
1211 globally visible. */
1212 if (input_file
== NULL
)
1213 input_file
= "system.h";
1215 /* Determine the output file name. */
1216 basename
= get_file_basename (input_file
);
1218 len
= strlen (basename
);
1219 if ((len
> 2 && memcmp (basename
+len
-2, ".c", 2) == 0)
1220 || (len
> 2 && memcmp (basename
+len
-2, ".y", 2) == 0)
1221 || (len
> 3 && memcmp (basename
+len
-3, ".in", 3) == 0))
1225 output_name
= s
= xasprintf ("gt-%s", basename
);
1226 for (; *s
!= '.'; s
++)
1227 if (! ISALNUM (*s
) && *s
!= '-')
1229 memcpy (s
, ".h", sizeof (".h"));
1230 for_name
= basename
;
1232 /* Some headers get used by more than one front-end; hence, it
1233 would be inappropriate to spew them out to a single gtype-<lang>.h
1234 (and gengtype doesn't know how to direct spewage into multiple
1235 gtype-<lang>.h headers at this time). Instead, we pair up these
1236 headers with source files (and their special purpose gt-*.h headers). */
1237 else if (strcmp (basename
, "c-common.h") == 0)
1238 output_name
= "gt-c-common.h", for_name
= "c-common.c";
1239 else if (strcmp (basename
, "c-tree.h") == 0)
1240 output_name
= "gt-c-decl.h", for_name
= "c-decl.c";
1241 else if (strncmp (basename
, "objc", 4) == 0 && IS_DIR_SEPARATOR (basename
[4])
1242 && strcmp (basename
+ 5, "objc-act.h") == 0)
1243 output_name
= "gt-objc-objc-act.h", for_name
= "objc/objc-act.c";
1248 for (i
= 0; i
< NUM_BASE_FILES
; i
++)
1249 if (memcmp (basename
, lang_dir_names
[i
], strlen (lang_dir_names
[i
])) == 0
1250 && basename
[strlen(lang_dir_names
[i
])] == '/')
1251 return base_files
[i
];
1253 output_name
= "gtype-desc.c";
1257 /* Look through to see if we've ever seen this output filename before. */
1258 for (r
= output_files
; r
; r
= r
->next
)
1259 if (strcmp (r
->name
, output_name
) == 0)
1262 /* If not, create it. */
1263 r
= create_file (for_name
, output_name
);
1268 /* The name of an output file, suitable for definitions, that can see
1269 declarations made in INPUT_FILE and is linked into every language
1270 that uses INPUT_FILE. */
1273 get_output_file_name (const char *input_file
)
1275 return get_output_file_with_visibility (input_file
)->name
;
1278 /* Copy the output to its final destination,
1279 but don't unnecessarily change modification times. */
1282 close_output_files (void)
1286 for (of
= output_files
; of
; of
= of
->next
)
1290 newfile
= fopen (of
->name
, "r");
1291 if (newfile
!= NULL
)
1296 for (i
= 0; i
< of
->bufused
; i
++)
1299 ch
= fgetc (newfile
);
1300 if (ch
== EOF
|| ch
!= (unsigned char) of
->buf
[i
])
1303 no_write_p
= i
== of
->bufused
&& fgetc (newfile
) == EOF
;
1310 newfile
= fopen (of
->name
, "w");
1311 if (newfile
== NULL
)
1313 perror ("opening output file");
1316 if (fwrite (of
->buf
, 1, of
->bufused
, newfile
) != of
->bufused
)
1318 perror ("writing output file");
1321 if (fclose (newfile
) != 0)
1323 perror ("closing output file");
1336 struct walk_type_data
;
1338 /* For scalars and strings, given the item in 'val'.
1339 For structures, given a pointer to the item in 'val'.
1340 For misc. pointers, given the item in 'val'.
1342 typedef void (*process_field_fn
)
1343 (type_p f
, const struct walk_type_data
*p
);
1344 typedef void (*func_name_fn
)
1345 (type_p s
, const struct walk_type_data
*p
);
1347 /* Parameters for write_types. */
1349 struct write_types_data
1352 const char *param_prefix
;
1353 const char *subfield_marker_routine
;
1354 const char *marker_routine
;
1355 const char *reorder_note_routine
;
1356 const char *comment
;
1359 static void output_escaped_param (struct walk_type_data
*d
,
1360 const char *, const char *);
1361 static void output_mangled_typename (outf_p
, type_p
);
1362 static void walk_type (type_p t
, struct walk_type_data
*d
);
1363 static void write_func_for_structure
1364 (type_p orig_s
, type_p s
, type_p
* param
,
1365 const struct write_types_data
*wtd
);
1366 static void write_types_process_field
1367 (type_p f
, const struct walk_type_data
*d
);
1368 static void write_types (type_p structures
,
1369 type_p param_structs
,
1370 const struct write_types_data
*wtd
);
1371 static void write_types_local_process_field
1372 (type_p f
, const struct walk_type_data
*d
);
1373 static void write_local_func_for_structure
1374 (type_p orig_s
, type_p s
, type_p
* param
);
1375 static void write_local (type_p structures
,
1376 type_p param_structs
);
1377 static void write_enum_defn (type_p structures
, type_p param_structs
);
1378 static int contains_scalar_p (type_p t
);
1379 static void put_mangled_filename (outf_p
, const char *);
1380 static void finish_root_table (struct flist
*flp
, const char *pfx
,
1381 const char *tname
, const char *lastname
,
1383 static void write_root (outf_p
, pair_p
, type_p
, const char *, int,
1384 struct fileloc
*, const char *);
1385 static void write_array (outf_p f
, pair_p v
,
1386 const struct write_types_data
*wtd
);
1387 static void write_roots (pair_p
);
1389 /* Parameters for walk_type. */
1391 struct walk_type_data
1393 process_field_fn process_field
;
1398 const char *prev_val
[4];
1401 struct fileloc
*line
;
1406 const char *reorder_fn
;
1408 bool fn_wants_lvalue
;
1411 /* Print a mangled name representing T to OF. */
1414 output_mangled_typename (outf_p of
, type_p t
)
1418 else switch (t
->kind
)
1422 output_mangled_typename (of
, t
->u
.p
);
1432 case TYPE_LANG_STRUCT
:
1433 oprintf (of
, "%lu%s", (unsigned long) strlen (t
->u
.s
.tag
), t
->u
.s
.tag
);
1435 case TYPE_PARAM_STRUCT
:
1438 for (i
= 0; i
< NUM_PARAM
; i
++)
1439 if (t
->u
.param_struct
.param
[i
] != NULL
)
1440 output_mangled_typename (of
, t
->u
.param_struct
.param
[i
]);
1441 output_mangled_typename (of
, t
->u
.param_struct
.stru
);
1449 /* Print PARAM to D->OF processing escapes. D->VAL references the
1450 current object, D->PREV_VAL the object containing the current
1451 object, ONAME is the name of the option and D->LINE is used to
1452 print error messages. */
1455 output_escaped_param (struct walk_type_data
*d
, const char *param
,
1460 for (p
= param
; *p
; p
++)
1462 oprintf (d
->of
, "%c", *p
);
1466 oprintf (d
->of
, "(%s)", d
->prev_val
[2]);
1469 oprintf (d
->of
, "(%s)", d
->prev_val
[0]);
1472 oprintf (d
->of
, "(%s)", d
->prev_val
[1]);
1476 const char *pp
= d
->val
+ strlen (d
->val
);
1477 while (pp
[-1] == ']')
1480 oprintf (d
->of
, "%s", pp
);
1484 error_at_line (d
->line
, "`%s' option contains bad escape %c%c",
1489 /* Call D->PROCESS_FIELD for every field (or subfield) of D->VAL,
1490 which is of type T. Write code to D->OF to constrain execution (at
1491 the point that D->PROCESS_FIELD is called) to the appropriate
1492 cases. Call D->PROCESS_FIELD on subobjects before calling it on
1493 pointers to those objects. D->PREV_VAL lists the objects
1494 containing the current object, D->OPT is a list of options to
1495 apply, D->INDENT is the current indentation level, D->LINE is used
1496 to print error messages, D->BITMAP indicates which languages to
1497 print the structure for, and D->PARAM is the current parameter
1498 (from an enclosing param_is option). */
1501 walk_type (type_p t
, struct walk_type_data
*d
)
1503 const char *length
= NULL
;
1504 const char *desc
= NULL
;
1505 int maybe_undef_p
= 0;
1506 int use_param_num
= -1;
1507 int use_params_p
= 0;
1509 const struct nested_ptr_data
*nested_ptr_d
= NULL
;
1511 d
->needs_cast_p
= false;
1512 for (oo
= d
->opt
; oo
; oo
= oo
->next
)
1513 if (strcmp (oo
->name
, "length") == 0)
1515 else if (strcmp (oo
->name
, "maybe_undef") == 0)
1517 else if (strncmp (oo
->name
, "use_param", 9) == 0
1518 && (oo
->name
[9] == '\0' || ISDIGIT (oo
->name
[9])))
1519 use_param_num
= oo
->name
[9] == '\0' ? 0 : oo
->name
[9] - '0';
1520 else if (strcmp (oo
->name
, "use_params") == 0)
1522 else if (strcmp (oo
->name
, "desc") == 0)
1524 else if (strcmp (oo
->name
, "nested_ptr") == 0)
1525 nested_ptr_d
= (const struct nested_ptr_data
*) oo
->info
;
1526 else if (strcmp (oo
->name
, "dot") == 0)
1528 else if (strcmp (oo
->name
, "tag") == 0)
1530 else if (strcmp (oo
->name
, "special") == 0)
1532 else if (strcmp (oo
->name
, "skip") == 0)
1534 else if (strcmp (oo
->name
, "default") == 0)
1536 else if (strcmp (oo
->name
, "descbits") == 0)
1538 else if (strcmp (oo
->name
, "param_is") == 0)
1540 else if (strncmp (oo
->name
, "param", 5) == 0
1541 && ISDIGIT (oo
->name
[5])
1542 && strcmp (oo
->name
+ 6, "_is") == 0)
1544 else if (strcmp (oo
->name
, "chain_next") == 0)
1546 else if (strcmp (oo
->name
, "chain_prev") == 0)
1548 else if (strcmp (oo
->name
, "reorder") == 0)
1551 error_at_line (d
->line
, "unknown option `%s'\n", oo
->name
);
1558 int pointer_p
= t
->kind
== TYPE_POINTER
;
1562 if (! UNION_OR_STRUCT_P (t
))
1563 error_at_line (d
->line
, "`use_params' option on unimplemented type");
1565 t
= find_param_structure (t
, d
->param
);
1567 t
= create_pointer (t
);
1570 if (use_param_num
!= -1)
1572 if (d
->param
!= NULL
&& d
->param
[use_param_num
] != NULL
)
1574 type_p nt
= d
->param
[use_param_num
];
1576 if (t
->kind
== TYPE_ARRAY
)
1577 nt
= create_array (nt
, t
->u
.a
.len
);
1578 else if (length
!= NULL
&& t
->kind
== TYPE_POINTER
)
1579 nt
= create_pointer (nt
);
1580 d
->needs_cast_p
= (t
->kind
!= TYPE_POINTER
1581 && (nt
->kind
== TYPE_POINTER
1582 || nt
->kind
== TYPE_STRING
));
1586 error_at_line (d
->line
, "no parameter defined for `%s'",
1591 && (t
->kind
!= TYPE_POINTER
|| ! UNION_OR_STRUCT_P (t
->u
.p
)))
1593 error_at_line (d
->line
,
1594 "field `%s' has invalid option `maybe_undef_p'\n",
1603 d
->process_field (t
, d
);
1609 && t
->u
.p
->u
.s
.line
.file
== NULL
)
1611 oprintf (d
->of
, "%*sgcc_assert (!%s);\n", d
->indent
, "", d
->val
);
1617 if (! UNION_OR_STRUCT_P (t
->u
.p
)
1618 && t
->u
.p
->kind
!= TYPE_PARAM_STRUCT
)
1620 error_at_line (d
->line
,
1621 "field `%s' is pointer to unimplemented type",
1628 const char *oldprevval2
= d
->prev_val
[2];
1630 if (! UNION_OR_STRUCT_P (nested_ptr_d
->type
))
1632 error_at_line (d
->line
,
1633 "field `%s' has invalid "
1634 "option `nested_ptr'\n",
1639 d
->prev_val
[2] = d
->val
;
1640 oprintf (d
->of
, "%*s{\n", d
->indent
, "");
1642 d
->val
= xasprintf ("x%d", d
->counter
++);
1643 oprintf (d
->of
, "%*s%s %s * %s%s =\n", d
->indent
, "",
1644 (nested_ptr_d
->type
->kind
== TYPE_UNION
1645 ? "union" : "struct"),
1646 nested_ptr_d
->type
->u
.s
.tag
,
1647 d
->fn_wants_lvalue
? "" : "const ",
1649 oprintf (d
->of
, "%*s", d
->indent
+ 2, "");
1650 output_escaped_param (d
, nested_ptr_d
->convert_from
,
1652 oprintf (d
->of
, ";\n");
1654 d
->process_field (nested_ptr_d
->type
, d
);
1656 if (d
->fn_wants_lvalue
)
1658 oprintf (d
->of
, "%*s%s = ", d
->indent
, "",
1660 d
->prev_val
[2] = d
->val
;
1661 output_escaped_param (d
, nested_ptr_d
->convert_to
,
1663 oprintf (d
->of
, ";\n");
1667 oprintf (d
->of
, "%*s}\n", d
->indent
, "");
1668 d
->val
= d
->prev_val
[2];
1669 d
->prev_val
[2] = oldprevval2
;
1672 d
->process_field (t
->u
.p
, d
);
1676 int loopcounter
= d
->counter
++;
1677 const char *oldval
= d
->val
;
1678 const char *oldprevval3
= d
->prev_val
[3];
1681 oprintf (d
->of
, "%*sif (%s != NULL) {\n", d
->indent
, "", d
->val
);
1683 oprintf (d
->of
, "%*ssize_t i%d;\n", d
->indent
, "", loopcounter
);
1684 oprintf (d
->of
, "%*sfor (i%d = 0; i%d < (size_t)(", d
->indent
, "",
1685 loopcounter
, loopcounter
);
1686 output_escaped_param (d
, length
, "length");
1687 oprintf (d
->of
, "); i%d++) {\n", loopcounter
);
1689 d
->val
= newval
= xasprintf ("%s[i%d]", oldval
, loopcounter
);
1691 d
->prev_val
[3] = oldval
;
1692 walk_type (t
->u
.p
, d
);
1695 d
->prev_val
[3] = oldprevval3
;
1698 oprintf (d
->of
, "%*s}\n", d
->indent
, "");
1699 d
->process_field(t
, d
);
1701 oprintf (d
->of
, "%*s}\n", d
->indent
, "");
1708 int loopcounter
= d
->counter
++;
1709 const char *oldval
= d
->val
;
1712 /* If it's an array of scalars, we optimize by not generating
1714 if (t
->u
.a
.p
->kind
== TYPE_SCALAR
)
1717 oprintf (d
->of
, "%*s{\n", d
->indent
, "");
1719 oprintf (d
->of
, "%*ssize_t i%d;\n", d
->indent
, "", loopcounter
);
1720 oprintf (d
->of
, "%*sfor (i%d = 0; i%d < (size_t)(", d
->indent
, "",
1721 loopcounter
, loopcounter
);
1723 output_escaped_param (d
, length
, "length");
1725 oprintf (d
->of
, "%s", t
->u
.a
.len
);
1726 oprintf (d
->of
, "); i%d++) {\n", loopcounter
);
1728 d
->val
= newval
= xasprintf ("%s[i%d]", oldval
, loopcounter
);
1730 walk_type (t
->u
.a
.p
, d
);
1735 oprintf (d
->of
, "%*s}\n", d
->indent
, "");
1737 oprintf (d
->of
, "%*s}\n", d
->indent
, "");
1745 const char *oldval
= d
->val
;
1746 const char *oldprevval1
= d
->prev_val
[1];
1747 const char *oldprevval2
= d
->prev_val
[2];
1748 const int union_p
= t
->kind
== TYPE_UNION
;
1749 int seen_default_p
= 0;
1752 if (! t
->u
.s
.line
.file
)
1753 error_at_line (d
->line
, "incomplete structure `%s'", t
->u
.s
.tag
);
1755 if ((d
->bitmap
& t
->u
.s
.bitmap
) != d
->bitmap
)
1757 error_at_line (d
->line
,
1758 "structure `%s' defined for mismatching languages",
1760 error_at_line (&t
->u
.s
.line
, "one structure defined here");
1763 /* Some things may also be defined in the structure's options. */
1764 for (o
= t
->u
.s
.opt
; o
; o
= o
->next
)
1765 if (! desc
&& strcmp (o
->name
, "desc") == 0)
1768 d
->prev_val
[2] = oldval
;
1769 d
->prev_val
[1] = oldprevval2
;
1774 error_at_line (d
->line
, "missing `desc' option for union `%s'",
1778 oprintf (d
->of
, "%*sswitch (", d
->indent
, "");
1779 output_escaped_param (d
, desc
, "desc");
1780 oprintf (d
->of
, ")\n");
1782 oprintf (d
->of
, "%*s{\n", d
->indent
, "");
1784 for (f
= t
->u
.s
.fields
; f
; f
= f
->next
)
1787 const char *dot
= ".";
1788 const char *tagid
= NULL
;
1791 int use_param_p
= 0;
1794 d
->reorder_fn
= NULL
;
1795 for (oo
= f
->opt
; oo
; oo
= oo
->next
)
1796 if (strcmp (oo
->name
, "dot") == 0)
1798 else if (strcmp (oo
->name
, "tag") == 0)
1800 else if (strcmp (oo
->name
, "skip") == 0)
1802 else if (strcmp (oo
->name
, "default") == 0)
1804 else if (strcmp (oo
->name
, "reorder") == 0)
1805 d
->reorder_fn
= oo
->info
;
1806 else if (strncmp (oo
->name
, "use_param", 9) == 0
1807 && (oo
->name
[9] == '\0' || ISDIGIT (oo
->name
[9])))
1813 if (union_p
&& tagid
)
1815 oprintf (d
->of
, "%*scase %s:\n", d
->indent
, "", tagid
);
1818 else if (union_p
&& default_p
)
1820 oprintf (d
->of
, "%*sdefault:\n", d
->indent
, "");
1824 else if (! union_p
&& (default_p
|| tagid
))
1825 error_at_line (d
->line
,
1826 "can't use `%s' outside a union on field `%s'",
1827 default_p
? "default" : "tag", f
->name
);
1828 else if (union_p
&& ! (default_p
|| tagid
)
1829 && f
->type
->kind
== TYPE_SCALAR
)
1832 "%s:%d: warning: field `%s' is missing `tag' or `default' option\n",
1833 d
->line
->file
, d
->line
->line
, f
->name
);
1836 else if (union_p
&& ! (default_p
|| tagid
))
1837 error_at_line (d
->line
,
1838 "field `%s' is missing `tag' or `default' option",
1842 d
->val
= newval
= xasprintf ("%s%s%s", oldval
, dot
, f
->name
);
1844 d
->used_length
= false;
1846 if (union_p
&& use_param_p
&& d
->param
== NULL
)
1847 oprintf (d
->of
, "%*sgcc_unreachable ();\n", d
->indent
, "");
1849 walk_type (f
->type
, d
);
1855 oprintf (d
->of
, "%*sbreak;\n", d
->indent
, "");
1859 d
->reorder_fn
= NULL
;
1862 d
->prev_val
[1] = oldprevval1
;
1863 d
->prev_val
[2] = oldprevval2
;
1865 if (union_p
&& ! seen_default_p
)
1867 oprintf (d
->of
, "%*sdefault:\n", d
->indent
, "");
1868 oprintf (d
->of
, "%*s break;\n", d
->indent
, "");
1872 oprintf (d
->of
, "%*s}\n", d
->indent
, "");
1878 case TYPE_LANG_STRUCT
:
1881 for (nt
= t
->u
.s
.lang_struct
; nt
; nt
= nt
->next
)
1882 if ((d
->bitmap
& nt
->u
.s
.bitmap
) == d
->bitmap
)
1885 error_at_line (d
->line
, "structure `%s' differs between languages",
1892 case TYPE_PARAM_STRUCT
:
1894 type_p
*oldparam
= d
->param
;
1896 d
->param
= t
->u
.param_struct
.param
;
1897 walk_type (t
->u
.param_struct
.stru
, d
);
1898 d
->param
= oldparam
;
1907 /* process_field routine for marking routines. */
1910 write_types_process_field (type_p f
, const struct walk_type_data
*d
)
1912 const struct write_types_data
*wtd
;
1913 const char *cast
= d
->needs_cast_p
? "(void *)" : "";
1914 wtd
= (const struct write_types_data
*) d
->cookie
;
1919 oprintf (d
->of
, "%*s%s (%s%s", d
->indent
, "",
1920 wtd
->subfield_marker_routine
, cast
, d
->val
);
1921 if (wtd
->param_prefix
)
1923 oprintf (d
->of
, ", %s", d
->prev_val
[3]);
1926 oprintf (d
->of
, ", gt_%s_", wtd
->param_prefix
);
1927 output_mangled_typename (d
->of
, d
->orig_s
);
1930 oprintf (d
->of
, ", gt_%sa_%s", wtd
->param_prefix
, d
->prev_val
[0]);
1932 oprintf (d
->of
, ");\n");
1933 if (d
->reorder_fn
&& wtd
->reorder_note_routine
)
1934 oprintf (d
->of
, "%*s%s (%s%s, %s, %s);\n", d
->indent
, "",
1935 wtd
->reorder_note_routine
, cast
, d
->val
,
1936 d
->prev_val
[3], d
->reorder_fn
);
1940 if (wtd
->param_prefix
== NULL
)
1945 case TYPE_LANG_STRUCT
:
1946 case TYPE_PARAM_STRUCT
:
1947 oprintf (d
->of
, "%*sgt_%s_", d
->indent
, "", wtd
->prefix
);
1948 output_mangled_typename (d
->of
, f
);
1949 oprintf (d
->of
, " (%s%s);\n", cast
, d
->val
);
1950 if (d
->reorder_fn
&& wtd
->reorder_note_routine
)
1951 oprintf (d
->of
, "%*s%s (%s%s, %s%s, %s);\n", d
->indent
, "",
1952 wtd
->reorder_note_routine
, cast
, d
->val
, cast
, d
->val
,
1964 /* For S, a structure that's part of ORIG_S, and using parameters
1965 PARAM, write out a routine that:
1966 - Takes a parameter, a void * but actually of type *S
1967 - If SEEN_ROUTINE returns nonzero, calls write_types_process_field on each
1968 field of S or its substructures and (in some cases) things
1969 that are pointed to by S.
1973 write_func_for_structure (type_p orig_s
, type_p s
, type_p
*param
,
1974 const struct write_types_data
*wtd
)
1976 const char *fn
= s
->u
.s
.line
.file
;
1978 const char *chain_next
= NULL
;
1979 const char *chain_prev
= NULL
;
1981 struct walk_type_data d
;
1983 /* This is a hack, and not the good kind either. */
1984 for (i
= NUM_PARAM
- 1; i
>= 0; i
--)
1985 if (param
&& param
[i
] && param
[i
]->kind
== TYPE_POINTER
1986 && UNION_OR_STRUCT_P (param
[i
]->u
.p
))
1987 fn
= param
[i
]->u
.p
->u
.s
.line
.file
;
1989 memset (&d
, 0, sizeof (d
));
1990 d
.of
= get_output_file_with_visibility (fn
);
1992 for (opt
= s
->u
.s
.opt
; opt
; opt
= opt
->next
)
1993 if (strcmp (opt
->name
, "chain_next") == 0)
1994 chain_next
= opt
->info
;
1995 else if (strcmp (opt
->name
, "chain_prev") == 0)
1996 chain_prev
= opt
->info
;
1998 if (chain_prev
!= NULL
&& chain_next
== NULL
)
1999 error_at_line (&s
->u
.s
.line
, "chain_prev without chain_next");
2001 d
.process_field
= write_types_process_field
;
2005 d
.line
= &s
->u
.s
.line
;
2006 d
.bitmap
= s
->u
.s
.bitmap
;
2008 d
.prev_val
[0] = "*x";
2009 d
.prev_val
[1] = "not valid postage"; /* Guarantee an error. */
2010 d
.prev_val
[3] = "x";
2013 oprintf (d
.of
, "\n");
2014 oprintf (d
.of
, "void\n");
2016 oprintf (d
.of
, "gt_%sx_%s", wtd
->prefix
, orig_s
->u
.s
.tag
);
2019 oprintf (d
.of
, "gt_%s_", wtd
->prefix
);
2020 output_mangled_typename (d
.of
, orig_s
);
2022 oprintf (d
.of
, " (void *x_p)\n");
2023 oprintf (d
.of
, "{\n");
2024 oprintf (d
.of
, " %s %s * %sx = (%s %s *)x_p;\n",
2025 s
->kind
== TYPE_UNION
? "union" : "struct", s
->u
.s
.tag
,
2026 chain_next
== NULL
? "const " : "",
2027 s
->kind
== TYPE_UNION
? "union" : "struct", s
->u
.s
.tag
);
2028 if (chain_next
!= NULL
)
2029 oprintf (d
.of
, " %s %s * xlimit = x;\n",
2030 s
->kind
== TYPE_UNION
? "union" : "struct", s
->u
.s
.tag
);
2031 if (chain_next
== NULL
)
2033 oprintf (d
.of
, " if (%s (x", wtd
->marker_routine
);
2034 if (wtd
->param_prefix
)
2036 oprintf (d
.of
, ", x, gt_%s_", wtd
->param_prefix
);
2037 output_mangled_typename (d
.of
, orig_s
);
2039 oprintf (d
.of
, "))\n");
2043 oprintf (d
.of
, " while (%s (xlimit", wtd
->marker_routine
);
2044 if (wtd
->param_prefix
)
2046 oprintf (d
.of
, ", xlimit, gt_%s_", wtd
->param_prefix
);
2047 output_mangled_typename (d
.of
, orig_s
);
2049 oprintf (d
.of
, "))\n");
2050 oprintf (d
.of
, " xlimit = (");
2051 d
.prev_val
[2] = "*xlimit";
2052 output_escaped_param (&d
, chain_next
, "chain_next");
2053 oprintf (d
.of
, ");\n");
2054 if (chain_prev
!= NULL
)
2056 oprintf (d
.of
, " if (x != xlimit)\n");
2057 oprintf (d
.of
, " for (;;)\n");
2058 oprintf (d
.of
, " {\n");
2059 oprintf (d
.of
, " %s %s * const xprev = (",
2060 s
->kind
== TYPE_UNION
? "union" : "struct", s
->u
.s
.tag
);
2062 d
.prev_val
[2] = "*x";
2063 output_escaped_param (&d
, chain_prev
, "chain_prev");
2064 oprintf (d
.of
, ");\n");
2065 oprintf (d
.of
, " if (xprev == NULL) break;\n");
2066 oprintf (d
.of
, " x = xprev;\n");
2067 oprintf (d
.of
, " (void) %s (xprev",
2068 wtd
->marker_routine
);
2069 if (wtd
->param_prefix
)
2071 oprintf (d
.of
, ", xprev, gt_%s_", wtd
->param_prefix
);
2072 output_mangled_typename (d
.of
, orig_s
);
2074 oprintf (d
.of
, ");\n");
2075 oprintf (d
.of
, " }\n");
2077 oprintf (d
.of
, " while (x != xlimit)\n");
2079 oprintf (d
.of
, " {\n");
2081 d
.prev_val
[2] = "*x";
2085 if (chain_next
!= NULL
)
2087 oprintf (d
.of
, " x = (");
2088 output_escaped_param (&d
, chain_next
, "chain_next");
2089 oprintf (d
.of
, ");\n");
2092 oprintf (d
.of
, " }\n");
2093 oprintf (d
.of
, "}\n");
2096 /* Write out marker routines for STRUCTURES and PARAM_STRUCTS. */
2099 write_types (type_p structures
, type_p param_structs
,
2100 const struct write_types_data
*wtd
)
2104 oprintf (header_file
, "\n/* %s*/\n", wtd
->comment
);
2105 for (s
= structures
; s
; s
= s
->next
)
2106 if (s
->gc_used
== GC_POINTED_TO
2107 || s
->gc_used
== GC_MAYBE_POINTED_TO
)
2111 if (s
->gc_used
== GC_MAYBE_POINTED_TO
2112 && s
->u
.s
.line
.file
== NULL
)
2115 oprintf (header_file
, "#define gt_%s_", wtd
->prefix
);
2116 output_mangled_typename (header_file
, s
);
2117 oprintf (header_file
, "(X) do { \\\n");
2118 oprintf (header_file
,
2119 " if (X != NULL) gt_%sx_%s (X);\\\n", wtd
->prefix
,
2121 oprintf (header_file
,
2124 for (opt
= s
->u
.s
.opt
; opt
; opt
= opt
->next
)
2125 if (strcmp (opt
->name
, "ptr_alias") == 0)
2127 type_p t
= (type_p
) opt
->info
;
2128 if (t
->kind
== TYPE_STRUCT
2129 || t
->kind
== TYPE_UNION
2130 || t
->kind
== TYPE_LANG_STRUCT
)
2131 oprintf (header_file
,
2132 "#define gt_%sx_%s gt_%sx_%s\n",
2133 wtd
->prefix
, s
->u
.s
.tag
, wtd
->prefix
, t
->u
.s
.tag
);
2135 error_at_line (&s
->u
.s
.line
,
2136 "structure alias is not a structure");
2142 /* Declare the marker procedure only once. */
2143 oprintf (header_file
,
2144 "extern void gt_%sx_%s (void *);\n",
2145 wtd
->prefix
, s
->u
.s
.tag
);
2147 if (s
->u
.s
.line
.file
== NULL
)
2149 fprintf (stderr
, "warning: structure `%s' used but not defined\n",
2154 if (s
->kind
== TYPE_LANG_STRUCT
)
2157 for (ss
= s
->u
.s
.lang_struct
; ss
; ss
= ss
->next
)
2158 write_func_for_structure (s
, ss
, NULL
, wtd
);
2161 write_func_for_structure (s
, s
, NULL
, wtd
);
2164 for (s
= param_structs
; s
; s
= s
->next
)
2165 if (s
->gc_used
== GC_POINTED_TO
)
2167 type_p
* param
= s
->u
.param_struct
.param
;
2168 type_p stru
= s
->u
.param_struct
.stru
;
2170 /* Declare the marker procedure. */
2171 oprintf (header_file
, "extern void gt_%s_", wtd
->prefix
);
2172 output_mangled_typename (header_file
, s
);
2173 oprintf (header_file
, " (void *);\n");
2175 if (stru
->u
.s
.line
.file
== NULL
)
2177 fprintf (stderr
, "warning: structure `%s' used but not defined\n",
2182 if (stru
->kind
== TYPE_LANG_STRUCT
)
2185 for (ss
= stru
->u
.s
.lang_struct
; ss
; ss
= ss
->next
)
2186 write_func_for_structure (s
, ss
, param
, wtd
);
2189 write_func_for_structure (s
, stru
, param
, wtd
);
2193 static const struct write_types_data ggc_wtd
=
2195 "ggc_m", NULL
, "ggc_mark", "ggc_test_and_set_mark", NULL
,
2196 "GC marker procedures. "
2199 static const struct write_types_data pch_wtd
=
2201 "pch_n", "pch_p", "gt_pch_note_object", "gt_pch_note_object",
2202 "gt_pch_note_reorder",
2203 "PCH type-walking procedures. "
2206 /* Write out the local pointer-walking routines. */
2208 /* process_field routine for local pointer-walking. */
2211 write_types_local_process_field (type_p f
, const struct walk_type_data
*d
)
2218 case TYPE_LANG_STRUCT
:
2219 case TYPE_PARAM_STRUCT
:
2221 oprintf (d
->of
, "%*sif ((void *)(%s) == this_obj)\n", d
->indent
, "",
2223 oprintf (d
->of
, "%*s op (&(%s), cookie);\n", d
->indent
, "", d
->val
);
2234 /* For S, a structure that's part of ORIG_S, and using parameters
2235 PARAM, write out a routine that:
2236 - Is of type gt_note_pointers
2237 - Calls PROCESS_FIELD on each field of S or its substructures.
2241 write_local_func_for_structure (type_p orig_s
, type_p s
, type_p
*param
)
2243 const char *fn
= s
->u
.s
.line
.file
;
2245 struct walk_type_data d
;
2247 /* This is a hack, and not the good kind either. */
2248 for (i
= NUM_PARAM
- 1; i
>= 0; i
--)
2249 if (param
&& param
[i
] && param
[i
]->kind
== TYPE_POINTER
2250 && UNION_OR_STRUCT_P (param
[i
]->u
.p
))
2251 fn
= param
[i
]->u
.p
->u
.s
.line
.file
;
2253 memset (&d
, 0, sizeof (d
));
2254 d
.of
= get_output_file_with_visibility (fn
);
2256 d
.process_field
= write_types_local_process_field
;
2258 d
.line
= &s
->u
.s
.line
;
2259 d
.bitmap
= s
->u
.s
.bitmap
;
2261 d
.prev_val
[0] = d
.prev_val
[2] = "*x";
2262 d
.prev_val
[1] = "not valid postage"; /* Guarantee an error. */
2263 d
.prev_val
[3] = "x";
2265 d
.fn_wants_lvalue
= true;
2267 oprintf (d
.of
, "\n");
2268 oprintf (d
.of
, "void\n");
2269 oprintf (d
.of
, "gt_pch_p_");
2270 output_mangled_typename (d
.of
, orig_s
);
2271 oprintf (d
.of
, " (ATTRIBUTE_UNUSED void *this_obj,\n"
2273 "\tATTRIBUTE_UNUSED gt_pointer_operator op,\n"
2274 "\tATTRIBUTE_UNUSED void *cookie)\n");
2275 oprintf (d
.of
, "{\n");
2276 oprintf (d
.of
, " %s %s * const x ATTRIBUTE_UNUSED = (%s %s *)x_p;\n",
2277 s
->kind
== TYPE_UNION
? "union" : "struct", s
->u
.s
.tag
,
2278 s
->kind
== TYPE_UNION
? "union" : "struct", s
->u
.s
.tag
);
2281 oprintf (d
.of
, "}\n");
2284 /* Write out local marker routines for STRUCTURES and PARAM_STRUCTS. */
2287 write_local (type_p structures
, type_p param_structs
)
2291 oprintf (header_file
, "\n/* Local pointer-walking routines. */\n");
2292 for (s
= structures
; s
; s
= s
->next
)
2293 if (s
->gc_used
== GC_POINTED_TO
2294 || s
->gc_used
== GC_MAYBE_POINTED_TO
)
2298 if (s
->u
.s
.line
.file
== NULL
)
2301 for (opt
= s
->u
.s
.opt
; opt
; opt
= opt
->next
)
2302 if (strcmp (opt
->name
, "ptr_alias") == 0)
2304 type_p t
= (type_p
) opt
->info
;
2305 if (t
->kind
== TYPE_STRUCT
2306 || t
->kind
== TYPE_UNION
2307 || t
->kind
== TYPE_LANG_STRUCT
)
2309 oprintf (header_file
, "#define gt_pch_p_");
2310 output_mangled_typename (header_file
, s
);
2311 oprintf (header_file
, " gt_pch_p_");
2312 output_mangled_typename (header_file
, t
);
2313 oprintf (header_file
, "\n");
2316 error_at_line (&s
->u
.s
.line
,
2317 "structure alias is not a structure");
2323 /* Declare the marker procedure only once. */
2324 oprintf (header_file
, "extern void gt_pch_p_");
2325 output_mangled_typename (header_file
, s
);
2326 oprintf (header_file
,
2327 "\n (void *, void *, gt_pointer_operator, void *);\n");
2329 if (s
->kind
== TYPE_LANG_STRUCT
)
2332 for (ss
= s
->u
.s
.lang_struct
; ss
; ss
= ss
->next
)
2333 write_local_func_for_structure (s
, ss
, NULL
);
2336 write_local_func_for_structure (s
, s
, NULL
);
2339 for (s
= param_structs
; s
; s
= s
->next
)
2340 if (s
->gc_used
== GC_POINTED_TO
)
2342 type_p
* param
= s
->u
.param_struct
.param
;
2343 type_p stru
= s
->u
.param_struct
.stru
;
2345 /* Declare the marker procedure. */
2346 oprintf (header_file
, "extern void gt_pch_p_");
2347 output_mangled_typename (header_file
, s
);
2348 oprintf (header_file
,
2349 "\n (void *, void *, gt_pointer_operator, void *);\n");
2351 if (stru
->u
.s
.line
.file
== NULL
)
2353 fprintf (stderr
, "warning: structure `%s' used but not defined\n",
2358 if (stru
->kind
== TYPE_LANG_STRUCT
)
2361 for (ss
= stru
->u
.s
.lang_struct
; ss
; ss
= ss
->next
)
2362 write_local_func_for_structure (s
, ss
, param
);
2365 write_local_func_for_structure (s
, stru
, param
);
2369 /* Write out the 'enum' definition for gt_types_enum. */
2372 write_enum_defn (type_p structures
, type_p param_structs
)
2376 oprintf (header_file
, "\n/* Enumeration of types known. */\n");
2377 oprintf (header_file
, "enum gt_types_enum {\n");
2378 for (s
= structures
; s
; s
= s
->next
)
2379 if (s
->gc_used
== GC_POINTED_TO
2380 || s
->gc_used
== GC_MAYBE_POINTED_TO
)
2382 if (s
->gc_used
== GC_MAYBE_POINTED_TO
2383 && s
->u
.s
.line
.file
== NULL
)
2386 oprintf (header_file
, " gt_ggc_e_");
2387 output_mangled_typename (header_file
, s
);
2388 oprintf (header_file
, ", \n");
2390 for (s
= param_structs
; s
; s
= s
->next
)
2391 if (s
->gc_used
== GC_POINTED_TO
)
2393 oprintf (header_file
, " gt_e_");
2394 output_mangled_typename (header_file
, s
);
2395 oprintf (header_file
, ", \n");
2397 oprintf (header_file
, " gt_types_enum_last\n");
2398 oprintf (header_file
, "};\n");
2401 /* Might T contain any non-pointer elements? */
2404 contains_scalar_p (type_p t
)
2412 return contains_scalar_p (t
->u
.a
.p
);
2414 /* Could also check for structures that have no non-pointer
2415 fields, but there aren't enough of those to worry about. */
2420 /* Mangle FN and print it to F. */
2423 put_mangled_filename (outf_p f
, const char *fn
)
2425 const char *name
= get_output_file_name (fn
);
2426 for (; *name
!= 0; name
++)
2427 if (ISALNUM (*name
))
2428 oprintf (f
, "%c", *name
);
2430 oprintf (f
, "%c", '_');
2433 /* Finish off the currently-created root tables in FLP. PFX, TNAME,
2434 LASTNAME, and NAME are all strings to insert in various places in
2435 the resulting code. */
2438 finish_root_table (struct flist
*flp
, const char *pfx
, const char *lastname
,
2439 const char *tname
, const char *name
)
2443 for (fli2
= flp
; fli2
; fli2
= fli2
->next
)
2444 if (fli2
->started_p
)
2446 oprintf (fli2
->f
, " %s\n", lastname
);
2447 oprintf (fli2
->f
, "};\n\n");
2450 for (fli2
= flp
; fli2
; fli2
= fli2
->next
)
2451 if (fli2
->started_p
)
2453 lang_bitmap bitmap
= get_base_file_bitmap (fli2
->name
);
2456 for (fnum
= 0; bitmap
!= 0; fnum
++, bitmap
>>= 1)
2459 oprintf (base_files
[fnum
],
2460 "extern const struct %s gt_%s_",
2462 put_mangled_filename (base_files
[fnum
], fli2
->name
);
2463 oprintf (base_files
[fnum
], "[];\n");
2469 for (fnum
= 0; fnum
< NUM_BASE_FILES
; fnum
++)
2470 oprintf (base_files
[fnum
],
2471 "const struct %s * const %s[] = {\n",
2476 for (fli2
= flp
; fli2
; fli2
= fli2
->next
)
2477 if (fli2
->started_p
)
2479 lang_bitmap bitmap
= get_base_file_bitmap (fli2
->name
);
2482 fli2
->started_p
= 0;
2484 for (fnum
= 0; bitmap
!= 0; fnum
++, bitmap
>>= 1)
2487 oprintf (base_files
[fnum
], " gt_%s_", pfx
);
2488 put_mangled_filename (base_files
[fnum
], fli2
->name
);
2489 oprintf (base_files
[fnum
], ",\n");
2495 for (fnum
= 0; fnum
< NUM_BASE_FILES
; fnum
++)
2497 oprintf (base_files
[fnum
], " NULL\n");
2498 oprintf (base_files
[fnum
], "};\n");
2503 /* Write out to F the table entry and any marker routines needed to
2504 mark NAME as TYPE. The original variable is V, at LINE.
2505 HAS_LENGTH is nonzero iff V was a variable-length array. IF_MARKED
2506 is nonzero iff we are building the root table for hash table caches. */
2509 write_root (outf_p f
, pair_p v
, type_p type
, const char *name
, int has_length
,
2510 struct fileloc
*line
, const char *if_marked
)
2517 for (fld
= type
->u
.s
.fields
; fld
; fld
= fld
->next
)
2520 const char *desc
= NULL
;
2523 for (o
= fld
->opt
; o
; o
= o
->next
)
2524 if (strcmp (o
->name
, "skip") == 0)
2526 else if (strcmp (o
->name
, "desc") == 0)
2529 error_at_line (line
,
2530 "field `%s' of global `%s' has unknown option `%s'",
2531 fld
->name
, name
, o
->name
);
2535 else if (desc
&& fld
->type
->kind
== TYPE_UNION
)
2537 pair_p validf
= NULL
;
2540 for (ufld
= fld
->type
->u
.s
.fields
; ufld
; ufld
= ufld
->next
)
2542 const char *tag
= NULL
;
2545 for (oo
= ufld
->opt
; oo
; oo
= oo
->next
)
2546 if (strcmp (oo
->name
, "tag") == 0)
2548 if (tag
== NULL
|| strcmp (tag
, desc
) != 0)
2551 error_at_line (line
,
2552 "both `%s.%s.%s' and `%s.%s.%s' have tag `%s'",
2553 name
, fld
->name
, validf
->name
,
2554 name
, fld
->name
, ufld
->name
,
2561 newname
= xasprintf ("%s.%s.%s",
2562 name
, fld
->name
, validf
->name
);
2563 write_root (f
, v
, validf
->type
, newname
, 0, line
,
2569 error_at_line (line
,
2570 "global `%s.%s' has `desc' option but is not union",
2575 newname
= xasprintf ("%s.%s", name
, fld
->name
);
2576 write_root (f
, v
, fld
->type
, newname
, 0, line
, if_marked
);
2586 newname
= xasprintf ("%s[0]", name
);
2587 write_root (f
, v
, type
->u
.a
.p
, newname
, has_length
, line
, if_marked
);
2596 oprintf (f
, " {\n");
2597 oprintf (f
, " &%s,\n", name
);
2600 for (ap
= v
->type
; ap
->kind
== TYPE_ARRAY
; ap
= ap
->u
.a
.p
)
2602 oprintf (f
, " * (%s)", ap
->u
.a
.len
);
2603 else if (ap
== v
->type
)
2604 oprintf (f
, " * ARRAY_SIZE (%s)", v
->name
);
2606 oprintf (f
, " sizeof (%s", v
->name
);
2607 for (ap
= v
->type
; ap
->kind
== TYPE_ARRAY
; ap
= ap
->u
.a
.p
)
2609 oprintf (f
, "),\n");
2613 if (! has_length
&& UNION_OR_STRUCT_P (tp
))
2615 oprintf (f
, " >_ggc_mx_%s,\n", tp
->u
.s
.tag
);
2616 oprintf (f
, " >_pch_nx_%s", tp
->u
.s
.tag
);
2618 else if (! has_length
&& tp
->kind
== TYPE_PARAM_STRUCT
)
2620 oprintf (f
, " >_ggc_m_");
2621 output_mangled_typename (f
, tp
);
2622 oprintf (f
, ",\n >_pch_n_");
2623 output_mangled_typename (f
, tp
);
2626 && (tp
->kind
== TYPE_POINTER
|| UNION_OR_STRUCT_P (tp
)))
2628 oprintf (f
, " >_ggc_ma_%s,\n", name
);
2629 oprintf (f
, " >_pch_na_%s", name
);
2633 error_at_line (line
,
2634 "global `%s' is pointer to unimplemented type",
2638 oprintf (f
, ",\n &%s", if_marked
);
2639 oprintf (f
, "\n },\n");
2645 oprintf (f
, " {\n");
2646 oprintf (f
, " &%s,\n", name
);
2647 oprintf (f
, " 1, \n");
2648 oprintf (f
, " sizeof (%s),\n", v
->name
);
2649 oprintf (f
, " >_ggc_m_S,\n");
2650 oprintf (f
, " (gt_pointer_walker) >_pch_n_S\n");
2651 oprintf (f
, " },\n");
2659 error_at_line (line
,
2660 "global `%s' is unimplemented type",
2665 /* This generates a routine to walk an array. */
2668 write_array (outf_p f
, pair_p v
, const struct write_types_data
*wtd
)
2670 struct walk_type_data d
;
2673 memset (&d
, 0, sizeof (d
));
2679 d
.bitmap
= get_base_file_bitmap (v
->line
.file
);
2682 d
.prev_val
[3] = prevval3
= xasprintf ("&%s", v
->name
);
2684 if (wtd
->param_prefix
)
2686 oprintf (f
, "static void gt_%sa_%s\n", wtd
->param_prefix
, v
->name
);
2688 " (void *, void *, gt_pointer_operator, void *);\n");
2689 oprintf (f
, "static void gt_%sa_%s (ATTRIBUTE_UNUSED void *this_obj,\n",
2690 wtd
->param_prefix
, v
->name
);
2692 " ATTRIBUTE_UNUSED void *x_p,\n"
2693 " ATTRIBUTE_UNUSED gt_pointer_operator op,\n"
2694 " ATTRIBUTE_UNUSED void * cookie)\n");
2695 oprintf (d
.of
, "{\n");
2696 d
.prev_val
[0] = d
.prev_val
[1] = d
.prev_val
[2] = d
.val
= v
->name
;
2697 d
.process_field
= write_types_local_process_field
;
2698 walk_type (v
->type
, &d
);
2699 oprintf (f
, "}\n\n");
2703 oprintf (f
, "static void gt_%sa_%s (void *);\n",
2704 wtd
->prefix
, v
->name
);
2705 oprintf (f
, "static void\ngt_%sa_%s (ATTRIBUTE_UNUSED void *x_p)\n",
2706 wtd
->prefix
, v
->name
);
2708 d
.prev_val
[0] = d
.prev_val
[1] = d
.prev_val
[2] = d
.val
= v
->name
;
2709 d
.process_field
= write_types_process_field
;
2710 walk_type (v
->type
, &d
);
2712 oprintf (f
, "}\n\n");
2715 /* Output a table describing the locations and types of VARIABLES. */
2718 write_roots (pair_p variables
)
2721 struct flist
*flp
= NULL
;
2723 for (v
= variables
; v
; v
= v
->next
)
2725 outf_p f
= get_output_file_with_visibility (v
->line
.file
);
2727 const char *length
= NULL
;
2728 int deletable_p
= 0;
2731 for (o
= v
->opt
; o
; o
= o
->next
)
2732 if (strcmp (o
->name
, "length") == 0)
2734 else if (strcmp (o
->name
, "deletable") == 0)
2736 else if (strcmp (o
->name
, "param_is") == 0)
2738 else if (strncmp (o
->name
, "param", 5) == 0
2739 && ISDIGIT (o
->name
[5])
2740 && strcmp (o
->name
+ 6, "_is") == 0)
2742 else if (strcmp (o
->name
, "if_marked") == 0)
2745 error_at_line (&v
->line
,
2746 "global `%s' has unknown option `%s'",
2749 for (fli
= flp
; fli
; fli
= fli
->next
)
2754 fli
= XNEW (struct flist
);
2758 fli
->name
= v
->line
.file
;
2761 oprintf (f
, "\n/* GC roots. */\n\n");
2766 && v
->type
->kind
== TYPE_POINTER
2767 && (v
->type
->u
.p
->kind
== TYPE_POINTER
2768 || v
->type
->u
.p
->kind
== TYPE_STRUCT
))
2770 write_array (f
, v
, &ggc_wtd
);
2771 write_array (f
, v
, &pch_wtd
);
2775 for (v
= variables
; v
; v
= v
->next
)
2777 outf_p f
= get_output_file_with_visibility (v
->line
.file
);
2783 for (o
= v
->opt
; o
; o
= o
->next
)
2784 if (strcmp (o
->name
, "length") == 0)
2786 else if (strcmp (o
->name
, "deletable") == 0
2787 || strcmp (o
->name
, "if_marked") == 0)
2793 for (fli
= flp
; fli
; fli
= fli
->next
)
2796 if (! fli
->started_p
)
2800 oprintf (f
, "const struct ggc_root_tab gt_ggc_r_");
2801 put_mangled_filename (f
, v
->line
.file
);
2802 oprintf (f
, "[] = {\n");
2805 write_root (f
, v
, v
->type
, v
->name
, length_p
, &v
->line
, NULL
);
2808 finish_root_table (flp
, "ggc_r", "LAST_GGC_ROOT_TAB", "ggc_root_tab",
2811 for (v
= variables
; v
; v
= v
->next
)
2813 outf_p f
= get_output_file_with_visibility (v
->line
.file
);
2818 for (o
= v
->opt
; o
; o
= o
->next
)
2819 if (strcmp (o
->name
, "deletable") == 0)
2821 else if (strcmp (o
->name
, "if_marked") == 0)
2827 for (fli
= flp
; fli
; fli
= fli
->next
)
2830 if (! fli
->started_p
)
2834 oprintf (f
, "const struct ggc_root_tab gt_ggc_rd_");
2835 put_mangled_filename (f
, v
->line
.file
);
2836 oprintf (f
, "[] = {\n");
2839 oprintf (f
, " { &%s, 1, sizeof (%s), NULL, NULL },\n",
2843 finish_root_table (flp
, "ggc_rd", "LAST_GGC_ROOT_TAB", "ggc_root_tab",
2844 "gt_ggc_deletable_rtab");
2846 for (v
= variables
; v
; v
= v
->next
)
2848 outf_p f
= get_output_file_with_visibility (v
->line
.file
);
2850 const char *if_marked
= NULL
;
2854 for (o
= v
->opt
; o
; o
= o
->next
)
2855 if (strcmp (o
->name
, "length") == 0)
2857 else if (strcmp (o
->name
, "if_marked") == 0)
2858 if_marked
= o
->info
;
2860 if (if_marked
== NULL
)
2863 if (v
->type
->kind
!= TYPE_POINTER
2864 || v
->type
->u
.p
->kind
!= TYPE_PARAM_STRUCT
2865 || v
->type
->u
.p
->u
.param_struct
.stru
!= find_structure ("htab", 0))
2867 error_at_line (&v
->line
, "if_marked option used but not hash table");
2871 for (fli
= flp
; fli
; fli
= fli
->next
)
2874 if (! fli
->started_p
)
2878 oprintf (f
, "const struct ggc_cache_tab gt_ggc_rc_");
2879 put_mangled_filename (f
, v
->line
.file
);
2880 oprintf (f
, "[] = {\n");
2883 write_root (f
, v
, v
->type
->u
.p
->u
.param_struct
.param
[0],
2884 v
->name
, length_p
, &v
->line
, if_marked
);
2887 finish_root_table (flp
, "ggc_rc", "LAST_GGC_CACHE_TAB", "ggc_cache_tab",
2888 "gt_ggc_cache_rtab");
2890 for (v
= variables
; v
; v
= v
->next
)
2892 outf_p f
= get_output_file_with_visibility (v
->line
.file
);
2895 int if_marked_p
= 0;
2898 for (o
= v
->opt
; o
; o
= o
->next
)
2899 if (strcmp (o
->name
, "length") == 0)
2901 else if (strcmp (o
->name
, "if_marked") == 0)
2907 for (fli
= flp
; fli
; fli
= fli
->next
)
2910 if (! fli
->started_p
)
2914 oprintf (f
, "const struct ggc_root_tab gt_pch_rc_");
2915 put_mangled_filename (f
, v
->line
.file
);
2916 oprintf (f
, "[] = {\n");
2919 write_root (f
, v
, v
->type
, v
->name
, length_p
, &v
->line
, NULL
);
2922 finish_root_table (flp
, "pch_rc", "LAST_GGC_ROOT_TAB", "ggc_root_tab",
2923 "gt_pch_cache_rtab");
2925 for (v
= variables
; v
; v
= v
->next
)
2927 outf_p f
= get_output_file_with_visibility (v
->line
.file
);
2932 for (o
= v
->opt
; o
; o
= o
->next
)
2933 if (strcmp (o
->name
, "deletable") == 0
2934 || strcmp (o
->name
, "if_marked") == 0)
2940 if (! contains_scalar_p (v
->type
))
2943 for (fli
= flp
; fli
; fli
= fli
->next
)
2946 if (! fli
->started_p
)
2950 oprintf (f
, "const struct ggc_root_tab gt_pch_rs_");
2951 put_mangled_filename (f
, v
->line
.file
);
2952 oprintf (f
, "[] = {\n");
2955 oprintf (f
, " { &%s, 1, sizeof (%s), NULL, NULL },\n",
2959 finish_root_table (flp
, "pch_rs", "LAST_GGC_ROOT_TAB", "ggc_root_tab",
2960 "gt_pch_scalar_rtab");
2964 extern int main (int argc
, char **argv
);
2966 main(int ARG_UNUSED (argc
), char ** ARG_UNUSED (argv
))
2969 static struct fileloc pos
= { __FILE__
, __LINE__
};
2974 srcdir_len
= strlen (srcdir
);
2976 do_scalar_typedef ("CUMULATIVE_ARGS", &pos
);
2977 do_scalar_typedef ("REAL_VALUE_TYPE", &pos
);
2978 do_scalar_typedef ("uint8", &pos
);
2979 do_scalar_typedef ("jword", &pos
);
2980 do_scalar_typedef ("JCF_u2", &pos
);
2981 #ifdef USE_MAPPED_LOCATION
2982 do_scalar_typedef ("location_t", &pos
);
2983 do_scalar_typedef ("source_locus", &pos
);
2985 do_scalar_typedef ("void", &pos
);
2987 do_typedef ("PTR", create_pointer (resolve_typedef ("void", &pos
)), &pos
);
2989 do_typedef ("HARD_REG_SET", create_array (
2990 create_scalar_type ("unsigned long", strlen ("unsigned long")),
2993 for (i
= 0; i
< NUM_GT_FILES
; i
++)
2996 /* Omit if already seen. */
2997 for (j
= 0; j
< i
; j
++)
2999 if (!strcmp (all_files
[i
], all_files
[j
]))
3006 parse_file (all_files
[i
]);
3007 #ifndef USE_MAPPED_LOCATION
3008 /* temporary kludge - gengtype doesn't handle conditionals.
3009 Manually add source_locus *after* we've processed input.h. */
3011 do_typedef ("source_locus", create_pointer (resolve_typedef ("location_t", &pos
)), &pos
);
3018 set_gc_used (variables
);
3021 write_enum_defn (structures
, param_structs
);
3022 write_types (structures
, param_structs
, &ggc_wtd
);
3023 write_types (structures
, param_structs
, &pch_wtd
);
3024 write_local (structures
, param_structs
);
3025 write_roots (variables
);
3027 close_output_files ();
3029 return (hit_error
!= 0);