/* Process machine description and calculate constant conditions.
- Copyright (C) 2001, 2002 Free Software Foundation, Inc.
+ Copyright (C) 2001-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
+ 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)
+ 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,
+ 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/>. */
/* In a machine description, all of the insn patterns - define_insn,
define_expand, define_split, define_peephole, define_peephole2 -
most of the programs that generate code from the machine
description can simply ignore the entire pattern. */
-#include "hconfig.h"
+#include "bconfig.h"
#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
#include "rtl.h"
#include "errors.h"
-#include "hashtab.h"
+#include "read-md.h"
#include "gensupport.h"
-/* so we can include except.h in the generated file */
+/* so we can include except.h in the generated file. */
static int saw_eh_return;
-static htab_t condition_table;
-
-static void add_condition PARAMS ((const char *));
-static void write_header PARAMS ((void));
-static void write_conditions PARAMS ((void));
-static int write_one_condition PARAMS ((PTR *, PTR));
-
-extern int main PARAMS ((int, char **));
-
-/* Record the C test expression EXPR in the condition_table.
- Duplicates clobber previous entries, which leaks memory, but
- we don't care for this application. */
-
-static void
-add_condition (expr)
- const char *expr;
-{
- struct c_test *test;
-
- if (expr[0] == 0)
- return;
-
- test = (struct c_test *) xmalloc (sizeof (struct c_test));
- test->expr = expr;
-
- *(htab_find_slot (condition_table, test, INSERT)) = test;
-}
+static void write_header (void);
+static void write_conditions (void);
+static int write_one_condition (void **, void *);
/* Generate the header for insn-conditions.c. */
static void
-write_header ()
+write_header (void)
{
puts ("\
/* Generated automatically by the program `genconditions' from the target\n\
machine description file. */\n\
\n\
-#include \"hconfig.h\"\n\
-#include \"insn-constants.h\"\n");
-
- puts ("\
+#define IN_TARGET_CODE 1\n\
+#include \"bconfig.h\"\n\
+#define INCLUDE_STRING\n\
+#include \"system.h\"\n\
+\n\
+/* It is necessary, but not entirely safe, to include the headers below\n\
+ in a generator program. As a defensive measure, don't do so when the\n\
+ table isn't going to have anything in it. */\n\
+#if GCC_VERSION >= 3001\n\
+\n\
/* Do not allow checking to confuse the issue. */\n\
-#undef ENABLE_CHECKING\n\
+#undef CHECKING_P\n\
+#define CHECKING_P 0\n\
#undef ENABLE_TREE_CHECKING\n\
#undef ENABLE_RTL_CHECKING\n\
#undef ENABLE_RTL_FLAG_CHECKING\n\
#undef ENABLE_GC_CHECKING\n\
-#undef ENABLE_GC_ALWAYS_COLLECT\n");
-
- puts ("\
-#include \"system.h\"\n\
+#undef ENABLE_GC_ALWAYS_COLLECT\n\
+#define USE_ENUM_MODES\n\
+\n\
+#include \"coretypes.h\"\n\
+#include \"tm.h\"\n\
+#include \"insn-constants.h\"\n\
#include \"rtl.h\"\n\
+#include \"memmodel.h\"\n\
#include \"tm_p.h\"\n\
-#include \"function.h\"\n");
-
- puts ("\
+#include \"hard-reg-set.h\"\n\
+#include \"function.h\"\n\
+#include \"emit-rtl.h\"\n\
+\n\
/* Fake - insn-config.h doesn't exist yet. */\n\
#define MAX_RECOG_OPERANDS 10\n\
#define MAX_DUP_OPERANDS 10\n\
-#define MAX_INSNS_PER_SPLIT 5\n");
-
- puts ("\
+#define MAX_INSNS_PER_SPLIT 5\n\
+\n\
#include \"regs.h\"\n\
#include \"recog.h\"\n\
-#include \"real.h\"\n\
#include \"output.h\"\n\
#include \"flags.h\"\n\
#include \"hard-reg-set.h\"\n\
+#include \"predict.h\"\n\
+#include \"basic-block.h\"\n\
+#include \"bitmap.h\"\n\
+#include \"df.h\"\n\
#include \"resource.h\"\n\
-#include \"toplev.h\"\n\
+#include \"diagnostic-core.h\"\n\
#include \"reload.h\"\n\
-#include \"gensupport.h\"\n");
+#include \"tm-constrs.h\"\n");
if (saw_eh_return)
puts ("#define HAVE_eh_return 1");
puts ("\
/* Dummy external declarations. */\n\
-extern rtx insn;\n\
+extern rtx_insn *insn;\n\
extern rtx ins1;\n\
extern rtx operands[];\n\
-extern int next_insn_tests_no_inequality PARAMS ((rtx));\n");
-
- puts ("\
-/* If we don't have __builtin_constant_p, or it's not acceptable in\n\
- array initializers, fall back to assuming that all conditions\n\
- potentially vary at run time. It works in 3.0.1 and later; 3.0\n\
- only when not optimizing. */\n\
-#if (GCC_VERSION >= 3001) || ((GCC_VERSION == 3000) && !__OPTIMIZE__)\n\
-# define MAYBE_EVAL(expr) (__builtin_constant_p(expr) ? (int) (expr) : -1)\n\
-#else\n\
-# define MAYBE_EVAL(expr) -1\n\
-#endif\n");
+\n\
+#endif /* gcc >= 3.0.1 */\n");
}
/* Write out one entry in the conditions table, using the data pointed
to by SLOT. Each entry looks like this:
- { "! optimize_size && ! TARGET_READ_MODIFY_WRITE",
- MAYBE_EVAL (! optimize_size && ! TARGET_READ_MODIFY_WRITE) }, */
+
+ { "! optimize_size && ! TARGET_READ_MODIFY_WRITE",
+ __builtin_constant_p (! optimize_size && ! TARGET_READ_MODIFY_WRITE)
+ ? (int) (! optimize_size && ! TARGET_READ_MODIFY_WRITE)
+ : -1) }, */
static int
-write_one_condition (slot, dummy)
- PTR *slot;
- PTR dummy ATTRIBUTE_UNUSED;
+write_one_condition (void **slot, void * ARG_UNUSED (dummy))
{
const struct c_test *test = * (const struct c_test **) slot;
const char *p;
+ rtx_reader_ptr->print_md_ptr_loc (test->expr);
fputs (" { \"", stdout);
for (p = test->expr; *p; p++)
{
- if (*p == '\n')
- fputs ("\\n\\\n", stdout);
- else if (*p == '"')
- fputs ("\\\"", stdout);
- else
- putchar (*p);
+ switch (*p)
+ {
+ case '\n': fputs ("\\n\\", stdout); break;
+ case '\\':
+ case '\"': putchar ('\\'); break;
+ default: break;
+ }
+ putchar (*p);
}
- printf ("\",\n MAYBE_EVAL (%s) },\n", test->expr);
+ fputs ("\",\n __builtin_constant_p ", stdout);
+ rtx_reader_ptr->print_c_condition (test->expr);
+ fputs ("\n ? (int) ", stdout);
+ rtx_reader_ptr->print_c_condition (test->expr);
+ fputs ("\n : -1 },\n", stdout);
return 1;
}
/* Write out the complete conditions table, its size, and a flag
indicating that gensupport.c can now do insn elision. */
static void
-write_conditions ()
+write_conditions (void)
{
puts ("\
+/* Structure definition duplicated from gensupport.h rather than\n\
+ drag in that file and its dependencies. */\n\
+struct c_test\n\
+{\n\
+ const char *expr;\n\
+ int value;\n\
+};\n\
+\n\
/* This table lists each condition found in the machine description.\n\
Each condition is mapped to its truth value (0 or 1), or -1 if that\n\
- cannot be calculated at compile time. */\n\
+ cannot be calculated at compile time.\n\
+ If we don't have __builtin_constant_p, or it's not acceptable in array\n\
+ initializers, fall back to assuming that all conditions potentially\n\
+ vary at run time. It works in 3.0.1 and later; 3.0 only when not\n\
+ optimizing. */\n\
\n\
-const struct c_test insn_conditions[] = {");
+#if GCC_VERSION >= 3001\n\
+static const struct c_test insn_conditions[] = {\n");
- htab_traverse (condition_table, write_one_condition, 0);
+ traverse_c_tests (write_one_condition, 0);
- puts ("};\n");
+ puts ("\n};\n#endif /* gcc >= 3.0.1 */\n");
+}
- printf ("const size_t n_insn_conditions = %lu;\n",
- (unsigned long) htab_elements (condition_table));
- puts ("const int insn_elision_unavailable = 0;");
+/* Emit code which will convert the C-format table to a
+ (define_conditions) form, which the MD reader can understand.
+ The result will be added to the set of files scanned by
+ 'downstream' generators. */
+static void
+write_writer (void)
+{
+ puts ("int\n"
+ "main(void)\n"
+ "{\n"
+ " unsigned int i;\n"
+ " const char *p;\n"
+ " puts (\"(define_conditions [\");\n"
+ "#if GCC_VERSION >= 3001\n"
+ " for (i = 0; i < ARRAY_SIZE (insn_conditions); i++)\n"
+ " {\n"
+ " printf (\" (%d \\\"\", insn_conditions[i].value);\n"
+ " for (p = insn_conditions[i].expr; *p; p++)\n"
+ " {\n"
+ " switch (*p)\n"
+ " {\n"
+ " case '\\\\':\n"
+ " case '\\\"': putchar ('\\\\'); break;\n"
+ " default: break;\n"
+ " }\n"
+ " putchar (*p);\n"
+ " }\n"
+ " puts (\"\\\")\");\n"
+ " }\n"
+ "#endif /* gcc >= 3.0.1 */\n"
+ " puts (\"])\");\n"
+ " fflush (stdout);\n"
+ "return ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE;\n"
+ "}");
}
int
-main (argc, argv)
- int argc;
- char **argv;
+main (int argc, const char **argv)
{
- rtx desc;
- int pattern_lineno; /* not used */
- int code;
-
progname = "genconditions";
- if (argc <= 1)
- fatal ("No input file name.");
-
- if (init_md_reader (argv[1]) != SUCCESS_EXIT_CODE)
+ if (!init_rtx_reader_args (argc, argv))
return (FATAL_EXIT_CODE);
- condition_table = htab_create (1000, hash_c_test, cmp_c_test, NULL);
-
/* Read the machine description. */
-
- while (1)
+ md_rtx_info info;
+ while (read_md_rtx (&info))
{
- desc = read_md_rtx (&pattern_lineno, &code);
- if (desc == NULL)
- break;
-
- /* N.B. define_insn_and_split, define_cond_exec are handled
- entirely within read_md_rtx; we never see them. */
- switch (GET_CODE (desc))
+ rtx def = info.def;
+ add_c_test (get_c_test (def), -1);
+ switch (GET_CODE (def))
{
- default:
- break;
-
case DEFINE_INSN:
case DEFINE_EXPAND:
- add_condition (XSTR (desc, 2));
/* except.h needs to know whether there is an eh_return
pattern in the machine description. */
- if (!strcmp (XSTR (desc, 0), "eh_return"))
+ if (!strcmp (XSTR (def, 0), "eh_return"))
saw_eh_return = 1;
break;
- case DEFINE_SPLIT:
- case DEFINE_PEEPHOLE:
- case DEFINE_PEEPHOLE2:
- add_condition (XSTR (desc, 1));
+ default:
break;
}
}
write_header ();
write_conditions ();
+ write_writer ();
fflush (stdout);
return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);