为何g++ -O3未将两种简单位运算实现优化为相同代码？

问题背景 #

我编写了一个被内层循环大量调用的简单位操作函数，最初的实现如下：

uint16_t getBit(uint16_t val, uint16_t n)
{
    return (val & (1 << n)) >> n;
}

该版本程序的平均执行时间为3.1秒。

随后我将函数改写为：

uint16_t getBit(uint16_t val, uint16_t n)
{
    return (val >> n) & 1;
}

改写后的程序平均执行时间缩短至2.9秒。

核心原因分析 #

两种实现的语义并非完全等价，且前者存在未定义行为场景，GCC的优化器会严格遵循代码的语义边界，因此不会将它们编译为相同代码：

• 有符号整数移位的未定义行为：第一种实现中的1 << n使用了默认的有符号int类型的1。根据C标准，当移位位数n大于等于有符号int的位宽（通常为32位）时，该移位操作属于未定义行为——编译器可以生成任意代码，甚至触发程序崩溃。而第二种实现的所有操作均基于无符号整数uint16_t（或提升后的非负有符号整数，行为与无符号一致），移位操作完全符合标准定义，不存在未定义行为。GCC的优化器不会修改存在未定义行为的代码逻辑，避免破坏用户代码中可能依赖的（即便错误的）行为表现。

• 指令执行效率的本质差异：从生成的汇编指令来看，第一种实现需要依次完成「1左移n位」「与val按位与」「结果右移n位」三步操作，指令依赖链更长；第二种实现仅需「val右移n位」「与1按位与」两步，指令数更少，CPU流水线的并行执行效率更高，这也是后者执行时间更短的直接原因。由于两种实现的语义边界不同，GCC无法安全地将前者的指令序列优化为后者的形式。

内容的提问来源于stack exchange，提问作者mihovg93