Re: ipa vrp implementation in gcc

2016-03-19 Thread kugan
On 18/01/16 20:42, Richard Biener wrote: I have (very incomplete) prototype patches to do a dominator-based approach instead (what is refered to downthread as non-iterating approach). That's cheaper and is what I'd like to provide as an "utility style" interface to things liker niter analysis whi

Re: ipa vrp implementation in gcc

2016-02-15 Thread Richard Biener
On Wed, Feb 10, 2016 at 11:00 AM, Bin.Cheng wrote: > On Mon, Jan 18, 2016 at 5:10 PM, Jan Hubicka wrote: >>> On Mon, Jan 18, 2016 at 12:00 AM, Kugan >>> wrote: >>> > Hi, >>> > >>> >> Another potential use of value ranges is the profile estimation. >>> >> http://www.lighterra.com/papers/valuerang

Re: ipa vrp implementation in gcc

2016-02-10 Thread Bin.Cheng
On Mon, Jan 18, 2016 at 5:10 PM, Jan Hubicka wrote: >> On Mon, Jan 18, 2016 at 12:00 AM, Kugan >> wrote: >> > Hi, >> > >> >> Another potential use of value ranges is the profile estimation. >> >> http://www.lighterra.com/papers/valuerangeprop/Patterson1995-ValueRangeProp.pdf >> >> It seems to me

Re: ipa vrp implementation in gcc

2016-02-09 Thread kugan
On 19/01/16 04:10, Jan Hubicka wrote: In general, given that we have existing VRP implementation I would suggest first implementing the IPA propagation and profile estimation bits using existing VRP pass and then try to compare the simple dominator based approach with the VRP we have and see wh

Re: ipa vrp implementation in gcc

2016-01-18 Thread Jan Hubicka
> On Mon, Jan 18, 2016 at 12:00 AM, Kugan > wrote: > > Hi, > > > >> Another potential use of value ranges is the profile estimation. > >> http://www.lighterra.com/papers/valuerangeprop/Patterson1995-ValueRangeProp.pdf > >> It seems to me that we may want to have something that can feed sane loop >

Re: ipa vrp implementation in gcc

2016-01-18 Thread Richard Biener
On Mon, Jan 18, 2016 at 12:00 AM, Kugan wrote: > Hi, > >> Another potential use of value ranges is the profile estimation. >> http://www.lighterra.com/papers/valuerangeprop/Patterson1995-ValueRangeProp.pdf >> It seems to me that we may want to have something that can feed sane loop >> bounds for p

Re: ipa vrp implementation in gcc

2016-01-17 Thread vivek pandya
Vivek Pandya On Mon, Jan 18, 2016 at 11:35 AM, vivek pandya wrote: > Vivek Pandya > > > On Mon, Jan 18, 2016 at 4:16 AM, Kugan > wrote: >> >> >> > Hello I am Vivek Pandya, I am actually working on a GSoC 2016 proposal >> > for his work and it is very similar to extending ipa-cp pass. I am also

Re: ipa vrp implementation in gcc

2016-01-17 Thread vivek pandya
Vivek Pandya On Mon, Jan 18, 2016 at 4:16 AM, Kugan wrote: > > > > Hello I am Vivek Pandya, I am actually working on a GSoC 2016 proposal > > for his work and it is very similar to extending ipa-cp pass. I am also > > in touch with Jan Hubicka. > > Hi Vivek, > > Glad to know that you are plannin

Re: ipa vrp implementation in gcc

2016-01-17 Thread Kugan
Hi, > Another potential use of value ranges is the profile estimation. > http://www.lighterra.com/papers/valuerangeprop/Patterson1995-ValueRangeProp.pdf > It seems to me that we may want to have something that can feed sane loop > bounds for profile estimation as well and we can easily store the

Re: ipa vrp implementation in gcc

2016-01-17 Thread Kugan
> Hello I am Vivek Pandya, I am actually working on a GSoC 2016 proposal > for his work and it is very similar to extending ipa-cp pass. I am also > in touch with Jan Hubicka. Hi Vivek, Glad to know that you are planning to work on this. Could you please put you plan in an accessible place (or p

Re: ipa vrp implementation in gcc

2016-01-11 Thread Jan Hubicka
> On Mon, Jan 11, 2016 at 1:38 AM, Kugan > wrote: > > Hi All, > > > > I am looking at implementing a ipa vrp pass. Jan Hubicka also talks > > about this in 2013 GNU Cauldron as one of the optimization he would like > > to see in gcc. So my question is, is any one implementing it. If not we > > wou

Re: ipa vrp implementation in gcc

2016-01-11 Thread vivek pandya
> On Mon, Jan 11, 2016 at 4:07 PM, Richard Biener > wrote: >> >> On Mon, Jan 11, 2016 at 1:38 AM, Kugan >> wrote: >> > Hi All, >> > >> > I am looking at implementing a ipa vrp pass. Jan Hubicka also talks >> > about this in 2013 GNU Cauldron as one of the optimization he would like >> > to see in

Re: ipa vrp implementation in gcc

2016-01-11 Thread Richard Biener
On Mon, Jan 11, 2016 at 1:38 AM, Kugan wrote: > Hi All, > > I am looking at implementing a ipa vrp pass. Jan Hubicka also talks > about this in 2013 GNU Cauldron as one of the optimization he would like > to see in gcc. So my question is, is any one implementing it. If not we > would like to do th

ipa vrp implementation in gcc

2016-01-10 Thread Kugan
Hi All, I am looking at implementing a ipa vrp pass. Jan Hubicka also talks about this in 2013 GNU Cauldron as one of the optimization he would like to see in gcc. So my question is, is any one implementing it. If not we would like to do that. I also looked at the ipa-cp implementation to see how