re PR target/65697 (__atomic memory barriers not strong enough for __sync builtins)
[gcc.git] / gcc / print-rtl.c
index 52709da6ea0bab55b397f81671ae22b3d00cfd7e..36182d349ce40738bf7a7df3214171dd76c4cc1e 100644 (file)
@@ -1,7 +1,5 @@
 /* Print RTL for GCC.
-   Copyright (C) 1987, 1988, 1992, 1997, 1998, 1999, 2000, 2002, 2003,
-   2004, 2005, 2007, 2008, 2009
-   Free Software Foundation, Inc.
+   Copyright (C) 1987-2015 Free Software Foundation, Inc.
 
 This file is part of GCC.
 
@@ -35,14 +33,21 @@ along with GCC; see the file COPYING3.  If not see
 /* These headers all define things which are not available in
    generator programs.  */
 #ifndef GENERATOR_FILE
+#include "alias.h"
+#include "symtab.h"
 #include "tree.h"
-#include "real.h"
+#include "print-tree.h"
 #include "flags.h"
 #include "hard-reg-set.h"
+#include "predict.h"
+#include "function.h"
 #include "basic-block.h"
 #include "diagnostic.h"
+#include "tree-pretty-print.h"
+#include "alloc-pool.h"
 #include "cselib.h"
-#include "tree-pass.h"
+#include "dumpfile.h"  /* for dump_flags */
+#include "dwarf2out.h"
 #endif
 
 static FILE *outfile;
@@ -51,6 +56,8 @@ static int sawclose = 0;
 
 static int indent;
 
+static bool in_call_function_usage;
+
 static void print_rtx (const_rtx);
 
 /* String printed at beginning of each RTL when it is dumped.
@@ -58,6 +65,10 @@ static void print_rtx (const_rtx);
    the assembly output file.  */
 const char *print_rtx_head = "";
 
+#ifdef GENERATOR_FILE
+/* These are defined from the .opt file when not used in generator
+   programs.  */
+
 /* Nonzero means suppress output of instruction numbers
    in debugging dumps.
    This must be defined here so that programs like gencodes can be linked.  */
@@ -67,13 +78,11 @@ int flag_dump_unnumbered = 0;
    and next insns in debugging dumps.
    This must be defined here so that programs like gencodes can be linked.  */
 int flag_dump_unnumbered_links = 0;
+#endif
 
 /* Nonzero means use simplified format without flags, modes, etc.  */
 int flag_simple = 0;
 
-/* Nonzero if we are dumping graphical description.  */
-int dump_for_graph;
-
 #ifndef GENERATOR_FILE
 void
 print_mem_expr (FILE *outfile, const_tree expr)
@@ -118,81 +127,79 @@ print_rtx (const_rtx in_rtx)
 
   is_insn = INSN_P (in_rtx);
 
-  /* When printing in VCG format we write INSNs, NOTE, LABEL, and BARRIER
-     in separate nodes and therefore have to handle them special here.  */
-  if (dump_for_graph
-      && (is_insn || NOTE_P (in_rtx)
-         || LABEL_P (in_rtx) || BARRIER_P (in_rtx)))
-    {
-      i = 3;
-      indent = 0;
-    }
+  /* Print name of expression code.  */
+  if (flag_simple && CONST_INT_P (in_rtx))
+    fputc ('(', outfile);
   else
-    {
-      /* Print name of expression code.  */
-      if (flag_simple && CONST_INT_P (in_rtx))
-       fputc ('(', outfile);
-      else
-       fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx)));
+    fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx)));
 
