Compilateur en OCaml vers du MIPS
This repository has been archived on 2022-12-27. You can view files and clone it, but cannot push or open issues or pull requests.
Find a file
2022-12-23 05:11:18 +01:00
tests Add or operator 2022-12-22 19:20:59 +01:00
.gitignore ignore parsers generated files 2022-12-23 05:07:19 +01:00
.ocamlformat use ocamlformat 2022-12-06 22:22:48 +01:00
ast.ml * add < to baselib 2022-12-13 17:10:14 +01:00
baselib.ml Add or operator 2022-12-22 19:20:59 +01:00
compiler.ml remove J instr 2022-12-22 16:44:00 +01:00
errors.ml * add && 2022-12-22 19:15:42 +01:00
lexer.mll Add or operator 2022-12-22 19:20:59 +01:00
main.ml add string support 2022-12-11 03:35:52 +01:00
Makefile add parser ml mli to make clean 2022-12-23 05:11:18 +01:00
mips.ml Add or operator 2022-12-22 19:20:59 +01:00
parser.mly use separated list 2022-12-23 05:03:40 +01:00
README.md remove ~todo 2022-12-16 13:02:04 +01:00
semantics.ml hm we dont care about this 2022-12-22 19:17:24 +01:00
simplifier.ml start strings at 0 2022-12-14 00:01:37 +01:00
test.ml * add < to baselib 2022-12-13 17:10:14 +01:00

Compilateur vers du MIPS en OCaml

Usage

Compilation

$ make

Utilisation

$ ./main.byte {fichier source} > sortie.s

Une fois le fichier assembleur créé, il est possible d'utiliser spim : spim -file sortie.s

Lance les tests

$ make test

Fonctionnalités

  • Type int
  • Type bool
  • Type string
  • Déclaration / assignation de variables
  • Librairie standard (multiplication, addition, comparateur, print, ...)
  • Conditions
  • Boucles
  • Fonctions utilisateurs récursives (arguments et valeur de retour typé)

Améliorations

  • Fonctions de la baselib sont inlinées