RTL frontend, insn recognition, and pointer equality

2016-10-19 Thread David Malcolm
I've updated the RTL frontend to the new "compact" dump format and have it "mostly working", for some definition of that term [1]. I'm focusing on the "__RTL" extension to cc1, rather than having a true "rtl1" frontend. I've run into an issue with insn recognition relating to pointer equality of

Re: [RFC][IPA-VRP] ADDR_EXPR and nonnull

2016-10-19 Thread kugan
On 20/10/16 01:26, Jan Hubicka wrote: Would excluding weak symbols (I believe I can check DECL_WEAK for this) good enough. Or looking for acceptable subset would work? I think we should add a symtab helper to tell if address_nonzero_p (if that doesn't aleady exist). We have node->nonzero_ad

PR53979: add transform (a ^ b) | a -> a | b

2016-10-19 Thread Prathamesh Kulkarni
Hi Richard, The attached patch adds the transform (a ^ b) | a -> a | b suggested in PR53979. Bootstrap+tested on x86_64-unknown-linux-gnu. OK to commit ? Thanks, Prathamesh 2016-10-20 Prathamesh Kulkarni PR tree-optimization/53979 * match.pd ((a ^ b) | a -> a | b): New pattern.

Re: [patch, avr, pr71676 and pr71678] Issues with casesi expand

2016-10-19 Thread Pitchumani Sivanupandi
On Wednesday 19 October 2016 07:51 PM, Georg-Johann Lay wrote: On 17.10.2016 09:27, Pitchumani Sivanupandi wrote: On Thursday 13 October 2016 08:42 PM, Georg-Johann Lay wrote: On 13.10.2016 13:44, Pitchumani Sivanupandi wrote: On Monday 26 September 2016 08:19 PM, Georg-Johann Lay wrote: On 2

Re: [PATCH] Simplify conditions in EVRP, handle taken edge

2016-10-19 Thread kugan
Hi, On 20/10/16 02:54, Andrew Pinski wrote: On Wed, Oct 19, 2016 at 1:01 AM, Christophe Lyon wrote: On 18 October 2016 at 09:34, Richard Biener wrote: On Mon, 17 Oct 2016, Richard Biener wrote: This refactors propagation vs. substitution and handles condition simplification properly as w

<    1   2