diff options
author | Geoffrey Keating <geoffk@redhat.com> | 2002-06-04 07:11:05 +0000 |
---|---|---|
committer | Geoffrey Keating <geoffk@gcc.gnu.org> | 2002-06-04 07:11:05 +0000 |
commit | e2500fedef1a1c5b9e818fd1e2c281adff80df4a (patch) | |
tree | 720630adca0f6b357e05c4feb8cbe33d556925ce /gcc/gengtype.c | |
parent | c2ae66169b8326bbf9b1dfa63083d2560fea7ddf (diff) | |
download | gcc-e2500fedef1a1c5b9e818fd1e2c281adff80df4a.zip gcc-e2500fedef1a1c5b9e818fd1e2c281adff80df4a.tar.gz gcc-e2500fedef1a1c5b9e818fd1e2c281adff80df4a.tar.bz2 |
Merge from pch-branch up to tag pch-commit-20020603.
From-SVN: r54232
Diffstat (limited to 'gcc/gengtype.c')
-rw-r--r-- | gcc/gengtype.c | 1824 |
1 files changed, 1824 insertions, 0 deletions
diff --git a/gcc/gengtype.c b/gcc/gengtype.c new file mode 100644 index 0000000..dda57e2 --- /dev/null +++ b/gcc/gengtype.c @@ -0,0 +1,1824 @@ +/* Process source files and output type information. + Copyright (C) 2002 Free Software Foundation, Inc. + +This file is part of GCC. + +GCC is free software; you can redistribute it and/or modify it under +the terms of the GNU General Public License as published by the Free +Software Foundation; either version 2, or (at your option) any later +version. + +GCC is distributed in the hope that it will be useful, but WITHOUT ANY +WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with GCC; see the file COPYING. If not, write to the Free +Software Foundation, 59 Temple Place - Suite 330, Boston, MA +02111-1307, USA. */ + +#include "hconfig.h" +#include "system.h" +#include <ctype.h> +#include "gengtype.h" + +static int hit_error = 0; +void +error_at_line VPARAMS ((struct fileloc *pos, const char *msg, ...)) +{ + VA_OPEN (ap, msg); + VA_FIXEDARG (ap, struct fileloc *, pos); + VA_FIXEDARG (ap, const char *, msg); + + fprintf (stderr, "%s:%d: ", pos->file, pos->line); + vfprintf (stderr, msg, ap); + fputc ('\n', stderr); + hit_error = 1; + + VA_CLOSE (ap); +} + +struct type string_type = { + TYPE_STRING, NULL, NULL, GC_USED + UNION_INIT_ZERO +}; + +static pair_p typedefs; +static type_p structures; +static type_p param_structs; +static pair_p variables; + +void +do_typedef (s, t, pos) + const char *s; + type_p t; + struct fileloc *pos; +{ + pair_p p; + + for (p = typedefs; p != NULL; p = p->next) + if (strcmp (p->name, s) == 0) + { + if (p->type != t) + { + error_at_line (pos, "type `%s' previously defined", s); + error_at_line (&p->line, "previously defined here"); + } + return; + } + + p = xmalloc (sizeof (struct pair)); + p->next = typedefs; + p->name = s; + p->type = t; + p->line = *pos; + typedefs = p; +} + +type_p +resolve_typedef (s, pos) + const char *s; + struct fileloc *pos; +{ + pair_p p; + for (p = typedefs; p != NULL; p = p->next) + if (strcmp (p->name, s) == 0) + return p->type; + error_at_line (pos, "unidentified type `%s'", s); + return create_scalar_type ("char", 4); +} + +void +new_structure (name, isunion, pos, fields, o) + const char *name; + int isunion; + struct fileloc *pos; + pair_p fields; + options_p o; +{ + type_p si; + type_p s = NULL; + lang_bitmap bitmap = get_base_file_bitmap (pos->file); + + for (si = structures; si != NULL; si = si->next) + if (strcmp (name, si->u.s.tag) == 0 + && UNION_P (si) == isunion) + { + type_p ls = NULL; + if (si->kind == TYPE_LANG_STRUCT) + { + ls = si; + + for (si = ls->u.s.lang_struct; si != NULL; si = si->next) + if (si->u.s.bitmap == bitmap) + s = si; + } + else if (si->u.s.line.file != NULL && si->u.s.bitmap != bitmap) + { + ls = si; + si = xcalloc (1, sizeof (struct type)); + memcpy (si, ls, sizeof (struct type)); + ls->kind = TYPE_LANG_STRUCT; + ls->u.s.lang_struct = si; + ls->u.s.fields = NULL; + si->next = NULL; + si->pointer_to = NULL; + si->u.s.lang_struct = ls; + } + else + s = si; + + if (ls != NULL && s == NULL) + { + s = xcalloc (1, sizeof (struct type)); + s->next = ls->u.s.lang_struct; + ls->u.s.lang_struct = s; + s->u.s.lang_struct = ls; + } + break; + } + + if (s == NULL) + { + s = xcalloc (1, sizeof (struct type)); + s->next = structures; + structures = s; + } + + if (s->u.s.line.file != NULL + || (s->u.s.lang_struct && (s->u.s.lang_struct->u.s.bitmap & bitmap))) + { + error_at_line (pos, "duplicate structure definition"); + error_at_line (&s->u.s.line, "previous definition here"); + } + + s->kind = isunion ? TYPE_UNION : TYPE_STRUCT; + s->u.s.tag = name; + s->u.s.line = *pos; + s->u.s.fields = fields; + s->u.s.opt = o; + s->u.s.bitmap = bitmap; + if (s->u.s.lang_struct) + s->u.s.lang_struct->u.s.bitmap |= bitmap; +} + +type_p +find_structure (name, isunion) + const char *name; + int isunion; +{ + type_p s; + + for (s = structures; s != NULL; s = s->next) + if (strcmp (name, s->u.s.tag) == 0 + && UNION_P (s) == isunion) + return s; + + s = xcalloc (1, sizeof (struct type)); + s->next = structures; + structures = s; + s->kind = isunion ? TYPE_UNION : TYPE_STRUCT; + s->u.s.tag = name; + structures = s; + return s; +} + +type_p +create_scalar_type (name, name_len) + const char *name; + size_t name_len; +{ + type_p r = xcalloc (1, sizeof (struct type)); + r->kind = TYPE_SCALAR; + r->u.sc = xmemdup (name, name_len, name_len + 1); + return r; +} + +type_p +create_pointer (t) + type_p t; +{ + if (! t->pointer_to) + { + type_p r = xcalloc (1, sizeof (struct type)); + r->kind = TYPE_POINTER; + r->u.p = t; + t->pointer_to = r; + } + return t->pointer_to; +} + +type_p +create_array (t, len) + type_p t; + const char *len; +{ + type_p v; + + v = xcalloc (1, sizeof (*v)); + v->kind = TYPE_ARRAY; + v->u.a.p = t; + v->u.a.len = len; + return v; +} + +type_p +adjust_field_type (t, opt) + type_p t; + options_p opt; +{ + int length_p = 0; + const int pointer_p = t->kind == TYPE_POINTER; + + for (; opt; opt = opt->next) + if (strcmp (opt->name, "length") == 0) + length_p = 1; + else if (strcmp (opt->name, "param_is") == 0) + { + type_p realt; + + if (pointer_p) + t = t->u.p; + + for (realt = param_structs; realt; realt = realt->next) + if (realt->u.param_struct.stru == t + && realt->u.param_struct.param == (type_p) opt->info) + return pointer_p ? create_pointer (realt) : realt; + realt = xcalloc (1, sizeof (*realt)); + realt->kind = TYPE_PARAM_STRUCT; + realt->next = param_structs; + param_structs = realt; + realt->u.param_struct.stru = t; + realt->u.param_struct.param = (type_p) opt->info; + return pointer_p ? create_pointer (realt) : realt; + } + + if (! length_p + && pointer_p + && t->u.p->kind == TYPE_SCALAR + && (strcmp (t->u.p->u.sc, "char") == 0 + || strcmp (t->u.p->u.sc, "unsigned char") == 0)) + return &string_type; + if (t->kind == TYPE_ARRAY && t->u.a.p->kind == TYPE_POINTER + && t->u.a.p->u.p->kind == TYPE_SCALAR + && (strcmp (t->u.a.p->u.p->u.sc, "char") == 0 + || strcmp (t->u.a.p->u.p->u.sc, "unsigned char") == 0)) + return create_array (&string_type, t->u.a.len); + + return t; +} + +void +note_variable (s, t, o, pos) + const char *s; + type_p t; + options_p o; + struct fileloc *pos; +{ + pair_p n; + n = xmalloc (sizeof (*n)); + n->name = s; + n->type = t; + n->line = *pos; + n->opt = o; + n->next = variables; + variables = n; +} + +void +note_yacc_type (o, fields, typeinfo, pos) + options_p o; + pair_p fields; + pair_p typeinfo; + struct fileloc *pos; +{ + pair_p p; + pair_p *p_p; + + for (p = typeinfo; p; p = p->next) + { + pair_p m; + + if (p->name == NULL) + continue; + + if (p->type == (type_p) 1) + { + pair_p pp; + int ok = 0; + + for (pp = typeinfo; pp; pp = pp->next) + if (pp->type != (type_p) 1 + && strcmp (pp->opt->info, p->opt->info) == 0) + { + ok = 1; + break; + } + if (! ok) + continue; + } + + for (m = fields; m; m = m->next) + if (strcmp (m->name, p->name) == 0) + p->type = m->type; + if (p->type == NULL) + { + error_at_line (&p->line, + "couldn't match fieldname `%s'", p->name); + p->name = NULL; + } + } + + p_p = &typeinfo; + while (*p_p) + { + pair_p p = *p_p; + + if (p->name == NULL + || p->type == (type_p) 1) + *p_p = p->next; + else + p_p = &p->next; + } + + new_structure ("yy_union", 1, pos, typeinfo, o); + do_typedef ("YYSTYPE", find_structure ("yy_union", 1), pos); +} + +static void process_gc_options PARAMS ((options_p, enum gc_used_enum, int *)); +static void set_gc_used_type PARAMS ((type_p, enum gc_used_enum)); +static void set_gc_used PARAMS ((pair_p)); + +static void +process_gc_options (opt, level, maybe_undef) + options_p opt; + enum gc_used_enum level; + int *maybe_undef; +{ + options_p o; + for (o = opt; o; o = o->next) + if (strcmp (o->name, "ptr_alias") == 0 && level == GC_POINTED_TO) + set_gc_used_type ((type_p) o->info, GC_POINTED_TO); + else if (strcmp (o->name, "maybe_undef") == 0) + *maybe_undef = 1; +} + +static void +set_gc_used_type (t, level) + type_p t; + enum gc_used_enum level; +{ + if (t->gc_used >= level) + return; + + t->gc_used = level; + + switch (t->kind) + { + case TYPE_STRUCT: + case TYPE_UNION: + { + pair_p f; + int dummy; + + process_gc_options (t->u.s.opt, level, &dummy); + + for (f = t->u.s.fields; f; f = f->next) + { + int maybe_undef = 0; + process_gc_options (t->u.s.opt, level, &maybe_undef); + + if (maybe_undef && f->type->kind == TYPE_POINTER) + set_gc_used_type (f->type->u.p, GC_MAYBE_POINTED_TO); + else + set_gc_used_type (f->type, GC_USED); + } + break; + } + + case TYPE_POINTER: + set_gc_used_type (t->u.p, GC_POINTED_TO); + break; + + case TYPE_ARRAY: + set_gc_used_type (t->u.a.p, GC_USED); + break; + + case TYPE_LANG_STRUCT: + for (t = t->u.s.lang_struct; t; t = t->next) + set_gc_used_type (t, level); + break; + + case TYPE_PARAM_STRUCT: + set_gc_used_type (t->u.param_struct.param, GC_POINTED_TO); + set_gc_used_type (t->u.param_struct.stru, GC_USED); + break; + + default: + break; + } +} + +static void +set_gc_used (variables) + pair_p variables; +{ + pair_p p; + for (p = variables; p; p = p->next) + set_gc_used_type (p->type, GC_USED); +} + +/* File mapping routines. For each input file, there is one output .c file + (but some output files have many input files), and there is one .h file + for the whole build. */ + +typedef struct filemap *filemap_p; + +struct filemap { + filemap_p next; + const char *input_name; + const char *output_name; + FILE *output; +}; + +static filemap_p files; +FILE * header_file; + +enum { + BASE_FILE_C, + BASE_FILE_OBJC, + BASE_FILE_CPLUSPLUS +}; +static const char *lang_names[] = { + "c", "objc", "cp", "f", "ada", "java" +}; +#define NUM_BASE_FILES (sizeof (lang_names) / sizeof (lang_names[0])) +FILE *base_files[NUM_BASE_FILES]; + +static FILE * create_file PARAMS ((const char *)); +static const char * get_file_basename PARAMS ((const char *)); + +static FILE * +create_file (name) + const char *name; +{ + static const char *const hdr[] = { + " Copyright (C) 2002 Free Software Foundation, Inc.\n", + "\n", + "This file is part of GCC.\n", + "\n", + "GCC is free software; you can redistribute it and/or modify it under\n", + "the terms of the GNU General Public License as published by the Free\n", + "Software Foundation; either version 2, or (at your option) any later\n", + "version.\n", + "\n", + "GCC is distributed in the hope that it will be useful, but WITHOUT ANY\n", + "WARRANTY; without even the implied warranty of MERCHANTABILITY or\n", + "FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License\n", + "for more details.\n", + "\n", + "You should have received a copy of the GNU General Public License\n", + "along with GCC; see the file COPYING. If not, write to the Free\n", + "Software Foundation, 59 Temple Place - Suite 330, Boston, MA\n", + "02111-1307, USA. */\n", + "\n", + "/* This file is machine generated. Do not edit. */\n" + }; + FILE *f; + size_t i; + + f = tmpfile(); + if (f == NULL) + { + perror ("couldn't create temporary file"); + exit (1); + } + fprintf (f, "/* Type information for %s.\n", name); + for (i = 0; i < sizeof(hdr)/sizeof(hdr[0]); i++) + fputs (hdr[i], f); + return f; +} + +static void +open_base_files (void) +{ + size_t i; + + header_file = create_file ("GCC"); + + for (i = 0; i < NUM_BASE_FILES; i++) + { + filemap_p newf; + char *s; + + base_files[i] = create_file (lang_names[i]); + newf = xmalloc (sizeof (*newf)); + newf->next = files; + files = newf; + newf->input_name = NULL; + newf->output = base_files[i]; + newf->output_name = s = xmalloc (16); + sprintf (s, "gtype-%s.h", lang_names[i]); + } +} + +#define startswith(len, c, s) \ + ((size_t)(len) >= strlen (s) && memcmp (c, s, strlen (s)) == 0) + +static const char * +get_file_basename (f) + const char *f; +{ + size_t len; + const char *basename; + + /* Determine the output file name. */ + len = strlen (f); + basename = strrchr (f, '/'); + if (basename == NULL) + basename = f; + else + basename++; + if (startswith (basename - f, basename-2, "f/")) + basename -= 2; + else if (startswith (basename - f, basename-3, "cp/")) + basename -= 3; + else if (startswith (basename - f, basename-4, "ada/")) + basename -= 4; + else if (startswith (basename - f, basename-5, "java/")) + basename -= 5; + else if (startswith (basename - f, basename-5, "objc/")) + basename -= 5; + + return basename; +} + +unsigned +get_base_file_bitmap (input_file) + const char *input_file; +{ + const char *basename = get_file_basename (input_file); + const char *slashpos = strchr (basename, '/'); + size_t len = strlen (basename); + + if (slashpos != NULL) + { + size_t i; + for (i = 0; i < NUM_BASE_FILES; i++) + if ((size_t)(slashpos - basename) == strlen (lang_names [i]) + && memcmp (basename, lang_names[i], strlen (lang_names[i])) == 0) + return 1 << i; + } + else if (strcmp (basename, "c-lang.c") == 0) + return 1 << BASE_FILE_C; + else if (strcmp (basename, "c-parse.in") == 0 + || strcmp (basename, "c-tree.h") == 0 + || strcmp (basename, "c-decl.c") == 0 + || strcmp (basename, "c-objc-common.c") == 0) + return 1 << BASE_FILE_C | 1 << BASE_FILE_OBJC; + else if (startswith (len, basename, "c-")) + return 1 << BASE_FILE_C | 1 << BASE_FILE_OBJC | 1 << BASE_FILE_CPLUSPLUS; + else + return (1 << NUM_BASE_FILES) - 1; + abort (); +} + +FILE * +get_output_file_with_visibility (input_file) + const char *input_file; +{ + filemap_p fm, fmo; + size_t len; + const char *basename; + + /* Do we already know the file? */ + for (fm = files; fm; fm = fm->next) + if (input_file == fm->input_name) + return fm->output; + + /* No, we'll be creating a new filemap. */ + fm = xmalloc (sizeof (*fm)); + fm->next = files; + files = fm; + fm->input_name = input_file; + + /* Determine the output file name. */ + basename = get_file_basename (input_file); + + len = strlen (basename); + if ((len > 2 && memcmp (basename+len-2, ".c", 2) == 0) + || (len > 2 && memcmp (basename+len-2, ".y", 2) == 0) + || (len > 3 && memcmp (basename+len-3, ".in", 3) == 0)) + { + char *s; + + fm->output_name = s = xmalloc (sizeof ("gt-") + len); + sprintf (s, "gt-%s", basename); + for (; *s != '.'; s++) + if (! isalnum (*s) && *s != '-') + *s = '-'; + memcpy (s, ".h", sizeof (".h")); + } + else if (strcmp (basename, "c-common.h") == 0) + fm->output_name = "gt-c-common.h"; + else if (strcmp (basename, "c-tree.h") == 0) + fm->output_name = "gt-c-decl.h"; + else + { + size_t i; + + fm->output_name = "gtype-desc.c"; + for (i = 0; i < NUM_BASE_FILES; i++) + if (memcmp (basename, lang_names[i], strlen (lang_names[i])) == 0 + && basename[strlen(lang_names[i])] == '/') + { + char *s; + + s = xmalloc (16); + sprintf (s, "gtype-%s.h", lang_names[i]); + fm->output_name = s; + break; + } + } + + /* Look through to see if we've ever seen this output filename before. */ + for (fmo = fm->next; fmo; fmo = fmo->next) + if (strcmp (fmo->output_name, fm->output_name) == 0) + { + fm->output = fmo->output; + break; + } + + /* If not, create it. */ + if (fmo == NULL) + { + fm->output = create_file (fm->output_name); + if (strcmp (fm->output_name, "gtype-desc.c") == 0) + { + fputs ("#include \"config.h\"\n", fm->output); + fputs ("#include \"system.h\"\n", fm->output); + fputs ("#include \"varray.h\"\n", fm->output); + fputs ("#include \"hashtab.h\"\n", fm->output); + fputs ("#include \"bitmap.h\"\n", fm->output); + fputs ("#include \"tree.h\"\n", fm->output); + fputs ("#include \"rtl.h\"\n", fm->output); + fputs ("#include \"function.h\"\n", fm->output); + fputs ("#include \"insn-config.h\"\n", fm->output); + fputs ("#include \"expr.h\"\n", fm->output); + fputs ("#include \"hard-reg-set.h\"\n", fm->output); + fputs ("#include \"basic-block.h\"\n", fm->output); + fputs ("#include \"cselib.h\"\n", fm->output); + fputs ("#include \"insn-addr.h\"\n", fm->output); + fputs ("#include \"ssa.h\"\n", fm->output); + fputs ("#include \"optabs.h\"\n", fm->output); + fputs ("#include \"libfuncs.h\"\n", fm->output); + fputs ("#include \"debug.h\"\n", fm->output); + fputs ("#include \"ggc.h\"\n", fm->output); + } + } + + return fm->output; +} + +const char * +get_output_file_name (input_file) + const char *input_file; +{ + filemap_p fm; + + for (fm = files; fm; fm = fm->next) + if (input_file == fm->input_name) + return fm->output_name; + (void) get_output_file_with_visibility (input_file); + return get_output_file_name (input_file); +} + +static void +close_output_files PARAMS ((void)) +{ + filemap_p fm; + struct filemap header; + header.next = files; + header.output_name = "gtype-desc.h"; + header.output = header_file; + + for (fm = &header; fm; fm = fm->next) + { + int no_write_p; + filemap_p ofm; + FILE *newfile; + + /* Handle each output file once. */ + if (fm->output == NULL) + continue; + + for (ofm = fm->next; ofm; ofm = ofm->next) + if (fm->output == ofm->output) + ofm->output = NULL; + + /* Compare the output file with the file to be created, avoiding + unnecessarily changing timestamps. */ + newfile = fopen (fm->output_name, "r"); + if (newfile != NULL) + { + int ch1, ch2; + + rewind (fm->output); + do { + ch1 = fgetc (fm->output); + ch2 = fgetc (newfile); + } while (ch1 != EOF && ch1 == ch2); + + fclose (newfile); + + no_write_p = ch1 == ch2; + } + else + no_write_p = 0; + + /* Nothing interesting to do. Close the output file. */ + if (no_write_p) + { + fclose (fm->output); + continue; + } + + newfile = fopen (fm->output_name, "w"); + if (newfile == NULL) + { + perror ("opening output file"); + exit (1); + } + { + int ch; + rewind (fm->output); + while ((ch = fgetc (fm->output)) != EOF) + fputc (ch, newfile); + } + fclose (newfile); + fclose (fm->output); + } +} + +struct flist { + struct flist *next; + int started_p; + const char *name; + FILE *f; +}; + +static void output_escaped_param PARAMS ((FILE *, const char *, const char *, + const char *, const char *, + struct fileloc *)); +static void write_gc_structure_fields + PARAMS ((FILE *, type_p, const char *, const char *, options_p, + int, struct fileloc *, lang_bitmap, type_p)); +static void write_gc_marker_routine_for_structure PARAMS ((type_p, type_p)); +static void write_gc_types PARAMS ((type_p structures, type_p param_structs)); +static void put_mangled_filename PARAMS ((FILE *, const char *)); +static void finish_root_table PARAMS ((struct flist *flp, const char *pfx, + const char *tname, const char *lastname, + const char *name)); +static void write_gc_root PARAMS ((FILE *, pair_p, type_p, const char *, int, + struct fileloc *, const char *)); +static void write_gc_roots PARAMS ((pair_p)); + +static int gc_counter; + +static void +output_escaped_param (of, param, val, prev_val, oname, line) + FILE *of; + const char *param; + const char *val; + const char *prev_val; + const char *oname; + struct fileloc *line; +{ + const char *p; + + for (p = param; *p; p++) + if (*p != '%') + fputc (*p, of); + else if (*++p == 'h') + fprintf (of, "(%s)", val); + else if (*p == '0') + fputs ("(*x)", of); + else if (*p == '1') + fprintf (of, "(%s)", prev_val); + else + error_at_line (line, "`%s' option contains bad escape %c%c", + oname, '%', *p); +} + +static void +write_gc_structure_fields (of, s, val, prev_val, opts, indent, line, bitmap, + param) + FILE *of; + type_p s; + const char *val; + const char *prev_val; + options_p opts; + int indent; + struct fileloc *line; + lang_bitmap bitmap; + type_p param; +{ + pair_p f; + int tagcounter = -1; + + if (! s->u.s.line.file) + error_at_line (line, "incomplete structure `%s'", s->u.s.tag); + else if ((s->u.s.bitmap & bitmap) != bitmap) + { + error_at_line (line, "structure defined for mismatching languages"); + error_at_line (&s->u.s.line, "one structure defined here"); + } + + if (s->kind == TYPE_UNION) + { + const char *tagexpr = NULL; + options_p oo; + + tagcounter = ++gc_counter; + for (oo = opts; oo; oo = oo->next) + if (strcmp (oo->name, "desc") == 0) + tagexpr = (const char *)oo->info; + if (tagexpr == NULL) + { + tagexpr = "1"; + error_at_line (line, "missing `desc' option"); + } + + fprintf (of, "%*s{\n", indent, ""); + indent += 2; + fprintf (of, "%*sunsigned int tag%d = (", indent, "", tagcounter); + output_escaped_param (of, tagexpr, val, prev_val, "desc", line); + fputs (");\n", of); + } + + for (f = s->u.s.fields; f; f = f->next) + { + const char *tagid = NULL; + const char *length = NULL; + const char *special = NULL; + int skip_p = 0; + int always_p = 0; + int maybe_undef_p = 0; + int use_param_p = 0; + options_p oo; + type_p t = f->type; + + if (t->kind == TYPE_SCALAR + || (t->kind == TYPE_ARRAY + && t->u.a.p->kind == TYPE_SCALAR)) + continue; + + for (oo = f->opt; oo; oo = oo->next) + if (strcmp (oo->name, "length") == 0) + length = (const char *)oo->info; + else if (strcmp (oo->name, "maybe_undef") == 0) + maybe_undef_p = 1; + else if (strcmp (oo->name, "tag") == 0) + tagid = (const char *)oo->info; + else if (strcmp (oo->name, "special") == 0) + special = (const char *)oo->info; + else if (strcmp (oo->name, "skip") == 0) + skip_p = 1; + else if (strcmp (oo->name, "always") == 0) + always_p = 1; + else if (strcmp (oo->name, "desc") == 0 && UNION_P (t)) + ; + else if (strcmp (oo->name, "descbits") == 0 && UNION_P (t)) + ; + else if (strcmp (oo->name, "param_is") == 0) + ; + else if (strcmp (oo->name, "use_param") == 0) + use_param_p = 1; + else + error_at_line (&f->line, "unknown field option `%s'\n", oo->name); + + if (skip_p) + continue; + + if (use_param_p) + { + if (param != NULL) + { + type_p t1; + type_p nt = param; + int arraycount = 0; + + for (t1 = t; t->kind == TYPE_ARRAY; t = t->u.a.p) + arraycount++; + for (; t->kind == TYPE_POINTER; t = t->u.p) + nt = create_pointer (nt); + while (arraycount-- > 0) + nt = create_array (nt, t->u.a.len); + t = nt; + } + else if (s->kind == TYPE_UNION && ! always_p && tagid) + ; + else + error_at_line (&f->line, "no parameter defined"); + } + + if (maybe_undef_p + && (t->kind != TYPE_POINTER + || t->u.p->kind != TYPE_STRUCT)) + error_at_line (&f->line, + "field `%s' has invalid option `maybe_undef_p'\n", + f->name); + if (s->kind == TYPE_UNION && ! always_p ) + { + if (! tagid) + { + error_at_line (&f->line, "field `%s' has no tag", f->name); + continue; + } + fprintf (of, "%*sif (tag%d == (%s)) {\n", indent, "", + tagcounter, tagid); + indent += 2; + } + + switch (t->kind) + { + case TYPE_STRING: + /* Do nothing; strings go in the string pool. */ + break; + + case TYPE_LANG_STRUCT: + { + type_p ti; + for (ti = t->u.s.lang_struct; ti; ti = ti->next) + if (ti->u.s.bitmap & bitmap) + { + t = ti; + break; + } + if (ti == NULL) + { + error_at_line (&f->line, + "structure not defined for this language"); + break; + } + } + /* Fall through... */ + case TYPE_STRUCT: + case TYPE_UNION: + { + char *newval; + + newval = xmalloc (strlen (val) + sizeof (".") + strlen (f->name)); + sprintf (newval, "%s.%s", val, f->name); + write_gc_structure_fields (of, t, newval, val, f->opt, indent, + &f->line, bitmap, param); + free (newval); + break; + } + + case TYPE_POINTER: + if (! length) + { + if (maybe_undef_p + && t->u.p->u.s.line.file == NULL) + fprintf (of, "%*sif (%s.%s) abort();\n", indent, "", + val, f->name); + else if (UNION_OR_STRUCT_P (t->u.p)) + fprintf (of, "%*sgt_ggc_m_%s (%s.%s);\n", indent, "", + t->u.p->u.s.tag, val, f->name); + else if (t->u.p->kind == TYPE_PARAM_STRUCT) + fprintf (of, "%*sgt_ggc_mm_%d%s_%s (%s.%s);\n", indent, "", + (int) strlen (t->u.p->u.param_struct.param->u.s.tag), + t->u.p->u.param_struct.param->u.s.tag, + t->u.p->u.param_struct.stru->u.s.tag, + val, f->name); + else + error_at_line (&f->line, "field `%s' is pointer to scalar", + f->name); + break; + } + else if (t->u.p->kind == TYPE_SCALAR + || t->u.p->kind == TYPE_STRING) + fprintf (of, "%*sggc_mark (%s.%s);\n", indent, "", + val, f->name); + else + { + int loopcounter = ++gc_counter; + + fprintf (of, "%*sif (%s.%s != NULL) {\n", indent, "", + val, f->name); + indent += 2; + fprintf (of, "%*ssize_t i%d;\n", indent, "", loopcounter); + fprintf (of, "%*sggc_set_mark (%s.%s);\n", indent, "", + val, f->name); + fprintf (of, "%*sfor (i%d = 0; i%d < (", indent, "", + loopcounter, loopcounter); + output_escaped_param (of, length, val, prev_val, "length", line); + fprintf (of, "); i%d++) {\n", loopcounter); + indent += 2; + switch (t->u.p->kind) + { + case TYPE_STRUCT: + case TYPE_UNION: + { + char *newval; + + newval = xmalloc (strlen (val) + 8 + strlen (f->name)); + sprintf (newval, "%s.%s[i%d]", val, f->name, loopcounter); + write_gc_structure_fields (of, t->u.p, newval, val, + f->opt, indent, &f->line, + bitmap, param); + free (newval); + break; + } + case TYPE_POINTER: + if (UNION_OR_STRUCT_P (t->u.p->u.p)) + fprintf (of, "%*sgt_ggc_m_%s (%s.%s[i%d]);\n", indent, "", + t->u.p->u.p->u.s.tag, val, f->name, + loopcounter); + else + error_at_line (&f->line, + "field `%s' is array of pointer to scalar", + f->name); + break; + default: + error_at_line (&f->line, + "field `%s' is array of unimplemented type", + f->name); + break; + } + indent -= 2; + fprintf (of, "%*s}\n", indent, ""); + indent -= 2; + fprintf (of, "%*s}\n", indent, ""); + } + break; + + case TYPE_ARRAY: + { + int loopcounter = ++gc_counter; + type_p ta; + int i; + + if (! length && + (strcmp (t->u.a.len, "0") == 0 + || strcmp (t->u.a.len, "1") == 0)) + error_at_line (&f->line, + "field `%s' is array of size %s", + f->name, t->u.a.len); + + /* Arrays of scalars can be ignored. */ + for (ta = t; ta->kind == TYPE_ARRAY; ta = ta->u.a.p) + ; + if (ta->kind == TYPE_SCALAR + || ta->kind == TYPE_STRING) + break; + + fprintf (of, "%*s{\n", indent, ""); + indent += 2; + + if (special != NULL && strcmp (special, "tree_exp") == 0) + { + fprintf (of, "%*sconst size_t tree_exp_size = (", + indent, ""); + output_escaped_param (of, length, val, prev_val, + "length", line); + fputs (");\n", of); + + length = "first_rtl_op (TREE_CODE ((tree)&%h))"; + } + + for (ta = t, i = 0; ta->kind == TYPE_ARRAY; ta = ta->u.a.p, i++) + { + fprintf (of, "%*ssize_t i%d_%d;\n", + indent, "", loopcounter, i); + fprintf (of, "%*sconst size_t ilimit%d_%d = (", + indent, "", loopcounter, i); + if (i == 0 && length != NULL) + output_escaped_param (of, length, val, prev_val, + "length", line); + else + fputs (ta->u.a.len, of); + fputs (");\n", of); + } + + for (ta = t, i = 0; ta->kind == TYPE_ARRAY; ta = ta->u.a.p, i++) + { + fprintf (of, + "%*sfor (i%d_%d = 0; i%d_%d < ilimit%d_%d; i%d_%d++) {\n", + indent, "", loopcounter, i, loopcounter, i, + loopcounter, i, loopcounter, i); + indent += 2; + } + + if (ta->kind == TYPE_POINTER + && (ta->u.p->kind == TYPE_STRUCT + || ta->u.p->kind == TYPE_UNION)) + { + fprintf (of, "%*sgt_ggc_m_%s (%s.%s", + indent, "", ta->u.p->u.s.tag, val, f->name); + for (ta = t, i = 0; + ta->kind == TYPE_ARRAY; + ta = ta->u.a.p, i++) + fprintf (of, "[i%d_%d]", loopcounter, i); + fputs (");\n", of); + } + else if (ta->kind == TYPE_STRUCT || ta->kind == TYPE_UNION) + { + char *newval; + int len; + + len = strlen (val) + strlen (f->name) + 2; + for (ta = t; ta->kind == TYPE_ARRAY; ta = ta->u.a.p) + len += sizeof ("[i_]") + 2*6; + + newval = xmalloc (len); + sprintf (newval, "%s.%s", val, f->name); + for (ta = t, i = 0; + ta->kind == TYPE_ARRAY; + ta = ta->u.a.p, i++) + sprintf (newval + strlen (newval), "[i%d_%d]", + loopcounter, i); + write_gc_structure_fields (of, t->u.p, newval, val, + f->opt, indent, &f->line, bitmap, + param); + free (newval); + } + else if (ta->kind == TYPE_POINTER && ta->u.p->kind == TYPE_SCALAR + && use_param_p && param == NULL) + fprintf (of, "%*sabort();\n", indent, ""); + else + error_at_line (&f->line, + "field `%s' is array of unimplemented type", + f->name); + for (ta = t, i = 0; ta->kind == TYPE_ARRAY; ta = ta->u.a.p, i++) + { + indent -= 2; + fprintf (of, "%*s}\n", indent, ""); + } + + if (special != NULL && strcmp (special, "tree_exp") == 0) + { + fprintf (of, + "%*sfor (; i%d_0 < tree_exp_size; i%d_0++)\n", + indent, "", loopcounter, loopcounter); + fprintf (of, "%*s gt_ggc_m_rtx_def (%s.%s[i%d_0]);\n", + indent, "", val, f->name, loopcounter); + special = NULL; + } + + indent -= 2; + fprintf (of, "%*s}\n", indent, ""); + break; + } + + default: + error_at_line (&f->line, + "field `%s' is unimplemented type", + f->name); + break; + } + + if (s->kind == TYPE_UNION && ! always_p ) + { + indent -= 2; + fprintf (of, "%*s}\n", indent, ""); + } + if (special) + error_at_line (&f->line, "unhandled special `%s'", special); + } + if (s->kind == TYPE_UNION) + { + indent -= 2; + fprintf (of, "%*s}\n", indent, ""); + } +} + +static void +write_gc_marker_routine_for_structure (s, param) + type_p s; + type_p param; +{ + FILE *f; + if (param == NULL) + f = get_output_file_with_visibility (s->u.s.line.file); + else + f = get_output_file_with_visibility (param->u.s.line.file); + + fputc ('\n', f); + fputs ("void\n", f); + if (param == NULL) + fprintf (f, "gt_ggc_mx_%s (x_p)\n", s->u.s.tag); + else + fprintf (f, "gt_ggc_mm_%d%s_%s (x_p)\n", (int) strlen (param->u.s.tag), + param->u.s.tag, s->u.s.tag); + fputs (" void *x_p;\n", f); + fputs ("{\n", f); + fprintf (f, " %s %s * const x = (%s %s *)x_p;\n", + s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag, + s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag); + fputs (" if (! ggc_test_and_set_mark (x))\n", f); + fputs (" return;\n", f); + + gc_counter = 0; + write_gc_structure_fields (f, s, "(*x)", "not valid postage", + s->u.s.opt, 2, &s->u.s.line, s->u.s.bitmap, + param); + + fputs ("}\n", f); +} + + +static void +write_gc_types (structures, param_structs) + type_p structures; + type_p param_structs; +{ + type_p s; + + fputs ("\n/* GC marker procedures. */\n", header_file); + for (s = structures; s; s = s->next) + if (s->gc_used == GC_POINTED_TO + || s->gc_used == GC_MAYBE_POINTED_TO) + { + options_p opt; + + if (s->gc_used == GC_MAYBE_POINTED_TO + && s->u.s.line.file == NULL) + continue; + + fprintf (header_file, + "#define gt_ggc_m_%s(X) do { \\\n", s->u.s.tag); + fprintf (header_file, + " if (X != NULL) gt_ggc_mx_%s (X);\\\n", s->u.s.tag); + fprintf (header_file, + " } while (0)\n"); + + for (opt = s->u.s.opt; opt; opt = opt->next) + if (strcmp (opt->name, "ptr_alias") == 0) + { + type_p t = (type_p) opt->info; + if (t->kind == TYPE_STRUCT + || t->kind == TYPE_UNION + || t->kind == TYPE_LANG_STRUCT) + fprintf (header_file, + "#define gt_ggc_mx_%s gt_ggc_mx_%s\n", + s->u.s.tag, t->u.s.tag); + else + error_at_line (&s->u.s.line, + "structure alias is not a structure"); + break; + } + if (opt) + continue; + + /* Declare the marker procedure only once. */ + fprintf (header_file, + "extern void gt_ggc_mx_%s PARAMS ((void *));\n", + s->u.s.tag); + + if (s->u.s.line.file == NULL) + { + fprintf (stderr, "warning: structure `%s' used but not defined\n", + s->u.s.tag); + continue; + } + + if (s->kind == TYPE_LANG_STRUCT) + { + type_p ss; + for (ss = s->u.s.lang_struct; ss; ss = ss->next) + write_gc_marker_routine_for_structure (ss, NULL); + } + else + write_gc_marker_routine_for_structure (s, NULL); + } + + for (s = param_structs; s; s = s->next) + if (s->gc_used == GC_POINTED_TO) + { + type_p param = s->u.param_struct.param; + type_p stru = s->u.param_struct.stru; + + if (param->kind != TYPE_STRUCT && param->kind != TYPE_UNION + && param->kind != TYPE_LANG_STRUCT) + { + error_at_line (&s->u.param_struct.line, + "unsupported parameter type"); + continue; + } + + /* Declare the marker procedure. */ + fprintf (header_file, + "extern void gt_ggc_mm_%d%s_%s PARAMS ((void *));\n", + (int) strlen (param->u.s.tag), param->u.s.tag, + stru->u.s.tag); + + if (stru->u.s.line.file == NULL) + { + fprintf (stderr, "warning: structure `%s' used but not defined\n", + s->u.s.tag); + continue; + } + + if (stru->kind == TYPE_LANG_STRUCT) + { + type_p ss; + for (ss = stru->u.s.lang_struct; ss; ss = ss->next) + write_gc_marker_routine_for_structure (ss, param); + } + else + write_gc_marker_routine_for_structure (stru, param); + } +} + +static void +put_mangled_filename (f, fn) + FILE *f; + const char *fn; +{ + const char *name = get_output_file_name (fn); + for (; *name != 0; name++) + if (isalnum (*name)) + fputc (*name, f); + else + fputc ('_', f); +} + +static void +finish_root_table (flp, pfx, lastname, tname, name) + struct flist *flp; + const char *pfx; + const char *tname; + const char *lastname; + const char *name; +{ + struct flist *fli2; + unsigned started_bitmap = 0; + + for (fli2 = flp; fli2; fli2 = fli2->next) + if (fli2->started_p) + { + fprintf (fli2->f, " %s\n", lastname); + fputs ("};\n\n", fli2->f); + } + + for (fli2 = flp; fli2; fli2 = fli2->next) + if (fli2->started_p) + { + lang_bitmap bitmap = get_base_file_bitmap (fli2->name); + int fnum; + + for (fnum = 0; bitmap != 0; fnum++, bitmap >>= 1) + if (bitmap & 1) + { + fprintf (base_files[fnum], + "extern const struct %s gt_ggc_%s_", + tname, pfx); + put_mangled_filename (base_files[fnum], fli2->name); + fputs ("[];\n", base_files[fnum]); + } + } + + for (fli2 = flp; fli2; fli2 = fli2->next) + if (fli2->started_p) + { + lang_bitmap bitmap = get_base_file_bitmap (fli2->name); + int fnum; + + fli2->started_p = 0; + + for (fnum = 0; bitmap != 0; fnum++, bitmap >>= 1) + if (bitmap & 1) + { + if (! (started_bitmap & (1 << fnum))) + { + fprintf (base_files [fnum], + "const struct %s * const %s[] = {\n", + tname, name); + started_bitmap |= 1 << fnum; + } + fprintf (base_files[fnum], " gt_ggc_%s_", pfx); + put_mangled_filename (base_files[fnum], fli2->name); + fputs (",\n", base_files[fnum]); + } + } + + { + unsigned bitmap; + int fnum; + + for (bitmap = started_bitmap, fnum = 0; bitmap != 0; fnum++, bitmap >>= 1) + if (bitmap & 1) + { + fputs (" NULL\n", base_files[fnum]); + fputs ("};\n\n", base_files[fnum]); + } + } +} + +static void +write_gc_root (f, v, type, name, has_length, line, if_marked) + FILE *f; + pair_p v; + type_p type; + const char *name; + int has_length; + struct fileloc *line; + const char *if_marked; +{ + switch (type->kind) + { + case TYPE_STRUCT: + { + pair_p fld; + for (fld = type->u.s.fields; fld; fld = fld->next) + { + int skip_p = 0; + const char *desc = NULL; + options_p o; + + for (o = fld->opt; o; o = o->next) + if (strcmp (o->name, "skip") == 0) + skip_p = 1; + else if (strcmp (o->name, "desc") == 0) + desc = (const char *)o->info; + else + error_at_line (line, + "field `%s' of global `%s' has unknown option `%s'", + fld->name, name, o->name); + + if (skip_p) + continue; + else if (desc && fld->type->kind == TYPE_UNION) + { + pair_p validf = NULL; + pair_p ufld; + + for (ufld = fld->type->u.s.fields; ufld; ufld = ufld->next) + { + const char *tag = NULL; + options_p oo; + + for (oo = ufld->opt; oo; oo = oo->next) + if (strcmp (oo->name, "tag") == 0) + tag = (const char *)oo->info; + if (tag == NULL || strcmp (tag, desc) != 0) + continue; + if (validf != NULL) + error_at_line (line, + "both `%s.%s.%s' and `%s.%s.%s' have tag `%s'", + name, fld->name, validf->name, + name, fld->name, ufld->name, + tag); + validf = ufld; + } + if (validf != NULL) + { + char *newname; + newname = xmalloc (strlen (name) + 3 + strlen (fld->name) + + strlen (validf->name)); + sprintf (newname, "%s.%s.%s", + name, fld->name, validf->name); + write_gc_root (f, v, validf->type, newname, 0, line, + if_marked); + free (newname); + } + } + else if (desc) + error_at_line (line, + "global `%s.%s' has `desc' option but is not union", + name, fld->name); + else + { + char *newname; + newname = xmalloc (strlen (name) + 2 + strlen (fld->name)); + sprintf (newname, "%s.%s", name, fld->name); + write_gc_root (f, v, fld->type, newname, 0, line, if_marked); + free (newname); + } + } + } + break; + + case TYPE_ARRAY: + { + char *newname; + newname = xmalloc (strlen (name) + 4); + sprintf (newname, "%s[0]", name); + write_gc_root (f, v, type->u.a.p, newname, has_length, line, if_marked); + free (newname); + } + break; + + case TYPE_POINTER: + { + type_p ap, tp; + + fputs (" {\n", f); + fprintf (f, " &%s,\n", name); + fputs (" 1", f); + + for (ap = v->type; ap->kind == TYPE_ARRAY; ap = ap->u.a.p) + if (ap->u.a.len[0]) + fprintf (f, " * (%s)", ap->u.a.len); + else if (ap == v->type) + fprintf (f, " * (sizeof (%s) / sizeof (%s[0]))", + v->name, v->name); + fputs (",\n", f); + fprintf (f, " sizeof (%s", v->name); + for (ap = v->type; ap->kind == TYPE_ARRAY; ap = ap->u.a.p) + fputs ("[0]", f); + fputs ("),\n", f); + + tp = type->u.p; + + if (! has_length && UNION_OR_STRUCT_P (tp)) + { + fprintf (f, " >_ggc_mx_%s\n", tp->u.s.tag); + } + else if (! has_length && tp->kind == TYPE_PARAM_STRUCT) + { + fprintf (f, " >_ggc_mm_%d%s_%s", + (int) strlen (tp->u.param_struct.param->u.s.tag), + tp->u.param_struct.param->u.s.tag, + tp->u.param_struct.stru->u.s.tag); + } + else if (has_length + && tp->kind == TYPE_POINTER) + { + fprintf (f, " >_ggc_ma_%s", name); + } + else + { + error_at_line (line, + "global `%s' is pointer to unimplemented type", + name); + } + if (if_marked) + fprintf (f, ",\n &%s", if_marked); + fputs ("\n },\n", f); + } + break; + + case TYPE_SCALAR: + case TYPE_STRING: + break; + + default: + error_at_line (line, + "global `%s' is unimplemented type", + name); + } +} + +static void +write_gc_roots (variables) + pair_p variables; +{ + pair_p v; + struct flist *flp = NULL; + + for (v = variables; v; v = v->next) + { + FILE *f = get_output_file_with_visibility (v->line.file); + struct flist *fli; + const char *length = NULL; + int deletable_p = 0; + options_p o; + + for (o = v->opt; o; o = o->next) + if (strcmp (o->name, "length") == 0) + length = (const char *)o->info; + else if (strcmp (o->name, "deletable") == 0) + deletable_p = 1; + else if (strcmp (o->name, "param_is") == 0) + ; + else if (strcmp (o->name, "if_marked") == 0) + ; + else + error_at_line (&v->line, + "global `%s' has unknown option `%s'", + v->name, o->name); + + for (fli = flp; fli; fli = fli->next) + if (fli->f == f) + break; + if (fli == NULL) + { + fli = xmalloc (sizeof (*fli)); + fli->f = f; + fli->next = flp; + fli->started_p = 0; + fli->name = v->line.file; + flp = fli; + + fputs ("\n/* GC roots. */\n\n", f); + } + + if (! deletable_p + && length + && v->type->kind == TYPE_POINTER + && (v->type->u.p->kind == TYPE_POINTER + || v->type->u.p->kind == TYPE_STRUCT)) + { + fprintf (f, "static void gt_ggc_ma_%s PARAMS ((void *));\n", + v->name); + fprintf (f, "static void\ngt_ggc_ma_%s (x_p)\n void *x_p;\n", + v->name); + fputs ("{\n", f); + fputs (" size_t i;\n", f); + + if (v->type->u.p->kind == TYPE_POINTER) + { + type_p s = v->type->u.p->u.p; + + fprintf (f, " %s %s ** const x = (%s %s **)x_p;\n", + s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag, + s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag); + fputs (" if (ggc_test_and_set_mark (x))\n", f); + fprintf (f, " for (i = 0; i < (%s); i++)\n", length); + if (s->kind != TYPE_STRUCT && s->kind != TYPE_UNION) + { + error_at_line (&v->line, + "global `%s' has unsupported ** type", + v->name); + continue; + } + + fprintf (f, " gt_ggc_m_%s (x[i]);\n", s->u.s.tag); + } + else + { + type_p s = v->type->u.p; + + fprintf (f, " %s %s * const x = (%s %s *)x_p;\n", + s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag, + s->kind == TYPE_UNION ? "union" : "struct", s->u.s.tag); + fputs (" if (ggc_test_and_set_mark (x))\n", f); + fprintf (f, " for (i = 0; i < (%s); i++)\n", length); + fputs (" {\n", f); + write_gc_structure_fields (f, s, "x[i]", "x[i]", + v->opt, 8, &v->line, s->u.s.bitmap, + NULL); + fputs (" }\n", f); + } + + fputs ("}\n\n", f); + } + } + + for (v = variables; v; v = v->next) + { + FILE *f = get_output_file_with_visibility (v->line.file); + struct flist *fli; + int skip_p = 0; + int length_p = 0; + options_p o; + + for (o = v->opt; o; o = o->next) + if (strcmp (o->name, "length") == 0) + length_p = 1; + else if (strcmp (o->name, "deletable") == 0 + || strcmp (o->name, "if_marked") == 0) + skip_p = 1; + + if (skip_p) + continue; + + for (fli = flp; fli; fli = fli->next) + if (fli->f == f) + break; + if (! fli->started_p) + { + fli->started_p = 1; + + fputs ("const struct ggc_root_tab gt_ggc_r_", f); + put_mangled_filename (f, v->line.file); + fputs ("[] = {\n", f); + } + + write_gc_root (f, v, v->type, v->name, length_p, &v->line, NULL); + } + + finish_root_table (flp, "r", "LAST_GGC_ROOT_TAB", "ggc_root_tab", + "gt_ggc_rtab"); + + for (v = variables; v; v = v->next) + { + FILE *f = get_output_file_with_visibility (v->line.file); + struct flist *fli; + int skip_p = 1; + options_p o; + + for (o = v->opt; o; o = o->next) + if (strcmp (o->name, "deletable") == 0) + skip_p = 0; + else if (strcmp (o->name, "if_marked") == 0) + skip_p = 1; + + if (skip_p) + continue; + + for (fli = flp; fli; fli = fli->next) + if (fli->f == f) + break; + if (! fli->started_p) + { + fli->started_p = 1; + + fputs ("const struct ggc_root_tab gt_ggc_rd_", f); + put_mangled_filename (f, v->line.file); + fputs ("[] = {\n", f); + } + + fprintf (f, " { &%s, 1, sizeof (%s), NULL },\n", + v->name, v->name); + } + + finish_root_table (flp, "rd", "LAST_GGC_ROOT_TAB", "ggc_root_tab", + "gt_ggc_deletable_rtab"); + + for (v = variables; v; v = v->next) + { + FILE *f = get_output_file_with_visibility (v->line.file); + struct flist *fli; + const char *if_marked = NULL; + int length_p = 0; + options_p o; + + for (o = v->opt; o; o = o->next) + if (strcmp (o->name, "length") == 0) + length_p = 1; + else if (strcmp (o->name, "if_marked") == 0) + if_marked = (const char *) o->info; + + if (if_marked == NULL) + continue; + + if (v->type->kind != TYPE_POINTER + || v->type->u.p->kind != TYPE_PARAM_STRUCT + || v->type->u.p->u.param_struct.stru != find_structure ("htab", 0)) + { + error_at_line (&v->line, "if_marked option used but not hash table"); + continue; + } + + for (fli = flp; fli; fli = fli->next) + if (fli->f == f) + break; + if (! fli->started_p) + { + fli->started_p = 1; + + fputs ("const struct ggc_cache_tab gt_ggc_rc_", f); + put_mangled_filename (f, v->line.file); + fputs ("[] = {\n", f); + } + + write_gc_root (f, v, create_pointer (v->type->u.p->u.param_struct.param), + v->name, length_p, &v->line, if_marked); + } + + finish_root_table (flp, "rc", "LAST_GGC_CACHE_TAB", "ggc_cache_tab", + "gt_ggc_cache_rtab"); +} + + +extern int main PARAMS ((int argc, char **argv)); +int +main(argc, argv) + int argc; + char **argv; +{ + int i; + static struct fileloc pos = { __FILE__, __LINE__ }; + + do_typedef ("CUMULATIVE_ARGS", + create_scalar_type ("CUMULATIVE_ARGS", + strlen ("CUMULATIVE_ARGS")), + &pos); + do_typedef ("REAL_VALUE_TYPE", + create_scalar_type ("REAL_VALUE_TYPE", + strlen ("REAL_VALUE_TYPE")), + &pos); + do_typedef ("PTR", create_pointer (create_scalar_type ("void", + strlen ("void"))), + &pos); + + for (i = 1; i < argc; i++) + parse_file (argv[i]); + + if (hit_error != 0) + exit (1); + + set_gc_used (variables); + + open_base_files (); + write_gc_types (structures, param_structs); + write_gc_roots (variables); + close_output_files (); + + return (hit_error != 0); +} |