-      if (! flag_simple)
-       {
-         if (RTX_FLAG (in_rtx, in_struct))
-           fputs ("/s", outfile);
+  if (! flag_simple)
+    {
+      if (RTX_FLAG (in_rtx, in_struct))
+       fputs ("/s", outfile);
 
-         if (RTX_FLAG (in_rtx, volatil))
-           fputs ("/v", outfile);
+      if (RTX_FLAG (in_rtx, volatil))
+       fputs ("/v", outfile);
 
-         if (RTX_FLAG (in_rtx, unchanging))
-           fputs ("/u", outfile);
+      if (RTX_FLAG (in_rtx, unchanging))
+       fputs ("/u", outfile);
 
-         if (RTX_FLAG (in_rtx, frame_related))
-           fputs ("/f", outfile);
+      if (RTX_FLAG (in_rtx, frame_related))
+       fputs ("/f", outfile);
 
-         if (RTX_FLAG (in_rtx, jump))
-           fputs ("/j", outfile);
+      if (RTX_FLAG (in_rtx, jump))
+       fputs ("/j", outfile);
 
-         if (RTX_FLAG (in_rtx, call))
-           fputs ("/c", outfile);
+      if (RTX_FLAG (in_rtx, call))
+       fputs ("/c", outfile);
 
-         if (RTX_FLAG (in_rtx, return_val))
-           fputs ("/i", outfile);
+      if (RTX_FLAG (in_rtx, return_val))
+       fputs ("/i", outfile);
 
-         /* Print REG_NOTE names for EXPR_LIST and INSN_LIST.  */
-         if ((GET_CODE (in_rtx) == EXPR_LIST
-              || GET_CODE (in_rtx) == INSN_LIST)
-             && (int)GET_MODE (in_rtx) < REG_NOTE_MAX)
-           fprintf (outfile, ":%s",
-                    GET_REG_NOTE_NAME (GET_MODE (in_rtx)));
+      /* Print REG_NOTE names for EXPR_LIST and INSN_LIST.  */
+      if ((GET_CODE (in_rtx) == EXPR_LIST
+          || GET_CODE (in_rtx) == INSN_LIST
+          || GET_CODE (in_rtx) == INT_LIST)
+         && (int)GET_MODE (in_rtx) < REG_NOTE_MAX
+         && !in_call_function_usage)
+       fprintf (outfile, ":%s",
+                GET_REG_NOTE_NAME (GET_MODE (in_rtx)));
 
-         /* For other rtl, print the mode if it's not VOID.  */
-         else if (GET_MODE (in_rtx) != VOIDmode)
-           fprintf (outfile, ":%s", GET_MODE_NAME (GET_MODE (in_rtx)));
+      /* For other rtl, print the mode if it's not VOID.  */
+      else if (GET_MODE (in_rtx) != VOIDmode)
+       fprintf (outfile, ":%s", GET_MODE_NAME (GET_MODE (in_rtx)));
 
 #ifndef GENERATOR_FILE
-         if (GET_CODE (in_rtx) == VAR_LOCATION)
-           {
-             if (TREE_CODE (PAT_VAR_LOCATION_DECL (in_rtx)) == STRING_CST)
-               fputs (" <debug string placeholder>", outfile);
-             else
-               print_mem_expr (outfile, PAT_VAR_LOCATION_DECL (in_rtx));
-             fputc (' ', outfile);
-             print_rtx (PAT_VAR_LOCATION_LOC (in_rtx));
-             if (PAT_VAR_LOCATION_STATUS (in_rtx)
-                 == VAR_INIT_STATUS_UNINITIALIZED)
-               fprintf (outfile, " [uninit]");
-             sawclose = 1;
-             i = GET_RTX_LENGTH (VAR_LOCATION);
-           }
-#endif
+      if (GET_CODE (in_rtx) == VAR_LOCATION)
+       {
+         if (TREE_CODE (PAT_VAR_LOCATION_DECL (in_rtx)) == STRING_CST)
+           fputs (" <debug string placeholder>", outfile);
+         else
+           print_mem_expr (outfile, PAT_VAR_LOCATION_DECL (in_rtx));
+         fputc (' ', outfile);
+         print_rtx (PAT_VAR_LOCATION_LOC (in_rtx));
+         if (PAT_VAR_LOCATION_STATUS (in_rtx)
+             == VAR_INIT_STATUS_UNINITIALIZED)
+           fprintf (outfile, " [uninit]");
+         sawclose = 1;
+         i = GET_RTX_LENGTH (VAR_LOCATION);
        }
+#endif
     }
 
 #ifndef GENERATOR_FILE
-  if (GET_CODE (in_rtx) == CONST_DOUBLE && FLOAT_MODE_P (GET_MODE (in_rtx)))
+  if (CONST_DOUBLE_AS_FLOAT_P (in_rtx))
     i = 5;
 #endif
 
+  if (INSN_CHAIN_CODE_P (GET_CODE (in_rtx)))
+    {
+      if (flag_dump_unnumbered)
+       fprintf (outfile, " #");
+      else
+       fprintf (outfile, " %d", INSN_UID (in_rtx));
+    }
+
   /* Get the format string and skip the first elements if we have handled
      them already.  */
   format_ptr = GET_RTX_FORMAT (GET_CODE (in_rtx)) + i;
@@ -211,14 +218,9 @@ print_rtx (const_rtx in_rtx)
       string:
 
        if (str == 0)
-         fputs (dump_for_graph ? " \\\"\\\"" : " \"\"", outfile);
+         fputs (" \"\"", outfile);
        else
-         {
-           if (dump_for_graph)
-             fprintf (outfile, " (\\\"%s\\\")", str);
-           else
-             fprintf (outfile, " (\"%s\")", str);
-         }
+         fprintf (outfile, " (\"%s\")", str);
        sawclose = 1;
        break;
 
@@ -226,26 +228,17 @@ print_rtx (const_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 && REG_P (in_rtx))
-         {
-           if (REGNO (in_rtx) != ORIGINAL_REGNO (in_rtx))
-             fprintf (outfile, " [%d]", ORIGINAL_REGNO (in_rtx));
-         }
 #ifndef GENERATOR_FILE
-       else if (i == 1 && GET_CODE (in_rtx) == SYMBOL_REF)
+       if (i == 1 && GET_CODE (in_rtx) == SYMBOL_REF)
          {
            int flags = SYMBOL_REF_FLAGS (in_rtx);
            if (flags)
-             fprintf (outfile, " [flags 0x%x]", flags);
-         }
-       else if (i == 2 && GET_CODE (in_rtx) == SYMBOL_REF)
-         {
+             fprintf (outfile, " [flags %#x]", flags);
            tree decl = SYMBOL_REF_DECL (in_rtx);
            if (decl)
              print_node_brief (outfile, "", decl, dump_flags);
          }
-#endif
-       else if (i == 4 && NOTE_P (in_rtx))
+       else if (i == 3 && NOTE_P (in_rtx))
          {
            switch (NOTE_KIND (in_rtx))
              {
@@ -260,23 +253,20 @@ print_rtx (const_rtx in_rtx)
 
              case NOTE_INSN_BLOCK_BEG:
              case NOTE_INSN_BLOCK_END:
-#ifndef GENERATOR_FILE
                dump_addr (outfile, " ", NOTE_BLOCK (in_rtx));
-#endif
                sawclose = 1;
                break;
 
              case NOTE_INSN_BASIC_BLOCK:
                {
-#ifndef GENERATOR_FILE
                  basic_block bb = NOTE_BASIC_BLOCK (in_rtx);
                  if (bb != 0)
                    fprintf (outfile, " [bb %d]", bb->index);
-#endif
                  break;
                }
 
              case NOTE_INSN_DELETED_LABEL:
+             case NOTE_INSN_DELETED_DEBUG_LABEL:
                {
                  const char *label = NOTE_DELETED_LABEL_NAME (in_rtx);
                  if (label)
@@ -288,54 +278,80 @@ print_rtx (const_rtx in_rtx)
 
              case NOTE_INSN_SWITCH_TEXT_SECTIONS:
                {
-#ifndef GENERATOR_FILE
                  basic_block bb = NOTE_BASIC_BLOCK (in_rtx);
                  if (bb != 0)
                    fprintf (outfile, " [bb %d]", bb->index);
-#endif
                  break;
                }
 
              case NOTE_INSN_VAR_LOCATION:
-#ifndef GENERATOR_FILE
+             case NOTE_INSN_CALL_ARG_LOCATION:
                fputc (' ', outfile);
                print_rtx (NOTE_VAR_LOCATION (in_rtx));
-#endif
+               break;
+
+             case NOTE_INSN_CFI:
+               fputc ('\n', outfile);
+               output_cfi_directive (outfile, NOTE_CFI (in_rtx));
+               fputc ('\t', outfile);
                break;
 
              default:
                break;
              }
          }
-       else if (i == 8 && JUMP_P (in_rtx) && JUMP_LABEL (in_rtx) != NULL)
-         /* Output the JUMP_LABEL reference.  */
-         fprintf (outfile, "\n%s%*s -> %d", print_rtx_head, indent * 2, "",
-                  INSN_UID (JUMP_LABEL (in_rtx)));
+       else if (i == 7 && JUMP_P (in_rtx) && JUMP_LABEL (in_rtx) != NULL)
+         {
+           /* Output the JUMP_LABEL reference.  */
+           fprintf (outfile, "\n%s%*s -> ", print_rtx_head, indent * 2, "");
+           if (GET_CODE (JUMP_LABEL (in_rtx)) == RETURN)
+             fprintf (outfile, "return");
+           else if (GET_CODE (JUMP_LABEL (in_rtx)) == SIMPLE_RETURN)
+             fprintf (outfile, "simple_return");
+           else
+             fprintf (outfile, "%d", INSN_UID (JUMP_LABEL (in_rtx)));
+         }
        else if (i == 0 && GET_CODE (in_rtx) == VALUE)
          {
-#ifndef GENERATOR_FILE
            cselib_val *val = CSELIB_VAL_PTR (in_rtx);
 
            fprintf (outfile, " %u:%u", val->uid, val->hash);
            dump_addr (outfile, " @", in_rtx);
            dump_addr (outfile, "/", (void*)val);
-#endif
          }
        else if (i == 0 && GET_CODE (in_rtx) == DEBUG_EXPR)
          {
-#ifndef GENERATOR_FILE
            fprintf (outfile, " D#%i",
                     DEBUG_TEMP_UID (DEBUG_EXPR_TREE_DECL (in_rtx)));
-#endif
          }
+       else if (i == 0 && GET_CODE (in_rtx) == ENTRY_VALUE)
+         {
+           indent += 2;
+           if (!sawclose)
+             fprintf (outfile, " ");
+           print_rtx (ENTRY_VALUE_EXP (in_rtx));
+           indent -= 2;
+         }
+#endif
        break;
 
       case 'e':
       do_e:
        indent += 2;
+       if (i == 6 && INSN_P (in_rtx))
+         /* Put REG_NOTES on their own line.  */
+         fprintf (outfile, "\n%s%*s",
+                  print_rtx_head, indent * 2, "");
        if (!sawclose)
          fprintf (outfile, " ");
-       print_rtx (XEXP (in_rtx, i));
+       if (i == 7 && CALL_P (in_rtx))
+         {
+           in_call_function_usage = true;
+           print_rtx (XEXP (in_rtx, i));
+           in_call_function_usage = false;
+         }
+       else
+         print_rtx (XEXP (in_rtx, i));
        indent -= 2;
        break;
 
@@ -381,86 +397,70 @@ print_rtx (const_rtx in_rtx)
        if (i == 4 && INSN_P (in_rtx))
          {
 #ifndef GENERATOR_FILE
-           /*  Pretty-print insn locators.  Ignore scoping as it is mostly
+           const rtx_insn *in_insn = as_a <const rtx_insn *> (in_rtx);
+
+           /*  Pretty-print insn locations.  Ignore scoping as it is mostly
                redundant with line number information and do not print anything
                when there is no location information available.  */
-           if (INSN_LOCATOR (in_rtx) && insn_file (in_rtx))
-             fprintf(outfile, " %s:%i", insn_file (in_rtx), insn_line (in_rtx));
+           if (INSN_HAS_LOCATION (in_insn))
+             {
+               expanded_location xloc = insn_location (in_insn);
+               fprintf (outfile, " %s:%i", xloc.file, xloc.line);
+             }
 #endif
          }
        else if (i == 6 && GET_CODE (in_rtx) == ASM_OPERANDS)
          {
 #ifndef GENERATOR_FILE
-           fprintf (outfile, " %s:%i",
-                    locator_file (ASM_OPERANDS_SOURCE_LOCATION (in_rtx)),
-                    locator_line (ASM_OPERANDS_SOURCE_LOCATION (in_rtx)));
+           if (ASM_OPERANDS_SOURCE_LOCATION (in_rtx) != UNKNOWN_LOCATION)
+             fprintf (outfile, " %s:%i",
+                      LOCATION_FILE (ASM_OPERANDS_SOURCE_LOCATION (in_rtx)),
+                      LOCATION_LINE (ASM_OPERANDS_SOURCE_LOCATION (in_rtx)));
 #endif
          }
        else if (i == 1 && GET_CODE (in_rtx) == ASM_INPUT)
          {
 #ifndef GENERATOR_FILE
-           fprintf (outfile, " %s:%i",
-                    locator_file (ASM_INPUT_SOURCE_LOCATION (in_rtx)),
-                    locator_line (ASM_INPUT_SOURCE_LOCATION (in_rtx)));
+           if (ASM_INPUT_SOURCE_LOCATION (in_rtx) != UNKNOWN_LOCATION)
+             fprintf (outfile, " %s:%i",
+                      LOCATION_FILE (ASM_INPUT_SOURCE_LOCATION (in_rtx)),
+                      LOCATION_LINE (ASM_INPUT_SOURCE_LOCATION (in_rtx)));
 #endif
          }
-       else if (i == 6 && NOTE_P (in_rtx))
+       else if (i == 5 && NOTE_P (in_rtx))
          {
            /* This field is only used for NOTE_INSN_DELETED_LABEL, and
               other times often contains garbage from INSN->NOTE death.  */
-           if (NOTE_KIND (in_rtx) == NOTE_INSN_DELETED_LABEL)
+           if (NOTE_KIND (in_rtx) == NOTE_INSN_DELETED_LABEL
+               || NOTE_KIND (in_rtx) == NOTE_INSN_DELETED_DEBUG_LABEL)
              fprintf (outfile, " %d",  XINT (in_rtx, i));
          }
+#if !defined(GENERATOR_FILE) && NUM_UNSPECV_VALUES > 0
+       else if (i == 1
+                && GET_CODE (in_rtx) == UNSPEC_VOLATILE
+                && XINT (in_rtx, 1) >= 0
+                && XINT (in_rtx, 1) < NUM_UNSPECV_VALUES)
+         fprintf (outfile, " %s", unspecv_strings[XINT (in_rtx, 1)]);
+#endif
+#if !defined(GENERATOR_FILE) && NUM_UNSPEC_VALUES > 0
+       else if (i == 1
+                && (GET_CODE (in_rtx) == UNSPEC
+                    || GET_CODE (in_rtx) == UNSPEC_VOLATILE)
+                && XINT (in_rtx, 1) >= 0
+                && XINT (in_rtx, 1) < NUM_UNSPEC_VALUES)
+         fprintf (outfile, " %s", unspec_strings[XINT (in_rtx, 1)]);
+#endif
        else
          {
            int value = XINT (in_rtx, i);
            const char *name;
 
-#ifndef GENERATOR_FILE
-           if (REG_P (in_rtx) && value < FIRST_PSEUDO_REGISTER)
-             fprintf (outfile, " %d %s", REGNO (in_rtx),
-                      reg_names[REGNO (in_rtx)]);
-           else if (REG_P (in_rtx)
-                    && 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
-#endif
-             if (flag_dump_unnumbered
-                    && (is_insn || NOTE_P (in_rtx)))
+           if (flag_dump_unnumbered
+               && (is_insn || NOTE_P (in_rtx)))
              fputc ('#', outfile);
            else
              fprintf (outfile, " %d", value);
 
-#ifndef GENERATOR_FILE
-           if (REG_P (in_rtx) && REG_ATTRS (in_rtx))
-             {
-               fputs (" [", outfile);
-               if (ORIGINAL_REGNO (in_rtx) != REGNO (in_rtx))
-                 fprintf (outfile, "orig:%i", ORIGINAL_REGNO (in_rtx));
-               if (REG_EXPR (in_rtx))
-                 print_mem_expr (outfile, REG_EXPR (in_rtx));
-
-               if (REG_OFFSET (in_rtx))
-                 fprintf (outfile, "+" HOST_WIDE_INT_PRINT_DEC,
-                          REG_OFFSET (in_rtx));
-               fputs (" ]", outfile);
-             }
-#endif
-
            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)
@@ -469,6 +469,58 @@ print_rtx (const_rtx in_rtx)
          }
        break;
 
+      case 'r':
+       {
+         unsigned int regno = REGNO (in_rtx);
+#ifndef GENERATOR_FILE
+         if (regno < FIRST_PSEUDO_REGISTER)
+           fprintf (outfile, " %d %s", regno, reg_names[regno]);
+         else if (regno <= LAST_VIRTUAL_REGISTER)
+           {
+             if (regno == VIRTUAL_INCOMING_ARGS_REGNUM)
+               fprintf (outfile, " %d virtual-incoming-args", regno);
+             else if (regno == VIRTUAL_STACK_VARS_REGNUM)
+               fprintf (outfile, " %d virtual-stack-vars", regno);
+             else if (regno == VIRTUAL_STACK_DYNAMIC_REGNUM)
+               fprintf (outfile, " %d virtual-stack-dynamic", regno);
+             else if (regno == VIRTUAL_OUTGOING_ARGS_REGNUM)
+               fprintf (outfile, " %d virtual-outgoing-args", regno);
+             else if (regno == VIRTUAL_CFA_REGNUM)
+               fprintf (outfile, " %d virtual-cfa", regno);
+             else if (regno == VIRTUAL_PREFERRED_STACK_BOUNDARY_REGNUM)
+               fprintf (outfile, " %d virtual-preferred-stack-boundary",
+                        regno);
+             else
+               fprintf (outfile, " %d virtual-reg-%d", regno,
+                        regno-FIRST_VIRTUAL_REGISTER);
+           }
+         else
+#endif
+           if (flag_dump_unnumbered && is_insn)
+             fputc ('#', outfile);
+           else
+             fprintf (outfile, " %d", regno);
+
+#ifndef GENERATOR_FILE
+         if (REG_ATTRS (in_rtx))
+           {
+             fputs (" [", outfile);
+             if (regno != ORIGINAL_REGNO (in_rtx))
+               fprintf (outfile, "orig:%i", ORIGINAL_REGNO (in_rtx));
+             if (REG_EXPR (in_rtx))
+               print_mem_expr (outfile, REG_EXPR (in_rtx));
+
+             if (REG_OFFSET (in_rtx))
+               fprintf (outfile, "+" HOST_WIDE_INT_PRINT_DEC,
+                        REG_OFFSET (in_rtx));
+             fputs (" ]", outfile);
+           }
+         if (regno != ORIGINAL_REGNO (in_rtx))
+           fprintf (outfile, " [%d]", ORIGINAL_REGNO (in_rtx));
+#endif
+         break;
+       }
+
       /* Print NOTE_INSN names rather than integer codes.  */
 
       case 'n':
@@ -512,19 +564,14 @@ print_rtx (const_rtx in_rtx)
        sawclose = 0;
        break;
 
-      case 'b':
-#ifndef GENERATOR_FILE
-       if (XBITMAP (in_rtx, i) == NULL)
-         fputs (" {null}", outfile);
-       else
-         bitmap_print (outfile, XBITMAP (in_rtx, i), " {", "}");
-#endif
-       sawclose = 0;
-       break;
-
       case 't':
 #ifndef GENERATOR_FILE
-       dump_addr (outfile, " ", XTREE (in_rtx, i));
+       if (i == 0 && GET_CODE (in_rtx) == DEBUG_IMPLICIT_PTR)
+         print_mem_expr (outfile, DEBUG_IMPLICIT_PTR_DECL (in_rtx));
+       else if (i == 0 && GET_CODE (in_rtx) == DEBUG_PARAMETER_REF)
+         print_mem_expr (outfile, DEBUG_PARAMETER_REF_DECL (in_rtx));
+       else
+         dump_addr (outfile, " ", XTREE (in_rtx, i));
 #endif
        break;
 
@@ -548,19 +595,22 @@ print_rtx (const_rtx in_rtx)
     {
 #ifndef GENERATOR_FILE
     case MEM:
-      fprintf (outfile, " [" HOST_WIDE_INT_PRINT_DEC,
-              (HOST_WIDE_INT) MEM_ALIAS_SET (in_rtx));
+      if (__builtin_expect (final_insns_dump_p, false))
+       fprintf (outfile, " [");
+      else
+       fprintf (outfile, " [" HOST_WIDE_INT_PRINT_DEC,
+                (HOST_WIDE_INT) MEM_ALIAS_SET (in_rtx));
 
       if (MEM_EXPR (in_rtx))
        print_mem_expr (outfile, MEM_EXPR (in_rtx));
+      else
+       fputc (' ', outfile);
 
-      if (MEM_OFFSET (in_rtx))
-       fprintf (outfile, "+" HOST_WIDE_INT_PRINT_DEC,
-                INTVAL (MEM_OFFSET (in_rtx)));
+      if (MEM_OFFSET_KNOWN_P (in_rtx))
+       fprintf (outfile, "+" HOST_WIDE_INT_PRINT_DEC, MEM_OFFSET (in_rtx));
 
-      if (MEM_SIZE (in_rtx))
-       fprintf (outfile, " S" HOST_WIDE_INT_PRINT_DEC,
-                INTVAL (MEM_SIZE (in_rtx)));
+      if (MEM_SIZE_KNOWN_P (in_rtx))
+       fprintf (outfile, " S" HOST_WIDE_INT_PRINT_DEC, MEM_SIZE (in_rtx));
 
       if (MEM_ALIGN (in_rtx) != 1)
        fprintf (outfile, " A%u", MEM_ALIGN (in_rtx));
@@ -585,6 +635,11 @@ print_rtx (const_rtx in_rtx)
          fprintf (outfile, " [%s]", s);
        }
       break;
+
+    case CONST_WIDE_INT:
+      fprintf (outfile, " ");
+      cwi_output_hex (outfile, in_rtx);
+      break;
 #endif
 
     case CODE_LABEL:
@@ -603,15 +658,8 @@ print_rtx (const_rtx in_rtx)
       break;
     }
 
-  if (dump_for_graph
-      && (is_insn || NOTE_P (in_rtx)
-         || LABEL_P (in_rtx) || BARRIER_P (in_rtx)))
-    sawclose = 0;
-  else
-    {
-      fputc (')', outfile);
-      sawclose = 1;
-    }
+  fputc (')', outfile);
+  sawclose = 1;
 }
 
 /* Print an rtx on the current line of FILE.  Initially indent IND
@@ -633,7 +681,7 @@ print_inline_rtx (FILE *outf, const_rtx x, int ind)
 
 /* Call this function from the debugger to see what X looks like.  */
 
