编译原理 教学课件 作者 康慕宁 林奕 讲稿_8.pptVIP

调整指令4和5的顺序，得到1、2、3、5、4的指令序列。该指令序列并不违反相关图对于计算结果的依赖关系（指令5并不依赖于指令4）。 在指令5中，将R2重新设置为R2=y，因此导致指令4得到的结果是R1=w*2*y，而不是R1=w*2*x。 消除反相关的思路 第一，在相关图中建立反相关的关系，保证在调度时避免引起上述问题。 第二，在进行调度前，对存在反相关的值重命名以消除反相关问题。然后再进行指令调度。 重命名虽然会引入新的变量或伪寄存器，但由于寄存器分配时可以将其消除，因此此方法被广泛采用。 指令调度的效率 采用模拟执行的方式和启发式算法，仍然可以构造一个可行的调度。 第一步，通过重命名来消除反相关。 第二步，构建相关图。 第三步，给每一操作指定优先级。 常用的优先度方案包括从一个叶子节点（不依赖于任何其他节点的节点）出发所找到的最长路径（路径的长度，由该路径上所有指令都执行完成时的周期数之和确定）。为了计算周期数之和，调度器需要模拟CPU对每条指令的执行方式，计算当前顺序时指令顺序或并发执行的时间代价。 调度器迭代执行上述步骤，直到得到最终顺序的指令序列 8.3.5 寄存器分配技术简介 CPU所具有的寄存器在数量上远比内存要小得多 寄存器优化也是一个NP问题，目前没有为所有程序找到最优分配策略的通用算法。 但仍可采用图着色等算法得到较好的寄存器分配方案。 寄存器分配和图着色问题