Holds if this guard evaluating to branch directly or indirectly controls
the block controlled. That is, the evaluation of controlled is
dominated by this guard evaluating to branch.
predicate controls(BasicBlock controlled, boolean branch)Holds if this guard evaluating to branch directly or indirectly controls
the block controlled. That is, the evaluation of controlled is
dominated by this guard evaluating to branch.
predicate controls(BasicBlock controlled, boolean branch)