-void
+DEBUG_FUNCTION void
 debug_rtx (const_rtx x)
 {
   outfile = stderr;
@@ -642,22 +690,40 @@ debug_rtx (const_rtx x)
   fprintf (stderr, "\n");
 }
 
+/* Dump rtx REF.  */
+
+DEBUG_FUNCTION void
+debug (const rtx_def &ref)
+{
+  debug_rtx (&ref);
+}
+
+DEBUG_FUNCTION void
+debug (const rtx_def *ptr)
+{
+  if (ptr)
+    debug (*ptr);
+  else
+    fprintf (stderr, "<nil>\n");
+}
+
 /* Count of rtx's to print with debug_rtx_list.
    This global exists because gdb user defined commands have no arguments.  */
 
-int debug_rtx_count = 0;       /* 0 is treated as equivalent to 1 */
+DEBUG_VARIABLE int debug_rtx_count = 0;        /* 0 is treated as equivalent to 1 */
 
 /* Call this function to print list from X on.
 
    N is a count of the rtx's to print. Positive values print from the specified
-   rtx on.  Negative values print a window around the rtx.
-   EG: -5 prints 2 rtx's on either side (in addition to the specified rtx).  */
+   rtx_insn on.  Negative values print a window around the rtx_insn.
+   EG: -5 prints 2 rtx_insn's on either side (in addition to the specified
+   rtx_insn).  */
 
