2026-07-21T20:14:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1570 2024-03-06T11:08:06Z ddc:004 open_access

Value Flow Graph Analysis with SATIrE Barany, Gergö Partial redundancy elimination value flow analysis source-to-source optimization Partial redundancy elimination is a common program optimization that attempts to improve execution time by removing superfluous computations from a program. There are two well-known classes of such techniques: syntactic and semantic methods. While semantic optimization is more powerful, traditional algorithms based on SSA from are complicated, heuristic in nature, and unable to perform certain useful optimizations. The value flow graph is a syntactic program representation modeling semantic equivalences; it allows the combination of simple syntactic partial redundancy elimination with a powerful semantic analysis. This yields an optimization that is computationally optimal and simpler than traditional semantic methods. This talk discusses partial redundancy elimination using the value flow graph. A source-to-source optimizer for C++ was implemented using the SATIrE program analysis and transformation system. Two tools integrated in SATIrE were used in the implementation: ROSE is a framework for arbitrary analyses and source-to-source transformations of C++ programs, PAG is a tool for generating data flow analyzers from functional specifications. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Gergö Barany 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08161.9 urn:nbn:de:0030-drops-15709 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.9 eng https://creativecommons.org/licenses/by/4.0/legalcode