public static IEnumerable <IEnumerable <ExprVar> > V(ICode c)
{
var v = new VisitorPhiClusters();
v.Visit(c);
var ret = UniqueClusters(v.clusters);
return(ret);
}
public static ICode V(ICode ast)
{
var phiClusters = VisitorPhiClusters.V(ast);
var v = new VisitorDefiniteAssignment {
phiComparer = new VisitorPhiClusters.EqualityComparer(phiClusters),
};
v.stack.Push(new List <ExprVar>());
return(v.Visit(ast));
}
private VisitorIfSimplification(ICode c)
{
this.phiClusters = VisitorPhiClusters.V(c);
}