https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127626
--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> --- Note the ABI for some targets, the upper bits of the register might be undefined. So the assembly versions might need to mask off the upper bits in some cases. It might be a misunderstand there too.
