X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fgenattr.c;h=34e710d429d3f50a24cad568fd08ad8ee6570217;hb=923e06eee99402adb06f547d2731c482c52e3f40;hp=957ebd1d1c05eec68f665892ec451633873890d9;hpb=4dc26477bee5c40279787f5086b98a854630c6d4;p=pf3gnuchains%2Fgcc-fork.git
diff --git a/gcc/genattr.c b/gcc/genattr.c
index 957ebd1d1c0..34e710d429d 100644
--- a/gcc/genattr.c
+++ b/gcc/genattr.c
@@ -1,237 +1,191 @@
/* Generate attribute information (insn-attr.h) from machine description.
- Copyright (C) 1991 Free Software Foundation, Inc.
- Contributed by Richard Kenner (kenner@nyu.edu)
+ Copyright (C) 1991, 1994, 1996, 1998, 1999, 2000, 2003, 2004, 2007, 2008,
+ 2010, 2011 Free Software Foundation, Inc.
+ Contributed by Richard Kenner (kenner@vlsi1.ultra.nyu.edu)
-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, 675 Mass Ave, Cambridge, MA 02139, USA. */
+along with GCC; see the file COPYING3. If not see
+. */
-#include
-#include "config.h"
+#include "bconfig.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
#include "rtl.h"
-#include "obstack.h"
+#include "errors.h"
+#include "read-md.h"
+#include "gensupport.h"
-static struct obstack obstack;
-struct obstack *rtl_obstack = &obstack;
-#define obstack_chunk_alloc xmalloc
-#define obstack_chunk_free free
+static void gen_attr (rtx);
-extern void free ();
-extern int atoi ();
-extern rtx read_rtx ();
+static VEC (rtx, heap) *const_attrs, *reservations;
-char *xmalloc ();
-static void fatal ();
-void fancy_abort ();
-
-struct namelist
-{
- struct namelist *next;
- char *name;
-};
static void
-write_upcase (str)
- char *str;
+gen_attr (rtx attr)
{
- for (; *str; str++)
- if (*str >= 'a' && *str <= 'z')
- printf ("%c", *str - 'a' + 'A');
- else
- printf ("%c", *str);
-}
+ const char *p;
+ int is_const = GET_CODE (XEXP (attr, 2)) == CONST;
-static void
-gen_attr (attr)
- rtx attr;
-{
- char *p;
+ if (is_const)
+ VEC_safe_push (rtx, heap, const_attrs, attr);
printf ("#define HAVE_ATTR_%s\n", XSTR (attr, 0));
/* If numeric attribute, don't need to write an enum. */
- if (*XSTR (attr, 1) == '\0')
- printf ("extern int get_attr_%s ();\n", XSTR (attr, 0));
+ if (GET_CODE (attr) == DEFINE_ENUM_ATTR)
+ printf ("extern enum %s get_attr_%s (%s);\n\n",
+ XSTR (attr, 1), XSTR (attr, 0), (is_const ? "void" : "rtx"));
else
{
- printf ("enum attr_%s {", XSTR (attr, 0));
- write_upcase (XSTR (attr, 0));
- printf ("_");
-
- for (p = XSTR (attr, 1); *p != '\0'; p++)
- {
- if (*p == ',')
- {
- printf (", ");
- write_upcase (XSTR (attr, 0));
- printf ("_");
- }
- else if (*p >= 'a' && *p <= 'z')
- printf ("%c", *p - 'a' + 'A');
- else
- printf ("%c", *p);
- }
-
- printf ("};\n");
- printf ("extern enum attr_%s get_attr_%s ();\n\n",
- XSTR (attr, 0), XSTR (attr, 0));
+ p = XSTR (attr, 1);
+ if (*p == '\0')
+ printf ("extern int get_attr_%s (%s);\n", XSTR (attr, 0),
+ (is_const ? "void" : "rtx"));
+ else
+ printf ("extern enum attr_%s get_attr_%s (%s);\n\n",
+ XSTR (attr, 0), XSTR (attr, 0), (is_const ? "void" : "rtx"));
}
/* If `length' attribute, write additional function definitions and define
variables used by `insn_current_length'. */
if (! strcmp (XSTR (attr, 0), "length"))
{
- printf ("extern void init_lengths ();\n");
- printf ("extern void shorten_branches ();\n");
- printf ("extern int insn_default_length ();\n");
- printf ("extern int insn_variable_length_p ();\n");
- printf ("extern int insn_current_length ();\n\n");
- printf ("extern int *insn_addresses;\n");
- printf ("extern int insn_current_address;\n\n");
+ puts ("\
+extern void shorten_branches (rtx);\n\
+extern int insn_default_length (rtx);\n\
+extern int insn_min_length (rtx);\n\
+extern int insn_variable_length_p (rtx);\n\
+extern int insn_current_length (rtx);\n\n\
+#include \"insn-addr.h\"\n");
}
}
-static void
-write_units (num_units, min_ready_cost, max_ready_cost,
- min_busy_delay, max_busy_delay)
+/* Check that attribute NAME is used in define_insn_reservation condition
+ EXP. Return true if it is. */
+static bool
+check_tune_attr (const char *name, rtx exp)
{
- printf ("#define INSN_SCHEDULING\n\n");
- printf ("extern int result_ready_cost ();\n");
- printf ("extern int function_units_used ();\n\n");
- printf ("extern struct function_unit_desc\n");
- printf ("{\n");
- printf (" char *name;\n");
- printf (" int bitmask;\n");
- printf (" int multiplicity;\n");
- printf (" int simultaneity;\n");
- printf (" int default_cost;\n");
- printf (" int max_busy_cost;\n");
- printf (" int (*ready_cost_function) ();\n");
- printf (" int (*conflict_cost_function) ();\n");
- printf ("} function_units[];\n\n");
- printf ("#define FUNCTION_UNITS_SIZE %d\n", num_units);
- printf ("#define MIN_READY_COST %d\n", min_ready_cost);
- printf ("#define MAX_READY_COST %d\n", max_ready_cost);
- printf ("#define MIN_BUSY_DELAY %d\n", min_busy_delay);
- printf ("#define MAX_BUSY_DELAY %d\n\n", max_busy_delay);
-}
+ switch (GET_CODE (exp))
+ {
+ case AND:
+ if (check_tune_attr (name, XEXP (exp, 0)))
+ return true;
+ return check_tune_attr (name, XEXP (exp, 1));
-char *
-xmalloc (size)
- unsigned size;
-{
- register char *val = (char *) malloc (size);
+ case IOR:
+ return (check_tune_attr (name, XEXP (exp, 0))
+ && check_tune_attr (name, XEXP (exp, 1)));
- if (val == 0)
- fatal ("virtual memory exhausted");
- return val;
-}
+ case EQ_ATTR:
+ return strcmp (XSTR (exp, 0), name) == 0;
-char *
-xrealloc (ptr, size)
- char *ptr;
- unsigned size;
-{
- char * result = (char *) realloc (ptr, size);
- if (!result)
- fatal ("virtual memory exhausted");
- return result;
+ default:
+ return false;
+ }
}
-static void
-fatal (s, a1, a2)
- char *s;
+/* Try to find a const attribute (usually cpu or tune) that is used
+ in all define_insn_reservation conditions. */
+static bool
+find_tune_attr (rtx exp)
{
- fprintf (stderr, "genattr: ");
- fprintf (stderr, s, a1, a2);
- fprintf (stderr, "\n");
- exit (FATAL_EXIT_CODE);
-}
-
-/* More 'friendly' abort that prints the line and file.
- config.h can #define abort fancy_abort if you like that sort of thing. */
+ unsigned int i;
+ rtx attr;
-void
-fancy_abort ()
-{
- fatal ("Internal gcc abort.");
+ switch (GET_CODE (exp))
+ {
+ case AND:
+ case IOR:
+ if (find_tune_attr (XEXP (exp, 0)))
+ return true;
+ return find_tune_attr (XEXP (exp, 1));
+
+ case EQ_ATTR:
+ if (strcmp (XSTR (exp, 0), "alternative") == 0)
+ return false;
+
+ FOR_EACH_VEC_ELT (rtx, const_attrs, i, attr)
+ if (strcmp (XSTR (attr, 0), XSTR (exp, 0)) == 0)
+ {
+ unsigned int j;
+ rtx resv;
+
+ FOR_EACH_VEC_ELT (rtx, reservations, j, resv)
+ if (! check_tune_attr (XSTR (attr, 0), XEXP (resv, 2)))
+ return false;
+ return true;
+ }
+ return false;
+
+ default:
+ return false;
+ }
}
-
+
int
-main (argc, argv)
- int argc;
- char **argv;
+main (int argc, char **argv)
{
rtx desc;
- FILE *infile;
- register int c;
int have_delay = 0;
int have_annul_true = 0;
int have_annul_false = 0;
- int have_units = 0;
- int num_units = 0;
- int min_ready_cost = 100000, max_ready_cost = -1;
- int min_busy_delay = 100000, max_busy_delay = -1;
- struct namelist *units = 0;
+ int num_insn_reservations = 0;
int i;
- obstack_init (rtl_obstack);
-
- if (argc <= 1)
- fatal ("No input file name.");
+ progname = "genattr";
- infile = fopen (argv[1], "r");
- if (infile == 0)
- {
- perror (argv[1]);
- exit (FATAL_EXIT_CODE);
- }
+ if (!init_rtx_reader_args (argc, argv))
+ return (FATAL_EXIT_CODE);
- init_rtl ();
+ puts ("/* Generated automatically by the program `genattr'");
+ puts (" from the machine description file `md'. */\n");
+ puts ("#ifndef GCC_INSN_ATTR_H");
+ puts ("#define GCC_INSN_ATTR_H\n");
- printf ("/* Generated automatically by the program `genattr'\n\
-from the machine description file `md'. */\n\n");
+ puts ("#include \"insn-attr-common.h\"\n");
/* For compatibility, define the attribute `alternative', which is just
a reference to the variable `which_alternative'. */
- printf ("#define HAVE_ATTR_alternative\n");
- printf ("#define get_attr_alternative(insn) which_alternative\n");
-
+ puts ("#define HAVE_ATTR_alternative");
+ puts ("#define get_attr_alternative(insn) which_alternative");
+
/* Read the machine description. */
while (1)
{
- c = read_skip_spaces (infile);
- if (c == EOF)
+ int line_no, insn_code_number;
+
+ desc = read_md_rtx (&line_no, &insn_code_number);
+ if (desc == NULL)
break;
- ungetc (c, infile);
- desc = read_rtx (infile);
- if (GET_CODE (desc) == DEFINE_ATTR)
+ if (GET_CODE (desc) == DEFINE_ATTR
+ || GET_CODE (desc) == DEFINE_ENUM_ATTR)
gen_attr (desc);
else if (GET_CODE (desc) == DEFINE_DELAY)
{
if (! have_delay)
{
- printf ("#define DELAY_SLOTS\n");
- printf ("extern int num_delay_slots ();\n");
- printf ("extern int eligible_for_delay ();\n\n");
+ printf ("extern int num_delay_slots (rtx);\n");
+ printf ("extern int eligible_for_delay (rtx, int, rtx, int);\n\n");
+ printf ("extern int const_num_delay_slots (rtx);\n\n");
have_delay = 1;
}
@@ -240,58 +194,169 @@ from the machine description file `md'. */\n\n");
if (XVECEXP (desc, 1, i + 1) && ! have_annul_true)
{
printf ("#define ANNUL_IFTRUE_SLOTS\n");
- printf ("extern int eligible_for_annul_true ();\n");
+ printf ("extern int eligible_for_annul_true (rtx, int, rtx, int);\n");
have_annul_true = 1;
}
if (XVECEXP (desc, 1, i + 2) && ! have_annul_false)
{
printf ("#define ANNUL_IFFALSE_SLOTS\n");
- printf ("extern int eligible_for_annul_false ();\n");
+ printf ("extern int eligible_for_annul_false (rtx, int, rtx, int);\n");
have_annul_false = 1;
}
}
}
- else if (GET_CODE (desc) == DEFINE_FUNCTION_UNIT)
+ else if (GET_CODE (desc) == DEFINE_INSN_RESERVATION)
{
- struct namelist *unit;
- char *name = XSTR (desc, 0);
- int ready_cost = XINT (desc, 4);
- int busy_delay = XINT (desc, 5);
-
- have_units = 1;
- if (min_ready_cost > ready_cost) min_ready_cost = ready_cost;
- if (max_ready_cost < ready_cost) max_ready_cost = ready_cost;
- if (min_busy_delay > busy_delay) min_busy_delay = busy_delay;
- if (max_busy_delay < busy_delay) max_busy_delay = busy_delay;
-
- /* If the optional conflict vector was specified, the busy delay
- may be zero. */
- if (XVEC (desc, 6) != 0) min_busy_delay = 0;
-
- for (unit = units; unit; unit = unit->next)
- if (strcmp (unit->name, name) == 0)
- break;
- if (unit == 0)
- {
- int len = strlen (name) + 1;
- unit = (struct namelist *) alloca (sizeof (struct namelist));
- unit->name = (char *) alloca (len);
- bcopy (name, unit->name, len);
- unit->next = units;
- units = unit;
- num_units++;
- }
+ num_insn_reservations++;
+ VEC_safe_push (rtx, heap, reservations, desc);
+ }
+ }
+
+ if (num_insn_reservations > 0)
+ {
+ bool has_tune_attr
+ = find_tune_attr (XEXP (VEC_index (rtx, reservations, 0), 2));
+ /* Output interface for pipeline hazards recognition based on
+ DFA (deterministic finite state automata. */
+ printf ("\n/* DFA based pipeline interface. */");
+ printf ("\n#ifndef AUTOMATON_ALTS\n");
+ printf ("#define AUTOMATON_ALTS 0\n");
+ printf ("#endif\n\n");
+ printf ("\n#ifndef AUTOMATON_STATE_ALTS\n");
+ printf ("#define AUTOMATON_STATE_ALTS 0\n");
+ printf ("#endif\n\n");
+ printf ("#ifndef CPU_UNITS_QUERY\n");
+ printf ("#define CPU_UNITS_QUERY 0\n");
+ printf ("#endif\n\n");
+ /* Interface itself: */
+ if (has_tune_attr)
+ {
+ printf ("/* Initialize fn pointers for internal_dfa_insn_code\n");
+ printf (" and insn_default_latency. */\n");
+ printf ("extern void init_sched_attrs (void);\n\n");
+ printf ("/* Internal insn code number used by automata. */\n");
+ printf ("extern int (*internal_dfa_insn_code) (rtx);\n\n");
+ printf ("/* Insn latency time defined in define_insn_reservation. */\n");
+ printf ("extern int (*insn_default_latency) (rtx);\n\n");
}
+ else
+ {
+ printf ("#define init_sched_attrs() do { } while (0)\n\n");
+ printf ("/* Internal insn code number used by automata. */\n");
+ printf ("extern int internal_dfa_insn_code (rtx);\n\n");
+ printf ("/* Insn latency time defined in define_insn_reservation. */\n");
+ printf ("extern int insn_default_latency (rtx);\n\n");
+ }
+ printf ("/* Return nonzero if there is a bypass for given insn\n");
+ printf (" which is a data producer. */\n");
+ printf ("extern int bypass_p (rtx);\n\n");
+ printf ("/* Insn latency time on data consumed by the 2nd insn.\n");
+ printf (" Use the function if bypass_p returns nonzero for\n");
+ printf (" the 1st insn. */\n");
+ printf ("extern int insn_latency (rtx, rtx);\n\n");
+ printf ("/* Maximal insn latency time possible of all bypasses for this insn.\n");
+ printf (" Use the function if bypass_p returns nonzero for\n");
+ printf (" the 1st insn. */\n");
+ printf ("extern int maximal_insn_latency (rtx);\n\n");
+ printf ("\n#if AUTOMATON_ALTS\n");
+ printf ("/* The following function returns number of alternative\n");
+ printf (" reservations of given insn. It may be used for better\n");
+ printf (" insns scheduling heuristics. */\n");
+ printf ("extern int insn_alts (rtx);\n\n");
+ printf ("#endif\n\n");
+ printf ("/* Maximal possible number of insns waiting results being\n");
+ printf (" produced by insns whose execution is not finished. */\n");
+ printf ("extern const int max_insn_queue_index;\n\n");
+ printf ("/* Pointer to data describing current state of DFA. */\n");
+ printf ("typedef void *state_t;\n\n");
+ printf ("/* Size of the data in bytes. */\n");
+ printf ("extern int state_size (void);\n\n");
+ printf ("/* Initiate given DFA state, i.e. Set up the state\n");
+ printf (" as all functional units were not reserved. */\n");
+ printf ("extern void state_reset (state_t);\n");
+ printf ("/* The following function returns negative value if given\n");
+ printf (" insn can be issued in processor state described by given\n");
+ printf (" DFA state. In this case, the DFA state is changed to\n");
+ printf (" reflect the current and future reservations by given\n");
+ printf (" insn. Otherwise the function returns minimal time\n");
+ printf (" delay to issue the insn. This delay may be zero\n");
+ printf (" for superscalar or VLIW processors. If the second\n");
+ printf (" parameter is NULL the function changes given DFA state\n");
+ printf (" as new processor cycle started. */\n");
+ printf ("extern int state_transition (state_t, rtx);\n");
+ printf ("\n#if AUTOMATON_STATE_ALTS\n");
+ printf ("/* The following function returns number of possible\n");
+ printf (" alternative reservations of given insn in given\n");
+ printf (" DFA state. It may be used for better insns scheduling\n");
+ printf (" heuristics. By default the function is defined if\n");
+ printf (" macro AUTOMATON_STATE_ALTS is defined because its\n");
+ printf (" implementation may require much memory. */\n");
+ printf ("extern int state_alts (state_t, rtx);\n");
+ printf ("#endif\n\n");
+ printf ("extern int min_issue_delay (state_t, rtx);\n");
+ printf ("/* The following function returns nonzero if no one insn\n");
+ printf (" can be issued in current DFA state. */\n");
+ printf ("extern int state_dead_lock_p (state_t);\n");
+ printf ("/* The function returns minimal delay of issue of the 2nd\n");
+ printf (" insn after issuing the 1st insn in given DFA state.\n");
+ printf (" The 1st insn should be issued in given state (i.e.\n");
+ printf (" state_transition should return negative value for\n");
+ printf (" the insn and the state). Data dependencies between\n");
+ printf (" the insns are ignored by the function. */\n");
+ printf
+ ("extern int min_insn_conflict_delay (state_t, rtx, rtx);\n");
+ printf ("/* The following function outputs reservations for given\n");
+ printf (" insn as they are described in the corresponding\n");
+ printf (" define_insn_reservation. */\n");
+ printf ("extern void print_reservation (FILE *, rtx);\n");
+ printf ("\n#if CPU_UNITS_QUERY\n");
+ printf ("/* The following function returns code of functional unit\n");
+ printf (" with given name (see define_cpu_unit). */\n");
+ printf ("extern int get_cpu_unit_code (const char *);\n");
+ printf ("/* The following function returns nonzero if functional\n");
+ printf (" unit with given code is currently reserved in given\n");
+ printf (" DFA state. */\n");
+ printf ("extern int cpu_unit_reservation_p (state_t, int);\n");
+ printf ("#endif\n\n");
+ printf ("/* The following function returns true if insn\n");
+ printf (" has a dfa reservation. */\n");
+ printf ("extern bool insn_has_dfa_reservation_p (rtx);\n\n");
+ printf ("/* Clean insn code cache. It should be called if there\n");
+ printf (" is a chance that condition value in a\n");
+ printf (" define_insn_reservation will be changed after\n");
+ printf (" last call of dfa_start. */\n");
+ printf ("extern void dfa_clean_insn_cache (void);\n\n");
+ printf ("extern void dfa_clear_single_insn_cache (rtx);\n\n");
+ printf ("/* Initiate and finish work with DFA. They should be\n");
+ printf (" called as the first and the last interface\n");
+ printf (" functions. */\n");
+ printf ("extern void dfa_start (void);\n");
+ printf ("extern void dfa_finish (void);\n");
}
+ else
+ {
+ /* Otherwise we do no scheduling, but we need these typedefs
+ in order to avoid uglifying other code with more ifdefs. */
+ printf ("typedef void *state_t;\n\n");
+ }
+
+ /* Output flag masks for use by reorg.
+
+ Flags are used to hold branch direction and prediction information
+ for use by eligible_for_... */
+ printf("\n#define ATTR_FLAG_forward\t0x1\n");
+ printf("#define ATTR_FLAG_backward\t0x2\n");
+ printf("#define ATTR_FLAG_likely\t0x4\n");
+ printf("#define ATTR_FLAG_very_likely\t0x8\n");
+ printf("#define ATTR_FLAG_unlikely\t0x10\n");
+ printf("#define ATTR_FLAG_very_unlikely\t0x20\n");
+
+ puts("\n#endif /* GCC_INSN_ATTR_H */");
- if (have_units)
- write_units (num_units, min_ready_cost, max_ready_cost,
- min_busy_delay, max_busy_delay);
+ if (ferror (stdout) || fflush (stdout) || fclose (stdout))
+ return FATAL_EXIT_CODE;
- fflush (stdout);
- exit (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
- /* NOTREACHED */
- return 0;
+ return SUCCESS_EXIT_CODE;
}