Bril (the Big Red Intermediate Language) is a compiler IR made for teaching CS 6120, a grad compilers course. It is an extremely simple instruction-based IR that is meant to be extended. Its canonical representation is JSON, which makes it easy to build tools from scratch to manipulate it.

This repository contains the documentation, including the language reference document, and some infrastructure for Bril. There are some quick-start instructions below for some of the main tools, but check out the docs for more details about what's available.

You will want the IR interpreter, which uses Deno. Just type this:

$ deno install brili.ts

As Deno tells you, you will then need to add $HOME/.deno/bin to your $PATH. You will then have brili, which takes a Bril program as JSON on stdin and executes it.

The parser & pretty printer for the human-editable text form of Bril are written for Python 3. To install them, you need Flit, so run this:

$ pip install --user flit

Then, go to the bril-txt directory and use Flit to install symlinks to the tools:

$ flit install --symlink --user

The tools are called bril2json and bril2txt. They also take input on stdin and produce output on stdout.

There are some tests in the test/ directory. They use Turnt, which lets us write the expected output for individual commands. Install it with pip:

$ pip install --user turnt

Then run all the tests by typing make test.

The instructor code is written in python. Focuses on writing the code in C++.

The basic blocks are formed using the function formBlocks. Cfg is generated and geenrateDigraph methiod writes to a output.dot file. The output.dot file can be converted to a pdf by using the following command:

$ dot output.dot -Tpdf -o cfg.pdf

My code samples resides in mycfg directory. Json parsing is achieved by using nlohmann json C++ library:

1. Local optimization work within a single basic block (intra-procedural)
2. Global optimizations work on an entire function (intra-procedural)
   • They have to deal with control flow
3. Inter-procedural optimizations: between different scopes.
   • looks at calls from one function to another

• removes unreachable or unused instructions

• Algorithm:

    used = {}
    for instr in func:
        used += instr.args
    
    for instr in func:
        if instr.dest and instr.dest not-belong to used
            delete instr