[Bug tree-optimization/107647] [12 Regression] GCC 12.2.0 may produce FMAs even with -ffp-contract=off

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

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

--- Comment #20 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:a9fafa2f533e25c57528c0294e19a154197848dd

commit r12-8974-ga9fafa2f533e25c57528c0294e19a154197848dd
Author: Richard Biener <rguent...@suse.de>
Date:   Thu Nov 17 09:43:31 2022 +0100

    tree-optimization/107647 - avoid FMA from SLP with -ffp-contract=off

    Only with -ffp-contract=fast we can synthesize FMA operations like
    vfmaddsub231ps, so properly guard the transform in SLP pattern
    detection.

            PR tree-optimization/107647
            * tree-vect-slp-patterns.cc (addsub_pattern::recognize): Only
            allow FMA generation with -ffp-contract=fast for FP types.
            (complex_mul_pattern::matches): Likewise.

            * gcc.target/i386/pr107647.c: New testcase.

    (cherry picked from commit c5df8392c5848c0462558f41cdf6eab31db301cf)