-void
-debug_rtx_list (const_rtx x, int n)
+DEBUG_FUNCTION void
+debug_rtx_list (const rtx_insn *x, int n)
 {
   int i,count;
-  const_rtx insn;
+  const rtx_insn *insn;
 
   count = n == 0 ? 1 : n < 0 ? -n : n;
 
@@ -678,10 +744,11 @@ debug_rtx_list (const_rtx x, int n)
     }
 }
 
-/* Call this function to print an rtx list from START to END inclusive.  */
+/* Call this function to print an rtx_insn list from START to END
+   inclusive.  */
 
-void
-debug_rtx_range (const_rtx start, const_rtx end)
+DEBUG_FUNCTION void
+debug_rtx_range (const rtx_insn *start, const rtx_insn *end)
 {
   while (1)
     {
@@ -693,12 +760,12 @@ debug_rtx_range (const_rtx start, const_rtx end)
     }
 }
 
-/* Call this function to search an rtx list to find one with insn uid UID,
+/* Call this function to search an rtx_insn list to find one with insn uid UID,
    and then call debug_rtx_list to print it, using DEBUG_RTX_COUNT.
    The found insn is returned to enable further debugging analysis.  */
 
-const_rtx
-debug_rtx_find (const_rtx x, int uid)
+DEBUG_FUNCTION const rtx_insn *
+debug_rtx_find (const rtx_insn *x, int uid)
 {
   while (x != 0 && INSN_UID (x) != uid)
     x = NEXT_INSN (x);
@@ -723,7 +790,7 @@ debug_rtx_find (const_rtx x, int uid)
 void
 print_rtl (FILE *outf, const_rtx rtx_first)
 {
-  const_rtx tmp_rtx;
+  const rtx_insn *tmp_rtx;
 
   outfile = outf;
   sawclose = 0;
@@ -741,8 +808,11 @@ print_rtl (FILE *outf, const_rtx rtx_first)
       case CALL_INSN:
       case NOTE:
       case CODE_LABEL:
+      case JUMP_TABLE_DATA:
       case BARRIER:
-       for (tmp_rtx = rtx_first; tmp_rtx != 0; tmp_rtx = NEXT_INSN (tmp_rtx))
+       for (tmp_rtx = as_a <const rtx_insn *> (rtx_first);
+            tmp_rtx != 0;
+            tmp_rtx = NEXT_INSN (tmp_rtx))
          {
            fputs (print_rtx_head, outfile);
            print_rtx (tmp_rtx);
@@ -762,11 +832,27 @@ print_rtl (FILE *outf, const_rtx rtx_first)
 int
 print_rtl_single (FILE *outf, const_rtx x)
 {
+  return print_rtl_single_with_indent (outf, x, 0);
+}
+
+/* Like print_rtl_single, except specify a file and indentation.  */
+
+int
+print_rtl_single_with_indent (FILE *outf, const_rtx x, int ind)
+{
+  int old_indent = indent;
+  char *s_indent = (char *) alloca ((size_t) ind + 1);
+  memset ((void *) s_indent, ' ', (size_t) ind);
+  s_indent[ind] = '\0';
+
+  indent = ind;
   outfile = outf;
   sawclose = 0;
+  fputs (s_indent, outfile);
   fputs (print_rtx_head, outfile);
   print_rtx (x);
   putc ('\n', outf);
+  indent = old_indent;
   return 1;
 }