28、静态单赋值形式与寄存器约束下的线性扫描寄存器分配

静态单赋值形式与寄存器约束下的线性扫描寄存器分配

1. 指令编号

在为 φ 操作数插入移动指令后，需要对指令进行连续编号。为实现这一目的，我们按拓扑顺序遍历所有基本块，确保只有在访问了所有具有指向块 b 的前向分支的前驱块之后，才访问块 b。以下是一些有效的访问序列示例：
| 序列 1 | 序列 2 | 序列 3 | 序列 4 |
| ---- | ---- | ---- | ---- |
| 1 | 1 | 1 | 1 |
| 2 | 2 | 2 | 2 |
| 3 | 3 | 3 | 3 |
| 4 | 4 | 4 | 4 |

2. 计算活跃区间

在静态单赋值（SSA）形式中，每个变量只有一个赋值操作，该赋值操作标志着变量生命周期的开始。变量在从其定义到最后一次使用的所有路径上都是活跃的。对于每个块 b 和每个变量 v，我们计算一个范围 $r_{v,b}$，表示 v 在 b 中的活跃范围。

2.1 活跃范围计算规则

• 如果 v 在块 b 的末尾是活跃的，那么它要么是在块 b 中定义的，要么是在某个前驱块 p 中定义的。
  • 如果 v 是在 p 中定义的，那么 $r_{v,b}$ 从 b.first 开始，到 b.last 之后结束。
  • 如果 v 是在 b 中定义的，那么 $r_{v,b}$ 从指令 v 开始，到 b.last 之后结束。
• 如果 v 在块 b 的末尾不活跃，但在 b 中被使用，那么 $r_{v,b}$ 按上述规则开始，并在 b 中 v 的最