Predicate signature InputSig::ssaControls
Holds if def evaluating to v controls the basic block bb.
That is, execution of bb implies that def evaluated to v.
signature predicate ssaControls(SsaDefinition def, BasicBlock bb, GuardValue v)Holds if def evaluating to v controls the basic block bb.
That is, execution of bb implies that def evaluated to v.
signature predicate ssaControls(SsaDefinition def, BasicBlock bb, GuardValue v)