[GSoC] Fix fundamental issues in LLVM IR

Hi everyone,

I would be working with LLVM this summer as a GSoC student. My project title is “Fixing fundamental issues in LLVM IR”. The proposal link can be found below. The project aims to resolve some mis-compilation bugs detected by the Alive2 tool.

Proposal: https://docs.google.com/document/d/1J-ZTkvVeVx4XPCqRt-W8l-e6cg4KNTuUudJc1PMbY/edit?usp=drivesdk

Thanks and best regards,
Krishna Kariya