]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - gcc/genextract.c
Update copyright years.
[thirdparty/gcc.git] / gcc / genextract.c
index 258d234d2729bf16b152b90bb1833a37a6eb0bdc..63911e72d338df7b1b39f8d590eb3516d0885d3b 100644 (file)
@@ -1,5 +1,5 @@
 /* Generate code from machine description to extract operands from insn as rtl.
-   Copyright (C) 1987-2017 Free Software Foundation, Inc.
+   Copyright (C) 1987-2020 Free Software Foundation, Inc.
 
 This file is part of GCC.
 
@@ -33,9 +33,10 @@ along with GCC; see the file COPYING3.  If not see
 
    The string for each operand describes that path to the operand and
    contains `0' through `9' when going into an expression and `a' through
-   `z' when going into a vector.  We assume here that only the first operand
-   of an rtl expression is a vector.  genrecog.c makes the same assumption
-   (and uses the same representation) and it is currently true.  */
+   `z' then 'A' through to 'Z' when going into a vector.  We assume here that
+   only the first operand of an rtl expression is a vector.  genrecog.c makes
+   the same assumption (and uses the same representation) and it is currently
+   true.  */
 
 typedef char *locstr;
 
@@ -67,8 +68,9 @@ static struct code_ptr *peepholes;
    data that will be used to produce an extractions structure.  */
 
 
-struct accum_extract
+class accum_extract
 {
+public:
   accum_extract () : oplocs (10), duplocs (10), dupnums (10), pathstr (20) {}
 
   auto_vec<locstr> oplocs;
@@ -78,7 +80,24 @@ struct accum_extract
 };
 
 /* Forward declarations.  */
-static void walk_rtx (md_rtx_info *, rtx, struct accum_extract *);
+static void walk_rtx (md_rtx_info *, rtx, class accum_extract *);
+
+#define UPPER_OFFSET ('A' - ('z' - 'a' + 1))
+
+/* Convert integer OPERAND into a character - either into [a-zA-Z] for vector
+   operands or [0-9] for integer operands - and push onto the end of the path
+   in ACC.  */
+static void
+push_pathstr_operand (int operand, bool is_vector,
+                    class accum_extract *acc)
+{
+  if (is_vector && 'a' + operand > 'z')
+    acc->pathstr.safe_push (operand + UPPER_OFFSET);
+  else if (is_vector)
+    acc->pathstr.safe_push (operand + 'a');
+  else
+    acc->pathstr.safe_push (operand + '0');
+}
 
 static void
 gen_insn (md_rtx_info *info)
@@ -87,7 +106,7 @@ gen_insn (md_rtx_info *info)
   unsigned int op_count, dup_count, j;
   struct extraction *p;
   struct code_ptr *link;
-  struct accum_extract acc;
+  class accum_extract acc;
 
   /* Walk the insn's pattern, remembering at all times the path
      down to the walking point.  */
@@ -98,7 +117,7 @@ gen_insn (md_rtx_info *info)
   else
     for (i = XVECLEN (insn, 1) - 1; i >= 0; i--)
       {
-       acc.pathstr.safe_push ('a' + i);
+       push_pathstr_operand (i, true, &acc);
        walk_rtx (info, XVECEXP (insn, 1, i), &acc);
        acc.pathstr.pop ();
       }
@@ -205,10 +224,10 @@ VEC_char_to_string (vec<char> v)
 }
 
 static void
-walk_rtx (md_rtx_info *info, rtx x, struct accum_extract *acc)
+walk_rtx (md_rtx_info *info, rtx x, class accum_extract *acc)
 {
   RTX_CODE code;
-  int i, len, base;
+  int i, len;
   const char *fmt;
 
   if (x == 0)
@@ -234,10 +253,9 @@ walk_rtx (md_rtx_info *info, rtx x, struct accum_extract *acc)
       VEC_safe_set_locstr (info, &acc->oplocs, XINT (x, 0),
                           VEC_char_to_string (acc->pathstr));
 
-      base = (code == MATCH_OPERATOR ? '0' : 'a');
       for (i = XVECLEN (x, 2) - 1; i >= 0; i--)
        {
-         acc->pathstr.safe_push (base + i);
+         push_pathstr_operand (i, code != MATCH_OPERATOR, acc);
          walk_rtx (info, XVECEXP (x, 2, i), acc);
          acc->pathstr.pop ();
         }
@@ -252,10 +270,9 @@ walk_rtx (md_rtx_info *info, rtx x, struct accum_extract *acc)
       if (code == MATCH_DUP)
        break;
 
-      base = (code == MATCH_OP_DUP ? '0' : 'a');
       for (i = XVECLEN (x, 1) - 1; i >= 0; i--)
         {
-         acc->pathstr.safe_push (base + i);
+         push_pathstr_operand (i, code != MATCH_OP_DUP, acc);
          walk_rtx (info, XVECEXP (x, 1, i), acc);
          acc->pathstr.pop ();
         }
@@ -271,7 +288,7 @@ walk_rtx (md_rtx_info *info, rtx x, struct accum_extract *acc)
     {
       if (fmt[i] == 'e' || fmt[i] == 'u')
        {
-         acc->pathstr.safe_push ('0' + i);
+         push_pathstr_operand (i, false, acc);
          walk_rtx (info, XEXP (x, i), acc);
          acc->pathstr.pop ();
        }
@@ -280,7 +297,7 @@ walk_rtx (md_rtx_info *info, rtx x, struct accum_extract *acc)
          int j;
          for (j = XVECLEN (x, i) - 1; j >= 0; j--)
            {
-             acc->pathstr.safe_push ('a' + j);
+             push_pathstr_operand (j, true, acc);
              walk_rtx (info, XVECEXP (x, i, j), acc);
              acc->pathstr.pop ();
            }
@@ -311,7 +328,7 @@ print_path (const char *path)
 
   for (i = len - 1; i >= 0 ; i--)
     {
-      if (ISLOWER (path[i]))
+      if (ISLOWER (path[i]) || ISUPPER (path[i]))
        fputs ("XVECEXP (", stdout);
       else if (ISDIGIT (path[i]))
        fputs ("XEXP (", stdout);
@@ -323,7 +340,9 @@ print_path (const char *path)
 
   for (i = 0; i < len; i++)
     {
-      if (ISLOWER (path[i]))
+      if (ISUPPER (path[i]))
+       printf (", 0, %d)", path[i] - UPPER_OFFSET);
+      else if (ISLOWER (path[i]))
        printf (", 0, %d)", path[i] - 'a');
       else if (ISDIGIT (path[i]))
        printf (", %d)", path[i] - '0');