Go循环内未逃逸栈变量内存复用优化在cmd/compile中的执行位置咨询

这个优化是在SSA（静态单赋值）阶段完成的，具体属于cmd/compile/internal/ssa包负责的中端优化流程，和栈帧布局的规划直接相关。

当逃逸分析确认变量不会逃逸到堆后，编译器会进入SSA的构建与优化阶段。在这个阶段，编译器会分析函数的控制流，识别出那些生命周期严格限制在单次循环迭代内、且没有跨迭代引用的栈变量。对于这类变量，编译器不会在每次循环迭代时分配新的栈空间，而是提前为其分配一个固定的栈地址，让所有迭代复用这块空间。

拿你给出的示例代码来说：

package main

func main() {
    for i := 0; i < 3; i++ {
        var x int
        println(&x) // 输出相同地址
    }
}

变量x经过逃逸分析确定不会逃逸，进入SSA阶段后，编译器会识别到它的生命周期仅在单次循环内，因此为它分配固定栈地址，每次循环迭代都复用这个地址，所以println(&x)会输出相同的结果。

SSA是Go编译器中端优化的核心环节，除了栈变量复用，还会处理常量传播、死代码消除、循环展开等多种优化操作。

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