/// <summary cref="IPhiBindingAllocator.Process(CFG.Node, Phis)"/>
public void Process(CFG.Node node, Phis phis)
{
}
/// <summary>
/// Does not perform any operation.
/// </summary>
public void Process(BasicBlock block, Phis phis)
{
}
/// <summary>
/// Adds a Phi node with the specified destination local index and source local indices.
/// </summary>
/// <param name="destination">The local that will receive the merged value from the Phi.</param>
/// <param name="operands">The operand locals to the Phi.</param>
public void AddPhi(int destination, ImmutableList <int> operands)
{
Phis.Add(new Phi(destination, operands));
}