public Coalescer(Procedure proc, SsaState ssa)
{
this.proc = proc;
this.ssa = ssa;
this.sef = new SideEffectFinder();
this.defsByStatement = new Dictionary<Statement, List<SsaIdentifier>>();
foreach (SsaIdentifier sid in ssa.Identifiers)
{
if (sid.DefStatement != null)
SetDefStatement(sid.DefStatement, sid);
}
}
public void Setup()
{
sef = new SideEffectFinder();
}