Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-04-30 Thread Kugan
On 30/04/15 21:35, Richard Biener wrote: > On Thu, Apr 23, 2015 at 12:11 AM, Kugan > wrote: >> >> On 19/01/15 22:28, Richard Biener wrote: >>> On Sat, 17 Jan 2015, Kugan wrote: >>> This patch propagate value range wrapps attribute and save this to SSA_NAME. >>> >>> diff --git a/gc

Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-04-30 Thread Richard Biener
On Thu, 30 Apr 2015, Jakub Jelinek wrote: > On Thu, Apr 30, 2015 at 01:35:25PM +0200, Richard Biener wrote: > > I've long pondered with replacing the VRP overflow checking code > > (for -fstrict-overflow) with keeping two lattices - one honoring undefined > > overflow and one not and then comparin

Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-04-30 Thread Jakub Jelinek
On Thu, Apr 30, 2015 at 01:35:25PM +0200, Richard Biener wrote: > I've long pondered with replacing the VRP overflow checking code > (for -fstrict-overflow) with keeping two lattices - one honoring undefined > overflow and one not and then comparing the results in the end. Yeah, that would be grea

Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-04-30 Thread Richard Biener
On Thu, Apr 23, 2015 at 12:11 AM, Kugan wrote: > > On 19/01/15 22:28, Richard Biener wrote: >> On Sat, 17 Jan 2015, Kugan wrote: >> >>> >>> This patch propagate value range wrapps attribute and save this to >>> SSA_NAME. >> >> diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c >> index 9b7695d..832c35d

Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-04-22 Thread Kugan
On 19/01/15 22:28, Richard Biener wrote: > On Sat, 17 Jan 2015, Kugan wrote: > >> >> This patch propagate value range wrapps attribute and save this to >> SSA_NAME. > > diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c > index 9b7695d..832c35d 100644 > --- a/gcc/tree-vrp.c > +++ b/gcc/tree-vrp.c > @@

Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-01-19 Thread Richard Biener
On Sat, 17 Jan 2015, Kugan wrote: > > This patch propagate value range wrapps attribute and save this to > SSA_NAME. diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 9b7695d..832c35d 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -103,6 +103,9 @@ struct value_range_d tree min; tree

[RFC][PATCH 2/3] Propagate and save value ranges wrapped information

2015-01-16 Thread Kugan
This patch propagate value range wrapps attribute and save this to SSA_NAME. Thanks, Kugan gcc/ChangeLog: 2015-01-16 Kugan Vivekanandarajah * builtins.c (determine_block_size): Use new definition of get_range_info. * gimple-pretty-print.c (dump_ssaname_info): Dump n