1 2 3 4 5 6 7
require_vector_vs; require_rv64; P_LOOP(32, { bool sat = false; pd = (sat_sub<int32_t, uint32_t>(ps1, ps2, sat)); P_SET_OV(sat); })