require_rv64; P_ULOOP(32, { pd = (ps1 > ps2) ? ps1 : ps2; })