https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94567
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Wonder if the simplest thing is to turn the zero_extract into a zero_extend so we can maintain the and in SImode. And whether combine will ever generate a zero_extract that extracts the SImode MSB.