c0-in-c0

A C0 compiler to x86 ASM, written in C0.

This compiler consists of a regular expression based tokenizer, a recursive-descent parser, a SSA-based intermediate representation, and a greedy graph-coloring register allocator (maximal munch on simplicial elimination ordering).

Support for contract and garbage collection is planned.

To build the compiler executable, run make (make sure you have a working installation of cc0). This will generate an executable ccc0. Run

./ccc0 --help

for further instructions. For example, to compile example.c0, run:

./ccc0 example.c0

The target code will be produced through stdout (since C0 does not support writing to files QwQ).

Development

A README.txt containing the instructions for building the executable is needed for the VS Code C0 Extension to work properly. To generate the file, run:

make init

This will ensure that editor language features work as expected.

To run unit tests, run:

make test

Dependencies

This project used to also contain a regular expression engine and an ordered map + priority queue (implemented with red-black tree) but I decided to move them into another repo and just mirror libs/ to that.

Testing

All test files are located under test_cases/: failing programs are located under the fail/ subdirectory while correct programs are located under the succeed/ directory.

All failing programs under test_cases/fail/ should have the file name format <exit_code>_<test_name>.c0. The unit test file extracts the expected exit code from file names to test them against the compiler's exit code. See the comments in src/error.c1 for the corresponding exit codes for compile-time errors.