Re: Remove match.pd pattern dups in favor of using :c

2016-06-10 Thread Richard Biener
On Fri, 10 Jun 2016, Alexander Monakov wrote: > On Wed, 1 Jun 2016, Richard Biener wrote: > > > On Wed, 1 Jun 2016, Richard Biener wrote: > > > > 2016-06-01 Richard Biener > > > > > > > > * match.pd ((A & B) - (A & ~B) -> B - (A ^ B)): Add missing :c. > > > > (relational patter

Re: Remove match.pd pattern dups in favor of using :c

2016-06-10 Thread Alexander Monakov
On Wed, 1 Jun 2016, Richard Biener wrote: > > On Wed, 1 Jun 2016, Richard Biener wrote: > > > 2016-06-01 Richard Biener > > > > > > * match.pd ((A & B) - (A & ~B) -> B - (A ^ B)): Add missing :c. > > > (relational patterns): Use :c to avoid pattern duplications. > > > > Should the same tre

Re: Remove match.pd pattern dups in favor of using :c

2016-06-01 Thread Richard Biener
On Wed, 1 Jun 2016, Alexander Monakov wrote: > Hi, > > On Wed, 1 Jun 2016, Richard Biener wrote: > > 2016-06-01 Richard Biener > > > > * match.pd ((A & B) - (A & ~B) -> B - (A ^ B)): Add missing :c. > > (relational patterns): Use :c to avoid pattern duplications. > > Should the same

Re: Remove match.pd pattern dups in favor of using :c

2016-06-01 Thread Alexander Monakov
Hi, On Wed, 1 Jun 2016, Richard Biener wrote: > 2016-06-01 Richard Biener > > * match.pd ((A & B) - (A & ~B) -> B - (A ^ B)): Add missing :c. > (relational patterns): Use :c to avoid pattern duplications. Should the same treatment be applied to recently added IFN_MUL_OVERFLOW patt

Remove match.pd pattern dups in favor of using :c

2016-06-01 Thread Richard Biener
The following uses the now available possibility to use :c on relational compares. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2016-06-01 Richard Biener * match.pd ((A & B) - (A & ~B) -> B - (A ^ B)): Add missing :c. (relational patterns): Use :c t