[llvm-commits] [llvm] r139263 - /llvm/trunk/lib/Target/README.txt

[Duncan Sands]

Hi Benjamin,

>   //===---------------------------------------------------------------------===//
> +
> +unsigned foo(unsigned x, unsigned y) { return (x&  y) == 0 || x == 0; }
> +should fold to (x&  y) == 0.
> +
> +//===---------------------------------------------------------------------===//
> +
> +unsigned foo(unsigned x, unsigned y) { return x>  y&&  x != 0; }
> +should fold to x>  y.
> +
> +//===---------------------------------------------------------------------===//

according to my bitcode harvester these kinds of things are the most common
simplifications that could be handled by instsimplify but aren't.  I have a
plan, but no time :(

Ciao, Duncan.