https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105990
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #4) > `(2 >> _2) == 2` could be optimized to just `_2 == 0`. > And then `_4` becomes `1` and then the conditional is optimized away and > such. Filed that as PR 112090 . Leaving this open for the IPA issue with recording the store values possible.