[Bug target/111335] fmaddpch seems not commutative for operands[1] and operands[2] due to precision loss

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

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

--- Comment #2 from CVS 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:162731529e4dd10970880c369471229735dc3e9b

commit r13-7789-g162731529e4dd10970880c369471229735dc3e9b
Author: liuhongt <hongtao....@intel.com>
Date:   Fri Sep 8 09:22:43 2023 +0800

    Remove constraint modifier % for fcmaddcph/fmaddcph/fcmulcph since there're
not commutative.

    gcc/ChangeLog:

            PR target/111306
            PR target/111335
            * config/i386/sse.md (int_comm): New int_attr.
            (fma_<complexopname>_<mode><sdc_maskz_name><round_name>):
            Remove % for Complex conjugate operations since they're not
            commutative.
            (fma_<complexpairopname>_<mode>_pair): Ditto.
            (<avx512>_<complexopname>_<mode>_mask<round_name>): Ditto.
            (cmul<conj_op><mode>3): Ditto.

    gcc/testsuite/ChangeLog:

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

    (cherry picked from commit f197392a16ffb1327f1d12ff8ff05f9295e015cb)