[Bug tree-optimization/111407] [11/12/13 Regression] ICE: SSA corruption due to widening_mul opt on conflict across an abnormal edge

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

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

--- Comment #16 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Qing Zhao <qinz...@gcc.gnu.org>:

https://gcc.gnu.org/g:4de35949e462d89926a171cd1ef7b6f40a308dab

commit r11-11306-g4de35949e462d89926a171cd1ef7b6f40a308dab
Author: Qing Zhao <qing.z...@oracle.com>
Date:   Mon Mar 25 14:17:56 2024 +0000

    Fix SSA corruption due to widening_mul opt on conflict across an abnormal
edge [PR111407]

    This is a bug in tree-ssa-math-opts.c, when applying the widening mul
    optimization, the compiler needs to check whether the operand is in a
    ABNORMAL PHI, if YES, we should avoid the transformation.

            PR tree-optimization/111407

    gcc/ChangeLog:

            * tree-ssa-math-opts.c (convert_mult_to_widen): Avoid the transform
            when one of the operands is subject to abnormal coalescing.

    gcc/testsuite/ChangeLog:

            * gcc.dg/pr111407.c: New test.

    (cherry picked from commit 4aca1cfd6235090e48a53dab734437740671bbf3)