编译时将变量分配至寄存器 编译器如何确认运行时寄存器可用

编译器完全不需要在程序加载前“确认”运行时有没有可用寄存器，所有寄存器分配逻辑在编译阶段就已经全部确定，核心逻辑如下：

• 编译时目标CPU架构是固定的，寄存器的数量、使用规则都有明确的统一规范（也就是调用约定），比如你示例用的x86-64架构就有16个通用寄存器，编译器从一开始就明确知道有多少寄存器可用、不同寄存器的用途约束。
• 你给出的反汇编里mov esi, 5把i的值写入esi，完全是符合x86-64 System V调用约定的常规操作：该约定规定函数的第一个整型参数要放在edi寄存器，第二个整型参数要放在esi寄存器。这里printf的第一个参数是格式串地址，所以写入edi，第二个参数就是i的值，直接写到约定好的传参寄存器esi里即可，不存在占用额外通用寄存器的情况。
• 你示例里的变量i甚至已经被编译器优化成了立即数，连栈空间都没有分配，本质就是把常量5直接传给printf，完全没有“变量存储”的额外资源需求。
• 就算是需要在函数内部长期使用的局部变量，编译器也会在编译阶段完成调度：寄存器足够就直接分配，寄存器不够用就自动把不常用的变量值溢出到栈内存上，全程不需要加载阶段或者运行时做额外的资源判断。

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