[Bug middle-end/64309] if (1 & (1 << n)) not simplified to if (n == 0)

[glisse at gcc dot gnu.org]

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

--- Comment #12 from Marc Glisse <glisse at gcc dot gnu.org> ---
(In reply to Marc Glisse from comment #11)
> ((pow2<<p)&(pow2<<n))!=0 -> p==n

Oups, it wasn't supposed to be the same power of 2, so:
(((1<<k)<<p)&((1<<l)<<n))!=0 -> p==n+(l-k)
(k and l are constants)