final GPR r = addr.getRegister();
final GPR ofsr = ofs.getRegister();
if (os.isCode32()) {
final GPR lsb = val.getLsbRegister(ec);
final GPR msb = val.getMsbRegister(ec);
os.writeMOV(X86CompilerConstants.INTSIZE, r, ofsr, 1, X86CompilerConstants.LSB, lsb);
os.writeMOV(X86CompilerConstants.INTSIZE, r, ofsr, 1, X86CompilerConstants.MSB, msb);
} else {
final GPR64 valr = val.getRegister(ec);
os.writeMOV(BITS64, r, ofsr, 1, 0, valr);
}