使用AVX内联函数时，_mm512_mask_mov_epi64与_mm512_mask_blend_epi64的差异

从表面的参数顺序、名称，甚至Intel内联函数指南的伪代码来看，这两个函数的功能似乎完全等效，但实际上存在语义映射和设计意图的差异：

伪代码对比 #

_mm512_mask_blend_epi64 伪代码 #

FOR j := 0 to 7
    i := j*64
    IF k[j]
        dst[i+63:i] := b[i+63:i]
    ELSE
        dst[i+63:i] := a[i+63:i]
    FI
ENDFOR
dst[MAX:512] := 0

_mm512_mask_mov_epi64 伪代码 #

FOR j := 0 to 7
    i := j*64
    IF k[j]
        dst[i+63:i] := a[i+63:i]
    ELSE
        dst[i+63:i] := src[i+63:i]
    FI
ENDFOR
dst[MAX:512] := 0

核心差异解析 #

1. 参数语义的映射关系不同

   • _mm512_mask_blend_epi64的函数签名为 __m512i _mm512_mask_blend_epi64(__mmask8 k, __m512i a, __m512i b)：掩码位为1时，取第二个源操作数b的64位块；掩码位为0时，取第一个源操作数a的块。
   • _mm512_mask_mov_epi64的函数签名为 __m512i _mm512_mask_mov_epi64(__m512i src, __mmask8 k, __m512i a)：掩码位为1时，取第三个参数a的64位块；掩码位为0时，取第一个参数src的块。
     两者的功能可以通过调换参数实现等价（比如用_mm512_mask_blend_epi64(k, src, a)替代_mm512_mask_mov_epi64(src, k, a)），但参数的语义对应逻辑是反转的。

2. 指令的设计意图不同

   • mask_blend属于blend类指令，语义上强调混合两个独立的源操作数，核心是“从两个输入中按掩码选块合并成结果”。
   • mask_mov属于带掩码的mov类指令，语义上偏向条件覆盖/移动，核心是“用掩码控制是否将某个源的块覆盖到基础源的对应位置”。
     虽然在硬件层面，两者最终执行的操作可能完全一致，但不同的语义会影响代码的可读性——使用符合业务逻辑语义的指令，能让代码意图更清晰。

内容的提问来源于stack exchange，提问作者Paul Aner