A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees

Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ) and ˜O(m). The algorithms use a new compact data structure for representing reducible flow graphs called Annotated Decomposition Trees. This data structure extends a binary tree to represent flowgraph information, dominance relation of flowgraphs, and the topological order of nodes. The construction of the annotated decomposition trees runs in O(n + m). Experiments were conducted with reducible flowgraphs of the SPEC2000 benchmark suite.

• Type: Conference
• Year: 2007
• Where: CC
• Authors: Bernhard Scholz, Johann Blieberger
• Keywords: CC 2007, Data Structure, Data flow Analysis, Decomposition Trees, Programming Languages