https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82192
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #6) > emit instead a left shift by -12 and right shift by 19 instead of left shift > by 31. Instead of right shift by 31 obviously.