我尝试对使用 64 位扩展乘法的 CBRNG 进行矢量化。
static __inline__ uint64_t mulhilo64(uint64_t a, uint64_t b, uint64_t* hip) {
__uint128_t product = ((__uint128_t)a)*((__uint128_t)b);
*hip = product>>64;
return (uint64_t)product;
}
这样的乘法在 AVX2 中是否以矢量化形式存在？
【问题讨论】：
标签： c++ computer-science vectorization simd avx2
没有。没有 64 x 64 -> 128 位算术作为向量指令。也没有向量mulhi类型指令（乘法的高字结果）。
[V]PMULUDQ 可以做到 32 x 32 -> 64 位，方法是仅考虑每隔一个 32 位无符号元素或无符号双字作为源，并将每个 64 位结果扩展为两个组合为无符号四字的结果元素。
您现在可能希望最好的是 Haswell 的 MULX 指令，它具有更灵活的寄存器使用，并且不影响标志寄存器 - 消除了一些停顿。
【讨论】：
MULX 是正确的使用方式（如果您指定目标是 Haswell+，您的编译器应该为您生成它）
mulx 在 Broadwell，而不是 Haswell
MULX 是 Haswell。您可以在 GCC 中使用__int128 和-march=haswell（或-mbmi2）进行检查。