如何使用SSA形式处理数据流分析中的别名寄存器？ （例如 x86 中的 EAX/AX/AH/AL）

Question

例如：

在 SSA form 中表示以下 x86：

xor  eax, eax
inc  ax

如何 引入一些伪函数，我想出：

eax@1 = eax@0 ^ eax@0
ax@1 = LOWORD(eax@1)
al@1 = LOBYTE(ax@1)
ah@1 = HIBYTE(ax@1)
hax@1 = HIWORD(eax@1)

ax@2 = ax@1 + 1
eax@2 = MAKEDWORD(ax@2, HIWORD(eax@1))
al@2 = LOBYTE(ax@2)
ah@2 = HIBYTE(ax@2)

但我认为它太冗长了

Answer 1

使用您的符号：

1. eax@0 = ... 无论这里之前是什么 ...
2. eax@1 = 0
3. ax@2 = ax@1 + 1

之间有一个隐式步骤

1. 因为 eax 包含 ax，所以在 2 和 3 eax@0 = ...
2. eax@1 = 0
3. ax@1 = 0 （因为如果 eax 为零，则 ax 不能为非零）
4. ax@2 = ax@1 + 1

步骤 2 因为任何数字与其自身异或都是 0.. eax@0 此时已死，因此 eax@1 可以重命名（使用 ebx 进行重命名，使其可读；显然您将使用虚拟寄存器，而不是真实的寄存器）：

1. --- 已删除，eax 不再相关
2. ebx@0 = 0
3. bx@0 = 0
4. bx@1 = bx@0 + 1

然后您可以注意到，因为步骤 3 是一个常量函数，所以步骤 4（将常量添加到常量）也是如此，并将两者压缩在一起（即常量折叠）

1. -- 已删除，eax 不再相关
2. ebx@0 = 0
3. bx@0 = 1

如果 ebx 的高 16 位不支配下面的任何内容，您也可以删除步骤 2。