[GSoC] Proposal: Fix miscompilation issues in LLVM IR using the ‘Freeze’ instruction

Hello everyone,

My name is Hyeongyu Kim, and I'm an undergraduate student at Seoul National University.
I have submitted a GSoC proposal on the topic "Fix miscompilation issues in LLVM IR using the 'Freeze' instruction."
My proposal is highly related to "Fix fundamental issues in LLVM's IR," and I developed my project idea with Nuno and Juneyoung.

You can check my proposal at the link below.

I've tried to include many details, and if you have any comments or questions, please let me know.

Best Regards,
Hyeongyu