private static byte refLoad(OPT_Instruction s) {
private static DefUseEffect refLoad(OPT_Instruction s) {
  private static byte refLoad(OPT_Instruction s) {    if (CF_TIB) {      OPT_Operand base = Load.getAddress(s);      if(base.isTIBConstant()) {        OPT_TIBConstantOperand tib = base.asTIBConstant();        OPT_Operand offset = Load.getOffset(s);        if(tib.value.isInstantiated() && offset.isConstant()) {          // Reading from a fixed offset from an effectively          // constant array          int intOffset;          if (offset.isIntConstant()) {            intOffset = offset.asIntConstant().value;          }          else {            intOffset = offset.asAddressConstant().value.toInt();          }          int intSlot = intOffset >> LOG_BYTES_IN_ADDRESS;          // Create appropriate constant operand for TIB slot          OPT_ConstantOperand result;          Object tibArray[] = tib.value.getTypeInformationBlock();          if(tib.value.isTIBSlotTIB(intSlot)) {            VM_Type typeOfTIB = (VM_Type)(((Object[])tibArray[intSlot])[VM_TIBLayoutConstants.TIB_TYPE_INDEX]);            result = new OPT_TIBConstantOperand(typeOfTIB);          } else if (tib.value.isTIBSlotCode(intSlot)) {            // Only generate code constants when we want to make            // some virtual calls go via the JTOC            if (OPT_ConvertToLowLevelIR.CALL_VIA_JTOC) {              VM_Method method = tib.value.getTIBMethodAtSlot(intSlot);              result = new OPT_CodeConstantOperand(method);            } else {              return UNCHANGED;            }          } else {            if (tibArray[intSlot] == null) {              result = new OPT_NullConstantOperand();            } else {              result = new OPT_ObjectConstantOperand(tibArray[intSlot],                                                     Offset.zero());            }          }          Move.mutate(s, REF_MOVE,                      Load.getClearResult(s),                      result);          return MOVE_REDUCED;        }      }    }    return UNCHANGED;  }