/* Generate code to allocate RTL structures.
- Copyright (C) 1997, 1998, 1999 Free Software Foundation, Inc.
+ Copyright (C) 1997-2020 Free Software Foundation, Inc.
-This file is part of GNU CC.
+This file is part of GCC.
-GNU CC 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 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 3, or (at your option) any later
+version.
-GNU CC 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.
+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 GNU CC; see the file COPYING. If not, write to
-the Free Software Foundation, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA. */
+along with GCC; see the file COPYING3. If not see
+<http://www.gnu.org/licenses/>. */
-#include "hconfig.h"
+#include "bconfig.h"
#include "system.h"
-#define NO_GENRTL_H
-#include "rtl.h"
-#undef abort
-
-
-struct rtx_definition
+struct rtx_definition
{
- const char *enumname, *name, *format;
+ const char *const enumname, *const name, *const format;
};
-#define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) { STRINGIFY(ENUM), NAME, FORMAT },
+/* rtl.def needs CONST_DOUBLE_FORMAT, but we don't care what
+ CONST_DOUBLE_FORMAT is because we're not going to be generating
+ anything for CONST_DOUBLE anyway. */
+#define CONST_DOUBLE_FORMAT ""
+
+#define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) { #ENUM, NAME, FORMAT },
-struct rtx_definition defs[] =
-{
+static const struct rtx_definition defs[] =
+{
#include "rtl.def" /* rtl expressions are documented here */
};
+#define NUM_RTX_CODE ARRAY_SIZE (defs)
-const char *formats[NUM_RTX_CODE];
-
-static const char *type_from_format PROTO((int));
-static const char *accessor_from_format PROTO((int));
-static int special_format PROTO((const char *));
-static int special_rtx PROTO((int));
-static void find_formats PROTO((void));
-static void gendecl PROTO((FILE *, const char *));
-static void genmacro PROTO((FILE *, int));
-static void gendef PROTO((FILE *, const char *));
-static void genlegend PROTO((FILE *));
-static void genheader PROTO((FILE *));
-static void gencode PROTO((FILE *));
-
+static const char *formats[NUM_RTX_CODE];
+\f
/* Decode a format letter into a C type string. */
static const char *
-type_from_format (c)
- int c;
+type_from_format (int c)
{
switch (c)
{
case 'i':
- return "int";
+ return "int ";
+
case 'w':
- return "HOST_WIDE_INT";
+ return "HOST_WIDE_INT ";
+
+ case 'p':
+ return "poly_uint16 ";
+
case 's':
- return "char *";
- case 'e':
- case 'u':
- return "rtx";
+ return "const char *";
+
+ case 'e': case 'u':
+ return "rtx ";
+
case 'E':
- return "rtvec";
- case 'b':
- return "struct bitmap_head_def *"; /* bitmap - typedef not available */
+ return "rtvec ";
case 't':
- return "union tree_node *"; /* tree - typedef not available */
+ return "tree ";
+ case 'B':
+ return "basic_block ";
default:
- abort ();
+ gcc_unreachable ();
}
}
/* Decode a format letter into the proper accessor function. */
static const char *
-accessor_from_format (c)
- int c;
+accessor_from_format (int c)
{
switch (c)
{
case 'i':
return "XINT";
+
case 'w':
return "XWINT";
+
case 's':
return "XSTR";
- case 'e':
- case 'u':
+
+ case 'e': case 'u':
return "XEXP";
+
case 'E':
return "XVEC";
- case 'b':
- return "XBITMAP";
+
case 't':
return "XTREE";
+
+ case 'B':
+ return "XBBDEF";
+
default:
- abort ();
+ gcc_unreachable ();
}
}
-/* Return true if a format character doesn't need normal processing. */
+/* Return nonzero if we should ignore FMT, an RTL format, when making
+ the list of formats we write routines to create. */
static int
-special_format (fmt)
- const char *fmt;
+special_format (const char *fmt)
{
return (strchr (fmt, '*') != 0
|| strchr (fmt, 'V') != 0
|| strchr (fmt, 'S') != 0
- || strchr (fmt, 'n') != 0);
+ || strchr (fmt, 'n') != 0
+ || strchr (fmt, 'r') != 0);
+}
+
+/* Return true if CODE always has VOIDmode. */
+
+static inline bool
+always_void_p (int idx)
+{
+ return strcmp (defs[idx].enumname, "SET") == 0;
}
-/* Return true if an rtx requires special processing. */
+/* Return nonzero if the RTL code given by index IDX is one that we should
+ generate a gen_rtx_raw_FOO macro for, not gen_rtx_FOO (because gen_rtx_FOO
+ is a wrapper in emit-rtl.c). */
static int
-special_rtx (idx)
- int idx;
+special_rtx (int idx)
{
- return (strcmp (defs[idx].enumname, "CONST_INT") == 0
- || strcmp (defs[idx].enumname, "CONST_DOUBLE") == 0
+ return (strcmp (defs[idx].enumname, "EXPR_LIST") == 0
+ || strcmp (defs[idx].enumname, "INSN_LIST") == 0
+ || strcmp (defs[idx].enumname, "INSN") == 0
+ || strcmp (defs[idx].enumname, "CONST_INT") == 0
|| strcmp (defs[idx].enumname, "REG") == 0
- || strcmp (defs[idx].enumname, "MEM") == 0);
+ || strcmp (defs[idx].enumname, "SUBREG") == 0
+ || strcmp (defs[idx].enumname, "MEM") == 0
+ || strcmp (defs[idx].enumname, "PC") == 0
+ || strcmp (defs[idx].enumname, "CC0") == 0
+ || strcmp (defs[idx].enumname, "RETURN") == 0
+ || strcmp (defs[idx].enumname, "SIMPLE_RETURN") == 0
+ || strcmp (defs[idx].enumname, "CONST_VECTOR") == 0);
}
-/* Fill `formats' with all unique format strings. */
+/* Return nonzero if the RTL code given by index IDX is one that we should
+ generate no macro for at all (because gen_rtx_FOO is never used or
+ cannot have the obvious interface). */
+
+static int
+excluded_rtx (int idx)
+{
+ return (strcmp (defs[idx].enumname, "VAR_LOCATION") == 0
+ || strcmp (defs[idx].enumname, "CONST_DOUBLE") == 0
+ || strcmp (defs[idx].enumname, "CONST_WIDE_INT") == 0
+ || strcmp (defs[idx].enumname, "CONST_POLY_INT") == 0
+ || strcmp (defs[idx].enumname, "CONST_FIXED") == 0);
+}
+
+/* Place a list of all format specifiers we use into the array FORMAT. */
static void
-find_formats ()
+find_formats (void)
{
- int i;
+ unsigned int i;
- for (i = 0; i < NUM_RTX_CODE; ++i)
+ for (i = 0; i < NUM_RTX_CODE; i++)
{
const char **f;
if (special_format (defs[i].format))
continue;
- for (f = formats; *f ; ++f)
+ for (f = formats; *f; f++)
if (! strcmp (*f, defs[i].format))
break;
- if (!*f)
+ if (*f == 0)
*f = defs[i].format;
}
}
-/* Emit a prototype for the rtx generator for a format. */
+
+/* Generate macros to generate RTL of code IDX using the functions we
+ write. */
static void
-gendecl (f, format)
- FILE *f;
- const char *format;
+genmacro (int idx)
{
const char *p;
+ const char *sep = "";
int i;
-
- fprintf (f, "extern rtx gen_rtx_fmt_%s PROTO((RTX_CODE, enum machine_mode mode",
- format);
- for (p = format, i = 0; *p ; ++p)
- if (*p != '0')
- fprintf (f, ", %s arg%d", type_from_format (*p), i++);
- fprintf (f, "));\n");
-}
-/* Emit a define mapping an rtx code to the generator for its format. */
+ /* We write a macro that defines gen_rtx_RTLCODE to be an equivalent to
+ gen_rtx_fmt_FORMAT where FORMAT is the RTX_FORMAT of RTLCODE. */
-static void
-genmacro (f, idx)
- FILE *f;
- int idx;
-{
- const char *p;
- int i;
+ if (excluded_rtx (idx))
+ /* Don't define a macro for this code. */
+ return;
- fprintf (f, "#define gen_rtx_%s%s(mode",
- (special_rtx (idx) ? "raw_" : ""), defs[idx].enumname);
+ bool has_mode_p = !always_void_p (idx);
+ printf ("#define gen_rtx_%s%s(",
+ special_rtx (idx) ? "raw_" : "", defs[idx].enumname);
+ if (has_mode_p)
+ {
+ printf ("MODE");
+ sep = ", ";
+ }
- for (p = defs[idx].format, i = 0; *p ; ++p)
+ for (p = defs[idx].format, i = 0; *p != 0; p++)
if (*p != '0')
- fprintf (f, ", arg%d", i++);
- fprintf (f, ") ");
+ {
+ printf ("%sARG%d", sep, i++);
+ sep = ", ";
+ }
- fprintf (f, "gen_rtx_fmt_%s(%s,(mode)", defs[idx].format, defs[idx].enumname);
- for (p = defs[idx].format, i = 0; *p ; ++p)
+ printf (") \\\n gen_rtx_fmt_%s (%s, %s",
+ defs[idx].format, defs[idx].enumname,
+ has_mode_p ? "(MODE)" : "VOIDmode");
+
+ for (p = defs[idx].format, i = 0; *p != 0; p++)
if (*p != '0')
- fprintf (f, ",(arg%d)", i++);
- fprintf (f, ")\n");
+ printf (", (ARG%d)", i++);
+
+ puts (")");
}
-/* Emit the implementation for the rtx generator for a format. */
+/* Generate the code for functions to generate RTL whose format is FORMAT. */
static void
-gendef (f, format)
- FILE *f;
- const char *format;
+gendef (const char *format)
{
const char *p;
int i, j;
-
- fprintf (f, "rtx\ngen_rtx_fmt_%s (code, mode", format);
- for (p = format, i = 0; *p ; ++p)
- if (*p != '0')
- fprintf (f, ", arg%d", i++);
- fprintf (f, ")\n RTX_CODE code;\n enum machine_mode mode;\n");
- for (p = format, i = 0; *p ; ++p)
- if (*p != '0')
- fprintf (f, " %s arg%d;\n", type_from_format (*p), i++);
+ /* Write the definition of the init function name and the types
+ of the arguments. */
- /* See rtx_alloc in rtl.c for comments. */
- fprintf (f, "{\n");
- fprintf (f, " rtx rt = obstack_alloc_rtx (sizeof (struct rtx_def) + %d * sizeof (rtunion));\n",
- (int) strlen (format) - 1);
+ puts ("static inline rtx");
+ printf ("init_rtx_fmt_%s (rtx rt, machine_mode mode", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (",\n\t%sarg%d", type_from_format (*p), i++);
+ puts (")");
- fprintf (f, " PUT_CODE (rt, code);\n");
- fprintf (f, " PUT_MODE (rt, mode);\n");
+ /* Now write out the body of the init function itself. */
+ puts ("{");
+ puts (" PUT_MODE_RAW (rt, mode);");
for (p = format, i = j = 0; *p ; ++p, ++i)
+ if (*p == '0')
+ printf (" X0EXP (rt, %d) = NULL_RTX;\n", i);
+ else if (*p == 'p')
+ printf (" SUBREG_BYTE (rt) = arg%d;\n", j++);
+ else
+ printf (" %s (rt, %d) = arg%d;\n", accessor_from_format (*p), i, j++);
+
+ puts (" return rt;\n}\n");
+
+ /* Write the definition of the gen function name and the types
+ of the arguments. */
+
+ puts ("static inline rtx");
+ printf ("gen_rtx_fmt_%s_stat (RTX_CODE code, machine_mode mode", format);
+ for (p = format, i = 0; *p != 0; p++)
if (*p != '0')
- {
- fprintf (f, " %s (rt, %d) = arg%d;\n",
- accessor_from_format (*p), i, j++);
- }
+ printf (",\n\t%sarg%d", type_from_format (*p), i++);
+ puts (" MEM_STAT_DECL)");
- fprintf (f, "\n return rt;\n}\n\n");
-}
+ /* Now write out the body of the function itself, which allocates
+ the memory and initializes it. */
+ puts ("{");
+ puts (" rtx rt;\n");
-/* Emit the `do not edit' banner. */
+ puts (" rt = rtx_alloc (code PASS_MEM_STAT);");
+ printf (" return init_rtx_fmt_%s (rt, mode", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (", arg%d", i++);
+ puts (");\n}\n");
-static void
-genlegend (f)
- FILE *f;
-{
- fputs ("/* Generated automaticaly by the program `gengenrtl'\n", f);
- fputs (" from the RTL description file `rtl.def' */\n\n", f);
-}
+ /* Write the definition of gen macro. */
-/* Emit "genrtl.h". */
+ printf ("#define gen_rtx_fmt_%s(c, m", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (", arg%d", i++);
+ printf (") \\\n gen_rtx_fmt_%s_stat ((c), (m)", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (", (arg%d)", i++);
+ printf (" MEM_STAT_INFO)\n\n");
-static void
-genheader (f)
- FILE *f;
-{
- int i;
- const char **fmt;
+ /* Write the definition of alloca macro. */
- for (fmt = formats; *fmt; ++fmt)
- gendecl (f, *fmt);
+ printf ("#define alloca_rtx_fmt_%s(c, m", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (", arg%d", i++);
+ printf (") \\\n init_rtx_fmt_%s (rtx_alloca ((c)), (m)", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (", (arg%d)", i++);
+ printf (")\n\n");
+}
- fprintf (f, "\n");
+/* Generate the documentation header for files we write. */
- for (i = 0; i < NUM_RTX_CODE; i++)
- {
- if (special_format (defs[i].format))
- continue;
- genmacro (f, i);
- }
+static void
+genlegend (void)
+{
+ puts ("/* Generated automatically by gengenrtl from rtl.def. */\n");
}
-/* Emit "genrtl.c". */
+/* Generate the text of the header file we make, genrtl.h. */
static void
-gencode (f)
- FILE *f;
+genheader (void)
{
+ unsigned int i;
const char **fmt;
- fputs ("#include \"config.h\"\n", f);
- fputs ("#include \"system.h\"\n", f);
- fputs ("#include \"obstack.h\"\n", f);
- fputs ("#include \"rtl.h\"\n\n", f);
- fputs ("extern struct obstack *rtl_obstack;\n\n", f);
- fputs ("static rtx obstack_alloc_rtx PROTO((int length));\n", f);
- fputs ("static rtx obstack_alloc_rtx (length)\n", f);
- fputs (" register int length;\n{\n", f);
- fputs (" rtx rt = (rtx) obstack_alloc (rtl_obstack, length);\n\n", f);
- fputs (" memset(rt, 0, sizeof(struct rtx_def) - sizeof(rtunion));\n\n", f);
- fputs (" return rt;\n}\n\n", f);
+ puts ("#ifndef GCC_GENRTL_H");
+ puts ("#define GCC_GENRTL_H\n");
+ puts ("#include \"statistics.h\"\n");
for (fmt = formats; *fmt; ++fmt)
- gendef (f, *fmt);
-}
+ gendef (*fmt);
-#if defined(USE_C_ALLOCA)
-PTR
-xmalloc (nbytes)
- size_t nbytes;
-{
- register PTR tmp = (PTR) malloc (nbytes);
+ putchar ('\n');
- if (!tmp)
- {
- fprintf (stderr, "can't allocate %d bytes (out of virtual memory)\n",
- nbytes);
- exit (FATAL_EXIT_CODE);
- }
+ for (i = 0; i < NUM_RTX_CODE; i++)
+ if (! special_format (defs[i].format))
+ genmacro (i);
- return tmp;
+ puts ("\n#endif /* GCC_GENRTL_H */");
}
-#endif /* USE_C_ALLOCA */
+
+/* This is the main program. */
int
-main(argc, argv)
- int argc;
- char **argv;
+main (void)
{
- FILE *f;
-
- if (argc != 3)
- exit (1);
-
find_formats ();
+ genlegend ();
- f = fopen (argv[1], "w");
- if (f == NULL)
- {
- perror (argv[1]);
- exit (1);
- }
- genlegend (f);
- genheader (f);
- fclose (f);
+ genheader ();
- f = fopen (argv[2], "w");
- if (f == NULL)
- {
- perror (argv[2]);
- exit (1);
- }
- genlegend (f);
- gencode (f);
- fclose (f);
+ if (ferror (stdout) || fflush (stdout) || fclose (stdout))
+ return FATAL_EXIT_CODE;
- exit (0);
+ return SUCCESS_EXIT_CODE;
}