if (VM.VerifyAssertions) VM.assert(IfCmp.conforms(cb));
if (VM.VerifyAssertions) VM._assert(IfCmp.conforms(cb));
  private static OPT_Diamond threeElementDiamond(OPT_BasicBlock top,                                                OPT_BasicBlock side,                                                OPT_BasicBlock bottom) {        OPT_Instruction cb = top.firstBranchInstruction();    // for now we only support IfCmp diamonds.    if (VM.VerifyAssertions) VM.assert(IfCmp.conforms(cb));    OPT_BranchOperand takenTarget = IfCmp.getTarget(cb);    if (Label.getBlock(takenTarget.target).block == side) {      return new OPT_Diamond(top,side,null,bottom);    } else {      return new OPT_Diamond(top,null,side,bottom);    }  }