[GSoC - 2021] Fix fundamental issues in LLVM IR

Hello, community and mentors,

I am Krishna Kariya, a final-year undergraduate student from India. I am applying for GSoC-2021 with LLVM for the project “Fix fundamental issues in LLVM IR.” I went through the Alive2 related slides and videos (Video1, Video2, Video3). I have also briefly read Alive2 related papers (Paper1, Paper2, Paper3).

I am currently working on my proposal. I went through this list of LLVM IR-related bugs identified by the Alive2 tool. I wanted to understand which issues are a priority for the GSoC project and what are some simple issues with which I should start.

Also, it would be great if you can provide me with some pointers about what is expected from a good and detailed proposal from this project.

Thanks,

Krishna Kariya.

Hi Krishna,

No particular bug is a priority; they all need fixing :blush:

The select->and/or thing has patches under submission, so I would avoid that one.

I suggest you have a look at the proposals accepted in the previous years for inspiration. My only suggestion is that you pick one problem and focus on it. And show us you understand that issue, and what are the possible solutions (high-level).

Let me know if you have further questions.

Nuno

Hi,

I’ve submitted my GSoC proposal for the project “Fixing Fundamental Issues in LLVM IR”. This is the link to my proposal. Please feel free to suggest changes or ask any questions.

Regards
Krishna Kariya