return count; }
  public final int countNumSpillElements() {    // Since spill locations are not determined until after    // register allocation occurs, i.e., after the initial    // IR-based maps are created, we actually count the    // number of spills.    int count = 0;    OPT_GCIRMapEnumerator enum = enumerator();    while (enum.hasMoreElements()) {      OPT_GCIRMapElement elem = (OPT_GCIRMapElement)enum.nextElement();      count += elem.countNumSpillElements();    }