Static Single Assignment

We are pleased to announce that CodeSourcery, LLC and Cygnus, a Red Hat 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.

For questions related to the use of GCC, please consult these web pages and the GCC manuals. If that fails, the [email protected] mailing list might help. Comments on these web pages and the development of GCC are welcome on our developer list at [email protected]. All of our lists have public archives.

Copyright (C) Free Software Foundation, Inc. Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

These pages are maintained by the GCC team. Last modified 2022-10-26.