https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85833
--- Comment #3 from Wojciech Mula <wojciech_mula at poczta dot onet.pl> --- Uroš, thank you very much. I didn't pay attention on the AVX512 variant, as I thought this is so basic instruction that it should be available from AVX512F.
