path: root/riscv/insns/addw.h

require_xpr64;
WRITE_RD(sext32(RS1 + RS2));