1 2 3 4 5 6
require_vector_vs; P_64_UPROFILE({ bool sat = false; rd = (sat_subu<uint64_t>(rs1, rs2, sat)); P_SET_OV(sat); })