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.
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.