[Bug ipa/87615] Possible excessive compile time with -O2

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87615

--- Comment #13 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Author: jamborm
Date: Sun Jan 20 20:17:02 2019
New Revision: 268107

URL: https://gcc.gnu.org/viewcvs?rev=268107&root=gcc&view=rev
Log:
Limit AA walking in IPA summary generation

2019-01-20  Martin Jambor  <mjam...@suse.cz>

        PR ipa/87615
        * ipa-prop.h (struct ipa_func_body_info): Replaced field aa_walked
        with aa_walk_budget.
        * cgraph.h (ipa_polymorphic_call_context::get_dynamic_type): Add
        aa_walk_budget_p parameter.
        * ipa-fnsummary.c (unmodified_parm_1): New parameter fbi.  Limit AA
        walk.  Updated all callers.
        (unmodified_parm): New parameter fbi, pass it to unmodified_parm_1.
        (eliminated_by_inlining_prob): New parameter fbi, pass it on to
        unmodified_parm.
        (will_be_nonconstant_expr_predicate): New parameter fbi, removed
        parameter info.  Extract info from fbi.  Pass fbi to recursive calls
        and to unmodified_parm.
        (phi_result_unknown_predicate): New parameter fbi, removed parameter
        info, updated call to will_be_nonconstant_expr_predicate.
        (param_change_prob): New parameter fbi, limit AA walking.
        (analyze_function_body): Initialize aa_walk_budget in fbi.  Update
        calls to various above functions.
        * ipa-polymorphic-call.c (get_dynamic_type): Add aa_walk_budget_p
        parameter.  Use it to limit AA walking.
        * ipa-prop.c (detect_type_change_from_memory_writes): New parameter
        fbi, limit AA walk.
        (detect_type_change): New parameter fbi, pass it on to
        detect_type_change_from_memory_writes.
        (detect_type_change_ssa): Likewise.
        (aa_overwalked): Removed.
        (parm_preserved_before_stmt_p): Assume fbi is never NULL, stream line
        accordingly, adjust to the neew AA limiting scheme.
        (parm_ref_data_preserved_p): Likewise.
        (ipa_compute_jump_functions_for_edge): Adjust call to
        get_dynamic_type.
        (ipa_analyze_call_uses): Likewise.
        (ipa_analyze_virtual_call_uses): Pass fbi to detect_type_change_ssa.
        (ipa_analyze_node): Initialize aa_walk_budget.
        (ipcp_transform_function): Likewise.
        * tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_stmt): Update call
        to get_dynamic_type.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraph.h
    trunk/gcc/ipa-fnsummary.c
    trunk/gcc/ipa-polymorphic-call.c
    trunk/gcc/ipa-prop.c
    trunk/gcc/ipa-prop.h
    trunk/gcc/tree-ssa-sccvn.c