Compilateur vers du MIPS en OCaml

Usage

Compilation

$ make
Copier

Utilisation

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

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

Lance les tests

$ make test
Copier

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