X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fprint-rtl.c;h=2a6a19846c9a6e531b0da50f685ec551a019dc63;hb=a0630a8dd179d8d45f92c73b0bf2aa387d4fca7a;hp=a946312c09121ded63fb2fbe8ed3e699b06e2376;hpb=554204790d608b2e00bcc99c005e3653f3cb668d;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index a946312c091..2a6a19846c9 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -1,6 +1,6 @@ /* Print RTL for GCC. Copyright (C) 1987, 1988, 1992, 1997, 1998, 1999, 2000, 2002, 2003, - 2004, 2005, 2007 + 2004, 2005, 2007, 2008, 2009, 2010 Free Software Foundation, Inc. This file is part of GCC. @@ -36,10 +36,13 @@ along with GCC; see the file COPYING3. If not see generator programs. */ #ifndef GENERATOR_FILE #include "tree.h" -#include "real.h" #include "flags.h" #include "hard-reg-set.h" #include "basic-block.h" +#include "diagnostic.h" +#include "tree-pretty-print.h" +#include "cselib.h" +#include "tree-pass.h" #endif static FILE *outfile; @@ -55,11 +58,21 @@ 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. */ int flag_dump_unnumbered = 0; +/* Nonzero means suppress output of instruction numbers for previous + 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; @@ -67,60 +80,11 @@ int flag_simple = 0; int dump_for_graph; #ifndef GENERATOR_FILE -static void -print_decl_name (FILE *outfile, const_tree node) -{ - if (DECL_NAME (node)) - fputs (IDENTIFIER_POINTER (DECL_NAME (node)), outfile); - else - { - if (TREE_CODE (node) == LABEL_DECL && LABEL_DECL_UID (node) != -1) - fprintf (outfile, "L." HOST_WIDE_INT_PRINT_DEC, LABEL_DECL_UID (node)); - else - { - char c = TREE_CODE (node) == CONST_DECL ? 'C' : 'D'; - fprintf (outfile, "%c.%u", c, DECL_UID (node)); - } - } -} - void print_mem_expr (FILE *outfile, const_tree expr) { - if (TREE_CODE (expr) == COMPONENT_REF) - { - if (TREE_OPERAND (expr, 0)) - print_mem_expr (outfile, TREE_OPERAND (expr, 0)); - else - fputs (" ", outfile); - fputc ('.', outfile); - print_decl_name (outfile, TREE_OPERAND (expr, 1)); - } - else if (TREE_CODE (expr) == INDIRECT_REF) - { - fputs (" (*", outfile); - print_mem_expr (outfile, TREE_OPERAND (expr, 0)); - fputs (")", outfile); - } - else if (TREE_CODE (expr) == ALIGN_INDIRECT_REF) - { - fputs (" (A*", outfile); - print_mem_expr (outfile, TREE_OPERAND (expr, 0)); - fputs (")", outfile); - } - else if (TREE_CODE (expr) == MISALIGNED_INDIRECT_REF) - { - fputs (" (M*", outfile); - print_mem_expr (outfile, TREE_OPERAND (expr, 0)); - fputs (")", outfile); - } - else if (TREE_CODE (expr) == RESULT_DECL) - fputs (" ", outfile); - else - { - fputc (' ', outfile); - print_decl_name (outfile, expr); - } + fputc (' ', outfile); + print_generic_expr (outfile, CONST_CAST_TREE (expr), dump_flags); } #endif @@ -151,7 +115,8 @@ print_rtx (const_rtx in_rtx) } else if (GET_CODE (in_rtx) > NUM_RTX_CODE) { - fprintf (outfile, "(??? bad code %d\n)", GET_CODE (in_rtx)); + fprintf (outfile, "(??? bad code %d\n%s%*s)", GET_CODE (in_rtx), + print_rtx_head, indent * 2, ""); sawclose = 1; return; } @@ -170,7 +135,7 @@ print_rtx (const_rtx in_rtx) else { /* Print name of expression code. */ - if (flag_simple && GET_CODE (in_rtx) == CONST_INT) + if (flag_simple && CONST_INT_P (in_rtx)) fputc ('(', outfile); else fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx))); @@ -199,14 +164,32 @@ print_rtx (const_rtx in_rtx) 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) + 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))); /* 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 (" ", 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 } } @@ -258,13 +241,13 @@ print_rtx (const_rtx in_rtx) { int flags = SYMBOL_REF_FLAGS (in_rtx); if (flags) - fprintf (outfile, " [flags 0x%x]", flags); + fprintf (outfile, " [flags %#x]", flags); } else if (i == 2 && GET_CODE (in_rtx) == SYMBOL_REF) { tree decl = SYMBOL_REF_DECL (in_rtx); if (decl) - print_node_brief (outfile, "", decl, 0); + print_node_brief (outfile, "", decl, dump_flags); } #endif else if (i == 4 && NOTE_P (in_rtx)) @@ -317,17 +300,11 @@ print_rtx (const_rtx in_rtx) #endif break; } - + case NOTE_INSN_VAR_LOCATION: #ifndef GENERATOR_FILE - fprintf (outfile, " ("); - print_mem_expr (outfile, NOTE_VAR_LOCATION_DECL (in_rtx)); - fprintf (outfile, " "); - print_rtx (NOTE_VAR_LOCATION_LOC (in_rtx)); - if (NOTE_VAR_LOCATION_STATUS (in_rtx) == - VAR_INIT_STATUS_UNINITIALIZED) - fprintf (outfile, " [uninit]"); - fprintf (outfile, ")"); + fputc (' ', outfile); + print_rtx (NOTE_VAR_LOCATION (in_rtx)); #endif break; @@ -335,11 +312,36 @@ print_rtx (const_rtx in_rtx) 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 == 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 + } break; case 'e': do_e: indent += 2; + if (i == 7 && 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)); @@ -381,11 +383,11 @@ print_rtx (const_rtx in_rtx) fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, XWINT (in_rtx, i)); if (! flag_simple) fprintf (outfile, " [" HOST_WIDE_INT_PRINT_HEX "]", - XWINT (in_rtx, i)); + (unsigned HOST_WIDE_INT) XWINT (in_rtx, i)); break; case 'i': - if (i == 4 && INSN_P (in_rtx)) + if (i == 5 && INSN_P (in_rtx)) { #ifndef GENERATOR_FILE /* Pretty-print insn locators. Ignore scoping as it is mostly @@ -395,6 +397,22 @@ print_rtx (const_rtx in_rtx) fprintf(outfile, " %s:%i", insn_file (in_rtx), insn_line (in_rtx)); #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))); +#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))); +#endif + } else if (i == 6 && NOTE_P (in_rtx)) { /* This field is only used for NOTE_INSN_DELETED_LABEL, and @@ -402,6 +420,21 @@ print_rtx (const_rtx in_rtx) if (NOTE_KIND (in_rtx) == NOTE_INSN_DELETED_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); @@ -424,6 +457,9 @@ print_rtx (const_rtx in_rtx) fprintf (outfile, " %d virtual-outgoing-args", value); else if (value == VIRTUAL_CFA_REGNUM) fprintf (outfile, " %d virtual-cfa", value); + else if (value == VIRTUAL_PREFERRED_STACK_BOUNDARY_REGNUM) + fprintf (outfile, " %d virtual-preferred-stack-boundary", + value); else fprintf (outfile, " %d virtual-reg-%d", value, value-FIRST_VIRTUAL_REGISTER); @@ -490,7 +526,10 @@ print_rtx (const_rtx in_rtx) goto do_e; } - if (flag_dump_unnumbered) + if (flag_dump_unnumbered + || (flag_dump_unnumbered_links && (i == 1 || i == 2) + && (INSN_P (in_rtx) || NOTE_P (in_rtx) + || LABEL_P (in_rtx) || BARRIER_P (in_rtx)))) fputs (" #", outfile); else fprintf (outfile, " %d", INSN_UID (sub)); @@ -500,19 +539,12 @@ 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 + dump_addr (outfile, " ", XTREE (in_rtx, i)); #endif break; @@ -536,8 +568,11 @@ 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)); @@ -553,6 +588,9 @@ print_rtx (const_rtx in_rtx) if (MEM_ALIGN (in_rtx) != 1) fprintf (outfile, " A%u", MEM_ALIGN (in_rtx)); + if (!ADDR_SPACE_GENERIC_P (MEM_ADDR_SPACE (in_rtx))) + fprintf (outfile, " AS%u", MEM_ADDR_SPACE (in_rtx)); + fputc (']', outfile); break; @@ -618,7 +656,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; @@ -630,7 +668,7 @@ debug_rtx (const_rtx x) /* 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. @@ -638,7 +676,7 @@ int debug_rtx_count = 0; /* 0 is treated as equivalent to 1 */ 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). */ -void +DEBUG_FUNCTION void debug_rtx_list (const_rtx x, int n) { int i,count; @@ -665,7 +703,7 @@ debug_rtx_list (const_rtx x, int n) /* Call this function to print an rtx list from START to END inclusive. */ -void +DEBUG_FUNCTION void debug_rtx_range (const_rtx start, const_rtx end) { while (1) @@ -682,7 +720,7 @@ debug_rtx_range (const_rtx start, const_rtx end) 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_FUNCTION const_rtx debug_rtx_find (const_rtx x, int uid) { while (x != 0 && INSN_UID (x) != uid)