http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56470
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-03-05 09:14:46 UTC --- If the folder or GIMPLE passes see it is a shift by 32, they fold it away (with or without a warning), so the fact that it is a constant larger than bitsize of the shifted operand has to be seen only during RTL optimizations.