OSDN Git Service

* emit-rtl.c (gen_reg_rtx): Also reallocate reg_decl array.
[pf3gnuchains/gcc-fork.git] / gcc / print-rtl.c
index d895ce4..3d78dd3 100644 (file)
@@ -2,27 +2,32 @@
    Copyright (C) 1987, 1988, 1992, 1997, 1998, 1999, 2000
    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
-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 2, 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, 59 Temple Place - Suite 330,
-Boston, MA 02111-1307, USA.  */
+along with GCC; see the file COPYING.  If not, write to the Free
+Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+02111-1307, USA.  */
 
 
 #include "config.h"
 #include "system.h"
 #include "rtl.h"
+
+/* We don't want the tree code checking code for the access to the
+   DECL_NAME to be included in the gen* programs.  */
+#undef ENABLE_TREE_CHECKING
+#include "tree.h"
 #include "real.h"
 #include "flags.h"
 #include "hard-reg-set.h"
@@ -47,8 +52,6 @@ const char * reg_names[] = REGISTER_NAMES;
 
 static FILE *outfile;
 
-static const char xspaces[] = "                                                                                                                                                                ";
-
 static int sawclose = 0;
 
 static int indent;
@@ -65,6 +68,9 @@ const char *print_rtx_head = "";
    This must be defined here so that programs like gencodes can be linked.  */
 int flag_dump_unnumbered = 0;
 
+/* Nonzero means use simplified format without flags, modes, etc.  */
+int flag_simple = 0;
+
 /* Nonzero if we are dumping graphical description.  */
 int dump_for_graph;
 
@@ -75,19 +81,21 @@ static int debug_call_placeholder_verbose;
 
 static void
 print_rtx (in_rtx)
-     register rtx in_rtx;
+     rtx in_rtx;
 {
-  register int i = 0;
-  register int j;
-  register const char *format_ptr;
-  register int is_insn;
+  int i = 0;
+  int j;
+  const char *format_ptr;
+  int is_insn;
   rtx tem;
 
   if (sawclose)
     {
-      fprintf (outfile, "\n%s%s",
-               print_rtx_head,
-              (xspaces + (sizeof xspaces - 1 - indent * 2)));
+      if (flag_simple)
+       fputc (' ', outfile);
+      else
+       fprintf (outfile, "\n%s%*s",
+                print_rtx_head, indent * 2, "");
       sawclose = 0;
     }
 
@@ -112,36 +120,44 @@ print_rtx (in_rtx)
   else
     {
       /* print name of expression code */
-      fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx)));
-
-      if (in_rtx->in_struct)
-       fputs ("/s", outfile);
-
-      if (in_rtx->volatil)
-       fputs ("/v", outfile);
-
-      if (in_rtx->unchanging)
-       fputs ("/u", outfile);
-
-      if (in_rtx->integrated)
-       fputs ("/i", outfile);
-
-      if (in_rtx->frame_related)
-       fputs ("/f", outfile);
-
-      if (in_rtx->jump)
-       fputs ("/j", outfile);
-
-      if (in_rtx->call)
-       fputs ("/c", outfile);
-
-      if (GET_MODE (in_rtx) != VOIDmode)
+      if (flag_simple && GET_CODE (in_rtx) == CONST_INT)
+       fputc ('(', outfile);
+      else
+       fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx)));
+      
+      if (! flag_simple)
        {
-         /* Print REG_NOTE names for EXPR_LIST and INSN_LIST.  */
-         if (GET_CODE (in_rtx) == EXPR_LIST || GET_CODE (in_rtx) == INSN_LIST)
-           fprintf (outfile, ":%s", GET_REG_NOTE_NAME (GET_MODE (in_rtx)));
-         else
-           fprintf (outfile, ":%s", GET_MODE_NAME (GET_MODE (in_rtx)));
+         if (in_rtx->in_struct)
+           fputs ("/s", outfile);
+
+         if (in_rtx->volatil)
+           fputs ("/v", outfile);
+         
+         if (in_rtx->unchanging)
+           fputs ("/u", outfile);
+         
+         if (in_rtx->integrated)
+           fputs ("/i", outfile);
+         
+         if (in_rtx->frame_related)
+           fputs ("/f", outfile);
+         
+         if (in_rtx->jump)
+           fputs ("/j", outfile);
+         
+         if (in_rtx->call)
+           fputs ("/c", outfile);
+
+         if (GET_MODE (in_rtx) != VOIDmode)
+           {
+             /* Print REG_NOTE names for EXPR_LIST and INSN_LIST.  */
+             if (GET_CODE (in_rtx) == EXPR_LIST 
+                 || GET_CODE (in_rtx) == INSN_LIST)
+               fprintf (outfile, ":%s",
+                        GET_REG_NOTE_NAME (GET_MODE (in_rtx)));
+             else
+               fprintf (outfile, ":%s", GET_MODE_NAME (GET_MODE (in_rtx)));
+           }
        }
     }
 
