This library implements the CSSAME form as described in the paper "Concurrent SSA Form in the Presence of Mutual Exclusion". A more detailed description can be found in my Ph.D. Thesis "Analysis and Optimization of Explicitly Parallel Programs". The CSSAME form is a superset of the well-known SSA (Static Single Assignment) form used in modern sequential compilers. Therefore, it can handle both sequential and explicitly parallel programs. You can still use this library even if you only need to analyze sequential programs. You will not need to make any modifications to the library (except maybe adding functionality and squashing the bugs that I still haven't found).
This implementation is based on SUIF1 and the CFG library from the Machine
SUIF project. You do not need to have MachSUIF installed but
you must have SUIF1. The library has been developed
on IRIX 6.4 using SGI native threads and Linux 2.0.27 using PThreads. It
should work on all the platforms supported by SUIF.
Last modified: Jun 20, 2000