AVX: Fix a bug in WidenMaskArithmetic.
AVX: Fix a bug in WidenMaskArithmetic.