https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100046
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Component|rtl-optimization |middle-end --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- We miss the equality on GIMPLE which means there would be a missing canonicalization rule of (x | z) ^ (y | z) to (x ^ y) & ~z - without trying hard to think about its validity ;)