c++ - C/C++ : is using the result of comparison as int really branchless?

Question

我在很多 SO 答案中都看到过这样的代码:

template <typename T> 
inline T imax (T a, T b)
{
    return (a > b) * a + (a <= b) * b;
}

作者说这是无分支的。

但这在当前架构上真的是无分支的吗？ (x86, ARM...)是否有真正的标准保证这是无分支的？

Answer 1

x86 具有 SETcc 系列指令，可根据标志的值将字节寄存器设置为 1 或 0。这通常被编译器用来实现这种没有分支的代码。

如果你使用“天真的”方法

int imax(int a, int b) {
    return a > b ? a : b;
}

编译器将使用 CMOVcc(条件移动)指令族生成更高效的无分支代码。

ARM 能够有条件地执行每条指令，这使得编译器能够有效地编译您的和原始实现，原始实现更快。