blob: a9ef8fed69c8247c9457fafce1c7279bda030af8 [file] [log] [blame]
/* Generate insn-target-def.h, an automatically-generated part of targetm.
Copyright (C) 1987-2017 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 3, 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 COPYING3. If not see
<http://www.gnu.org/licenses/>. */
#include "bconfig.h"
#include "system.h"
#include "coretypes.h"
#include "tm.h"
#include "rtl.h"
#include "errors.h"
#include "read-md.h"
#include "gensupport.h"
#include "hash-table.h"
/* This class hashes define_insns and define_expands by name. */
struct insn_hasher : nofree_ptr_hash <rtx_def>
{
typedef rtx value_type;
typedef const char *compare_type;
static inline hashval_t hash (rtx);
static inline bool equal (rtx, const char *);
};
hashval_t
insn_hasher::hash (rtx x)
{
return htab_hash_string (XSTR (x, 0));
}
bool
insn_hasher::equal (rtx x, const char *y)
{
return strcmp (XSTR (x, 0), y) == 0;
}
/* All define_insns and define_expands, hashed by name. */
static hash_table <insn_hasher> *insns;
/* Records the prototype suffix X for each invalid_X stub that has been
generated. */
static hash_table <nofree_string_hash> *stubs;
/* Records which C conditions have been wrapped in functions, as a mapping
from the C condition to the function name. */
static hash_map <nofree_string_hash, const char *> *have_funcs;
/* Return true if the part of the prototype at P is for an argument
name. If so, point *END_OUT to the first character after the name.
If OPNO_OUT is nonnull, set *OPNO_OUT to the number of the associated
operand. If REQUIRED_OUT is nonnull, set *REQUIRED_OUT to whether the
.md pattern is required to match the operand. */
static bool
parse_argument (const char *p, const char **end_out,
unsigned int *opno_out = 0,
bool *required_out = 0)
{
while (ISSPACE (*p))
p++;
if (p[0] == 'x' && ISDIGIT (p[1]))
{
p += 1;
if (required_out)
*required_out = true;
}
else if (p[0] == 'o' && p[1] == 'p' && p[2] == 't' && ISDIGIT (p[3]))
{
p += 3;
if (required_out)
*required_out = false;
}
else
return false;
char *endptr;
unsigned int opno = strtol (p, &endptr, 10);
if (opno_out)
*opno_out = opno;
*end_out = endptr;
return true;
}
/* Output hook definitions for pattern NAME, which has target-insns.def
prototype PROTOTYPE. */
static void
def_target_insn (const char *name, const char *prototype)
{
/* Get an upper-case form of NAME. */
unsigned int i;
char *upper_name = XALLOCAVEC (char, strlen (name) + 1);
for (i = 0; name[i]; ++i)
upper_name[i] = TOUPPER (name[i]);
upper_name[i] = 0;
/* Check that the prototype is valid and concatenate the types
together to get a suffix. */
char *suffix = XALLOCAVEC (char, strlen (prototype) + 1);
i = 0;
unsigned int opno = 0;
unsigned int required_ops = 0;
unsigned int this_opno;
bool required_p;
for (const char *p = prototype; *p; ++p)
if (parse_argument (p, &p, &this_opno, &required_p))
{
if (this_opno != opno || (*p != ',' && *p != ')'))
{
error ("invalid prototype for '%s'", name);
exit (FATAL_EXIT_CODE);
}
if (required_p && required_ops < opno)
{
error ("prototype for '%s' has required operands after"
" optional operands", name);
exit (FATAL_EXIT_CODE);
}
opno += 1;
if (required_p)
required_ops = opno;
/* Skip over ')'s. */
if (*p == ',')
suffix[i++] = '_';
}
else if (*p == ')' || *p == ',')
{
/* We found the end of a parameter without finding a
parameter name. */
if (strcmp (prototype, "(void)") != 0)
{
error ("argument %d of '%s' did not have the expected name",
opno, name);
exit (FATAL_EXIT_CODE);
}
}
else if (*p != '(' && !ISSPACE (*p))
suffix[i++] = *p;
suffix[i] = 0;
/* See whether we have an implementation of this pattern. */
hashval_t hash = htab_hash_string (name);
int truth = 0;
const char *have_name = name;
if (rtx insn = insns->find_with_hash (name, hash))
{
pattern_stats stats;
get_pattern_stats (&stats, XVEC (insn, 1));
unsigned int actual_ops = stats.num_generator_args;
if (opno == required_ops && opno != actual_ops)
error_at (get_file_location (insn),
"'%s' must have %d operands (excluding match_dups)",
name, required_ops);
else if (actual_ops < required_ops)
error_at (get_file_location (insn),
"'%s' must have at least %d operands (excluding match_dups)",
name, required_ops);
else if (actual_ops > opno)
error_at (get_file_location (insn),
"'%s' must have no more than %d operands"
" (excluding match_dups)", name, opno);
const char *test = XSTR (insn, 2);
truth = maybe_eval_c_test (test);
gcc_assert (truth != 0);
if (truth < 0)
{
/* Try to reuse an existing function that performs the same test. */
bool existed;
const char *&entry = have_funcs->get_or_insert (test, &existed);
if (!existed)
{
entry = name;
printf ("\nstatic bool\n");
printf ("target_have_%s (void)\n", name);
printf ("{\n");
printf (" return ");
rtx_reader_ptr->print_c_condition (test);
printf (";\n");
printf ("}\n");
}
have_name = entry;
}
printf ("\nstatic rtx_insn *\n");
printf ("target_gen_%s ", name);
/* Print the prototype with the argument names after ACTUAL_OPS
removed. */
const char *p = prototype, *end;
while (*p)
if (parse_argument (p, &end, &this_opno) && this_opno >= actual_ops)
p = end;
else
fputc (*p++, stdout);
printf ("\n{\n");
if (truth < 0)
printf (" gcc_checking_assert (targetm.have_%s ());\n", name);
printf (" return insnify (gen_%s (", name);
for (i = 0; i < actual_ops; ++i)
printf ("%s%s%d", i == 0 ? "" : ", ",
i < required_ops ? "x" : "opt", i);
printf ("));\n");
printf ("}\n");
}
else
{
const char **slot = stubs->find_slot (suffix, INSERT);
if (!*slot)
{
*slot = xstrdup (suffix);
printf ("\nstatic rtx_insn *\n");
printf ("invalid_%s ", suffix);
/* Print the prototype with the argument names removed. */
const char *p = prototype;
while (*p)
if (!parse_argument (p, &p))
fputc (*p++, stdout);
printf ("\n{\n");
printf (" gcc_unreachable ();\n");
printf ("}\n");
}
}
printf ("\n#undef TARGET_HAVE_%s\n", upper_name);
printf ("#define TARGET_HAVE_%s ", upper_name);
if (truth == 0)
printf ("hook_bool_void_false\n");
else if (truth == 1)
printf ("hook_bool_void_true\n");
else
printf ("target_have_%s\n", have_name);
printf ("#undef TARGET_GEN_%s\n", upper_name);
printf ("#define TARGET_GEN_%s ", upper_name);
if (truth == 0)
printf ("invalid_%s\n", suffix);
else
printf ("target_gen_%s\n", name);
printf ("#undef TARGET_CODE_FOR_%s\n", upper_name);
printf ("#define TARGET_CODE_FOR_%s ", upper_name);
if (truth == 0)
printf ("CODE_FOR_nothing\n");
else
printf ("CODE_FOR_%s\n", name);
}
/* Record the DEFINE_INSN or DEFINE_EXPAND described by INFO. */
static void
add_insn (md_rtx_info *info)
{
rtx def = info->def;
const char *name = XSTR (def, 0);
if (name[0] == 0 || name[0] == '*')
return;
hashval_t hash = htab_hash_string (name);
rtx *slot = insns->find_slot_with_hash (name, hash, INSERT);
if (*slot)
error_at (info->loc, "duplicate definition of '%s'", name);
else
*slot = def;
}
int
main (int argc, const char **argv)
{
progname = "gentarget-def";
if (!init_rtx_reader_args (argc, argv))
return (FATAL_EXIT_CODE);
insns = new hash_table <insn_hasher> (31);
stubs = new hash_table <nofree_string_hash> (31);
have_funcs = new hash_map <nofree_string_hash, const char *>;
md_rtx_info info;
while (read_md_rtx (&info))
switch (GET_CODE (info.def))
{
case DEFINE_INSN:
case DEFINE_EXPAND:
add_insn (&info);
break;
default:
break;
}
printf ("/* Generated automatically by the program `gentarget-def'. */\n");
printf ("#ifndef GCC_INSN_TARGET_DEF_H\n");
printf ("#define GCC_INSN_TARGET_DEF_H\n");
/* Output a routine to convert an rtx to an rtx_insn sequence.
??? At some point the gen_* functions themselves should return
rtx_insns. */
printf ("\nstatic inline rtx_insn *\n");
printf ("insnify (rtx x)\n");
printf ("{\n");
printf (" if (!x)\n");
printf (" return NULL;\n");
printf (" if (rtx_insn *insn = dyn_cast <rtx_insn *> (x))\n");
printf (" return insn;\n");
printf (" start_sequence ();\n");
printf (" emit (x, false);\n");
printf (" rtx_insn *res = get_insns ();\n");
printf (" end_sequence ();\n");
printf (" return res;\n");
printf ("}\n");
#define DEF_TARGET_INSN(INSN, ARGS) \
def_target_insn (#INSN, #ARGS);
#include "target-insns.def"
#undef DEF_TARGET_INSN
printf ("\n#endif /* GCC_INSN_TARGET_DEF_H */\n");
if (have_error || ferror (stdout) || fflush (stdout) || fclose (stdout))
return FATAL_EXIT_CODE;
return SUCCESS_EXIT_CODE;
}