require_extension('P');
require_rv32;
WRITE_P_RD_PAIR((uint64_t)(uint32_t)RS1 << insn.shamtd());