[Bug tree-optimization/114396] [13/14 Regression] Vector: Runtime mismatch at -O2 with -fwrapv since r13-7988-g82919cf4cb2321

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #22 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by hongtao Liu
<liuho...@gcc.gnu.org>:

https://gcc.gnu.org/g:199b021a38f30b681e0dbecd2d0296beabd50b13

commit r13-8475-g199b021a38f30b681e0dbecd2d0296beabd50b13
Author: liuhongt <hongtao....@intel.com>
Date:   Thu Mar 21 13:15:23 2024 +0800

    Fix runtime error for nonlinear iv vectorization(step_mult).

    wi::from_mpz doesn't take a sign argument, we want it to be wrapped
    instead of saturation, so pass utype and true to it, and it fixes the
    bug.

    gcc/ChangeLog:

            PR tree-optimization/114396
            * tree-vect-loop.cc (vect_peel_nonlinear_iv_init): Pass utype
            and true to wi::from_mpz.

    gcc/testsuite/ChangeLog:

            * gcc.target/i386/pr114396.c: New test.

    (cherry picked from commit ac2f8c2a367151fc0410f904339c475a953cffc8)