1 2 3 4 5
require_vector_vs; require_extension(EXT_ZPN); sreg_t res = (sreg_t)P_SW(RS1, 0) + (sreg_t)P_SW(RS2, 0); P_SAT(res, 32); WRITE_RD(sext32(res));