https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83488
--- Comment #22 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Ah, that changes the situation, I guess your patch is fine then (but please ask still Uros or Kirill for approval on gcc-patches). But make sure that the i386-builtins.def | OPTION_MASK_ISA_AVX512VL additions and perhaps sse.md changes for AVX512VL are done soon.
