compute
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.