为何GCC 12.2未将constexpr函数中的除法优化为移位操作？

这个差异和内联无关，核心原因是GCC与Clang对有符号整数除法的优化策略不同，尤其是针对特定数值范围的分支分析深度有区别。

关键背景：有符号除法与移位的行为差异 #

x86-64的算术右移（sar）和C++标准要求的有符号整数除法行为不一致：

• C++规定有符号整数除法向零取整，例如 -3 / 2 = -1
• 算术右移是向负无穷取整，例如 -3 >> 1 = -2（符号位填充高位）
  直接用移位替换除法会导致负数结果不符合标准，因此编译器必须做额外处理才能安全替换。

你的代码分支分析 #

x/2仅在x ∈ [-4, 3]的范围内执行，我们可以逐个验证这个区间内的数值行为：

可见x=-1和x=-3时，直接移位结果与除法不符，需要额外调整才能保证等价性。

编译器的优化策略差异 #

• Clang：对这个分支的数值范围做了精细分析，生成了带条件调整的移位逻辑（例如对x=-1、x=-3这类情况先加1再移位），既符合C++标准，又避免了效率较低的idiv指令。
• GCC：在这个场景下没有做深度的范围优化，直接选择生成idiv指令来保证行为正确性，实现更直接但指令效率略低。

关于内联的澄清 #

在-O3优化级别下，GCC默认开启-finline-functions，你的func已经被完全内联到main中（查看Godbolt汇编会发现没有call func指令），所以内联不是导致差异的原因。

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