c++ - GCC 无法向量化 64 位乘法。可以在 AVX2 上对 64 位 x 64 位 -> 128 位加宽乘法进行矢量化吗？

Question

我尝试对使用 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 中的矢量化形式存在？

Answer 1

不，没有 64 x 64 -> 128 位算术作为向量指令。也没有向量mulhi类型的指令（乘法的高字结果）。

[V]PMULUDQ 可以做到 32 x 32 -> 64 位，方法是仅考虑每隔一个 32 位无符号元素或无符号双字作为源，并将每个 64 位结果扩展为两个组合为无符号四字的结果元素。

您现在可能希望最好的是 Haswell 的 MULX 指令，它具有更灵活的寄存器使用，并且不影响标志寄存器 - 消除了一些停顿。