Member predicate MakeUtils::SsaReadPositionPhiInputEdge::phiInput
Holds if inp is an input to phi along this edge.
predicate phiInput(SsaPhiNode phi, SsaVariable inp)Holds if inp is an input to phi along this edge.
predicate phiInput(SsaPhiNode phi, SsaVariable inp)