Member predicate SsaPhiNode::hasInputFromBlock
Holds if inp is an input to the phi node along the edge originating in bb.
predicate hasInputFromBlock(SsaVariable inp, BasicBlock bb)Holds if inp is an input to the phi node along the edge originating in bb.
predicate hasInputFromBlock(SsaVariable inp, BasicBlock bb)