1

我正在阅读 Briggs94 Improvements to Graph Coloring Register Allocation。

我只是想知道什么样的程序会有菱形干涉图？即对于四个生命范围 w、x、y、z：w 干扰 x，x 干扰 z，z 干扰 y，y 干扰 w。并且没有更多的其他干扰。

由于 w 和 z 都会干扰 x 和 y，因此在时间轴上，在有效范围 x 和 y 之间必须有一个洞。并且 w 和 z 都会穿过这个洞，导致 w 干扰 z，矛盾。

（这里是论文的链接：http ://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.23.253&rep=rep1&type=pdf ）

4

1 回答 1

0

像一个循环

loop:        // live range w     x     y     z  
  x:=y+z;    //                start  end    |
  w:=z+x;    //          start   |          end 
  y:=x+w;    //            |    end  start  
  z:=w+y;    //           end          |   start
  goto loop; //                        |     |

生成这样的干扰图。

于 2013-08-03T20:09:34.083 回答