为何C语言中返回常量的函数比计算平方根的函数更慢？

核心现象解释 #

在-O0编译级别下，虽然clang禁用了大部分传统优化（如循环展开、常量折叠），但内置函数（builtin）的特殊处理依然生效：

• 直接返回参数的函数：-O0会强制生成大量冗余代码，比如保存/恢复寄存器、设置栈帧等，这些操作的开销并不低。
• 调用sqrt的函数：默认情况下clang会将sqrt识别为内置函数，直接生成aarch64架构的fsqrt硬件浮点指令，这条指令在M1 Pro上执行速度极快（仅需几个周期），其开销和前者的冗余栈操作几乎相当，所以两者耗时接近。

-fno-builtin-sqrt的影响 #

添加该选项后，编译器禁用了sqrt的内置函数替换，转而调用libm库中的标准sqrt函数。库版本的sqrt包含额外的逻辑：比如参数合法性检查（处理负数、NaN、无穷大等）、分支判断，再加上函数调用的跳转、栈帧开销，整体耗时自然会增加。

为什么反汇编没看到"优化痕迹" #

这里的内置函数替换不属于传统意义上的"优化"（比如代码消除、重组），而是前端的语法替换+后端的硬件指令生成：反汇编里看到的是fsqrt指令而非函数调用，这是直接映射硬件能力的结果，没有复杂的优化变换，所以你可能会误以为没有优化发生。

优化的实现位置 #

• 前端阶段：clang的AST分析器会识别标准库函数调用，当检测到sqrt且启用内置函数（默认开启，即使-O0）时，会将其替换为__builtin_sqrt节点。
• 后端代码生成阶段：针对aarch64架构，__builtin_sqrt会直接翻译为fsqrt硬件指令，跳过libm函数调用的流程。

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