Static Single Assignment - GNU Project - Free Software Foundation (FSF)

We are pleased to announce that CodeSourcery, LLC and Cygnus, a RedHat company have contributed an implementation of the static single assignment (SSA) representation for the GCC compiler. SSA is used in many modern compilers to facilitate a wide range of powerful optimizations. Now that SSA has been added to GCC, many optimizations can be added that were previously difficult or impossible.

In a function that has been converted to SSA form, each register is assigned a value only once. This simplification makes implementation of optimization algorithms possible or easier, since the path from assignment to use of a register is more easily determined. After optimizations have been performed, the function is converted out of SSA form before code generation proceeds.

Please send FSF & GNU inquiries & questions to gnu@gnu.org. There are also other ways to contact the FSF.

These pages are maintained by the GCC team.

For questions related to the use of GCC, please consult these web pages and the GCC manuals. If that fails, the gcc-help@gcc.gnu.org mailing list might help.
Please send comments on these web pages and the development of GCC to our developer mailing list at gcc@gnu.org or gcc@gcc.gnu.org. All of our lists have public archives.

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

Last modified 2006-06-21