https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90768
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- We miss a s < 16 && s & 8 simplification pattern in the code ifcombine uses to do this (which should be removed / moved to match.pd and use its machinery which I stated elsewhere).