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

Question

我尝试对使用64位加宽乘法的CBR​​NG进行矢量化。

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位无符号元素或无符号双字作为源，并将每个64位结果扩展为两个结果元素组合为无符号四字，从而可以执行32 x 32 - > 64位。

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