__builtin_addcll 和 _addcarry_u64 之间的区别

Question

早上好（或晚上好），

我正在阅读公司中的一些遗留代码，我发现使用了以下内在函数：

_addcarry_u64

但是，我必须将此代码移植到不支持它的平台上。 经过一番研究，我偶然发现了一个 Clang 内置函数，它似乎可以完成完全相同的工作：

__builtin_addcll

它具有相同的参数（顺序不同，但仍然如此），但是，因为几乎没有 文档 即使在 Clang 网站上，我也不知道它们是否真的相同，尤其是因为返回类型或参数顺序不同。

我尝试使用宏来重新映射已使用的参数，但它不起作用（我知道它很脏）。

#define _addcarry_u64(carryIn, src1, src2, carryOut) __builtin_addcll(src1, src2, carryIn, carryOut)

我觉得我必须将它包装在一个函数中才能正常工作（仍然不确定它是否有效）

任何人都可以向我指出文档或任何可以解决我的问题的内容吗？

Answer 1

• _addcarry_u64 是 Intel 为所有 Intel 平台提供的官方内部名称
• __builtin_addcll 是 Clang 固有的，适用于 Clang 支持的所有平台
• __builtin_uaddll_overflow 系列是对于 GCC 支持的所有平台，GCC 中的等效项

Clang 的签名是

unsigned long long __builtin_addcll(unsigned long long x,
                                    unsigned long long y,
                                    unsigned long long carryin,
                                    unsigned long long *carryout);

，Intel 版本是

unsigned char _addcarry_u64 (unsigned char c_in,
                             unsigned __int64 a,
                             unsigned __int64 b,
                             unsigned __int64 * out)

所以你的宏不正确。 _addcarry_u64 添加 2 个数字并返回进位，并且按照 Intel 的规定通过指针返回总和

将无符号 64 位整数 a 和 b 与无符号 8 位进位输入 c_in（进位标志）相加，并存储无符号 64 位结果在 out 中，进位在 dst 中（进位或溢出标志）。

__builtin_addcll OTOH 直接返回总和，并且执行结果通过指针返回，正如您可以从 Clang 文档链接

Clang 提供了一组内置函数，它们以适合 C 的方式公开多精度算术。它们都具有以下形式：

无符号 x = ..., y = ..., 进位 = ..., 进位;
无符号和 = __builtin_addc(x, y, 进位, &carryout);

的等价物是

int carryOut = _addcarry_u64(carryIn, x, y, &sum);

因此Clang 中

auto sum = __builtin_addcll(x, y, carryIn, &carryOut);