Masking code for AVX2