From d40e2362bb6dcff1ec3905cd8db1ad7e5ee4a1dd Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Sun, 10 Nov 2019 16:44:13 +0100 Subject: [PATCH] ipa-prop.c (ipa_propagate_indirect_call_infos): Remove ipa edge args summaries of inlined edge unless... * ipa-prop.c (ipa_propagate_indirect_call_infos): Remove ipa edge args summaries of inlined edge unless it holds info about described reference. From-SVN: r278020 --- gcc/ChangeLog | 6 ++++++ gcc/ipa-prop.c | 20 ++++++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a4beddc8ab8..d07b88a3a6b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2019-11-10 Jan Hubicka + + * ipa-prop.c (ipa_propagate_indirect_call_infos): Remove ipa edge + args summaries of inlined edge unless it holds info about + described reference. + 2019-11-10 Segher Boessenkool * config/rs6000/rs6000.md (CC_any): New mode iterator. diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c index eb783e66926..71fbf192ffd 100644 --- a/gcc/ipa-prop.c +++ b/gcc/ipa-prop.c @@ -3727,6 +3727,26 @@ ipa_propagate_indirect_call_infos (struct cgraph_edge *cs, changed = propagate_info_to_inlined_callees (cs, cs->callee, new_edges); ipa_node_params_sum->remove (cs->callee); + class ipa_edge_args *args = IPA_EDGE_REF (cs); + if (args) + { + bool ok = true; + if (args->jump_functions) + { + struct ipa_jump_func *jf; + int i; + FOR_EACH_VEC_ELT (*args->jump_functions, i, jf) + if (jf->type == IPA_JF_CONST + && ipa_get_jf_constant_rdesc (jf)) + { + ok = false; + break; + } + } + if (ok) + ipa_edge_args_sum->remove (cs); + } + return changed; } -- 2.30.2