[Bug middle-end/115277] [13/14/15 regression] ICF needs to match loop bound estimates

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jan Hubicka <hubicka@gcc.gnu.org>:

https://gcc.gnu.org/g:0d19fbc7b0760ce665fa6a88cd40cfa0311358d7

commit r15-2200-g0d19fbc7b0760ce665fa6a88cd40cfa0311358d7
Author: Jan Hubicka <hubicka@ucw.cz>
Date:   Mon Jul 22 18:01:57 2024 +0200

    Compare loop bounds in ipa-icf

    Hi,
    this testcase shows another poblem with missing comparators for metadata
    in ICF. With value ranges available to loop optimizations during early
    opts we can estimate number of iterations based on guarding condition that
    can be split away by the fnsplit pass. This patch disables ICF when
    number of iteraitons does not match.

    Bootstrapped/regtesed x86_64-linux, will commit it shortly

    gcc/ChangeLog:

            PR ipa/115277
            * ipa-icf-gimple.cc (func_checker::compare_loops): compare loop
            bounds.

    gcc/testsuite/ChangeLog:

            * gcc.c-torture/compile/pr115277.c: New test.