https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83488
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 42932 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42932&action=edit gcc8-pr83488.patch Untested fix. Note I think the patch should also fix -mavx512vbmi2 -mno-avx512f not disabling vbmi2.
