Vivek Pandya
On Mon, Jan 18, 2016 at 11:35 AM, vivek pandya <vivekvpan...@gmail.com> wrote: > Vivek Pandya > > > On Mon, Jan 18, 2016 at 4:16 AM, Kugan > <kugan.vivekanandara...@linaro.org> 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 planning to work on this. Could you please put >> you plan in an accessible place (or post it here) so that we know what >> you plans are. That way we can work on what you are not working. And >> also possible contribute to your plan in other ways (like testing and >> reviewing). >> > Hello Kugan, > > Actually my work will include extending the ipa-cp pass to propagate > range information and then integrating this information to improve LTO > optimizations (at-least one). But as mentioned by Jan Hubicka the real > problem is not to extend ipa-cp pass but tree-vrp it self a big task > and scheduling it at early stage will cost a performance lose. > So actually I was looking at some alternatives to Patterson's approach > and particularly I found this non iterative method: > https://www.cs.berkeley.edu/~daw/papers/range-tacas04.pdf which has > already implemented in LLVM > .http://homepages.dcc.ufmg.br/~fernando/publications/papers/SBLP2011_douglas.pdf Also please some one suggest me wether this non iterative method will be good to have as alternative VRP or not ? i.e will it serve our purpose of light weight VRP to be used at earlier stage ?? > So my plan for this is first implementing above mentioned approach > till 23 May , 2016 (My college project ) and then use this local pass > for Value range analysis and then in my GSoC 2016 project I will use > this pass for ipa-vrp pass and improving other ipa optimizations to > use this information. > Though in particular I have yet not figured implementation details. > Currently I am learning about gcc IRs. > If you have any further idea ( specially about constraints based > method ) please let me know and help building my implementation > approach. > > Sincerely, > Vivek >> >> Thanks, >> Kugan
