path: root/riscv/insns/kmaxda32.h

require_rv64;
require_extension('P');

bool sat;
sreg_t mres0 = (sreg_t)P_SW(RS1, 0) * P_SW(RS2, 1);
sreg_t mres1 = (sreg_t)P_SW(RS1, 1) * P_SW(RS2, 0);

WRITE_RD((sat_add<sreg_t, reg_t>(RD, mres0, mres1, sat)));
P_SET_OV(sat);