/** * End an interval of scratch-ness for a physical register. * * @param r the physical register being used as a scratch * @param end the instruction before which the physical register is vacated. */ public void endScratchInterval(Register r, Instruction end) { if (DEBUG) { System.out.println("endScratchInterval " + r + " " + end.scratch); } PhysicalInterval p = (PhysicalInterval) pending.get(r); p.end = end; pending.remove(r); }