1 2 3 4 5 6
require_rv64; P_CROSS_ULOOP(32, { pd = ((uint64_t)ps1 + ps2) >> 1; }, { pd = ((uint64_t)ps1 - ps2) >> 1; })