/* Generate code to allocate RTL structures.
- Copyright (C) 1997, 1998, 1999, 2000, 2002, 2003, 2004, 2007
- Free Software Foundation, Inc.
+ Copyright (C) 1997-2015 Free Software Foundation, Inc.
This file is part of GCC.
{
#include "rtl.def" /* rtl expressions are documented here */
};
-#define NUM_RTX_CODE ARRAY_SIZE(defs)
+#define NUM_RTX_CODE ARRAY_SIZE (defs)
static const char *formats[NUM_RTX_CODE];
-
-static const char *type_from_format (int);
-static const char *accessor_from_format (int);
-static int special_format (const char *);
-static int special_rtx (int);
-static int excluded_rtx (int);
-static void find_formats (void);
-static void gendecl (const char *);
-static void genmacro (int);
-static void gendef (const char *);
-static void genlegend (void);
-static void genheader (void);
-static void gencode (void);
\f
/* Decode a format letter into a C type string. */
case 'E':
return "rtvec ";
case 't':
- return "union tree_node *"; /* tree - typedef not available */
+ return "tree ";
case 'B':
- return "struct basic_block_def *"; /* basic block - typedef not available */
+ return "basic_block ";
default:
gcc_unreachable ();
}
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 nonzero if the RTL code given by index IDX is one that we should
static int
special_rtx (int idx)
{
- return (strcmp (defs[idx].enumname, "CONST_INT") == 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, "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);
}
static int
excluded_rtx (int idx)
{
- return ((strcmp (defs[idx].enumname, "CONST_DOUBLE") == 0)
- || (strcmp (defs[idx].enumname, "CONST_FIXED") == 0));
+ 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_FIXED") == 0);
}
/* Place a list of all format specifiers we use into the array FORMAT. */
}
}
-/* Write the declarations for the routine to allocate RTL with FORMAT. */
-
-static void
-gendecl (const char *format)
-{
- const char *p;
- int i, pos;
-
- printf ("extern rtx gen_rtx_fmt_%s_stat\t (RTX_CODE, ", format);
- printf ("enum machine_mode mode");
-
- /* Write each parameter that is needed and start a new line when the line
- would overflow. */
- for (p = format, i = 0, pos = 75; *p != 0; p++)
- if (*p != '0')
- {
- int ourlen = strlen (type_from_format (*p)) + 6 + (i > 9);
-
- printf (",");
- if (pos + ourlen > 76)
- printf ("\n\t\t\t\t "), pos = 39;
-
- printf (" %sarg%d", type_from_format (*p), i++);
- pos += ourlen;
- }
- printf (" MEM_STAT_DECL");
-
- printf (");\n");
- printf ("#define gen_rtx_fmt_%s(c, m", format);
- for (p = format, i = 0; *p != 0; p++)
- if (*p != '0')
- printf (", p%i",i++);
- printf (")\\\n gen_rtx_fmt_%s_stat (c, m", format);
- for (p = format, i = 0; *p != 0; p++)
- if (*p != '0')
- printf (", p%i",i++);
- printf (" MEM_STAT_INFO)\n\n");
-}
/* Generate macros to generate RTL of code IDX using the functions we
write. */
genmacro (int idx)
{
const char *p;
+ const char *sep = "";
int i;
/* We write a macro that defines gen_rtx_RTLCODE to be an equivalent to
/* Don't define a macro for this code. */
return;
- printf ("#define gen_rtx_%s%s(MODE",
+ 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 != 0; p++)
if (*p != '0')
- printf (", ARG%d", i++);
+ {
+ printf ("%sARG%d", sep, i++);
+ sep = ", ";
+ }
- printf (") \\\n gen_rtx_fmt_%s (%s, (MODE)",
- defs[idx].format, defs[idx].enumname);
+ 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')
/* Start by writing the definition of the function name and the types
of the arguments. */
- printf ("rtx\ngen_rtx_fmt_%s_stat (RTX_CODE code, enum machine_mode mode", format);
+ printf ("static inline rtx\ngen_rtx_fmt_%s_stat (RTX_CODE code, 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 (" rtx rt;");
puts (" rt = rtx_alloc_stat (code PASS_MEM_STAT);\n");
- puts (" PUT_MODE (rt, mode);");
+ 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);
puts ("\n return rt;\n}\n");
+ printf ("#define gen_rtx_fmt_%s(c, m", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (", p%i",i++);
+ printf (")\\\n gen_rtx_fmt_%s_stat (c, m", format);
+ for (p = format, i = 0; *p != 0; p++)
+ if (*p != '0')
+ printf (", p%i",i++);
+ printf (" MEM_STAT_INFO)\n\n");
}
/* Generate the documentation header for files we write. */
puts ("#include \"statistics.h\"\n");
for (fmt = formats; *fmt; ++fmt)
- gendecl (*fmt);
+ gendef (*fmt);
putchar ('\n');
puts ("\n#endif /* GCC_GENRTL_H */");
}
-/* Generate the text of the code file we write, genrtl.c. */
-
-static void
-gencode (void)
-{
- const char **fmt;
-
- puts ("#include \"config.h\"");
- puts ("#include \"system.h\"");
- puts ("#include \"coretypes.h\"");
- puts ("#include \"tm.h\"");
- puts ("#include \"obstack.h\"");
- puts ("#include \"rtl.h\"");
- puts ("#include \"ggc.h\"\n");
-
- for (fmt = formats; *fmt != 0; fmt++)
- gendef (*fmt);
-}
-
-/* This is the main program. We accept only one argument, "-h", which
- says we are writing the genrtl.h file. Otherwise we are writing the
- genrtl.c file. */
+/* This is the main program. */
int
-main (int argc, char **argv)
+main (void)
{
find_formats ();
genlegend ();
- if (argc == 2 && argv[1][0] == '-' && argv[1][1] == 'h')
- genheader ();
- else
- gencode ();
+ genheader ();
if (ferror (stdout) || fflush (stdout) || fclose (stdout))
return FATAL_EXIT_CODE;