P_64_PROFILE_REDUCTION(32, {
  rd += ps1 * ps2;
})