Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-25 Thread Patrick Palka
On Mon, Jul 25, 2016 at 6:00 AM, Richard Biener wrote: > On Mon, Jul 25, 2016 at 5:38 AM, Patrick Palka wrote: >> On Fri, 22 Jul 2016, Patrick Palka wrote: >> >>> On Fri, 22 Jul 2016, Patrick Palka wrote: >>> >>> > On Fri, 22 Jul 2016, Patrick

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-25 Thread Jeff Law
On 07/24/2016 11:56 AM, Andrew Pinski wrote: On Sun, Jul 24, 2016 at 9:49 AM, Patrick Palka wrote: On Sat, Jul 23, 2016 at 9:13 PM, kugan wrote: On 23/07/16 05:26, Patrick Palka wrote: This patch teaches VRP to register along a

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-25 Thread Richard Biener
On Mon, Jul 25, 2016 at 5:38 AM, Patrick Palka wrote: > On Fri, 22 Jul 2016, Patrick Palka wrote: > >> On Fri, 22 Jul 2016, Patrick Palka wrote: >> >> > On Fri, 22 Jul 2016, Patrick Palka wrote: >> > >> > > This patch teaches VRP to register along a default switch label >> >

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-24 Thread Patrick Palka
On Fri, 22 Jul 2016, Patrick Palka wrote: > On Fri, 22 Jul 2016, Patrick Palka wrote: > > > On Fri, 22 Jul 2016, Patrick Palka wrote: > > > > > This patch teaches VRP to register along a default switch label > > > assertions that corresponds to the anti range of each case label. > > > > > >

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-24 Thread Andrew Pinski
On Sun, Jul 24, 2016 at 9:49 AM, Patrick Palka wrote: > On Sat, Jul 23, 2016 at 9:13 PM, kugan > wrote: >> >> >> On 23/07/16 05:26, Patrick Palka wrote: >>> >>> This patch teaches VRP to register along a default switch label >>> assertions

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-24 Thread Patrick Palka
On Sat, Jul 23, 2016 at 9:13 PM, kugan wrote: > > > On 23/07/16 05:26, Patrick Palka wrote: >> >> This patch teaches VRP to register along a default switch label >> assertions that corresponds to the anti range of each case label. > > > Hi Patrick, > > In case

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-23 Thread kugan
On 23/07/16 05:26, Patrick Palka wrote: This patch teaches VRP to register along a default switch label assertions that corresponds to the anti range of each case label. Hi Patrick, In case of a larger switch statement with case values that cannot be combined, you could end up with very

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-22 Thread Patrick Palka
On Fri, 22 Jul 2016, Patrick Palka wrote: > On Fri, 22 Jul 2016, Patrick Palka wrote: > > > This patch teaches VRP to register along a default switch label > > assertions that corresponds to the anti range of each case label. > > > > Does this look OK to commit after bootstrap + regtest on > >

Re: [PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-22 Thread Patrick Palka
On Fri, 22 Jul 2016, Patrick Palka wrote: > This patch teaches VRP to register along a default switch label > assertions that corresponds to the anti range of each case label. > > Does this look OK to commit after bootstrap + regtest on > x86_64-pc-linux-gnu? Forgot the changelog:

[PATCH] Teach VRP to register assertions along default switch labels (PR 18046)

2016-07-22 Thread Patrick Palka
This patch teaches VRP to register along a default switch label assertions that corresponds to the anti range of each case label. Does this look OK to commit after bootstrap + regtest on x86_64-pc-linux-gnu? --- gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-6.c | 2 +-