liveanalysis user manual
|Title||liveanalysis (Liveness analysis pass for Machine-SUIF)|
|Author||Nikolaos Kavvadias 2004, 2005, 2006, 2007, 2008, 2009 2010, 2011, 2012, 2013, 2014, 2015, 2016|
|Release Date||01 October 2014|
Correct minor documentation issue.
liveanalysis is a liveness analysis pass built to be used with the SUIF2/
MachSUIF2 compiler infrastructure. This pass generates a textual representation
for the liveness information in a given control-flow graph. It reports the
live-in and live-out sets, while the kill and gen set can also be reported by
REPORT_KILL_GEN_SET compile-time switch.
This pass uses the cfa, bvd and machine libraries of Machine-SUIF. It works for
the SUIFvm instruction set as well as other MachSUIF backends. The
liveanalysis pass has been tested with MachSUIF 2.02.07.15.
2. File listing
liveanalysis distribution includes the following files:
|LICENSE||The modified BSD license governs
|README.html||HTML version of README.|
|README.pdf||PDF version of README.|
|VERSION||Current version of the project sources.|
|liveanalysis.cpp||Implementation of the
|liveanalysis.h||C++ header file containing declarations and prototypes for the above.|
|rst2docs.sh||Bash script for generating the HTML and PDF versions of the documentation (README).|
|suif_main.cpp||Entry point for building the standalone program
|suif_pass.cpp||Define the SUIF pass built as the dynamically
|suif_main.h||C++ header file for the above.|
liveanalysis archive wherever you like, e.g. in
$MACHSUIFHOME/cfa/liveanalysis. You don't need to modify anything in the
Makefile, if you have a working MachSUIF 2 installation.
The program binary (
do_liveanalysis) will be installed at
and the shared library (
NCIHOME is the SUIF 2 top-level directory.
4. Usage details
The pass accepts an input file in CFG form to operate. Textual output is generated, written to stdout by default.
$ do_liveanalysis test.cfg