On Wed, Nov 7, 2018 at 5:22 PM David Malcolm <dmalc...@redhat.com> wrote:
>
> This patch ports various fprintf calls in the inlining code to using
> the dump API, using the %C format code for printing cgraph_node *.
> I focused on the dump messages that seemed most significant to
> end-users; I didn't port all of the calls.
>
> Doing so makes this information appear in -fopt-info and in
> optimization records, rather than just in the dump_file.
>
> It also changes the affected dumpfile-dumps from being unconditional
> (assuming the dump_file is enabled) to being guarded by the MSG_*
> status.  Hence various tests with dg-final scan-*-dump directives
> need to gain "-all" or "-optimized" suffixes to -fdump-ipa-inline.
>
> The use of %C throughout also slightly changes the dump format for
> several messages, e.g. changing:
>
>  Inlining void inline_me(char*) into int main(int, char**).
>
> to:
>
> ../../src/gcc/testsuite/g++.dg/tree-ssa/inline-1.C:13:8: optimized:  Inlining 
> void inline_me(char*)/0 into int main(int, char**)/2.
>
> amongst other things adding "/order" suffixes to the cgraph node
> names.
>
> Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu, in
> conjunction with the rest of the patch kit.
>
> OK for trunk?

OK.

Thanks for doing this!
Richard.

