Compiler for the Tiger programming language implemented in Python.

• lexer: Chapter 2, Lexical Analysis.
• parser: Chapter 3, Parsing and Chapter 4, Abstract Syntax.
• semantic_analysis: Chapter 5, Semantic Analysis.
• activation_records: Chapter 6, Activation Records.
• intermediate_representation: Chapter 7, Translation to Intermediate Code.
• canonical: Chapter 8, Basic Blocks and Traces.
• instruction_selection: Chapter 9, Instruction Selection.
• liveness_analysis: Chapter 10, Liveness Analysis.
• register_allocation: Chapter 11, Register Allocation.
• putting_it_all_together: Chapter 12, Putting it All Together.
• examples: A list of Tiger programs provided by Appel.
• tests: Integration tests for specific parts of the compilation process.
• ply: Python Lex-Yacc. Used in chapters 2-4.

This project has been tested on Python version 3.9 (TBD).

From the project root directory, on a virtual Python environment, run:

pip3 install -r requirements.txt

Make sure src/compile.sh has execution permissions and that the current directory is added to your $PYTHONPATH environment variable.

Run:

./compile.sh source_file

This will generate an executable with the name a.out.

• AST (after parsing)
• Typed AST (after semantic analysis)
• IR Tree
• Canonicalied IR Tree
• Instructions before register allocation
• Instructions after register allocation
• Stack frame?
• ...

Run:

python3 -m unittest

This will run both unit and integration tests for the entire project.

To run tests for a specific file or directory, use:

python3 -m unittest <PATH>

• The Tiger Book
• Lecture Notes on Principles of Compilers, rainoftime