https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102080
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- That is the mask is a vector mode still for these patterns according to the internals doc. Rather than the scalar mode you have: (match_operand:<avx512fmaskmode> 1 "register_operand")