https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target| |aarch64 Status|UNCONFIRMED |NEW Last reconfirmed| |2017-10-06 Summary|[AArch64] Missing (x | y) |Missing (x | y) == x |== x simplifications |simplifications Ever confirmed|0 |1 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- "(x | y) == x" is simpler than "(y & ~x) == 0" on the tree level. 2 gimple vs 3. So converting it on the gimple level is not going to happen.