llvm dev - Mar 2015 - [LLVMdev] [GSoC] Improvent of PRE in LLVM compiler

Greetings,

(I am reposting this email of mine, as I was informed that emails from the
domain 'iith.ac.in' are sometimes being marked as spam)

I am Aradhya Biswas, final year student of Computer Science and Engineering
at Indian Institute of technology Hyderabad (IITH), and as mentioned in my
previous email on the LLVM dev mailing list, I am interested to work
towards the improvement of PRE in the LLVM.

Through this email I would like to sincerely request for comments and views
regarding my GSoC 2015 proposal [link
<https://docs.google.com/document/d/1C-dy_RzowFMDrvBOqYyc8x0YCZynC45I3KvJdxg3cLE/pub>]
in this regard.

My current proposal deals with only with completing the PRE implementation.
But, I understand from this
<https://groups.google.com/d/topic/llvm-dev/MUCiFJVLDi4/discussion>
earlier
discussion that Dan Berlin is working on rewriting the GVN module of LLVM
in his repository <https://github.com/dberlin/llvm-gvn-rewrite>.

In LLVM, as the GVN and PRE are effectively one module, I would like to
like to have the community's feedback on the possibility of extending my
PRE proposal into one that also works towards a better GVN-PRE module by
working on the GVN as well.

Thanks,
Aradhya Biswas
Final Year Undergraduate Student,
Department of Computer Science and Engineering,
Indian Institute of Technology Hyderabad
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150324/9d34a9f4/attachment.html>

So, one important detail:

Scalar PRE is diamond based, load PRE is not.
Load PRE is a pretty much full-on sparse PRE.


On Tue, Mar 24, 2015 at 10:12 AM, Aradhya Biswas <aradhya.biswas at
gmail.com>
wrote:
> Greetings,
>
> (I am reposting this email of mine, as I was informed that emails from the
> domain 'iith.ac.in' are sometimes being marked as spam)
>
> I am Aradhya Biswas, final year student of Computer Science and
> Engineering at Indian Institute of technology Hyderabad (IITH), and as
> mentioned in my previous email on the LLVM dev mailing list, I am
> interested to work towards the improvement of PRE in the LLVM.
>
> Through this email I would like to sincerely request for comments and
> views regarding my GSoC 2015 proposal [link
>
<https://docs.google.com/document/d/1C-dy_RzowFMDrvBOqYyc8x0YCZynC45I3KvJdxg3cLE/pub>]
> in this regard.
>
> My current proposal deals with only with completing the PRE
> implementation. But, I understand from this
> <https://groups.google.com/d/topic/llvm-dev/MUCiFJVLDi4/discussion>
earlier
> discussion that Dan Berlin is working on rewriting the GVN module of LLVM
> in his repository <https://github.com/dberlin/llvm-gvn-rewrite>.
>
> In LLVM, as the GVN and PRE are effectively one module, I would like to
> like to have the community's feedback on the possibility of extending
my
> PRE proposal into one that also works towards a better GVN-PRE module by
> working on the GVN as well.
>
> Thanks,
> Aradhya Biswas
> Final Year Undergraduate Student,
> Department of Computer Science and Engineering,
> Indian Institute of Technology Hyderabad
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150324/4e1bbf73/attachment.html>

Hi Daniel,

Thank you for pointing out these out. I had a query in this regard.

Is the scalar PRE implementation in LLVM, found in GVN.cpp, a heuristic or
a general algorithm partially implemented ? If it is a partial
implementation of a general algorithm, can you please point me to the
source/literature ?

Thanks,
Aradhya Biswas
Final Year Undergraduate Student,
Department of Computer Science and Engineering,
Indian Institute of Technology Hyderabad

On Wed, Mar 25, 2015 at 12:41 AM, Daniel Berlin <dberlin at dberlin.org>
wrote:
> So, one important detail:
>
> Scalar PRE is diamond based, load PRE is not.
> Load PRE is a pretty much full-on sparse PRE.
>
>
> On Tue, Mar 24, 2015 at 10:12 AM, Aradhya Biswas <aradhya.biswas at
gmail.com
> > wrote:
>
>> Greetings,
>>
>> (I am reposting this email of mine, as I was informed that emails from
>> the domain 'iith.ac.in' are sometimes being marked as spam)
>>
>> I am Aradhya Biswas, final year student of Computer Science and
>> Engineering at Indian Institute of technology Hyderabad (IITH), and as
>> mentioned in my previous email on the LLVM dev mailing list, I am
>> interested to work towards the improvement of PRE in the LLVM.
>>
>> Through this email I would like to sincerely request for comments and
>> views regarding my GSoC 2015 proposal [link
>>
<https://docs.google.com/document/d/1C-dy_RzowFMDrvBOqYyc8x0YCZynC45I3KvJdxg3cLE/pub>]
>> in this regard.
>>
>> My current proposal deals with only with completing the PRE
>> implementation. But, I understand from this
>>
<https://groups.google.com/d/topic/llvm-dev/MUCiFJVLDi4/discussion>
earlier
>> discussion that Dan Berlin is working on rewriting the GVN module of
LLVM
>> in his repository <https://github.com/dberlin/llvm-gvn-rewrite>.
>>
>> In LLVM, as the GVN and PRE are effectively one module, I would like to
>> like to have the community's feedback on the possibility of
extending my
>> PRE proposal into one that also works towards a better GVN-PRE module
by
>> working on the GVN as well.
>>
>> Thanks,
>> Aradhya Biswas
>> Final Year Undergraduate Student,
>> Department of Computer Science and Engineering,
>> Indian Institute of Technology Hyderabad
>>
>> _______________________________________________
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150325/181fe713/attachment.html>