[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. :slight_smile:

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