[riscv-isa-sim.git] / riscv / insns / mulw.h

require_xpr64;
RD = sext32(RS1 * RS2);