path: root/riscv/insns/remuw.h

RDR = sext32(uint32_t(RS1) % uint32_t(RS2));