On Sat, 27 Jun 2015, Marc Glisse wrote:
> On Fri, 26 Jun 2015, Richard Biener wrote:
>
> > + /* Equality compare simplifications from fold_binary */
> > + (for cmp (eq ne)
> > +
> > + /* If we have (A | C) == D where C & ~D != 0, convert this into 0.
> > + Similarly for NE_EXPR. */
> > +
On Fri, 26 Jun 2015, Richard Biener wrote:
+ /* Equality compare simplifications from fold_binary */
+ (for cmp (eq ne)
+
+ /* If we have (A | C) == D where C & ~D != 0, convert this into 0.
+ Similarly for NE_EXPR. */
+ (simplify
+ (cmp (convert?@3 (bit_ior @0 INTEGER_CST@1)) INTEGER_
This moves some equality comparison patterns from fold-const.c to
match.pd.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2015-06-26 Richard Biener
* fold-const.c (fold_binary_loc): Remove -A CMP -B -> A CMP B
and -A CMP CST -> A CMP -CST which is r