if(IfCmp.conforms(cb) && IfCmp.hasGuardResult(cb)) { cb.insertBefore(Move.create(GUARD_MOVE, IfCmp.getGuardResult(cb), IfCmp.getGuardResult(di).copy())); }
    private void removeCondBranch(OPT_BasicBlock source,                                  OPT_Instruction cb,                                  OPT_IR ir) {      if (DEBUG) VM.sysWrite("Eliminating definitely not-taken branch "+cb+"\n");      OPT_BasicBlock deadBB = cb.getBranchTarget();      cb.remove();      source.recomputeNormalOut(ir);      if (!source.pointsOut(deadBB)) {        // there is no longer an edge from source to target;        // update any PHIs in target to reflect this.        OPT_SSA.purgeBlockFromPHIs(source, deadBB);      }    }