License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08161.9
URN: urn:nbn:de:0030-drops-15709
Go to the corresponding Portal

Barany, Gergö

Value Flow Graph Analysis with SATIrE

08161.BaranyGergoe.Paper.1570.pdf (0.1 MB)


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.

BibTeX - Entry

  author =	{Barany, Gerg\"{o}},
  title =	{{Value Flow Graph Analysis with SATIrE}},
  booktitle =	{Scalable Program Analysis},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8161},
  editor =	{Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-15709},
  doi =		{10.4230/DagSemProc.08161.9},
  annote =	{Keywords: Partial redundancy elimination, value flow analysis, source-to-source optimization}

Keywords: Partial redundancy elimination, value flow analysis, source-to-source optimization
Collection: 08161 - Scalable Program Analysis
Issue Date: 2008
Date of publication: 28.08.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI