[llvm-dev] [GSoC'16] Need details on New Transformations and Analyses

[Aries Gunawan via llvm-dev]

Hi everyone,

I am very interested in contributing to LLVM project in this year's GSoC. I am new with LLVM, but this is used in the compiler course in my university. So, I am thinking to involve in LLVM development to have a better knowledge of the system. Currently, I am preparing the proposal.

One of the project that caught my eyes is "New Transformations and Analysis". Several code transformations and analyses have been introduced in the compiler course that I am currently taking. That's why I am thinking to involve in writing some new transformations and code analyses. But the list of transformations in the LLVM Open Projects web page seems too brief for me and I need more details on those stuffs.

Loop Dependence Analysis Infrastructure. I have looked in the source codes repo and I saw that there is a file named "DependenceAnalysis.cpp". So, does that mean this analysis has been implemented?

Value range propagation pass. There was a discussion about this topic (https://groups.google.com/forum/#!topic/llvm-dev/XXqfemtDX74/discussion). Someone already proposed to do this pass for several years ago GSoC. But I can't find the progress of the work. If no progress, then does it mean that the VRP based on Patterson's paper need to be implemented although range analysis has been implemented?

Predictive Commoning. The presentation side by Arie Tal seems provide quite clear explanation and examples of the algorithm. I guess the implementation should be straightforward, isn't it?

Type Inference (aka. Devirtualization) and Value assertions.
Can I get more details of these topics? Does the type inference mean the translation of auto keyword or something else? For value assertions, "unreachable" intrinsic seems has been implemented cause I can find the usage in some of the testcases.

Finally, for this project, must I propose to do all of these analyses and transformations in my GSoC proposal or can I just propose some of them? In addition, I am also looking for a mentor for guidance?

Looking forward for your comments and feedbacks.
Thank you.


Best regards,


Aries Thio.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160320/0b4aaeda/attachment.html>