Hi! On Wed, Jan 03, 2018 at 01:57:38PM +0000, Sudakshina Das wrote: > This patch add support for the missing transformation of (x | y) == x -> > (y & ~x) == 0.
> Testing done: Checked for regressions on bootstrapped > aarch64-none-linux-gnu and arm-none-linux-gnueabihf and added new test > cases. > Is this ok for trunk? You forgot to include the patch :-) Segher