ifort与gfortran的Tail call optimization差异：为何-O3下ifort未执行该优化？

我有一段Fortran代码，使用gfortran编译时会执行尾调用优化（Tail call optimization），但使用ifort编译时不会。
相关参考材料包括不同编译场景的效果截图、简化版示例代码、两个编译器生成的汇编对比、函数调用示例代码等，具体内容如下：

简化示例代码 #

function f(a, b)
    real, intent(in) :: a, b
    real :: f
    f = a**b
end function f

编译生成的汇编对比 #

两个编译器均使用-O3优化等级编译，生成的汇编代码差异如下：

gfortran 输出 #

f_:
    movss   xmm1, DWORD PTR [rsi]
    movss   xmm0, DWORD PTR [rdi]
    jmp     powf

ifort 输出 #

f_:
    push      rsi                                           #1.10
    movss     xmm0, DWORD PTR [rdi]                         #4.10
    movss     xmm1, DWORD PTR [rsi]                         #4.10
    call      powf                                          #4.10
    pop       rcx                                           #5.1
    ret                                                     #5.1

按照对-O3优化级别的预期，两个编译器都应该对这段代码执行尾调用优化，但实际ifort并未触发对应逻辑。检索过程中仅找到同类主题的相关讨论，讨论场景为gfortran未执行优化，且对应代码逻辑复杂度远高于当前示例，与当前问题不匹配。

补充说明 #

• 原生产代码（非上述简化版本）的VTune性能分析输出已有对应记录
• 函数f的完整可运行调用示例代码如下：

program calling_func
    real :: res
    res = 0.d0
    do i = 1, 10000
        res = res + f(real(mod(i,3)), real(mod(i,3)))
    end do
    Print *, res
end program calling_func

function f(a, b)
    implicit none
    real, intent(in) :: a, b
    real :: f
    f = a**b
end function f

实测验证：在gfortran编译环境下，代码行f = a**b会被直接转换为汇编跳转指令jmp pow；但在ifort编译环境下，该行会被转换为普通函数调用指令call pow。 #

ifort不对这类场景执行尾调用优化，本质是两个编译器的优化设计目标存在差异，不存在严格的对错之分，核心决策逻辑可以归纳为两点：

• 栈帧管理的优先级设计差异
  gfortran处理这类纯值透传、无局部变量、计算完成直接返回的函数时，会自动识别调用点是否处于函数执行流的最后一步：只要参数传递的寄存器布局和系统ABI约定完全匹配，就直接把call指令替换为jmp指令，省去栈帧压栈、出栈的固定开销。但ifort从早期版本开始，就默认要求所有Fortran函数保留完整的独立栈帧边界，哪怕函数内部没有任何需要保存的局部变量，也会按照固定流程完成寄存器保存、栈对齐校验，这种对栈结构完整性的要求，优先级远高于尾调用优化能节省的少量栈空间。
• 调试可观测性的权衡考量
  尾调用优化会直接改写栈回溯的调用链结构：一旦被调用的pow函数触发浮点异常（比如0的负数次幂、无穷大运算），栈回溯时会直接跳过当前函数f的帧信息，导致ifort默认集成的浮点错误定位、栈展开调试功能无法准确关联出错位置。ifort的优化规则里，这类会破坏可观测性的优化，默认不会在常规-O3级别开启，必须由用户显式声明接受这类影响，才会激活对应优化逻辑。

如果确实需要在ifort下开启这类尾调用优化，可以额外添加编译参数-fomit-frame-pointer -O3，编译后即可观察到与gfortran一致的jmp powf指令生成效果。 #

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