https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94802
--- Comment #1 from Gabriel Ravier <gabravier at gmail dot com> --- Also, there are also patterns like `__builtin_clz(a - b) == 31`, which can be optimized to `(a - b) == 1`
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94802
--- Comment #1 from Gabriel Ravier <gabravier at gmail dot com> --- Also, there are also patterns like `__builtin_clz(a - b) == 31`, which can be optimized to `(a - b) == 1`