chickadee » graph-ssa » graph-ssa-find-joins

graph-ssa-find-joins:procedure

Given a list of SSA nodes, returns the list of nodes N for which there are (at least) two paths ... N_0 M_0 ... M_i N and ... N_1 P_0 ... P_j N such that N_0 and N_1 are distinct members of NODES and the M's and P's are disjoint sets.