https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118410
--- Comment #1 from Jeffrey A. Law <law at gcc dot gnu.org> --- Piotr has also pointed out additional cases in this space. For example x & -72057594037927681 x | -9223372036854773761 x ^ -1152921504606846721 There's also vector opportunities in this space (https://github.com/llvm/llvm-project/pull/123345)