Abstract
Compilers not only generate target code but also apply to a program a lot of transformations, which are called code optimizations, because of efficient execution of the target code. Though, traditionally, most of them had been implemented using dataflow analysis, the techniques based on Static Single Assignment (SSA) form have been familiar these days. SSA form is an intermediate representation where each variable lexically has only one assignment through an entire program. Such a property makes traditionally complex code optimizations to be implemented easily. We call the code optimizations implementend based on SSA form SSA-optimization. In this paper, we are providing brief explanations of them.
