https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61249
--- Comment #8 from Michael Tautschnig <mt at debian dot org> --- I've just updated the patch to include a similar amendment for the __builtin_ia32_mpsadbw256 function. I'll do as suggested and will post to gcc-patches. Best, Michael