The Distillery

Caution

since 2020: Helping you find that sweet essence in your programs.

The Distillery 0.0.1 provides you with a set of algorithms and program analyses which work on most CFGs or IRs in a compiler agnostic manner.

To distill your program (available as custom AST/IR/compiler) into a data-flow Value, you must specialise a few (templated) interfaces of the Distillery.

Contents

Interfaces for Control Flow

1. Top level Control Flow Graph

2. Basic Blocks

3. Statements

Interfaces for AST

1. Expressions

Analyses

1. Liveness

2. UseDef

Examples

Dummy examples that showcase the use of various interfaces.