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