llvm dev - Apr 2019 - [RFC] "Properly" Derive Function/Argument/Parameter Attributes

Hi Johannes,

I am new in LLVM community I would like to join your project on Deriving
Function/Argument/Parameter Attributes. How would I start?

I have got my Ph.D on formal methods and published few papers in programming
analysis during postdoc in NTU, such as “Loopster: static loop termination
analysis FSE2017”. Thanks for you detailed description for the project and the
volunteer as LLVM open projects mentor. :-)

Best regards,
Liang

Hi Liang,

I put "attributor" patches on phabricator a few days ago. If you want
to work on this area I suggest taking all these patches and then on top adding a
deduction for a new one, maybe function attributes like the existing  nounwind
or something new like "terminates". There are patches that add
function attribute deductions you can use as a blueprint.

Please let me know if you have questions or want to discuss anything.

Cheers,
Johannes

Get Outlook for Android<https://aka.ms/ghei36>

________________________________
From: llvm-dev <llvm-dev-bounces at lists.llvm.org> on behalf of
liangzou(邹亮) via llvm-dev <llvm-dev at lists.llvm.org>
Sent: Monday, April 1, 2019 9:16:15 PM
To: llvm-dev at lists.llvm.org
Subject: Re: [llvm-dev] [RFC] "Properly" Derive
Function/Argument/Parameter Attributes

Hi Johannes,

I am new in LLVM community I would like to join your project on Deriving
Function/Argument/Parameter Attributes. How would I start?

I have got my Ph.D on formal methods and published few papers in programming
analysis during postdoc in NTU, such as “Loopster: static loop termination
analysis FSE2017”. Thanks for you detailed description for the project and the
volunteer as LLVM open projects mentor. :-)

Best regards,
Liang
_______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20190403/79dbd898/attachment.html>