Sharlit—a tool for building optimizers

Sharlit is presented, a tool to support the construction of modular and extensible global optimizers, and it is shown how Sharlit helps in constructing data-flow analyzers and the transformations that use data- flow analysis information, both are major components of any optimizer.