if (VM.VerifyAssertions) VM.assert(!ci.intersects(physInterval));
if (VM.VerifyAssertions) VM._assert(!ci.intersects(physInterval));
    private void updatePhysicalInterval(OPT_Register p, BasicInterval i) {       // Get a representation of the intervals already assigned to p.      CompoundInterval physInterval = getInterval(p);      if (physInterval == null) {        // no interval yet.  create one.        setInterval(p,new CompoundInterval(i,p));      } else {        // incorporate i into the set of intervals assigned to p        CompoundInterval ci = new CompoundInterval(i,p);        if (VM.VerifyAssertions) VM.assert(!ci.intersects(physInterval));        physInterval.addAll(ci);      }    }