Predicate bbIDominates
The immediate dominance relation for basic blocks.
Import path
import javapredicate bbIDominates(BasicBlock dom, BasicBlock node)The immediate dominance relation for basic blocks.
import javapredicate bbIDominates(BasicBlock dom, BasicBlock node)