require_vector_vs;
require_rv64;
P_ONE_LOOP(32, {
  pd = ps1;
  if (ps1 == INT32_MIN) {
    pd = INT32_MAX;
    P_SET_OV(1);
  } else if (ps1 < 0) {
    pd = - ps1;
  }
})