@@ -152,16 +168,25 @@ print_rtx (in_rtx)
   for (; i < GET_RTX_LENGTH (GET_CODE (in_rtx)); i++)
     switch (*format_ptr++)
       {
+       const char *str;
+
+      case 'T':
+       str = XTMPL (in_rtx, i);
+       goto string;
+
       case 'S':
       case 's':
-       if (XSTR (in_rtx, i) == 0)
+       str = XSTR (in_rtx, i);
+      string:
+
+       if (str == 0)
          fputs (dump_for_graph ? " \\\"\\\"" : " \"\"", outfile);
        else
          {
            if (dump_for_graph)
-             fprintf (outfile, " (\\\"%s\\\")", XSTR (in_rtx, i));
+             fprintf (outfile, " (\\\"%s\\\")", str);
            else
-             fprintf (outfile, " (\"%s\")", XSTR (in_rtx, i));
+             fprintf (outfile, " (\"%s\")", str);
          }
        sawclose = 1;
        break;
@@ -170,6 +195,12 @@ print_rtx (in_rtx)
           An exception is the third field of a NOTE, where it indicates
           that the field has several different valid contents.  */
       case '0':
+       if (i == 1 && GET_CODE (in_rtx) == REG)
+         {
+           if (REGNO (in_rtx) != ORIGINAL_REGNO (in_rtx))
+             fprintf (outfile, " [%d]", ORIGINAL_REGNO (in_rtx));
+           break;
+         }
        if (i == 3 && GET_CODE (in_rtx) == NOTE)
          {
            switch (NOTE_LINE_NUMBER (in_rtx))
@@ -262,9 +293,8 @@ print_rtx (in_rtx)
        indent += 2;
        if (sawclose)
          {
-           fprintf (outfile, "\n%s%s",
-                     print_rtx_head,
-                    (xspaces + (sizeof xspaces - 1 - indent * 2)));
+           fprintf (outfile, "\n%s%*s",
+                     print_rtx_head, indent * 2, "");
            sawclose = 0;
          }
        fputs ("[ ", outfile);
@@ -280,9 +310,8 @@ print_rtx (in_rtx)
            indent -= 2;
          }
        if (sawclose)
-         fprintf (outfile, "\n%s%s",
-                   print_rtx_head,
-                  (xspaces + (sizeof xspaces - 1 - indent * 2)));
+         fprintf (outfile, "\n%s%*s",
+                   print_rtx_head, indent * 2, "");
 
        fputs ("] ", outfile);
        sawclose = 1;
@@ -290,58 +319,71 @@ print_rtx (in_rtx)
        break;
 
       case 'w':
-       fprintf (outfile, " ");
+       if (! flag_simple)
+         fprintf (outfile, " ");
        fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, XWINT (in_rtx, i));
-       fprintf (outfile, " [");
-       fprintf (outfile, HOST_WIDE_INT_PRINT_HEX, XWINT (in_rtx, i));
-       fprintf (outfile, "]");
+       if (! flag_simple)
+         {
+           fprintf (outfile, " [");
+           fprintf (outfile, HOST_WIDE_INT_PRINT_HEX, XWINT (in_rtx, i));
+           fprintf (outfile, "]");
+         }
        break;
 
       case 'i':
