Lines Matching full:reachable
33 // The goal here is to find all of the non-phi values reachable from this phi,
34 // and to do the same for all of the phis reachable from this phi, as doing so
38 // * All phis in a strongly connected component will have the same reachable
40 // reachable values, but finding out that isn't really necessary (it would
43 // never completes a component before the components reachable from it have
45 // everything we need to collect the values reachable from that component.
46 // * We collect both the non-phi values reachable from each SCC, as that's what
47 // we're ultimately interested in, and all of the reachable values, i.e.
83 // Collect the reachable values for this component. The phis of this in processPhi()
86 ConstValueSet &Reachable = ReachableMap[RootDepthNumber]; in processPhi() local
89 Reachable.insert(ComponentPhi); in processPhi()
95 // can just add its reachable values to the reachable values of this in processPhi()
101 Reachable.insert(It->second.begin(), It->second.end()); in processPhi()
104 Reachable.insert(Op); in processPhi()
117 // Filter out phis to get the non-phi reachable values. in processPhi()
119 for (const Value *V : Reachable) in processPhi()