[Bug tree-optimization/107647] [12/13 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 #17 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>:

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

commit r13-4137-gc5df8392c5848c0462558f41cdf6eab31db301cf
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.