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