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`