https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95527
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
For popcount and clz we already have patterns for comparison of the result with
integers.
For ctz not sure what useful simplifications we can do, perhaps just
ctz(x) == bitsize-1 (and !=) to x == 1 << (bitsize-1) (or !=)?
Ah, maybe also inequalifies, ctz(x) >= 3 to (x & ((1 << 3) - 1)) == 0 ?
