[LLVMdev] [GSoc] Liveness Based Flow Sensitive Pointer Analysis for GSoc 2015

[Daniel Berlin]

On Tue, Mar 10, 2015 at 4:25 AM, Rahul Jain <1989.rahuljain at gmail.com>
wrote:

> This landed in my spam folder so resending it to the list!
> On Mar 10, 2015 2:12 PM, "Pratik Bhatu" <cs12b1010 at iith.ac.in> wrote:
>
>> Hi all,
>>
>> I'm a 3rd year CSE B.Tech student and have been studying LLVM since the
>> past year. I have written a pass for doing register allocation as part of
>> my course project and have also been studying LLVM code sections related to
>> SSA construction, dominance frontiers,etc. I also made some contributions
>> to the Polly project.
>>
>> Currently I am interested in improving the existing alias analysis
>> infrastructure as part of my GSoC-15 project. The current pointer analyses
>> in LLVM (basicaa, cflaa etc.) compute imprecise information as none of them
>> are flow-sensitive. The aim of my project is to implement a pass that
>> computes more precise points-to pairs that is both flow-sensitive as well
>> as context-sensitive. This method has been described in  Liveness-Based Pointer
>> Analysis [1] and has already been implemented in the GCC compiler.
>>
>

Just FYI:
It has never been contributed to GCC.
Versions were written *for GCC*, but they were *not* efficient.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150310/47c1fd50/attachment.html>