什么程序将有BRIGGS94中提到的钻石干涉图？

Question

我正在阅读Briggs94图形着色寄存器分配的改进。

我只是想知道什么样的程序会有钻石干涉图？这是针对四个有效范围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）

Answer 1

像

这样的循环

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; //                        |     |

生成这样的干扰图。