<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=gb2312">

<meta name="Generator" content="Microsoft Exchange Server">

<!-- converted from text --><style><!-- .EmailQuote { margin-left: 1pt; padding-left: 4pt; border-left: #800000 2px solid; } --></style>

</head>

<body>

<div>

<div dir="auto" style="direction:ltr; margin:0; padding:0; font-family:sans-serif; font-size:11pt; color:black">

Hi Liang, <br>

<br>

</div>

<div dir="auto" style="direction:ltr; margin:0; padding:0; font-family:sans-serif; font-size:11pt; color:black">

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.

<br>

<br>

</div>

<div dir="auto" style="direction:ltr; margin:0; padding:0; font-family:sans-serif; font-size:11pt; color:black">

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

<br>

</div>

<div dir="auto" style="direction:ltr; margin:0; padding:0; font-family:sans-serif; font-size:11pt; color:black">

Cheers, <br>

</div>

<div dir="auto" style="direction:ltr; margin:0; padding:0; font-family:sans-serif; font-size:11pt; color:black">

Johannes <br>

<br>

</div>

<div dir="auto" style="direction:ltr; margin:0; padding:0; font-family:sans-serif; font-size:11pt; color:black">

<div dir="auto" style="direction:ltr; margin:0; padding:0; font-family:sans-serif; font-size:11pt; color:black">

Get <a href="https://aka.ms/ghei36">Outlook for Android</a></div>

<br>

</div>

<hr tabindex="-1" style="display:inline-block; width:98%">

<div id="x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> llvm-dev <llvm-dev-bounces@lists.llvm.org> on behalf of liangzou(邹亮) via llvm-dev <llvm-dev@lists.llvm.org><br>

<b>Sent:</b> Monday, April 1, 2019 9:16:15 PM<br>

<b>To:</b> llvm-dev@lists.llvm.org<br>

<b>Subject:</b> Re: [llvm-dev] [RFC] "Properly" Derive Function/Argument/Parameter Attributes</font>

<div> </div>

</div>

</div>

<font size="2"><span style="font-size:11pt;">

<div class="PlainText">Hi Johannes,<br>

<br>

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

<br>

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. :-)<br>

<br>

Best regards,<br>

Liang<br>

_______________________________________________<br>

LLVM Developers mailing list<br>

llvm-dev@lists.llvm.org<br>

<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>

</div>

</span></font>

</body>

</html>