Compilation
It needs:
- ocaml >= 4
- menhir (opam install menhir)
- batteries (opam install batteries)
Usage:
- make
Passes
- Lexer (lexer.mll)
- Parser (parse.mly)
- Check types (semant.ml)
- Translate to intermediate code (semant.ml, translate.ml)
- Split code into basic blocks (bblock.ml)
- Liveness analysis (TODO)
- Register allocator (TODO)
- Translate to assembler (z80machine.ml)
Related
Modern Compiler in ML [https://github.com/rohankshir/compiler-sml]
TODO
- ir phi
- strings
- assign stmt
- && ||
- structs