llvm dev - Apr 2021 - [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
<https://www.youtube.com/watch?v=_-3Iiads1EM>, Video2
<https://www.youtube.com/watch?v=iV5jBtE35r4>, Video3
<https://www.youtube.com/watch?v=paJhdBp_iA4>). I have also briefly read
Alive2 related papers (Paper1
<https://web.ist.utl.pt/nuno.lopes/pubs/undef-pldi17.pdf>, Paper2
<https://web.ist.utl.pt/nuno.lopes/pubs/alive-cacm18.pdf>, Paper3
<https://web.ist.utl.pt/nuno.lopes/pubs/alive-pldi15.pdf>).

I am currently working on my proposal. I went through this list
<https://web.ist.utl.pt/nuno.lopes/alive2/index.php?hash=93f11d1b6b040bae>
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20210408/90bb21d3/attachment.html>

Hi Krishna,

 

No particular bug is a priority; they all need fixing 😊

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

 

 

From: Krishna Kariya <krishna17060 at iiitd.ac.in> 
Sent: 08 April 2021 19:05
To: llvm-dev at lists.llvm.org; nunoplopes at sapo.pt; juneyoung.lee at
sf.snu.ac.kr
Subject: [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 (
<https://www.youtube.com/watch?v=_-3Iiads1EM> Video1, 
<https://www.youtube.com/watch?v=iV5jBtE35r4> Video2, 
<https://www.youtube.com/watch?v=paJhdBp_iA4> Video3). I have also briefly
read Alive2 related papers (
<https://web.ist.utl.pt/nuno.lopes/pubs/undef-pldi17.pdf> Paper1, 
<https://web.ist.utl.pt/nuno.lopes/pubs/alive-cacm18.pdf> Paper2, 
<https://web.ist.utl.pt/nuno.lopes/pubs/alive-pldi15.pdf> Paper3).

 

I am currently working on my proposal. I went through 
<https://web.ist.utl.pt/nuno.lopes/alive2/index.php?hash=93f11d1b6b040bae>
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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20210409/54064ea2/attachment.html>