[LLVMdev] A new project proposal for LLVM and calling help from a chinese student

[Vikram S. Adve]

Mingxing,

Your project sounds interesting and if it significantly improves over  
the live variable analysis that is in LLVM right now, I think it could  
be a useful contribution.  I'm copying the 'llvmdev at cs.uiuc.edu'  
mailing list, which you should join.  Send all related messages to  
this list to get feedback on your goals and also to get help with any  
problems you face.  Good luck.

--Vikram
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve



On Oct 28, 2008, at 10:10 AM, 谭明星 wrote:

> Hello, Professor Adve:
> I’m a Ph.D student in Peking University of China. In this term，I  
> have a class “Advance Compiler Techniques”, which is about  
> Program Analysis and Compiler Construction. I’m very interested in  
> LLVM for its SSA-based IR and Lifelong Program Analysis. I have read  
> most of the LLVM documents onhttp://www.llvm.org/docs, some papers  
> on http://www.llvm.org/pubs/ and some source code in LLVM2.3. The  
> live variables analysis in LLVM seems not very efficient, and the  
> algorithm presented in Benoit Boissinot, Fast liveness checking for  
> ssa-form programs (the best paper of ACM SIGPLAN CGO’08) is much  
> better, especially for JIT compilation.  So, I want to implement  
> this algorithm in LLVM, which is also planed to be my final project  
> in “Advance Compiler Techniques” class.
> To my knowledge, there has been complete dominator tree  
> implementation in LLVM2.3, so what I need to do is only calculating  
> the back-edge target set(Tsure of this project; can you give me some  
> advices?
>
> 1.     Does it valuable to implement this new liveness checking  
> algorithm for LLVM?
> 2.     If this algorithm is useful for LLVM, is it possible to  
> integrate it to the next standard version LLVM? I really hope to  
> contribute my code to LLVM if possible. Surely I will try my best to  
> get it correct and give the evaluation.
> 3.     If I have problems in this project, how could I get help from  
> you?
>
> Thanks very much. Expect for your reply :)
>
> PS: The following are links about this paper:
> http://portal.acm.org/citation.cfm?id=1356064
> http://www.if.insa-lyon.fr/chercheurs/jpbabau/emsoc/presentations/EmSoC07_Boissinot.pdf
>
> Yours   Mingxing Tan.
> 2008-10-28
>
> **************************************************
> * Microprocessor R&D Center, Peking University
> *   Beijing, P.R.China, 100871
> *     Tel:   8610-62765828 ext. 833
> *     Fax:   8610-62756231
> *     Email: tanmingxing at mprc.pku.edu.cn
> *            tanmx.star at gmail.com
> **************************************************
>