-       {
-         register int value = XINT (in_rtx, i);
-         const char *name;
+       if (i == 5 && GET_CODE (in_rtx) == NOTE)
+         {
+           /* This field is only used for NOTE_INSN_DELETED_LABEL, and
+              other times often contains garbage from INSN->NOTE death.  */
+           if (NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_DELETED_LABEL)
+             fprintf (outfile, " %d",  XINT (in_rtx, i));
+         }
+       else
+         {
+           int value = XINT (in_rtx, i);
+           const char *name;
 
-         if (GET_CODE (in_rtx) == REG && value < FIRST_PSEUDO_REGISTER)
-           {
-             fputc (' ', outfile);
-             DEBUG_PRINT_REG (in_rtx, 0, outfile);
-           }
-         else if (GET_CODE (in_rtx) == REG && value <= LAST_VIRTUAL_REGISTER)
-           {
-             if (value == VIRTUAL_INCOMING_ARGS_REGNUM)
-               fprintf (outfile, " %d virtual-incoming-args", value);
-             else if (value == VIRTUAL_STACK_VARS_REGNUM)
-               fprintf (outfile, " %d virtual-stack-vars", value);
-             else if (value == VIRTUAL_STACK_DYNAMIC_REGNUM)
-               fprintf (outfile, " %d virtual-stack-dynamic", value);
-             else if (value == VIRTUAL_OUTGOING_ARGS_REGNUM)
-               fprintf (outfile, " %d virtual-outgoing-args", value);
-             else if (value == VIRTUAL_CFA_REGNUM)
-               fprintf (outfile, " %d virtual-cfa", value);
-             else
-               fprintf (outfile, " %d virtual-reg-%d", value,
-                        value-FIRST_VIRTUAL_REGISTER);
-           }
-         else if (flag_dump_unnumbered
-                  && (is_insn || GET_CODE (in_rtx) == NOTE))
-           fputc ('#', outfile);
-         else
-           fprintf (outfile, " %d", value);
-
-         if (is_insn && &INSN_CODE (in_rtx) == &XINT (in_rtx, i)
-             && XINT (in_rtx, i) >= 0
-             && (name = get_insn_name (XINT (in_rtx, i))) != NULL)
-           fprintf (outfile, " {%s}", name);
-         sawclose = 0;
-       }
+           if (GET_CODE (in_rtx) == REG && value < FIRST_PSEUDO_REGISTER)
+             {
+               fputc (' ', outfile);
+               DEBUG_PRINT_REG (in_rtx, 0, outfile);
+             }
+           else if (GET_CODE (in_rtx) == REG
+                    && value <= LAST_VIRTUAL_REGISTER)
+             {
+               if (value == VIRTUAL_INCOMING_ARGS_REGNUM)
+                 fprintf (outfile, " %d virtual-incoming-args", value);
+               else if (value == VIRTUAL_STACK_VARS_REGNUM)
+                 fprintf (outfile, " %d virtual-stack-vars", value);
+               else if (value == VIRTUAL_STACK_DYNAMIC_REGNUM)
+                 fprintf (outfile, " %d virtual-stack-dynamic", value);
+               else if (value == VIRTUAL_OUTGOING_ARGS_REGNUM)
+                 fprintf (outfile, " %d virtual-outgoing-args", value);
+               else if (value == VIRTUAL_CFA_REGNUM)
+                 fprintf (outfile, " %d virtual-cfa", value);
+               else
+                 fprintf (outfile, " %d virtual-reg-%d", value,
+                          value-FIRST_VIRTUAL_REGISTER);
+             }
+           else if (flag_dump_unnumbered
+                    && (is_insn || GET_CODE (in_rtx) == NOTE))
+             fputc ('#', outfile);
+           else
+             fprintf (outfile, " %d", value);
+
+           if (is_insn && &INSN_CODE (in_rtx) == &XINT (in_rtx, i)
+               && XINT (in_rtx, i) >= 0
+               && (name = get_insn_name (XINT (in_rtx, i))) != NULL)
+             fprintf (outfile, " {%s}", name);
+           sawclose = 0;
+         }
        break;
 
       /* Print NOTE_INSN names rather than integer codes.  */
 
       case 'n':
-       if (XINT (in_rtx, i) >= NOTE_INSN_BIAS
-           && XINT (in_rtx, i) < NOTE_INSN_MAX)
+       if (XINT (in_rtx, i) >= (int) NOTE_INSN_BIAS
+           && XINT (in_rtx, i) < (int) NOTE_INSN_MAX)
          fprintf (outfile, " %s", GET_NOTE_INSN_NAME (XINT (in_rtx, i)));
        else
          fprintf (outfile, " %d", XINT (in_rtx, i));
@@ -409,8 +451,30 @@ print_rtx (in_rtx)
   switch (GET_CODE (in_rtx))
     {
     case MEM:
-      fputc (' ', outfile);
+      fputs (" [", outfile);
       fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, MEM_ALIAS_SET (in_rtx));
+      if (MEM_DECL (in_rtx) && DECL_NAME (MEM_DECL (in_rtx)))
+       fprintf (outfile, " %s",
+                IDENTIFIER_POINTER (DECL_NAME (MEM_DECL (in_rtx))));
+
+      if (MEM_OFFSET (in_rtx))
+       {
+         fputc ('+', outfile);
+         fprintf (outfile, HOST_WIDE_INT_PRINT_DEC,
+                  INTVAL (MEM_OFFSET (in_rtx)));
+       }
+
+      if (MEM_SIZE (in_rtx))
+       {
+         fputs (" S", outfile);
+         fprintf (outfile, HOST_WIDE_INT_PRINT_DEC,
+                  INTVAL (MEM_SIZE (in_rtx)));
+       }
+
+      if (MEM_ALIGN (in_rtx) != 1)
+       fprintf (outfile, " A%u", MEM_ALIGN (in_rtx));
+
+      fputc (']', outfile);
       break;
 
 #if HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT && MAX_LONG_DOUBLE_TYPE_SIZE == 64
@@ -602,7 +666,7 @@ print_rtl (outf, rtx_first)
      FILE *outf;
      rtx rtx_first;
 {
-  register rtx tmp_rtx;
+  rtx tmp_rtx;
 
   outfile = outf;
   sawclose = 0;
@@ -657,3 +721,17 @@ print_rtl_single (outf, x)
     }
   return 0;
 }
+
+
+/* Like print_rtl except without all the detail; for example,
+   if RTX is a CONST_INT then print in decimal format.  */
+
+void
+print_simple_rtl (outf, x)
+     FILE *outf;
+     rtx x;
+{
+  flag_simple = 1;
+  print_rtl (outf, x);
+  flag_simple = 0;
+}