compute Interference Graph
Determine which pairs of registers have to be simultaneously live and potentially holding distinct values.
Determine which pairs of registers have to be simultaneously live and potentially holding distinct values.