Hoopl:DataflowOptimizationsMadeEasy
Stc
Date: 2010-12-09
Time: 11:45
Room:
BBL 061
Speaker: Andreas Resios
Title: Hoopl: Dataflow optimizations made easy
Abstract
These days it is common for compilers to include an optimization phase
which improves the performance of the generated program. Some of the most
popular optimizations are transformations based on dataflow analyses.
Although the components involved in dataflow analysis are rather general
at a conceptual level, most implementations contain details of a
particular compiler (e.g. a custom control flow graph representation). In order
to create generic optimizers that could be used by multiple compilers an
analysis and transformation engine is required.
In this talk we describe such an engine,
Hoopl, a reusable Haskell library which facilitates the
definition of dataflow analyses and transformations for a compiler written in Haskell.
