ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Partial Flow Sensitivity

Roy, Subhajit and Srikant, YN (2007) Partial Flow Sensitivity. In: HiPC2007, Dec. 2007.

[img] PDF
Partial.pdf - Published Version
Restricted to Registered users only

Download (500kB) | Request a copy
Official URL: http://www.springerlink.com/content/l567106vv1491k...


Compiler optimizations need precise and scalable analyses to discover program properties. We propose a partially flow-sensitive framework that tries to draw on the scalability of flow-insensitive algorithms while providing more precision at some specific program points. Provided with a set of critical nodes — basic blocks at which more precise information is desired — our partially flow-sensitive algorithm computes a reduced control-flow graph by collapsing some sets of non-critical nodes. The algorithm is more scalable than a fully flow-sensitive one as, assuming that the number of critical nodes is small, the reduced flow-graph is much smaller than the original flow-graph. At the same time, a much more precise information is obtained at certain program points than would had been obtained from a flow-insensitive algorithm.

Item Type: Conference Paper
Publisher: Springer
Additional Information: Copyright of this article belongs to Springer.
Keywords: compilers;dataflow analysis;compiler optimizations;pointsto analysis.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 17 Oct 2011 09:29
Last Modified: 17 Oct 2011 09:29
URI: http://eprints.iisc.ac.in/id/eprint/41485

Actions (login required)

View Item View Item