llvm dev - Mar 2018 - [GSOC 2018] Improve function attribute inference

Eric: thanks for bringing this to my attention; I somehow missed this email.

Hi Buddhika,

Thanks for getting in touch and for your interest.
Please submit an application whenever the registration period opens and let 
me/us know if you have any question regarding the project and/or GSoC.

Regards,
Nuno


On Sun, Feb 25, 2018 at 1:37 PM buddhika chamith via llvm-dev 
<llvm-dev at lists.llvm.org> wrote:

Hi Devs,

I am a PhD student at Indiana University. I am interested in working on the 
project on function attribute inference. My current research direction 
involves runtime binary optimization using JIT compilation from a lifted 
LLVM IR. I am hoping various runtime information coupled with static 
analysis on the IR can provide better avenues for runtime code JITTIng (akin 
to PGO).

Anyway I think the project on function attribute inference aligns with my 
current work in that it would help me to get more familiar with static 
analysis passes in LLVM and provide an opportunity for me to do a useful 
contribution to the LLVM community.

Thanks
Buddhika


-- 

Research Assistant
Indiana University
Web: http://homes.soic.indiana.edu/budkahaw/
_______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

Hi Nuno,

Thanks. Appreciate if I can get some specific pointers to related code or
documentation that I could start looking to to get myself oriented. I just
started looking to in to lib/Analysis a bit.

Regards
Buddhika



On Thu, Mar 1, 2018 at 4:50 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote:
> Eric: thanks for bringing this to my attention; I somehow missed this
> email.
>
> Hi Buddhika,
>
> Thanks for getting in touch and for your interest.
> Please submit an application whenever the registration period opens and
> let me/us know if you have any question regarding the project and/or GSoC.
>
> Regards,
> Nuno
>
>
>
> On Sun, Feb 25, 2018 at 1:37 PM buddhika chamith via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
>
> Hi Devs,
>
> I am a PhD student at Indiana University. I am interested in working on
> the project on function attribute inference. My current research direction
> involves runtime binary optimization using JIT compilation from a lifted
> LLVM IR. I am hoping various runtime information coupled with static
> analysis on the IR can provide better avenues for runtime code JITTIng
> (akin to PGO).
>
> Anyway I think the project on function attribute inference aligns with my
> current work in that it would help me to get more familiar with static
> analysis passes in LLVM and provide an opportunity for me to do a useful
> contribution to the LLVM community.
>
> Thanks
> Buddhika
>
>
> --
>
> Research Assistant
> Indiana University
> Web: http://homes.soic.indiana.edu/budkahaw/
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>


-- 
Research Assistant
Indiana University
Web: http://homes.soic.indiana.edu/budkahaw/
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180302/4d40235e/attachment.html>

Definitely have a look at the current analyses:
- llvm/Transforms/IPO/FunctionAttrs.cpp
- llvm/Transforms/IPO/InferFunctionAttrs.cpp

Also, study the semantics of these attributes, starting with the docs: 
http://llvm.org/docs/LangRef.html#function-attributes
Also, grep the LLVM sources for test cases that use the attributes to see 
examples on how they are used for optimization.
Finally, have a look at the email thread linked from the open projects page. 
Oh, and a refresher on abstract interpretation / static analysis won't hurt 
either.

Of course, feel free to ask questions about any of these things.

Nuno

-----Original Message----- 
From: buddhika chamith
Sent: Friday, March 2, 2018 5:51 PM
Subject: Re: [llvm-dev] [GSOC 2018] Improve function attribute inference


Hi Nuno,

Thanks. Appreciate if I can get some specific pointers to related code or 
documentation that I could start looking to to get myself oriented. I just 
started looking to in to lib/Analysis a bit.

Regards
Buddhika


On Thu, Mar 1, 2018 at 4:50 AM, Nuno Lopes <nunoplopes at sapo.pt> wrote:
Eric: thanks for bringing this to my attention; I somehow missed this email.

Hi Buddhika,

Thanks for getting in touch and for your interest.
Please submit an application whenever the registration period opens and let 
me/us know if you have any question regarding the project and/or GSoC.

Regards,
Nuno



On Sun, Feb 25, 2018 at 1:37 PM buddhika chamith via llvm-dev 
<llvm-dev at lists.llvm.org> wrote:

Hi Devs,

I am a PhD student at Indiana University. I am interested in working on the 
project on function attribute inference. My current research direction 
involves runtime binary optimization using JIT compilation from a lifted 
LLVM IR. I am hoping various runtime information coupled with static 
analysis on the IR can provide better avenues for runtime code JITTIng (akin 
to PGO).

Anyway I think the project on function attribute inference aligns with my 
current work in that it would help me to get more familiar with static 
analysis passes in LLVM and provide an opportunity for me to do a useful 
contribution to the LLVM community.

Thanks
Buddhika