c - 优化 "i = b ? (i | mask) : (i & ~mask)"

Question

我希望能够设置或清除 uintX_t 的(多个)位。

i 是一个运行时变量 (uintX_t)。b 是一个运行时变量 (uintX_t)，它被限制为 0 或 1。

mask 是编译时常量。

有没有比以下更好的方法:

i = b ? (i | mask) : (i & ~mask)

如果可能的话，我希望避免分支。如果重要的话，目标是 ARM。

Answer 1

利用 -1u 是设置了所有位的值这一事实:

i = (i & ~mask) | (mask & -b);

或

i ^= (i ^ -b) & mask;

第二种方法减少了操作次数和代码大小。第一种方法在超标量架构上可能仍然更快，因为一些操作可以并行执行。