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); }