First page Back Continue Last page Overview Graphics
Most programs are not in SSA form and need to be converted
- Every time a variable is defined, it receives a new version number.
- Variable uses get the version number of their immediately reaching definition.
- Ambiguities (i.e., more than one immediately reaching) are solved by inserting artificial variable called -nodes (or -terms).
- -nodes are functions with N arguments. One arguments for each incoming edge.