Improving Flow-Insensitive Solutions for Non-Separable Dataflow Problems
Data(s) |
2008
|
---|---|
Resumo |
Flow-insensitive solutions to dataflow problems have been known to be highly scalable; however also hugely imprecise. For non-separable dataflow problems this solution is further degraded due to spurious facts generated as a result of dependence among the dataflow facts. We propose an improvement to the standard flow-insensitive analysis by creating a generalized version of the dominator relation that reduces the number of spurious facts generated. In addition, the solution obtained contains extra information to facilitate the extraction of a better solution at any program point, very close to the flow-sensitive solution. To improve the solution further, we propose the use of an intra-block variable renaming scheme. We illustrate these concepts using two classic non-separable dataflow problems --- points-to analysis and constant propagation. |
Formato |
application/pdf |
Identificador |
http://eprints.iisc.ernet.in/22467/1/9.pdf Roy, Subhajit and Srikant, YN (2008) Improving Flow-Insensitive Solutions for Non-Separable Dataflow Problems. In: Proceedings of the 2008 ACM symposium on Applied computing . pp. 211-216. |
Publicador |
Association for Computing Machinery |
Relação |
http://portal.acm.org/citation.cfm?doid=1363686.1363742 http://eprints.iisc.ernet.in/22467/ |
Palavras-Chave | #Computer Science & Automation (Formerly, School of Automation) |
Tipo |
Journal Article PeerReviewed |