TC-6 Code to Write

You can run the LIR using OVM.

Relevant pages:

• The src/temp Directory

• The src/tree Directory

• The src/translate Directory

• The src/canon Directory

• Intermediate representation TREE

lib/misc/variant.hh

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

lib/misc/graph.hxx

Complete the misc::FlowGraph recursion_helper construction helper methods.

---

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

src/canon/libcanon.cc

Generate traces for each ProcFrag as for the canonicalize part.

src/canon/canon.cc

Complete canonicalization helpers is_nop, commute_p and reorder.

src/canon/exp-matcher.cc & src/canon/stm-matcher.cc

Complete pattern-matching for canonicalization.

src/canon/traces.cc

Generate the LIR, linearize the canonicalized IR, create basic blocks and traces.