Comprehensive path-sensitive data-flow analysis

Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. We initially perform data-flow analysis to determine those control-flow merges which cause the loss in data-flow analysis precision. The control-flow graph of the program is then restructured such that performing data-flow analysis on the resulting restructured graph gives more precise results. The proposed framework is both simple, involving the familiar notion of product automata, and also general, since it is applicable to any forward data-flow analysis. Apart from proving that our restructuring process is correct, we also show that restructuring is effective in that it necessarily leads to more optimization opportunities. Furthermore, the framework handles the trade-off between the increase in data-flow precision and the code size increase inherent in the restructuring. We show that determini...

• Type: Conference
• Year: 2008
• Where: CGO
• Authors: Aditya V. Thakur, R. Govindarajan
• Keywords: CGO 2008, Data-flow Analysis, Data-flow Analysis Precision, Forward Data-flow Analysis, Software Engineering