1 2 3 4
require_extension('P'); sreg_t res = (sreg_t)P_W(RS1, 0) - (sreg_t)P_W(RS2, 0); P_SATU(res, 16); WRITE_RD(sext_xlen((int16_t)res));