[Bug target/128614] [14/15/16/17 Regression] combine splits a masked AVX-512 add into an unmasked add and a masked store, raising FP exceptions in masked-off lanes

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

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

Hongtao Liu <liuhongt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |liuhongt at gcc dot gnu.org

--- Comment #2 from Hongtao Liu <liuhongt at gcc dot gnu.org> ---
Semantically, vec_merges doesn't suppress exceptions, so what pass_combine does
should be fine. But adding target_specific unspec to all patterns related to
avx512 mask intrinsics would cause many missed optimizations. Maybe
vec_predicate could be a choice in the future.