proper AVX2/AVX implementation