https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117760
--- Comment #4 from Matteo Nicoli <matteo.nicoli001 at gmail dot com> --- Created attachment 62253 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62253&action=edit Patch that implements 117760 Hi Andrew, I implemented all the optimizations you suggested plus one: (a == b) | ((a|b) != 0) => true I didn't check the type of the variables `a` and `b` because I assumed that the type checker had already determined that the two variables were suitable for bitwise operations.
