c++ - 为什么这两个高（64bx64b）函数会给出不同的结果？

Question

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 （更具体地说BMI2）上使用 MULX 内在函数编写以下内容。但他们没有给出相同的结果。

static __inline__ uint64_t mulhilo64(uint64_t  a, uint64_t b, uint64_t *c){
     return _mulx_u64(a, b, &c);
}

Answer 1

看起来这个函数可能是错误的：

static __inline__ uint64_t mulhilo64(uint64_t  a, uint64_t b, uint64_t *c){
     return _mulx_u64(a, b, &c);
}

应该是：

static __inline__ uint64_t mulhilo64(uint64_t  a, uint64_t b, uint64_t *c){
     return _mulx_u64(a, b, c);
}                        // ^

请注意，启用警告（例如gcc -Wall ...）进行编译有助于捕获此类简单错误。