public static void ReleaseSetOfObjects(ref SetOfObjects setOfObjects)
{
if (setOfObjects != null)
{
setOfObjects.Clear();
GetContainers().m_setOfObjects = setOfObjects;
setOfObjects = null;
}
}
/// <summary>
///
/// </summary>
/// <returns></returns>
private void Eliminate()
{
var blocksAlreadyVisited = new SetOfObjects();
foreach (var block in this.cdfg.RootBlocks)
{
Contract.Assume(block != null);
blocksAlreadyVisited.Clear();
this.Eliminate(block, blocksAlreadyVisited);
}
}
private void AddTransferInstructions()
{
var definedSSAVariables = new SetOfObjects();
var blocksAlreadyVisited = new SetOfObjects();
foreach (var block in this.cdfg.RootBlocks)
{
Contract.Assume(block != null);
definedSSAVariables.Clear();
blocksAlreadyVisited.Clear();
this.AddTransferInstructions(block, definedSSAVariables, blocksAlreadyVisited);
}
}
public static SetOfObjects AcquireSetOfObjects(uint capacity)
{
SetOfObjects result = Acquire(ref GetContainers().m_setOfObjects);
if (result != null)
{
result.Clear();
}
else
{
result = new SetOfObjects(capacity);
}
return(result);
}
