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指令，它具有更靈活的寄存器使用，並且不會影響標志寄存器 - 消除了一些停頓。