public void replaceSymbolicRegisters(OPT_IR ir) {
static public void replaceSymbolicRegisters(OPT_IR ir) {
    public void replaceSymbolicRegisters(OPT_IR ir) {      for (OPT_InstructionEnumeration inst = ir.forwardInstrEnumerator();            inst.hasMoreElements();) {        OPT_Instruction s = inst.next();        for (OPT_OperandEnumeration ops = s.getOperands();              ops.hasMoreElements(); ) {          OPT_Operand op = ops.next();          if (op.isRegister()) {            OPT_RegisterOperand rop = op.asRegister();            OPT_Register r = rop.register;            if (r.isSymbolic() && !r.isSpilled()) {              OPT_Register p = OPT_RegisterAllocatorState.getMapping(r);              if (VM.VerifyAssertions) VM.assert(p!=null);              rop.register = p;            }          }        }      }    } 