tomasfdel/pythiger

Compiler for the Tiger programming language implemented in Python.

Pythiger

Compiler for the Tiger programming language implemented in Python. Based on the books by Andrew Appel.

All source code can be found in src:

• 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.

Setup

This project uses Python version 3.6.

From the project root directory, on a virtual Python environment (or not, if you're feeling brave), run:

pip3 install -r requirements.txt

Usage

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

From the src directory, run:

./compile.sh source_file

This will generate an executable in the src directory with the name a.out.

Tests

From the src directory, 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>

pythiger's Issues

Verify if stack pointer alignment is needed here.

Pythiger/src/instruction_selection/munch.py

Line 357 in 5d28ed4

Rename `TempLabel` to `Label` inside `activation_records.temp`

Verify if %rax should be in the sink register list.

Pythiger/src/activation_records/frame.py

Line 175 in eacc243

sink_registers = callee_saved_registers + ["rsp"]

Rename `variableWithManyWords` to `variable_with_many_words`.

You either die a 10x developer, or code long enough to see yourself become the monke.