if (OPT_IR.SANITY_CHECK) VM.assert(bb1.next == bb2); if (OPT_IR.SANITY_CHECK) VM.assert(bb2.prev == bb1);
if (OPT_IR.SANITY_CHECK) VM._assert(bb1.next == bb2); if (OPT_IR.SANITY_CHECK) VM._assert(bb2.prev == bb1);
  void breakCodeOrder(OPT_BasicBlock bb1, OPT_BasicBlock bb2) {    if (OPT_IR.SANITY_CHECK) VM.assert(bb1.next == bb2);    if (OPT_IR.SANITY_CHECK) VM.assert(bb2.prev == bb1);    bb1.next = null;    bb2.prev = null;  }