/**
* Is one basic block (the slave) dominated by another (the master)?
*
* @param slave the potential dominatee
* @param master the potential dominator
* @return true or false
*/
static boolean isDominatedBy(OPT_BasicBlock slave, OPT_BasicBlock master) {
return ((OPT_DominatorInfo) slave.scratchObject).dominators.get(master.getNumber());
}
/**
* Is the basic block represented by this structure dominated by another basic block?
*
* @param bb the basic block in question
* @return true or false
*/
boolean isDominatedBy(OPT_BasicBlock bb) {
return dominators.get(bb.getNumber());
}