哪个程序会在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; //                        |     |

产生这样的干涉图。