TC-6 Code to Write

You can run the LIR using HAVM.

Relevant pages:

Complete the VariantTypes concept. We advise you to look at these pages on concepts: Named Req, Metaprogramming Library.

For the The src/canon Directory folder you will find more information on this part in the book (Modern Compiler Implementation), in the chapter “8. Basic Blocks and Traces”.


Generate traces for each ProcFrag as for the canonicalize part.


Complete canonicalization helpers is_nop and commute_p.

src/canon/ and src/canon/

Complete pattern-matching for canonicalization.


Generation of the LIR, linearize the canonicalized IR, creation of basic blocks and traces.