A practical interprocedural dominance algorithm

• Autores: Bjorn de Sutter, Ludo Van Put, Koen de Bosschere
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 29, Nº 4, 2007
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • Existing algorithms for computing dominators are formulated for control flow graphs of single procedures. With the rise of computing power, and the viability of whole-program analyses and optimizations, there is a growing need to extend the dominator computation algorithms to context-sensitive interprocedural dominators. Because the transitive reduction of the interprocedural dominator graph is not a tree, as in the intraprocedural case, it is not possible to extend existing algorithms directly. In this article, we propose a new algorithm for computing interprocedural dominators. Although the theoretical complexity of this new algorithm is as high as that of a straightforward iterative solution of the data flow equations, our experimental evaluation demonstrates that the algorithm is practically viable, even for programs consisting of several hundred thousands of basic blocks.