emitLIntToc(dest_reg, TOCoffset.toInt());
if (VM.BuildFor64Addr) emitLWAoffset(dest_reg, JTOC, TOCoffset); else emitLWZoffset(dest_reg, JTOC, TOCoffset);
  public final void emitLIntToc(int dest_reg, Offset TOCoffset){               emitLIntToc(dest_reg, TOCoffset.toInt());              }