gensupport.c (sequence_num): Replace with...

gcc/
	* gensupport.c (sequence_num): Replace with...
	(insn_sequence_num, split_sequence_num, peephole2_sequence_num):
	...these new variables.
	(init_rtx_reader_args_cb): Update accordingly.
	(get_num_code_insns): Likewise.
	(read_md_rtx): Rework to use a while loop and get_c_test.
	Use the new counters.  Remove redundant DEFINE_SUBST case.
	* genoutput.c (gen_split): Delete.
	(main): Don't call it.

From-SVN: r226635

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 75ed73bd7e9d095b9a9ef4463fb5780cb4f71e05..38c3fdc8947e05f70d2362bd9334c010576e43c2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,15 @@
+2015-08-05  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * gensupport.c (sequence_num): Replace with...
+       (insn_sequence_num, split_sequence_num, peephole2_sequence_num):
+       ...these new variables.
+       (init_rtx_reader_args_cb): Update accordingly.
+       (get_num_code_insns): Likewise.
+       (read_md_rtx): Rework to use a while loop and get_c_test.
+       Use the new counters.  Remove redundant DEFINE_SUBST case.
+       * genoutput.c (gen_split): Delete.
+       (main): Don't call it.
+
 2015-08-05  Richard Sandiford  <richard.sandiford@arm.com>
 
        * gensupport.h (get_c_test): Declare.

diff --git a/gcc/genoutput.c b/gcc/genoutput.c
index cd7f12906b515ae006fcf5e3b9c6b2f5f0f2d0d6..ed9540ded4c777dd32cbd45493e594101017e4ff 100644 (file)
--- a/gcc/genoutput.c
+++ b/gcc/genoutput.c
@@ -973,46 +973,6 @@ gen_expand (md_rtx_info *info)
   place_operands (d);
 }
 \f
