search for: choi91

Displaying 4 results from an estimated 4 matches for "choi91".

Did you mean: choi
2003 Nov 06
0
[LLVMdev] Re: [open-analysis] Alias Analysis Design & Implementation and LLVM
...owever, I'm not aware of any > analysis > which requires traditional dataflow, or that cannot be implemented more > efficiently in SSA form. If you are aware of one, please let me know. > :) Backward dataflow analyses, like live variable analysis, cannot be performed with SSA [Choi91, JohnsonPingali93]. Attached to this email is an example (color pdf) that illustrates why. Do you convert from SSA back to a non-SSA LLVM to do the live-variable analysis that you have implemented in the backends? At Argonne one of the application specific analyses we need to perform, activit...
2003 Nov 06
2
[LLVMdev] Re: [open-analysis] Alias Analysis Design & Implementation and LLVM
On Thu, 6 Nov 2003, Michelle Strout wrote: > Those of us working on the OpenAnalysis project have been looking at > LLVM recently (excellent job on the website BTW). Thanks! I'm just one of the many people who have worked on it though, the praise belongs to them as much as it does to me. :) > This includes researchers at Rice, Argonne, and LLNL. Great! > John Mellor-Crummey
2003 Nov 06
2
[LLVMdev] Re: Alias Analysis Design & Implementation and LLVM
...y > > analysis which requires traditional dataflow, or that cannot be > > implemented more efficiently in SSA form. If you are aware of one, > > please let me know. > > :) > > Backward dataflow analyses, like live variable analysis, cannot be > performed with SSA [Choi91, JohnsonPingali93]. I've implemented live variable analysis in LLVM, source here: http://llvm.cs.uiuc.edu/doxygen/LiveVariables_8h-source.html http://llvm.cs.uiuc.edu/doxygen/LiveVariables_8cpp-source.html It uses a very straight-forward and efficient algorithm, described in Appel's book...
2003 Nov 10
0
[LLVMdev] Re: Alias Analysis Design & Implementation and LLVM
...which requires traditional dataflow, or that cannot be >>> implemented more efficiently in SSA form. If you are aware of one, >>> please let me know. >>> :) >> >> Backward dataflow analyses, like live variable analysis, cannot be >> performed with SSA [Choi91, JohnsonPingali93]. > > I've implemented live variable analysis in LLVM, source here: > > http://llvm.cs.uiuc.edu/doxygen/LiveVariables_8h-source.html > http://llvm.cs.uiuc.edu/doxygen/LiveVariables_8cpp-source.html > > It uses a very straight-forward and efficient algorith...