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
Certains tests doivent passer, certains non : cf. le contenu des 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
Problèmes connus
- Pas de parenthèses pour les calculs