-/* Process a define_split just read.  Assign its code number,
-   only for reasons of consistency and to simplify genrecog.  */
-
-static void
-gen_split (md_rtx_info *info)
-{
-  struct pattern_stats stats;
-  data *d = new data;
-  int i;
-
-  d->code_number = info->index;
-  d->loc = info->loc;
-  d->name = 0;
-
-  /* Build up the list in the same order as the insns are seen
-     in the machine description.  */
-  d->next = 0;
-  *idata_end = d;
-  idata_end = &d->next;
-
-  memset (d->operand, 0, sizeof (d->operand));
-
-  /* Get the number of operands by scanning all the patterns of the
-     split patterns.  But ignore all the rest of the information thus
-     obtained.  */
-  rtx split = info->def;
-  for (i = 0; i < XVECLEN (split, 0); i++)
-    scan_operands (d, XVECEXP (split, 0, i), 0, 0);
-
-  get_pattern_stats (&stats, XVEC (split, 0));
-  d->n_generator_args = 0;
-  d->n_operands = stats.num_insn_operands;
-  d->n_dups = 0;
-  d->n_alternatives = 0;
-  d->template_code = 0;
-  d->output_format = INSN_OUTPUT_FORMAT_NONE;
-
-  place_operands (d);
-}
-
 static void
 init_insn_for_nothing (void)
 {
@@ -1055,11 +1015,6 @@ main (int argc, char **argv)
        gen_expand (&info);
        break;
 
-      case DEFINE_SPLIT:
-      case DEFINE_PEEPHOLE2:
-       gen_split (&info);
-       break;
-
       case DEFINE_CONSTRAINT:
       case DEFINE_REGISTER_CONSTRAINT:
       case DEFINE_ADDRESS_CONSTRAINT:

diff --git a/gcc/gensupport.c b/gcc/gensupport.c
index 687005808a7dbb38e717c526151bb304730f81b1..9e00f13a2f9f0dcf9ad004fa97a7d6f7e8b1fc80 100644 (file)
--- a/gcc/gensupport.c
+++ b/gcc/gensupport.c
@@ -43,11 +43,14 @@ int insn_elision = 1;
 static struct obstack obstack;
 struct obstack *rtl_obstack = &obstack;
 
-/* Counter for patterns that generate code: define_insn, define_expand,
-   define_split, define_peephole, and define_peephole2.  See read_md_rtx().
-   Any define_insn_and_splits are already in separate queues so that the
-   insn and the splitter get a unique number also.  */
-static int sequence_num;
+/* Counter for named patterns and INSN_CODEs.  */
+static int insn_sequence_num;
+
+/* Counter for define_splits.  */
+static int split_sequence_num;
+
+/* Counter for define_peephole2s.  */
+static int peephole2_sequence_num;
 
 static int predicable_default;
 static const char *predicable_true;
@@ -2504,7 +2507,11 @@ init_rtx_reader_args_cb (int argc, char **argv,
   obstack_init (rtl_obstack);
 
   /* Start at 1, to make 0 available for CODE_FOR_nothing.  */
-  sequence_num = 1;
+  insn_sequence_num = 1;
+
+  /* These sequences are not used as indices, so can start at 1 also.  */
+  split_sequence_num = 1;
+  peephole2_sequence_num = 1;
 
   read_md_files (argc, argv, parse_opt, rtx_handle_directive);
 
@@ -2539,30 +2546,8 @@ init_rtx_reader_args (int argc, char **argv)
 bool
 read_md_rtx (md_rtx_info *info)
 {
-  struct queue_elem **queue, *elem;
-  rtx desc;
-
- discard:
-
-  /* Read all patterns from a given queue before moving on to the next.  */
-  if (define_attr_queue != NULL)
-    queue = &define_attr_queue;
-  else if (define_pred_queue != NULL)
-    queue = &define_pred_queue;
-  else if (define_insn_queue != NULL)
-    queue = &define_insn_queue;
-  else if (other_queue != NULL)
-    queue = &other_queue;
-  else
-    return false;
-
-  elem = *queue;
-  *queue = elem->next;
-  info->def = elem->data;
-  info->loc = elem->loc;
-  info->index = sequence_num;
-
-  free (elem);
+  int truth, *counter;
+  rtx def;
 
   /* Discard insn patterns which we know can never match (because
      their C test is provably always false).  If insn_elision is
@@ -2570,35 +2555,70 @@ read_md_rtx (md_rtx_info *info)
      elided patterns are never counted by the sequence numbering; it
      is the caller's responsibility, when insn_elision is false, not
      to use elided pattern numbers for anything.  */
-  desc = info->def;
-  switch (GET_CODE (desc))
+  do
+    {
+      struct queue_elem **queue, *elem;
+
+      /* Read all patterns from a given queue before moving on to the next.  */
+      if (define_attr_queue != NULL)
+       queue = &define_attr_queue;
+      else if (define_pred_queue != NULL)
+       queue = &define_pred_queue;
+      else if (define_insn_queue != NULL)
+       queue = &define_insn_queue;
+      else if (other_queue != NULL)
+       queue = &other_queue;
+      else
+       return false;
+
+      elem = *queue;
+      *queue = elem->next;
+      def = elem->data;
+      info->def = def;
+      info->loc = elem->loc;
+      free (elem);
+
+      truth = maybe_eval_c_test (get_c_test (def));
+    }
+  while (truth == 0 && insn_elision);
+
+  /* Perform code-specific processing and pick the appropriate sequence
+     number counter.  */
+  switch (GET_CODE (def))
     {
     case DEFINE_INSN:
     case DEFINE_EXPAND:
-    case DEFINE_SUBST:
-      if (maybe_eval_c_test (XSTR (desc, 2)) != 0)
-       sequence_num++;
-      else if (insn_elision)
-       goto discard;
-
-      /* info->index is used here so the name table will match caller's
+      /* insn_sequence_num is used here so the name table will match caller's
         idea of insn numbering, whether or not elision is active.  */
-      record_insn_name (info->index, XSTR (desc, 0));
+      record_insn_name (insn_sequence_num, XSTR (def, 0));
+
+      /* Fall through.  */
+    case DEFINE_PEEPHOLE:
+      counter = &insn_sequence_num;
       break;
 
     case DEFINE_SPLIT:
-    case DEFINE_PEEPHOLE:
+      counter = &split_sequence_num;
+      break;
+
     case DEFINE_PEEPHOLE2:
-      if (maybe_eval_c_test (XSTR (desc, 1)) != 0)
-       sequence_num++;
-      else if (insn_elision)
-       goto discard;
+      counter = &peephole2_sequence_num;
       break;
 
     default:
+      counter = NULL;
       break;
     }
 
+  if (counter)
+    {
+      info->index = *counter;
+      if (truth != 0)
+       *counter += 1;
+    }
+  else
+    info->index = -1;
+
   return true;
 }
 
@@ -2607,7 +2627,7 @@ read_md_rtx (md_rtx_info *info)
 unsigned int
 get_num_insn_codes ()
 {
-  return sequence_num;
+  return insn_sequence_num;
 }
 
 /* Return the C test that says whether definition rtx DEF can be used,