A shitty C compiler written in OCaml
readme: add general project overview
Liveness: extract liveness from Ertltree to its own module

refs

master
browse log

clone

read-only
https://git.sr.ht/~emersion/minic
read/write
git@git.sr.ht:~emersion/minic

inf564-minic

A small compiler for a subset of C, written in OCaml.

The compiler applies these passes to the input source code: * Parsing (via Menhir) * Typing * RTL (Register Transfer Language) * ERTL (Explicit Register Transfer Language) * LTL (Location Transfer Language) * Assembly

Register allocation is achieved with George coalescing.

License

MIT