r278220 - in /trunk/gcc: ChangeLog ipa-cp.c ipa...

[hubicka@gcc.gnu.org]

Author: hubicka
Date: Thu Nov 14 12:41:55 2019
New Revision: 278220

URL: https://gcc.gnu.org/viewcvs?rev=278220&root=gcc&view=rev
Log:
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.


Added:
    trunk/gcc/testsuite/gcc.dg/ipa/inline-9.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-cp.c
    trunk/gcc/ipa-fnsummary.c
    trunk/gcc/ipa-inline.c
    trunk/gcc/ipa-prop.h
    trunk/gcc/testsuite/ChangeLog