https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68211
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- If the upper bits of the register can contain arbitrary garbage, then keeping it there might result in e.g. floating point exceptions being raised (it could be even a sNAN). Of course a different thing is if we can prove what is in those upper bits and be sure it doesn't do any harm, or if the operations on it later on are masked.