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