• View
• Edit
• History
• Print

StaticSingleAssignmentForm

Static single assignment form (SSA) is a popular program intermediate representation. It is used in the Jikes RVM? compiler, for opt level 2 analysis.

A program is in SSA if it satisfies the following two constraints:

1. each variable has a unique definition point in the program text;
2. each definition of a variable dominates all uses of that variable.

The best online round-up of SSA is probably the SSA article at wikipedia.