diff options
| author | Jan Hubicka <hubicka@gcc.gnu.org> | 2019-11-14 12:41:55 +0000 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2019-11-14 12:41:55 +0000 |
| commit | 68718e8e60209edc98771f54091d983eecd6f93c (patch) | |
| tree | 70300f4db395bcfd44ad4749a8f9d8354827813e /gcc/ipa-prop.h | |
| parent | afeb887562af17ea235fbec650ff6d16c412682a (diff) | |
| download | gcc-68718e8e60209edc98771f54091d983eecd6f93c.zip gcc-68718e8e60209edc98771f54091d983eecd6f93c.tar.gz gcc-68718e8e60209edc98771f54091d983eecd6f93c.tar.bz2 | |
Support for value ranges in IPA predicates
* ipa-cp.c (ipa_vr_operation_and_type_effects): Move up in file.
(ipa_value_range_from_jfunc): New function.
* ipa-fnsummary.c (evaluate_conditions_for_known_args): Add
known_value_ranges parameter; use it to evalulate conditions.
(evaluate_properties_for_edge): Compute known value ranges.
(ipa_fn_summary_t::duplicate): Update use of
evaluate_conditions_for_known_args.
(estimate_ipcp_clone_size_and_time): Likewise.
(ipa_merge_fn_summary_after_inlining): Likewise.
* ipa-prop.h (ipa_value_range_from_jfunc): Declare.
* gcc.dg/ipa/inline-9.c: New testcase.
From-SVN: r278220
Diffstat (limited to 'gcc/ipa-prop.h')
| -rw-r--r-- | gcc/ipa-prop.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ipa-prop.h b/gcc/ipa-prop.h index 7eb96a0..9e85ef8 100644 --- a/gcc/ipa-prop.h +++ b/gcc/ipa-prop.h @@ -1029,6 +1029,8 @@ ipa_polymorphic_call_context ipa_context_from_jfunc (ipa_node_params *, cgraph_edge *, int, ipa_jump_func *); +value_range ipa_value_range_from_jfunc (ipa_node_params *, cgraph_edge *, + ipa_jump_func *, tree); ipa_agg_value_set ipa_agg_value_set_from_jfunc (ipa_node_params *, cgraph_node *, ipa_agg_jump_function *); |