require64;
RDI = RS1 << SHAMT;