SSA Form

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

Notes: