Compiler construction 什么程序会有BRIGGS94中提到的菱形干涉图？

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

我只是想知道什么样的程序会有钻石干涉图？也就是说，对于四个活动范围w，x，y，z:w干扰x，x干扰z，z干扰y，y干扰w。没有其他干扰了

因为w和z都会干扰x和y，所以在时间轴上，活动范围x和y之间必须有一个孔。w和z都会穿过这个洞，导致w和z相互干扰，矛盾

（这是该报的链接：）

一个循环状

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

---

生成这样的干涉图。

构造得不错。我错过了循环的场景。