avx512-rotate.ll 15.7 KB