Re: [PATCH] Optimize more boolean functions

2018-08-28 Thread Jeff Law
On 08/28/2018 09:34 AM, MCC CS wrote: > Hi again, > > I guess I haven't been clear enough. I don't > have push access, is it possible for you to > push my patch to trunk? > > The same patch as: > https://gcc.gnu.org/ml/gcc-patches/2018-08/msg01688.html > but updated dates. > > 2018-08-28 MCC CS

Re: [PATCH] Optimize more boolean functions

2018-08-28 Thread MCC CS
Hi again, I guess I haven't been clear enough. I don't have push access, is it possible for you to push my patch to trunk? The same patch as: https://gcc.gnu.org/ml/gcc-patches/2018-08/msg01688.html but updated dates. 2018-08-28 MCC CS gcc/ PR tree-optimization/87009 *

Re: [PATCH] Optimize more boolean functions

2018-08-27 Thread MCC CS
Added :s to the second pattern, updated dates. Thank you so much for your reviews! 2018-08-27 MCC CS gcc/ PR tree-optimization/87009 * match.pd: Add boolean optimizations. 2018-08-27 MCC CS gcc/testsuite/ PR tree-optimization/87009 *

Re: [PATCH] Optimize more boolean functions

2018-08-27 Thread Richard Biener
On Mon, Aug 27, 2018 at 1:52 PM Marc Glisse wrote: > > On Mon, 27 Aug 2018, Richard Biener wrote: > > > On Tue, Aug 21, 2018 at 7:20 PM MCC CS wrote: > >> > >> Hello all, > >> > >> I have updated the testcase and run "make check" on Ubuntu x86_64. > >> All of them passed. (However the last part

Re: [PATCH] Optimize more boolean functions

2018-08-27 Thread Marc Glisse
On Mon, 27 Aug 2018, Richard Biener wrote: On Tue, Aug 21, 2018 at 7:20 PM MCC CS wrote: Hello all, I have updated the testcase and run "make check" on Ubuntu x86_64. All of them passed. (However the last part "do-check" couldn't be run, probably due to a missing testsuite dependency?) The

Re: [PATCH] Optimize more boolean functions

2018-08-27 Thread Richard Biener
On Tue, Aug 21, 2018 at 7:20 PM MCC CS wrote: > > Hello all, > > I have updated the testcase and run "make check" on Ubuntu x86_64. > All of them passed. (However the last part "do-check" couldn't be > run, probably due to a missing testsuite dependency?) > > The match.pd is the same as the

Re: [PATCH] Optimize more boolean functions

2018-08-27 Thread MCC CS
Hi all, One week ago I proposed a patch that catches ~(~x | y), (~x | y) & (x | ~y) and (~x | y) ^ (x | ~y) Although it was straightforward, it got only one review. Could you please review it? If you find it OK, I don't have push access. Is it possible for you to push it? Best regards. History:

Re: [PATCH] Optimize more boolean functions

2018-08-21 Thread MCC CS
Hello all, I have updated the testcase and run "make check" on Ubuntu x86_64. All of them passed. (However the last part "do-check" couldn't be run, probably due to a missing testsuite dependency?) The match.pd is the same as the original patch, and I have updated change-summaries and improved

Re: [PATCH] Optimize more boolean functions

2018-08-20 Thread Marc Glisse
On Mon, 20 Aug 2018, MCC CS wrote: this patch optimizes ~(~x | y), (~x | y) & (x | ~y) and (~x | y) ^ (x | ~y). Thank you. I didn't mean to force you to add the extra transformations to your patch, but now that they are here, that's good :-) gcc/ PR tree-optimization/87009 * match.pd:

[PATCH] Optimize more boolean functions

2018-08-20 Thread MCC CS
Hi everyone, this patch optimizes ~(~x | y), (~x | y) & (x | ~y) and (~x | y) ^ (x | ~y). Thanks to Marc Glisse for noticing that the last two weren't optimized.   I'll post the test results soon, it took three hours in addition to timeouts and I had to terminate it.   Waiting for your comments.