search for: livevariables_8cpp

Dear LLVM guys, I am coding a liveness analysis algorithm, and I found this comment on LiveVariables.cpp: Line 00195 - http://llvm.org/doxygen/LiveVariables_8cpp-source.html : // PhysRegInfo - Keep track of which instruction was the last use of a // physical register. This is a purely local property, because all physical // register references as presumed dead across basic blocks. Indeed, I am using the X86 architecture, and I could not find genera...

...> :) > > 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. > Attached to this email is an example (color pdf) that illustrates why. I assume you're talking about the extra IN's in B1 (X_1, x_2)? Our live variable analysis doesn't have this...

...d 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. Ok, my previously sent example was bogus. =) Upon further consideration, I realized that all of the papers that said backward dataflow analysis can not be done with SSA meant &quot...

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