如何解决程序寄存器溢出？CLANG热循环regalloc阶段技术咨询

通用编程优化技巧 #

• 减少热循环内的活跃变量：把循环里非必需的变量（比如调试用临时变量、可移到循环外计算的变量）挪到循环外；功能重复的变量直接合并，降低寄存器竞争压力。
• 拆分复杂循环：如果一个热循环同时处理多块独立计算逻辑，拆成多个小循环。每个小循环的活跃变量更少，寄存器能容纳更多关键计算变量。
• 手动复用变量：对生命周期不重叠的临时变量，直接复用同一个变量名，给编译器明确的复用信号，减少需分配的寄存器总数。
• 选用合适的数据类型：在精度和范围满足需求的前提下，优先用更小的数据类型——比如用int代替long long，用float代替double。更小的类型占用寄存器空间更少，甚至能把多个小类型打包进一个寄存器。
• 简化循环内表达式：把复杂嵌套表达式拆成少量临时变量，或者用寄存器友好的运算替代（比如符合逻辑时用位运算代替乘除法），减少中间变量数量。

引导编译器优先溢出特定变量 #

• 用Clang注解标记非关键变量：给希望优先溢出的变量加上__attribute__((annotate("no_register")))属性，明确告诉编译器尽量不给它分配寄存器。示例：

  int less_critical_var __attribute__((annotate("no_register")));
  

• 通过代码结构暗示生命周期：把非关键变量的使用放在循环的低频率分支里，或者让它的生命周期尽量短。编译器会自动识别这类变量优先级更低，优先选择溢出它们。
• 用register关键字提示关键变量：虽然C++17后register被标记为废弃，但Clang仍会把它当作优先分配寄存器的提示。给热循环里的核心计算变量加上register，能间接让非关键变量被优先溢出。
• 调整Clang寄存器分配策略：通过编译选项-mllvm -regalloc=greedy或-mllvm -regalloc=pbqp切换不同的寄存器分配器，不同分配器的溢出策略有差异。另外，-mllvm -enable-regalloc-spill-cost可以调整溢出成本计算逻辑，你可通过修改相关参数（需参考LLVM官方文档）让编译器倾向于溢出特定变量。

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