> gcc/ChangeLog:
>         PR ipa/86395
>         * doc/invoke.texi (-fdump-ipa-): Document the "-optimized",
>         "-missed", "-note", and "-all" sub-options.
>         * ipa-inline.c (caller_growth_limits): Port from fprintf to dump
>         API.
>         (can_early_inline_edge_p): Likewise.
>         (want_early_inline_function_p): Likewise.
>         (want_inline_self_recursive_call_p): Likewise.
>         (recursive_inlining): Likewise.
>         (inline_small_functions): Likewise.
>         (flatten_function): Likewise.
>         (ipa_inline): Likewise.
>         (inline_always_inline_functions): Likewise.
>         (early_inline_small_functions): Likewise.
>         (early_inliner): Likewise.
>         * tree-inline.c (expand_call_inline): Likewise.
>
> gcc/testsuite/ChangeLog:
>         PR ipa/86395
>         * g++.dg/ipa/devirt-12.C: Add "-all" suffix to
>         "-fdump-ipa-inline".
>         * g++.dg/ipa/imm-devirt-1.C: Add "-optimized" suffix to
>         "-fdump-tree-einline".
>         * g++.dg/tree-prof/inline_mismatch_args.C: Add "-all" suffix to
>         "-fdump-tree-einline".
>         * g++.dg/tree-ssa/inline-1.C: Add "-optimized" suffix to
>         "-fdump-tree-einline".
>         * g++.dg/tree-ssa/inline-2.C: Likewise.
>         * g++.dg/tree-ssa/inline-3.C: Likewise.
>         * g++.dg/tree-ssa/inline-4.C: New test, based on inline-1.C, but
>         using "-fopt-info-inline".
>         * gcc.dg/ipa/fopt-info-inline-1.c: New test.
>         * gcc.dg/ipa/inline-4.c:  Add "-all" suffix to
>         "-fdump-ipa-inline".  Add "-fopt-info-inline" and dg-optimized
>         directive.
>         * gcc.dg/ipa/inline-7.c: Add "-optimized" suffix to
>         "-fdump-tree-einline".  Add "-fopt-info-inline" and dg-optimized
>         directive.  Update scan-tree-dump-times to reflect /order
>         suffixes.
>         * gcc.dg/ipa/inlinehint-4.c: Update scan-tree-dump-times to
>         reflect /order suffixes.
>         * gcc.dg/plugin/dump-1.c: Add "-loop" to "-fopt-info-note" to
>         avoid getting extra messages from inliner.
>         * gcc.dg/plugin/dump-2.c: Likewise.
>         * gcc.dg/pr26570.c: Add dg-prune-output to ignore new
>         "function body not available" missed optimization messages.
>         * gcc.dg/pr71969-2.c: Update scan-tree-dump-times to reflect
>         /order suffixes.
>         * gcc.dg/pr71969-3.c: Likewise.
>         * gcc.dg/tree-ssa/inline-11.c: Add "-all" suffix to
>         "-fdump-tree-einline".
>         * gcc.dg/tree-ssa/inline-3.c: Add "-optimized" suffix to
>         "-fdump-tree-einline".  Update scan-tree-dump-times to reflect
>         /order suffixes.
>         * gcc.dg/tree-ssa/inline-4.c: Add "-optimized" suffix to
>         "-fdump-tree-einline".  Add "-fopt-info-inline" and dg-optimized
>         directive.
>         * gcc.dg/tree-ssa/inline-8.c: Add "-optimized" suffix to
>         "-fdump-tree-einline".
>         * gfortran.dg/pr79966.f90: Update scan-ipa-dump to reflect /order
>         suffixes.
> ---
>  gcc/doc/invoke.texi                                |  13 ++
>  gcc/ipa-inline.c                                   | 191 
> +++++++++++----------
>  gcc/testsuite/g++.dg/ipa/devirt-12.C               |   2 +-
>  gcc/testsuite/g++.dg/ipa/imm-devirt-1.C            |   2 +-
>  .../g++.dg/tree-prof/inline_mismatch_args.C        |   2 +-
>  gcc/testsuite/g++.dg/tree-ssa/inline-1.C           |   2 +-
>  gcc/testsuite/g++.dg/tree-ssa/inline-2.C           |   2 +-
>  gcc/testsuite/g++.dg/tree-ssa/inline-3.C           |   2 +-
>  gcc/testsuite/g++.dg/tree-ssa/inline-4.C           |  32 ++++
>  gcc/testsuite/gcc.dg/ipa/fopt-info-inline-1.c      |  44 +++++
>  gcc/testsuite/gcc.dg/ipa/inline-4.c                |   4 +-
>  gcc/testsuite/gcc.dg/ipa/inline-7.c                |   6 +-
>  gcc/testsuite/gcc.dg/ipa/inlinehint-4.c            |   4 +-
>  gcc/testsuite/gcc.dg/plugin/dump-1.c               |   2 +-
>  gcc/testsuite/gcc.dg/plugin/dump-2.c               |   2 +-
>  gcc/testsuite/gcc.dg/pr26570.c                     |   1 +
>  gcc/testsuite/gcc.dg/pr71969-2.c                   |   2 +-
>  gcc/testsuite/gcc.dg/pr71969-3.c                   |   2 +-
>  gcc/testsuite/gcc.dg/tree-ssa/inline-11.c          |   2 +-
>  gcc/testsuite/gcc.dg/tree-ssa/inline-3.c           |   6 +-
>  gcc/testsuite/gcc.dg/tree-ssa/inline-4.c           |   6 +-
>  gcc/testsuite/gcc.dg/tree-ssa/inline-8.c           |   2 +-
>  gcc/testsuite/gfortran.dg/pr79966.f90              |   2 +-
>  gcc/tree-inline.c                                  |  20 ++-
>  24 files changed, 229 insertions(+), 124 deletions(-)
>  create mode 100644 gcc/testsuite/g++.dg/tree-ssa/inline-4.C
>  create mode 100644 gcc/testsuite/gcc.dg/ipa/fopt-info-inline-1.c
>
> diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
> index 055e8c4..97de735 100644
> --- a/gcc/doc/invoke.texi
> +++ b/gcc/doc/invoke.texi
> @@ -14062,6 +14062,7 @@ instruction numbers for the links to the previous and 
> next instructions
>  in a sequence.
>
>  @item -fdump-ipa-@var{switch}
> +@itemx -fdump-ipa-@var{switch}-@var{options}
>  @opindex fdump-ipa
>  Control the dumping at various stages of inter-procedural analysis
>  language tree to a file.  The file name is generated by appending a
> @@ -14082,6 +14083,18 @@ Dump after function inlining.
>
>  @end table
>
> +Additionally, the options @option{-optimized}, @option{-missed},
> +@option{-note}, and @option{-all} can be provided, with the same meaning
> +as for @option{-fopt-info}, defaulting to @option{-optimized}.
> +
> +For example, @option{-fdump-ipa-inline-optimized-missed} will emit
> +information on callsites that were inlined, along with callsites
> +that were not inlined.
> +
> +By default, the dump will contain messages about successful
> +optimizations (equivalent to @option {-optimized}) together with
> +low-level details about the analysis.
> +
>  @item -fdump-lang-all
>  @itemx -fdump-lang-@var{switch}
>  @itemx -fdump-lang-@var{switch}-@var{options}
> diff --git a/gcc/ipa-inline.c b/gcc/ipa-inline.c
> index 4f8ed15..8d0762d 100644
> --- a/gcc/ipa-inline.c
> +++ b/gcc/ipa-inline.c
> @@ -227,20 +227,21 @@ caller_growth_limits (struct cgraph_edge *e)
>  static void
>  report_inline_failed_reason (struct cgraph_edge *e)
>  {
> -  if (dump_file)
> +  if (dump_enabled_p ())
>      {
> -      fprintf (dump_file, "  not inlinable: %s -> %s, %s\n",
> -              e->caller->dump_name (),
> -              e->callee->dump_name (),
> -              cgraph_inline_failed_string (e->inline_failed));
> +      dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                      "  not inlinable: %C -> %C, %s\n",
> +                      e->caller, e->callee,
> +                      cgraph_inline_failed_string (e->inline_failed));
>        if ((e->inline_failed == CIF_TARGET_OPTION_MISMATCH
>            || e->inline_failed == CIF_OPTIMIZATION_MISMATCH)
>           && e->caller->lto_file_data
>           && e->callee->ultimate_alias_target ()->lto_file_data)
>         {
> -         fprintf (dump_file, "  LTO objects: %s, %s\n",
> -                  e->caller->lto_file_data->file_name,
> -                  e->callee->ultimate_alias_target 
> ()->lto_file_data->file_name);
> +         dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                          "  LTO objects: %s, %s\n",
> +                          e->caller->lto_file_data->file_name,
> +                          e->callee->ultimate_alias_target 
> ()->lto_file_data->file_name);
>         }
>        if (e->inline_failed == CIF_TARGET_OPTION_MISMATCH)
>         cl_target_option_print_diff
> @@ -569,8 +570,9 @@ can_early_inline_edge_p (struct cgraph_edge *e)
>    if (!gimple_in_ssa_p (DECL_STRUCT_FUNCTION (e->caller->decl))
>        || !gimple_in_ssa_p (DECL_STRUCT_FUNCTION (callee->decl)))
>      {
> -      if (dump_file)
> -       fprintf (dump_file, "  edge not inlinable: not in SSA form\n");
> +      if (dump_enabled_p ())
> +       dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                        "  edge not inlinable: not in SSA form\n");
>        return false;
>      }
>    if (!can_inline_edge_p (e, true, true)
> @@ -630,34 +632,34 @@ want_early_inline_function_p (struct cgraph_edge *e)
>        else if (!e->maybe_hot_p ()
>                && growth > 0)
>         {
> -         if (dump_file)
> -           fprintf (dump_file, "  will not early inline: %s->%s, "
> -                    "call is cold and code would grow by %i\n",
> -                    e->caller->dump_name (),
> -                    callee->dump_name (),
> -                    growth);
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "  will not early inline: %C->%C, "
> +                            "call is cold and code would grow by %i\n",
> +                            e->caller, callee,
> +                            growth);
>           want_inline = false;
>         }
>        else if (growth > PARAM_VALUE (PARAM_EARLY_INLINING_INSNS))
>         {
> -         if (dump_file)
> -           fprintf (dump_file, "  will not early inline: %s->%s, "
> -                    "growth %i exceeds --param early-inlining-insns\n",
> -                    e->caller->dump_name (),
> -                    callee->dump_name (),
> -                    growth);
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "  will not early inline: %C->%C, "
> +                            "growth %i exceeds --param 
> early-inlining-insns\n",
> +                            e->caller, callee,
> +                            growth);
>           want_inline = false;
>         }
>        else if ((n = num_calls (callee)) != 0
>                && growth * (n + 1) > PARAM_VALUE (PARAM_EARLY_INLINING_INSNS))
>         {
> -         if (dump_file)
> -           fprintf (dump_file, "  will not early inline: %s->%s, "
> -                    "growth %i exceeds --param early-inlining-insns "
> -                    "divided by number of calls\n",
> -                    e->caller->dump_name (),
> -                    callee->dump_name (),
> -                    growth);
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "  will not early inline: %C->%C, "
> +                            "growth %i exceeds --param early-inlining-insns "
> +                            "divided by number of calls\n",
> +                            e->caller, callee,
> +                            growth);
>           want_inline = false;
>         }
>      }
> @@ -936,8 +938,9 @@ want_inline_self_recursive_call_p (struct cgraph_edge 
> *edge,
>           want_inline = false;
>         }
>      }
> -  if (!want_inline && dump_file)
> -    fprintf (dump_file, "   not inlining recursively: %s\n", reason);
> +  if (!want_inline && dump_enabled_p ())
> +    dump_printf_loc (MSG_MISSED_OPTIMIZATION, edge->call_stmt,
> +                    "   not inlining recursively: %s\n", reason);
>    return want_inline;
>  }
>
> @@ -1562,14 +1565,14 @@ recursive_inlining (struct cgraph_edge *edge,
>    if (!master_clone)
>      return false;
>
> -  if (dump_file)
> -    fprintf (dump_file,
> -            "\n   Inlined %i times, "
> -            "body grown from size %i to %i, time %f to %f\n", n,
> -            ipa_fn_summaries->get (master_clone)->size,
> -            ipa_fn_summaries->get (node)->size,
> -            ipa_fn_summaries->get (master_clone)->time.to_double (),
> -            ipa_fn_summaries->get (node)->time.to_double ());
> +  if (dump_enabled_p ())
> +    dump_printf_loc (MSG_NOTE, edge->call_stmt,
> +                    "\n   Inlined %i times, "
> +                    "body grown from size %i to %i, time %f to %f\n", n,
> +                    ipa_fn_summaries->get (master_clone)->size,
> +                    ipa_fn_summaries->get (node)->size,
> +                    ipa_fn_summaries->get (master_clone)->time.to_double (),
> +                    ipa_fn_summaries->get (node)->time.to_double ());
>
>    /* Remove master clone we used for inlining.  We rely that clones inlined
>       into master clone gets queued just before master clone so we don't
> @@ -2078,17 +2081,20 @@ inline_small_functions (void)
>         update_callee_keys (&edge_heap, n, updated_nodes);
>        bitmap_clear (updated_nodes);
>
> -      if (dump_file)
> +      if (dump_enabled_p ())
>         {
>           ipa_fn_summary *s = ipa_fn_summaries->get (edge->caller);
> -         fprintf (dump_file,
> -                  " Inlined %s into %s which now has time %f and size %i, "
> -                  "net change of %+i.\n",
> -                  xstrdup_for_dump (edge->callee->name ()),
> -                  xstrdup_for_dump (edge->caller->name ()),
> -                  s->time.to_double (),
> -                  s->size,
> -                  overall_size - old_size);
> +
> +         /* dump_printf can't handle %+i.  */
> +         char buf_net_change[100];
> +         snprintf (buf_net_change, sizeof buf_net_change, "%+i",
> +                   overall_size - old_size);
> +
> +         dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, edge->call_stmt,
> +                          " Inlined %C into %C which now has time %f and "
> +                          "size %i, net change of %s.\n",
> +                          edge->callee, edge->caller,
> +                          s->time.to_double (), s->size, buf_net_change);
>         }
>        if (min_size > overall_size)
>         {
> @@ -2101,11 +2107,11 @@ inline_small_functions (void)
>      }
>
>    free_growth_caches ();
> -  if (dump_file)
> -    fprintf (dump_file,
> -            "Unit growth for small function inlining: %i->%i (%i%%)\n",
> -            initial_size, overall_size,
> -            initial_size ? overall_size * 100 / (initial_size) - 100: 0);
> +  if (dump_enabled_p ())
> +    dump_printf (MSG_NOTE,
> +                "Unit growth for small function inlining: %i->%i (%i%%)\n",
> +                initial_size, overall_size,
> +                initial_size ? overall_size * 100 / (initial_size) - 100: 0);
>    symtab->remove_edge_removal_hook (edge_removal_hook_holder);
>  }
>
> @@ -2130,11 +2136,10 @@ flatten_function (struct cgraph_node *node, bool 
> early)
>        /* We've hit cycle?  It is time to give up.  */
>        if (callee->aux)
>         {
> -         if (dump_file)
> -           fprintf (dump_file,
> -                    "Not inlining %s into %s to avoid cycle.\n",
> -                    xstrdup_for_dump (callee->name ()),
> -                    xstrdup_for_dump (e->caller->name ()));
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "Not inlining %C into %C to avoid cycle.\n",
> +                            callee, e->caller);
>           if (cgraph_inline_failed_type (e->inline_failed) != CIF_FINAL_ERROR)
>             e->inline_failed = CIF_RECURSIVE_INLINING;
>           continue;
> @@ -2159,25 +2164,27 @@ flatten_function (struct cgraph_node *node, bool 
> early)
>
>        if (e->recursive_p ())
>         {
> -         if (dump_file)
> -           fprintf (dump_file, "Not inlining: recursive call.\n");
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "Not inlining: recursive call.\n");
>           continue;
>         }
>
>        if (gimple_in_ssa_p (DECL_STRUCT_FUNCTION (node->decl))
>           != gimple_in_ssa_p (DECL_STRUCT_FUNCTION (callee->decl)))
>         {
> -         if (dump_file)
> -           fprintf (dump_file, "Not inlining: SSA form does not match.\n");
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "Not inlining: SSA form does not match.\n");
>           continue;
>         }
>
>        /* Inline the edge and flatten the inline clone.  Avoid
>           recursing through the original node if the node was cloned.  */
> -      if (dump_file)
> -       fprintf (dump_file, " Inlining %s into %s.\n",
> -                xstrdup_for_dump (callee->name ()),
> -                xstrdup_for_dump (e->caller->name ()));
> +      if (dump_enabled_p ())
> +       dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, e->call_stmt,
> +                        " Inlining %C into %C.\n",
> +                        callee, e->caller);
>        orig_callee = callee;
>        inline_call (e, true, NULL, NULL, false);
>        if (e->callee != orig_callee)
> @@ -2589,13 +2596,12 @@ ipa_inline (void)
>    /* Free ipa-prop structures if they are no longer needed.  */
>    ipa_free_all_structures_after_iinln ();
>
> +  if (dump_enabled_p ())
> +    dump_printf (MSG_NOTE,
> +                "\nInlined %i calls, eliminated %i functions\n\n",
> +                ncalls_inlined, nfunctions_inlined);
>    if (dump_file)
> -    {
> -      fprintf (dump_file,
> -              "\nInlined %i calls, eliminated %i functions\n\n",
> -              ncalls_inlined, nfunctions_inlined);
> -      dump_inline_stats ();
> -    }
> +    dump_inline_stats ();
>
>    if (dump_file)
>      ipa_dump_fn_summaries (dump_file);
> @@ -2618,9 +2624,10 @@ inline_always_inline_functions (struct cgraph_node 
> *node)
>
>        if (e->recursive_p ())
>         {
> -         if (dump_file)
> -           fprintf (dump_file, "  Not inlining recursive call to %s.\n",
> -                    e->callee->name ());
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "  Not inlining recursive call to %C.\n",
> +                            e->callee);
>           e->inline_failed = CIF_RECURSIVE_INLINING;
>           continue;
>         }
> @@ -2636,10 +2643,10 @@ inline_always_inline_functions (struct cgraph_node 
> *node)
>           continue;
>         }
>
> -      if (dump_file)
> -       fprintf (dump_file, "  Inlining %s into %s (always_inline).\n",
> -                xstrdup_for_dump (e->callee->name ()),
> -                xstrdup_for_dump (e->caller->name ()));
> +      if (dump_enabled_p ())
> +       dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, e->call_stmt,
> +                        "  Inlining %C into %C (always_inline).\n",
> +                        e->callee, e->caller);
>        inline_call (e, true, NULL, NULL, false);
>        inlined = true;
>      }
> @@ -2675,27 +2682,29 @@ early_inline_small_functions (struct cgraph_node 
> *node)
>           && !opt_for_fn (node->decl, flag_inline_functions))
>         continue;
>
> -      if (dump_file)
> -       fprintf (dump_file, "Considering inline candidate %s.\n",
> -                callee->name ());
> +      if (dump_enabled_p ())
> +       dump_printf_loc (MSG_NOTE, e->call_stmt,
> +                        "Considering inline candidate %C.\n",
> +                        callee);
>
>        if (!can_early_inline_edge_p (e))
>         continue;
>
>        if (e->recursive_p ())
>         {
> -         if (dump_file)
> -           fprintf (dump_file, "  Not inlining: recursive call.\n");
> +         if (dump_enabled_p ())
> +           dump_printf_loc (MSG_MISSED_OPTIMIZATION, e->call_stmt,
> +                            "  Not inlining: recursive call.\n");
>           continue;
>         }
>
>        if (!want_early_inline_function_p (e))
>         continue;
>
> -      if (dump_file)
> -       fprintf (dump_file, " Inlining %s into %s.\n",
> -                xstrdup_for_dump (callee->name ()),
> -                xstrdup_for_dump (e->caller->name ()));
> +      if (dump_enabled_p ())
> +       dump_printf_loc (MSG_OPTIMIZED_LOCATIONS, e->call_stmt,
> +                        " Inlining %C into %C.\n",
> +                        callee, e->caller);
>        inline_call (e, true, NULL, NULL, false);
>        inlined = true;
>      }
> @@ -2755,9 +2764,9 @@ early_inliner (function *fun)
>      {
>        /* When the function is marked to be flattened, recursively inline
>          all calls in it.  */
> -      if (dump_file)
> -       fprintf (dump_file,
> -                "Flattening %s\n", node->name ());
> +      if (dump_enabled_p ())
> +       dump_printf (MSG_OPTIMIZED_LOCATIONS,
> +                    "Flattening %C\n", node);
>        flatten_function (node, true);
>        inlined = true;
>      }
> diff --git a/gcc/testsuite/g++.dg/ipa/devirt-12.C 
> b/gcc/testsuite/g++.dg/ipa/devirt-12.C
> index 93ce251..60271a0 100644
> --- a/gcc/testsuite/g++.dg/ipa/devirt-12.C
> +++ b/gcc/testsuite/g++.dg/ipa/devirt-12.C
> @@ -1,5 +1,5 @@
>  // { dg-do compile { target c++11 } }
> -// { dg-options "-O -fdump-ipa-inline" }
> +// { dg-options "-O -fdump-ipa-inline-all" }
>
>  class Foo
>  {
> diff --git a/gcc/testsuite/g++.dg/ipa/imm-devirt-1.C 
> b/gcc/testsuite/g++.dg/ipa/imm-devirt-1.C
> index 37b7d87..00ac61e7 100644
> --- a/gcc/testsuite/g++.dg/ipa/imm-devirt-1.C
> +++ b/gcc/testsuite/g++.dg/ipa/imm-devirt-1.C
> @@ -1,7 +1,7 @@
>  /* Verify that virtual calls are folded even early inlining puts them into 
> one
>     function with the definition.  */
>  /* { dg-do run } */
> -/* { dg-options "-O2 -fdump-tree-einline"  } */
> +/* { dg-options "-O2 -fdump-tree-einline-optimized"  } */
>
>  extern "C" void abort (void);
>
> diff --git a/gcc/testsuite/g++.dg/tree-prof/inline_mismatch_args.C 
> b/gcc/testsuite/g++.dg/tree-prof/inline_mismatch_args.C
> index 2156cec..b65d915 100644
> --- a/gcc/testsuite/g++.dg/tree-prof/inline_mismatch_args.C
> +++ b/gcc/testsuite/g++.dg/tree-prof/inline_mismatch_args.C
> @@ -1,4 +1,4 @@
> -/* { dg-options "-O2 -fdump-tree-einline" } */
> +/* { dg-options "-O2 -fdump-tree-einline-all" } */
>  class DocId {
>   public:
>   DocId() { }
> diff --git a/gcc/testsuite/g++.dg/tree-ssa/inline-1.C 
> b/gcc/testsuite/g++.dg/tree-ssa/inline-1.C
> index 4497fac..9c49ddb 100644
> --- a/gcc/testsuite/g++.dg/tree-ssa/inline-1.C
> +++ b/gcc/testsuite/g++.dg/tree-ssa/inline-1.C
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-O2 -fdump-tree-einline --param 
> max-early-inliner-iterations=3" } */
> +/* { dg-options "-O2 -fdump-tree-einline-optimized --param 
> max-early-inliner-iterations=3" } */
>  /* { dg-add-options bind_pic_locally } */
>
>  namespace std {
> diff --git a/gcc/testsuite/g++.dg/tree-ssa/inline-2.C 
> b/gcc/testsuite/g++.dg/tree-ssa/inline-2.C
> index 79f807c..b72f652 100644
> --- a/gcc/testsuite/g++.dg/tree-ssa/inline-2.C
> +++ b/gcc/testsuite/g++.dg/tree-ssa/inline-2.C
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-O2 -fdump-tree-einline --param 
> max-early-inliner-iterations=3" } */
> +/* { dg-options "-O2 -fdump-tree-einline-optimized --param 
> max-early-inliner-iterations=3" } */
>  /* { dg-add-options bind_pic_locally } */
>
>  namespace std {
> diff --git a/gcc/testsuite/g++.dg/tree-ssa/inline-3.C 
> b/gcc/testsuite/g++.dg/tree-ssa/inline-3.C
> index 0ad366e..131f12d 100644
> --- a/gcc/testsuite/g++.dg/tree-ssa/inline-3.C
> +++ b/gcc/testsuite/g++.dg/tree-ssa/inline-3.C
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-O2 -fdump-tree-einline --param 
> max-early-inliner-iterations=5" } */
> +/* { dg-options "-O2 -fdump-tree-einline-optimized --param 
> max-early-inliner-iterations=5" } */
>  /* { dg-add-options bind_pic_locally } */
>
>  #include <algorithm>
> diff --git a/gcc/testsuite/g++.dg/tree-ssa/inline-4.C 
> b/gcc/testsuite/g++.dg/tree-ssa/inline-4.C
> new file mode 100644
> index 0000000..1dd8140
> --- /dev/null
> +++ b/gcc/testsuite/g++.dg/tree-ssa/inline-4.C
> @@ -0,0 +1,32 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O2 -fopt-info-inline --param 
> max-early-inliner-iterations=3" } */
> +/* { dg-add-options bind_pic_locally } */
> +
> +namespace std {
> +  extern "C" int puts(const char *s);
> +}
> +
> +template <class T, class E> void
> +foreach (T b, T e, void (*ptr)(E))
> +{
> +  for (; b != e; b++)
> +    ptr(*b); // { dg-optimized "Inlining void inline_me\[^\\n\]* into int 
> main\[^\\n\]*" }
> +}
> +
> +void
> +inline_me (char *x)
> +{
> +  std::puts(x);
> +}
> +
> +static void
> +inline_me_too (char *x)
> +{
> +  std::puts(x);
> +}
> +
> +int main(int argc, char **argv)
> +{
> +  foreach (argv, argv + argc, inline_me); // { dg-optimized "Inlining void 
> foreach\[^\\n\]* into int main\[^\\n\]*" }
> +  foreach (argv, argv + argc, inline_me_too); // { dg-optimized "Inlining 
> void foreach\[^\\n\]* into int main\[^\\n\]*" }
> +}
> diff --git a/gcc/testsuite/gcc.dg/ipa/fopt-info-inline-1.c 
> b/gcc/testsuite/gcc.dg/ipa/fopt-info-inline-1.c
> new file mode 100644
> index 0000000..4032ad1
> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/ipa/fopt-info-inline-1.c
> @@ -0,0 +1,44 @@
> +/* { dg-options "-O3 -fopt-info-inline-optimized-missed" } */
> +
> +static int foo (int a)
> +{
> +  return a + 10;
> +}
> +
> +static int bar (int b)
> +{
> +  return b - 20;
> +}
> +
> +static int boo (int a, int b)
> +{
> +  return (foo (a)     /* { dg-optimized "Inlining foo/\[0-9\]+ into 
> boo/\[0-9\]+" } */
> +         + bar (b)); /* { dg-optimized "Inlining bar/\[0-9\]+ into 
> boo/\[0-9\]+" } */
> +}
> +
> +extern int v_a, v_b;
> +extern int result;
> +
> +int compute ()
> +{
> +  result = boo (v_a, v_b); /* { dg-optimized "Inlining boo/\[0-9\]+ into 
> compute/\[0-9\]+" } */
> +
> +  return result;
> +}
> +
> +extern void not_available(int);
> +
> +int __attribute__ ((noinline,noclone)) get_input(void)
> +{
> +  return 1;
> +}
> +
> +int test_1 ()
> +{
> +  return get_input (); /* { dg-missed "not inlinable: test_1/\[0-9\]+ -> 
> get_input/\[0-9\]+, function not inlinable" } */
> +}
> +
> +void test_2 (int v)
> +{
> +  not_available (1); /* { dg-missed "not inlinable: test_2/\[0-9\]+ -> 
> not_available/\[0-9\]+, function body not available" } */
> +}
> diff --git a/gcc/testsuite/gcc.dg/ipa/inline-4.c 
> b/gcc/testsuite/gcc.dg/ipa/inline-4.c
> index fdb4465..db4cfc6 100644
> --- a/gcc/testsuite/gcc.dg/ipa/inline-4.c
> +++ b/gcc/testsuite/gcc.dg/ipa/inline-4.c
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-Os -c -fdump-ipa-inline -fno-early-inlining 
> -fno-partial-inlining -fno-ipa-cp"  } */
> +/* { dg-options "-Os -c -fdump-ipa-inline-all -fopt-info-inline 
> -fno-early-inlining -fno-partial-inlining -fno-ipa-cp"  } */
>  /* { dg-add-options bind_pic_locally } */
>
>  void work_hard (void);
> @@ -20,7 +20,7 @@ void do_something (int shall_i_work)
>  }
>  int foo (int invariant)
>  {
> -  do_something (0);
> +  do_something (0); // { dg-optimized "Inlined do_something/\[0-9]+ into 
> foo/\[0-9]+" }
>    do_something (1);
>  }
>
> diff --git a/gcc/testsuite/gcc.dg/ipa/inline-7.c 
> b/gcc/testsuite/gcc.dg/ipa/inline-7.c
> index 5002aa0..7dabb14 100644
> --- a/gcc/testsuite/gcc.dg/ipa/inline-7.c
> +++ b/gcc/testsuite/gcc.dg/ipa/inline-7.c
> @@ -1,6 +1,6 @@
>  /* Check that early inliner works out that a is empty of parameter 0.  */
>  /* { dg-do compile } */
> -/* { dg-options "-O2 -fdump-tree-einline -fno-partial-inlining"  } */
> +/* { dg-options "-O2 -fdump-tree-einline-optimized -fopt-info-inline 
> -fno-partial-inlining"  } */
>  void t(void);
>  int a (int b)
>  {
> @@ -18,7 +18,7 @@ int a (int b)
>  void
>  m()
>  {
> - a(1);
> + a(1); /* { dg-optimized "Inlining a/\[0-9\]* into m/\[0-9\]*" } */
>   a(0);
>  }
> -/* { dg-final { scan-tree-dump-times "Inlining a into m" 1 "einline"  } } */
> +/* { dg-final { scan-tree-dump-times "Inlining a.* into m.*" 1 "einline"  } 
> } */
> diff --git a/gcc/testsuite/gcc.dg/ipa/inlinehint-4.c 
> b/gcc/testsuite/gcc.dg/ipa/inlinehint-4.c
> index 656260a..ecb9a29 100644
> --- a/gcc/testsuite/gcc.dg/ipa/inlinehint-4.c
> +++ b/gcc/testsuite/gcc.dg/ipa/inlinehint-4.c
> @@ -35,5 +35,5 @@ test (int i)
>      lookup (9 * i);
>  }
>  /* { dg-final { scan-ipa-dump "Wrapper penalty"  "inline"  } } */
> -/* { dg-final { scan-ipa-dump-not "Inlined lookup_slow into lookup"  
> "inline"  } } */
> -/* { dg-final { scan-ipa-dump "Inlined lookup into test"  "inline"  } } */
> +/* { dg-final { scan-ipa-dump-not "Inlined lookup_slow/\[0-9\]* into 
> lookup/\[0-9\]*"  "inline"  } } */
> +/* { dg-final { scan-ipa-dump "Inlined lookup/\[0-9\]* into test/\[0-9\]*"  
> "inline"  } } */
> diff --git a/gcc/testsuite/gcc.dg/plugin/dump-1.c 
> b/gcc/testsuite/gcc.dg/plugin/dump-1.c
> index 95bd7a4..1538bf6 100644
> --- a/gcc/testsuite/gcc.dg/plugin/dump-1.c
> +++ b/gcc/testsuite/gcc.dg/plugin/dump-1.c
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-fopt-info-note" } */
> +/* { dg-options "-fopt-info-loop-note" } */
>
>  extern void test_string_literal (void);
>  extern void test_tree (void);
> diff --git a/gcc/testsuite/gcc.dg/plugin/dump-2.c 
> b/gcc/testsuite/gcc.dg/plugin/dump-2.c
> index 961a3d3..04b82e5 100644
> --- a/gcc/testsuite/gcc.dg/plugin/dump-2.c
> +++ b/gcc/testsuite/gcc.dg/plugin/dump-2.c
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-fopt-info-note-internals" } */
> +/* { dg-options "-fopt-info-loop-note-internals" } */
>
>  extern void test_string_literal (void);
>  extern void test_tree (void);
> diff --git a/gcc/testsuite/gcc.dg/pr26570.c b/gcc/testsuite/gcc.dg/pr26570.c
> index 87b644a..d29bc35 100644
> --- a/gcc/testsuite/gcc.dg/pr26570.c
> +++ b/gcc/testsuite/gcc.dg/pr26570.c
> @@ -6,3 +6,4 @@ unsigned test (unsigned a, unsigned b)
>  {
>    return a / b;
>  } /* { dg-missed "\[^\n\]*execution counts estimated" } */
> +/* { dg-prune-output "function body not available" } */
> diff --git a/gcc/testsuite/gcc.dg/pr71969-2.c 
> b/gcc/testsuite/gcc.dg/pr71969-2.c
> index f434fd0..73839a6 100644
> --- a/gcc/testsuite/gcc.dg/pr71969-2.c
> +++ b/gcc/testsuite/gcc.dg/pr71969-2.c
> @@ -20,4 +20,4 @@ main ()
>    return 0;
>  }
>
> -/* { dg-final { scan-tree-dump-times "Inlining foo into main" 4 "einline" } 
> } */
> +/* { dg-final { scan-tree-dump-times "Inlining foo/\[0-9\]* into 
> main/\[0-9\]*" 4 "einline" } } */
> diff --git a/gcc/testsuite/gcc.dg/pr71969-3.c 
> b/gcc/testsuite/gcc.dg/pr71969-3.c
> index 583d89d..189adfd 100644
> --- a/gcc/testsuite/gcc.dg/pr71969-3.c
> +++ b/gcc/testsuite/gcc.dg/pr71969-3.c
> @@ -35,4 +35,4 @@ main ()
>  }
>
>  /* { dg-final { scan-tree-dump-times "will not early inline" 8 "einline" } } 
> */
> -/* { dg-final { scan-tree-dump-times "Inlining foo into main" 4 "einline" } 
> } */
> +/* { dg-final { scan-tree-dump-times "Inlining foo/\[0-9\]* into 
> main/\[0-9\]*" 4 "einline" } } */
> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/inline-11.c 
> b/gcc/testsuite/gcc.dg/tree-ssa/inline-11.c
> index 6f0ff68..5673c32 100644
> --- a/gcc/testsuite/gcc.dg/tree-ssa/inline-11.c
> +++ b/gcc/testsuite/gcc.dg/tree-ssa/inline-11.c
> @@ -1,6 +1,6 @@
>  /* { dg-do compile } */
>  /* { dg-require-weak "" } */
> -/* { dg-options "-O2 -fdump-tree-einline" } */
> +/* { dg-options "-O2 -fdump-tree-einline-all" } */
>  int w;
>  int bar (void) __attribute__ ((weak));
>  int bar (){
> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/inline-3.c 
> b/gcc/testsuite/gcc.dg/tree-ssa/inline-3.c
> index 2998989..cd441af 100644
> --- a/gcc/testsuite/gcc.dg/tree-ssa/inline-3.c
> +++ b/gcc/testsuite/gcc.dg/tree-ssa/inline-3.c
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-O2 -fdump-tree-einline --param 
> max-early-inliner-iterations=2" } */
> +/* { dg-options "-O2 -fdump-tree-einline-optimized --param 
> max-early-inliner-iterations=2" } */
>  /* { dg-add-options bind_pic_locally } */
>
>  extern void inlined ();
> @@ -27,5 +27,5 @@ inline_me_too (void)
>  {
>    inlined();
>  }
> -/* { dg-final { scan-tree-dump-times "Inlining inline_me " 1 "einline"} } */
> -/* { dg-final { scan-tree-dump-times "Inlining inline_me_too " 1 "einline"} 
> } */
> +/* { dg-final { scan-tree-dump-times "Inlining inline_me/\[0-9\]* " 1 
> "einline"} } */
> +/* { dg-final { scan-tree-dump-times "Inlining inline_me_too/\[0-9\]* " 1 
> "einline"} } */
> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/inline-4.c 
> b/gcc/testsuite/gcc.dg/tree-ssa/inline-4.c
> index c9f7978..93412fa 100644
> --- a/gcc/testsuite/gcc.dg/tree-ssa/inline-4.c
> +++ b/gcc/testsuite/gcc.dg/tree-ssa/inline-4.c
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-O2 -fdump-tree-einline" } */
> +/* { dg-options "-O2 -fdump-tree-einline-optimized -fopt-info-inline" } */
>  /* { dg-add-options bind_pic_locally } */
>
>  extern int rand(void);
> @@ -13,7 +13,7 @@ int my_id;
>
>  int main()
>  {
> -  int res = get_data_for (my_id);
> +  int res = get_data_for (my_id); /* { dg-optimized "Inlining 
> get_data_for/\[0-9\]+ into main/\[0-9\]+." } */
>    switch (res)
>      {
>        case 0:
> @@ -23,4 +23,4 @@ int main()
>      }
>  }
>
> -/* { dg-final { scan-tree-dump "Inlining get_data_for into main" "einline" } 
> } */
> +/* { dg-final { scan-tree-dump "Inlining get_data_for/\[0-9\]* into 
> main/\[0-9\]*" "einline" } } */
> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/inline-8.c 
> b/gcc/testsuite/gcc.dg/tree-ssa/inline-8.c
> index 6da886e..f87e0b5 100644
> --- a/gcc/testsuite/gcc.dg/tree-ssa/inline-8.c
> +++ b/gcc/testsuite/gcc.dg/tree-ssa/inline-8.c
> @@ -1,5 +1,5 @@
>  /* { dg-do compile } */
> -/* { dg-options "-O -finline-small-functions --param early-inlining-insns=0 
> -fdump-tree-einline" } */
> +/* { dg-options "-O -finline-small-functions --param early-inlining-insns=0 
> -fdump-tree-einline-optimized" } */
>
>  int foo0();
>  void bar0() { foo0(); }
> diff --git a/gcc/testsuite/gfortran.dg/pr79966.f90 
> b/gcc/testsuite/gfortran.dg/pr79966.f90
> index eee43fb..2170afd 100644
> --- a/gcc/testsuite/gfortran.dg/pr79966.f90
> +++ b/gcc/testsuite/gfortran.dg/pr79966.f90
> @@ -109,4 +109,4 @@ contains
>    call RunTPTests()
>    end program
>
> -! { dg-final { scan-ipa-dump "Inlined tp_sum into runtptests" "inline" } }
> +! { dg-final { scan-ipa-dump "Inlined tp_sum/\[0-9\]+ into 
> runtptests/\[0-9\]+" "inline" } }
> diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c
> index 297fcd7..5ce319a 100644
> --- a/gcc/tree-inline.c
> +++ b/gcc/tree-inline.c
> @@ -4673,14 +4673,20 @@ expand_call_inline (basic_block bb, gimple *stmt, 
> copy_body_data *id)
>    /* Add local vars in this inlined callee to caller.  */
>    add_local_variables (id->src_cfun, cfun, id);
>
> -  if (dump_file && (dump_flags & TDF_DETAILS))
> +  if (dump_enabled_p ())
>      {
> -      fprintf (dump_file, "Inlining %s to %s with frequency %4.2f\n",
> -              id->src_node->dump_name (),
> -              id->dst_node->dump_name (),
> -              cg_edge->sreal_frequency ().to_double ());
> -      id->src_node->dump (dump_file);
> -      id->dst_node->dump (dump_file);
> +      char buf[128];
> +      snprintf (buf, sizeof(buf), "%4.2f",
> +               cg_edge->sreal_frequency ().to_double ());
> +      dump_printf_loc (MSG_NOTE | MSG_PRIORITY_INTERNALS,
> +                      call_stmt,
> +                      "Inlining %C to %C with frequency %s\n",
> +                      id->src_node, id->dst_node, buf);
> +      if (dump_file && (dump_flags & TDF_DETAILS))
> +       {
> +         id->src_node->dump (dump_file);
> +         id->dst_node->dump (dump_file);
> +       }
>      }
>
>    /* This is it.  Duplicate the callee body.  Assume callee is
> --
> 1.8.5.3
>

Reply via email to