From: David Malcolm Date: Thu, 13 Oct 2016 13:17:59 +0000 (+0000) Subject: Add a "compact" mode to print_rtx_function X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7810c4ebfc4ecaf5efd532d05af6a3ed75b1e6dc;p=gcc.git Add a "compact" mode to print_rtx_function gcc/ChangeLog: * function-tests.c (selftest::test_expansion_to_rtl): Add "true" for new "compact" param of print_rtx_function. Check for "cinsn" rather than "insn". * print-rtl-function.c (flag_compact): New decl. (print_rtx_function): Add param "compact" and use it to set flag_compact, adding a description of the effect to the leading comment, and updating the example output. * print-rtl.c (flag_compact): New variable. (print_rtx_operand_code_0): Omit the JUMP_LABEL reference in compact mode. (print_rtx_operand_code_i): When printing source locations, wrap xloc.file in quotes. Don't print INSN_CODEs in compact mode. (print_rtx_operand_code_r): Don't print regnos for hard regs and virtuals in compact mode. (print_rtx_operand_code_u): Don't print insn UIDs in compact mode, apart from in LABEL_REFs. (print_rtx_operand): In case 'w', don't print in hex in compact mode. Don't print basic block ids in compact mode. (print_rtx): In compact mode, prefix the code of insns with "c", only print the INSN_UID of CODE_LABELs, and omit their LABEL_NUSES. * print-rtl.h (print_rtx_function): Add "compact" param. gcc/testsuite/ChangeLog: * gcc.target/i386/vararg-loc.c: Update for quoting of xloc.file in INSN_LOCATION. From-SVN: r241120 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 86317c01d35..ced58977447 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,27 @@ +2016-10-13 David Malcolm + + * function-tests.c (selftest::test_expansion_to_rtl): Add "true" + for new "compact" param of print_rtx_function. Check for "cinsn" + rather than "insn". + * print-rtl-function.c (flag_compact): New decl. + (print_rtx_function): Add param "compact" and use it to set + flag_compact, adding a description of the effect to the leading + comment, and updating the example output. + * print-rtl.c (flag_compact): New variable. + (print_rtx_operand_code_0): Omit the JUMP_LABEL reference in compact + mode. + (print_rtx_operand_code_i): When printing source locations, wrap + xloc.file in quotes. Don't print INSN_CODEs in compact mode. + (print_rtx_operand_code_r): Don't print regnos for hard regs and + virtuals in compact mode. + (print_rtx_operand_code_u): Don't print insn UIDs in compact mode, + apart from in LABEL_REFs. + (print_rtx_operand): In case 'w', don't print in hex in compact mode. + Don't print basic block ids in compact mode. + (print_rtx): In compact mode, prefix the code of insns with "c", + only print the INSN_UID of CODE_LABELs, and omit their LABEL_NUSES. + * print-rtl.h (print_rtx_function): Add "compact" param. + 2016-10-13 Richard Earnshaw * arm.h (TARGET_VFP): Delete. diff --git a/gcc/function-tests.c b/gcc/function-tests.c index 049a07f9a86..b0c44cf2cdf 100644 --- a/gcc/function-tests.c +++ b/gcc/function-tests.c @@ -648,7 +648,7 @@ test_expansion_to_rtl () /* Verify that print_rtl_function is sane. */ named_temp_file tmp_out (".rtl"); FILE *outfile = fopen (tmp_out.get_filename (), "w"); - print_rtx_function (outfile, fun); + print_rtx_function (outfile, fun, true); fclose (outfile); char *dump = read_file (SELFTEST_LOCATION, tmp_out.get_filename ()); @@ -656,7 +656,7 @@ test_expansion_to_rtl () ASSERT_STR_CONTAINS (dump, " (insn-chain\n"); ASSERT_STR_CONTAINS (dump, " (block 2\n"); ASSERT_STR_CONTAINS (dump, " (edge-from entry (flags \"FALLTHRU\"))\n"); - ASSERT_STR_CONTAINS (dump, " (insn "); /* ...etc. */ + ASSERT_STR_CONTAINS (dump, " (cinsn "); /* ...etc. */ ASSERT_STR_CONTAINS (dump, " (edge-to exit (flags \"FALLTHRU\"))\n"); ASSERT_STR_CONTAINS (dump, " ) ;; block 2\n"); ASSERT_STR_CONTAINS (dump, " ) ;; insn-chain\n"); diff --git a/gcc/print-rtl-function.c b/gcc/print-rtl-function.c index 4f9b4efdb2e..90a0ff75620 100644 --- a/gcc/print-rtl-function.c +++ b/gcc/print-rtl-function.c @@ -33,6 +33,8 @@ along with GCC; see the file COPYING3. If not see #include "langhooks.h" #include "emit-rtl.h" +extern bool flag_compact; + /* Print an "(edge-from)" or "(edge-to)" directive describing E to OUTFILE. */ @@ -126,55 +128,63 @@ can_have_basic_block_p (const rtx_insn *insn) the basic blocks of insns in the chain, wrapping those that are within blocks within "(block)" directives. - Example output: + If COMPACT, then instructions are printed in a compact form: + - INSN_UIDs are omitted, except for jumps and CODE_LABELs, + - INSN_CODEs are omitted, + - register numbers are omitted for hard and virtual regs + - insn names are prefixed with "c" (e.g. "cinsn", "cnote", etc) + + Example output (with COMPACT==true): (function "times_two" (insn-chain - (note 1 0 4 (nil) NOTE_INSN_DELETED) + (cnote NOTE_INSN_DELETED) (block 2 (edge-from entry (flags "FALLTHRU")) - (note 4 1 2 2 [bb 2] NOTE_INSN_BASIC_BLOCK) - (insn 2 4 3 2 (set (mem/c:SI (plus:DI (reg/f:DI 82 virtual-stack-vars) - (const_int -4 [0xfffffffffffffffc])) [1 i+0 S4 A32]) - (reg:SI 5 di [ i ])) t.c:2 -1 - (nil)) - (note 3 2 6 2 NOTE_INSN_FUNCTION_BEG) - (insn 6 3 7 2 (set (reg:SI 89) - (mem/c:SI (plus:DI (reg/f:DI 82 virtual-stack-vars) - (const_int -4 [0xfffffffffffffffc])) [1 i+0 S4 A32])) t.c:3 -1 - (nil)) - (insn 7 6 10 2 (parallel [ - (set (reg:SI 87 [ _2 ]) - (ashift:SI (reg:SI 89) - (const_int 1 [0x1]))) - (clobber (reg:CC 17 flags)) - ]) t.c:3 -1 - (expr_list:REG_EQUAL (ashift:SI (mem/c:SI (plus:DI (reg/f:DI 82 virtual-stack-vars) - (const_int -4 [0xfffffffffffffffc])) [1 i+0 S4 A32]) - (const_int 1 [0x1])) - (nil))) - (insn 10 7 14 2 (set (reg:SI 88 [ ]) - (reg:SI 87 [ _2 ])) t.c:3 -1 - (nil)) - (insn 14 10 15 2 (set (reg/i:SI 0 ax) - (reg:SI 88 [ ])) t.c:4 -1 - (nil)) - (insn 15 14 0 2 (use (reg/i:SI 0 ax)) t.c:4 -1 - (nil)) + (cnote [bb 2] NOTE_INSN_BASIC_BLOCK) + (cinsn (set (mem/c:SI (plus:DI (reg/f:DI virtual-stack-vars) + (const_int -4)) [1 i+0 S4 A32]) + (reg:SI di [ i ])) "t.c":2 + (nil)) + (cnote NOTE_INSN_FUNCTION_BEG) + (cinsn (set (reg:SI 89) + (mem/c:SI (plus:DI (reg/f:DI virtual-stack-vars) + (const_int -4)) [1 i+0 S4 A32])) "t.c":3 + (nil)) + (cinsn (parallel [ + (set (reg:SI 87 [ _2 ]) + (ashift:SI (reg:SI 89) + (const_int 1))) + (clobber (reg:CC flags)) + ]) "t.c":3 + (expr_list:REG_EQUAL (ashift:SI (mem/c:SI (plus:DI (reg/f:DI virtual-stack-vars) + (const_int -4)) [1 i+0 S4 A32]) + (const_int 1)) + (nil))) + (cinsn (set (reg:SI 88 [ ]) + (reg:SI 87 [ _2 ])) "t.c":3 + (nil)) + (cinsn (set (reg/i:SI ax) + (reg:SI 88 [ ])) "t.c":4 + (nil)) + (cinsn (use (reg/i:SI ax)) "t.c":4 + (nil)) (edge-to exit (flags "FALLTHRU")) ) ;; block 2 ) ;; insn-chain (crtl (return_rtx - (reg/i:SI 0 ax) + (reg/i:SI ax) ) ;; return_rtx ) ;; crtl ) ;; function "times_two" */ DEBUG_FUNCTION void -print_rtx_function (FILE *outfile, function *fn) +print_rtx_function (FILE *outfile, function *fn, bool compact) { + flag_compact = compact; + tree fdecl = fn->decl; const char *dname = lang_hooks.decl_printable_name (fdecl, 2); @@ -210,4 +220,6 @@ print_rtx_function (FILE *outfile, function *fn) fprintf (outfile, " ) ;; crtl\n"); fprintf (outfile, ") ;; function \"%s\"\n", dname); + + flag_compact = false; } diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 29e8ee2e180..f114cb4055d 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -60,6 +60,13 @@ static int indent; static bool in_call_function_usage; +/* If true, use compact dump format: + - INSN_UIDs are omitted, except for jumps and CODE_LABELs, + - INSN_CODEs are omitted, + - register numbers are omitted for hard and virtual regs + - insn names are prefixed with "c" (e.g. "cinsn", "cnote", etc). */ +bool flag_compact; + static void print_rtx (const_rtx); /* String printed at beginning of each RTL when it is dumped. @@ -176,7 +183,8 @@ print_rtx_operand_code_0 (const_rtx in_rtx ATTRIBUTE_UNUSED, break; } } - else if (idx == 7 && JUMP_P (in_rtx) && JUMP_LABEL (in_rtx) != NULL) + else if (idx == 7 && JUMP_P (in_rtx) && JUMP_LABEL (in_rtx) != NULL + && !flag_compact) { /* Output the JUMP_LABEL reference. */ fprintf (outfile, "\n%s%*s -> ", print_rtx_head, indent * 2, ""); @@ -284,7 +292,7 @@ print_rtx_operand_code_i (const_rtx in_rtx, int idx) if (INSN_HAS_LOCATION (in_insn)) { expanded_location xloc = insn_location (in_insn); - fprintf (outfile, " %s:%i", xloc.file, xloc.line); + fprintf (outfile, " \"%s\":%i", xloc.file, xloc.line); } #endif } @@ -335,6 +343,13 @@ print_rtx_operand_code_i (const_rtx in_rtx, int idx) const char *name; int is_insn = INSN_P (in_rtx); + /* Don't print INSN_CODEs in compact mode. */ + if (flag_compact && is_insn && &INSN_CODE (in_rtx) == &XINT (in_rtx, idx)) + { + sawclose = 0; + return; + } + if (flag_dump_unnumbered && (is_insn || NOTE_P (in_rtx))) fputc ('#', outfile); @@ -358,26 +373,28 @@ print_rtx_operand_code_r (const_rtx in_rtx) unsigned int regno = REGNO (in_rtx); #ifndef GENERATOR_FILE + /* For hard registers and virtuals, always print the + regno, except in compact mode. */ + if (regno <= LAST_VIRTUAL_REGISTER && !flag_compact) + fprintf (outfile, " %d", regno); if (regno < FIRST_PSEUDO_REGISTER) - fprintf (outfile, " %d %s", regno, reg_names[regno]); + fprintf (outfile, " %s", reg_names[regno]); else if (regno <= LAST_VIRTUAL_REGISTER) { if (regno == VIRTUAL_INCOMING_ARGS_REGNUM) - fprintf (outfile, " %d virtual-incoming-args", regno); + fprintf (outfile, " virtual-incoming-args"); else if (regno == VIRTUAL_STACK_VARS_REGNUM) - fprintf (outfile, " %d virtual-stack-vars", regno); + fprintf (outfile, " virtual-stack-vars"); else if (regno == VIRTUAL_STACK_DYNAMIC_REGNUM) - fprintf (outfile, " %d virtual-stack-dynamic", regno); + fprintf (outfile, " virtual-stack-dynamic"); else if (regno == VIRTUAL_OUTGOING_ARGS_REGNUM) - fprintf (outfile, " %d virtual-outgoing-args", regno); + fprintf (outfile, " virtual-outgoing-args"); else if (regno == VIRTUAL_CFA_REGNUM) - fprintf (outfile, " %d virtual-cfa", regno); + fprintf (outfile, " virtual-cfa"); else if (regno == VIRTUAL_PREFERRED_STACK_BOUNDARY_REGNUM) - fprintf (outfile, " %d virtual-preferred-stack-boundary", - regno); + fprintf (outfile, " virtual-preferred-stack-boundary"); else - fprintf (outfile, " %d virtual-reg-%d", regno, - regno-FIRST_VIRTUAL_REGISTER); + fprintf (outfile, " virtual-reg-%d", regno-FIRST_VIRTUAL_REGISTER); } else #endif @@ -410,6 +427,10 @@ print_rtx_operand_code_r (const_rtx in_rtx) static void print_rtx_operand_code_u (const_rtx in_rtx, int idx) { + /* Don't print insn UIDs in compact mode, apart from in LABEL_REFs. */ + if (flag_compact && GET_CODE (in_rtx) != LABEL_REF) + return; + if (XEXP (in_rtx, idx) != NULL) { rtx sub = XEXP (in_rtx, idx); @@ -492,7 +513,7 @@ print_rtx_operand (const_rtx in_rtx, int idx) if (! flag_simple) fprintf (outfile, " "); fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, XWINT (in_rtx, idx)); - if (! flag_simple) + if (! flag_simple && !flag_compact) fprintf (outfile, " [" HOST_WIDE_INT_PRINT_HEX "]", (unsigned HOST_WIDE_INT) XWINT (in_rtx, idx)); break; @@ -533,6 +554,9 @@ print_rtx_operand (const_rtx in_rtx, int idx) break; case 'B': + /* Don't print basic block ids in compact mode. */ + if (flag_compact) + break; #ifndef GENERATOR_FILE if (XBBDEF (in_rtx, idx)) fprintf (outfile, " %i", XBBDEF (in_rtx, idx)->index); @@ -575,7 +599,20 @@ print_rtx (const_rtx in_rtx) } /* Print name of expression code. */ - if (flag_simple && CONST_INT_P (in_rtx)) + + /* In compact mode, prefix the code of insns with "c", + giving "cinsn", "cnote" etc. */ + if (flag_compact && is_a (in_rtx)) + { + /* "ccode_label" is slightly awkward, so special-case it as + just "clabel". */ + rtx_code code = GET_CODE (in_rtx); + if (code == CODE_LABEL) + fprintf (outfile, "(clabel"); + else + fprintf (outfile, "(c%s", GET_RTX_NAME (code)); + } + else if (flag_simple && CONST_INT_P (in_rtx)) fputc ('(', outfile); else fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx))); @@ -639,7 +676,10 @@ print_rtx (const_rtx in_rtx) idx = 5; #endif - if (INSN_CHAIN_CODE_P (GET_CODE (in_rtx))) + /* For insns, print the INSN_UID. + In compact mode, we only print the INSN_UID of CODE_LABELs. */ + if (INSN_CHAIN_CODE_P (GET_CODE (in_rtx)) + && (!flag_compact || GET_CODE (in_rtx) == CODE_LABEL)) { if (flag_dump_unnumbered) fprintf (outfile, " #"); @@ -704,7 +744,8 @@ print_rtx (const_rtx in_rtx) #endif case CODE_LABEL: - fprintf (outfile, " [%d uses]", LABEL_NUSES (in_rtx)); + if (!flag_compact) + fprintf (outfile, " [%d uses]", LABEL_NUSES (in_rtx)); switch (LABEL_KIND (in_rtx)) { case LABEL_NORMAL: break; diff --git a/gcc/print-rtl.h b/gcc/print-rtl.h index 9cad683ed89..7a1dcaf4404 100644 --- a/gcc/print-rtl.h +++ b/gcc/print-rtl.h @@ -36,6 +36,6 @@ extern void print_insn (pretty_printer *pp, const rtx_insn *x, int verbose); extern void rtl_dump_bb_for_graph (pretty_printer *, basic_block); extern const char *str_pattern_slim (const_rtx); -extern void print_rtx_function (FILE *file, function *fn); +extern void print_rtx_function (FILE *file, function *fn, bool compact); #endif // GCC_PRINT_RTL_H diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c6c67ba6c69..df9ca38d25c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-10-13 David Malcolm + + * gcc.target/i386/vararg-loc.c: Update for quoting of xloc.file + in INSN_LOCATION. + 2016-10-13 Bin Cheng * gcc.target/i386/l_fma_float_1.c: Revise test. diff --git a/gcc/testsuite/gcc.target/i386/vararg-loc.c b/gcc/testsuite/gcc.target/i386/vararg-loc.c index 8134ba8c0cb..f46ac577e10 100644 --- a/gcc/testsuite/gcc.target/i386/vararg-loc.c +++ b/gcc/testsuite/gcc.target/i386/vararg-loc.c @@ -22,6 +22,6 @@ f (int a, ...) /* 8. */ return sum; } -/* { dg-final { scan-rtl-dump-not "vararg-loc\\.c:\[6789\] " "final" } } */ -/* { dg-final { scan-rtl-dump "vararg-loc\\.c:18 " "final" } } */ -/* { dg-final { scan-rtl-dump "vararg-loc\\.c:20 " "final" } } */ +/* { dg-final { scan-rtl-dump-not "vararg-loc\\.c.:\[6789\] " "final" } } */ +/* { dg-final { scan-rtl-dump "vararg-loc\\.c.:18 " "final" } } */ +/* { dg-final { scan-rtl-dump "vararg-loc\\.c.:20 " "final" } } */