This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: ipa vrp implementation in gcc


Vivek Pandya


On Mon, Jan 18, 2016 at 4:16 AM, Kugan
<kugan.vivekanandarajah@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
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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]