[Bug ipa/91089] IPA-cp does not setup proper cost model for switch default case in function versioning

[fxue at gcc dot gnu.org]

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

--- Comment #3 from fxue at gcc dot gnu.org ---
Author: fxue
Date: Tue Sep 17 12:30:08 2019
New Revision: 275802

URL: https://gcc.gnu.org/viewcvs?rev=275802&root=gcc&view=rev
Log:
PR ipa/91089 - Setup predicate for switch default case in IPA

2019-09-17  Feng Xue  <f...@os.amperecomputing.com>

        PR ipa/91089
        * doc/invoke.texi (ipa-max-switch-predicate-bounds): Document new
        option.
        * params.def (PARAM_IPA_MAX_SWITCH_PREDICATE_BOUNDS): New.
        * ipa-fnsummary.c (set_switch_stmt_execution_predicate): Add predicate
        for switch default case using range analysis information.

2019-09-17  Feng Xue  <f...@os.amperecomputing.com>

        PR ipa/91089
        * gcc.dg/ipa/pr91089.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/ipa/pr91089.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/doc/invoke.texi
    trunk/gcc/ipa-fnsummary.c
    trunk/gcc/params.def
    trunk/gcc/testsuite/ChangeLog