https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127013
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I don't think ccp nor ranger currently derives mask from __builtin_ctz* >= CST
assertions (but it should).
That said, whether +, or |, or ^ is most efficient if all the operations
produce the same result for a particular SSA_NAME and constant is heavily
target dependent.
E.g. x86 has lea instruction which often will be better than or or xor.