Tree SSA - A New Optimization Infrastructure for GCC

Tree SSA is a new optimization framework based on the Static Single Assignment (SSA) form that operates on GCC’s tree representa-tion. Tree SSA is designed to be both lan-guage and target independent and allow high-level analyses and transformations that are dif-ficult or impossible to implement with RTL. One of the main goals of the project is to produce an analysis and optimization infras-tructure based on proven algorithms and tech-niques available in the literature. In this pa-per we describe the design and implementation of the Tree SSA framework, provide prelimi-nary results and discuss possible applications and future work.