Re: [PATCH][match-and-simplify] Finish simplify_bitwise_binary patterns

2014-09-12 Thread Richard Biener
On Fri, 12 Sep 2014, Marc Glisse wrote: > On Fri, 12 Sep 2014, Richard Biener wrote: > > > +/* x ^ ~0 -> ~x */ > > (simplify > > (bit_and @0 integer_all_onesp) > > @0) > > The comment doesn't seem to match. Thanks - fixed below which also implements simplify_mult and simplify_not_neg_expr.

Re: [PATCH][match-and-simplify] Finish simplify_bitwise_binary patterns

2014-09-12 Thread Marc Glisse
On Fri, 12 Sep 2014, Richard Biener wrote: +/* x ^ ~0 -> ~x */ (simplify (bit_and @0 integer_all_onesp) @0) The comment doesn't seem to match. -- Marc Glisse

[PATCH][match-and-simplify] Finish simplify_bitwise_binary patterns

2014-09-12 Thread Richard Biener
And some more. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2014-09-12 Richard Biener * match-bitwise.pd: Complete tree-ssa-forwprop.c patterns from simplify_bitwise_binary. Implement some from fold_binary. * match-constant-folding.pd: Add