[Bug tree-optimization/94956] Unable to remove impossible ffs() test for zero

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94956

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Another option would be to fold FFS (x) for x known non-zero into CTZ (x) + 1
in match.pd.