search for: choi91

...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...

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

...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...

...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...