Arnaud Vergnet c3c43c805e mark convert script as executable | 2 years ago | |
---|---|---|
compilator-2000 @ ef75bd33b8 | 2 years ago | |
crossassemblor-2000 @ 0e9455b376 | 2 years ago | |
processor-2000 @ 7409c89285 | 2 years ago | |
.gitignore | 2 years ago | |
.gitmodules | 2 years ago | |
Makefile | 2 years ago | |
README.md | 2 years ago | |
README.pdf | 2 years ago | |
md2pdf.sh | 2 years ago | |
test.c | 2 years ago |
Ce dépôt inclut notre compilateur, un cross assembleur et le code VHDL de notre processeur. Il contient
Déclaration de variables Affectation de variables Calculs (addition, soustraction, division, multiplication) Fonction main Branches (if, else) Conditions (!, ||, &&, ==, !=, <, <=, >, >=) Boucle while printf
Toutes les fonctionnalités du parser sauf les boucles while (par manque de temps).
Affectation, calculs (sauf division), copie, store, load Pipeline à 5 étage Gestion des aléas si écriture puis lecture dans le même registre
Nous avons écrit des tests unitaires pour la table des symboles, dans lesquels nous créons une table des symboles, ajoutons des éléments, et vérifions qu’ils sont bien présents après. Nous testons aussi les erreurs retournées par les fonctions.
Toutes nos tables sont implémentées sous la forme de tableaux. Nous avons préféré cette approche plutôt que des listes chaînées car nous itérons souvent dessus, ce qui est très lent quand les données sont éparpillées dans la mémoire, comme dans le cas des listes chaînées. Ceci implique cependant que nous avons une taille maximum pour nos tables.
Voici les commandes à entrer dans un terminal pour récupérer, compiler et exécuter le projet
# Clone le dépôt git avec les submodules
git clone --recurse-submodules https://git.etud.insa-toulouse.fr/ysimard/projet_systeme_info.git
cd projet_systeme_info
# Compile le compilateur et le cross assembleur
make
# Exécute le compilateur et le cross assembleur sur le fichier test.c
make test_cross_bin.txt
Ce dépôt contient tous les fichiers nécessaires au fonctionnement du parser et du compilateur, ainsi que des tests unitaires pour la table des symboles. Il contient aussi un interpréteur (dossier interpreter
), fourni par les professeurs, pour vérifier le code assembleur généré.
En plus des fichiers al.lex
et as.y
classiques, ce projet contient plusieurs fichiers C
utilitaires. asm_instructions
se charge de modifier le tableau d’instruction assembleur et de l’écrire dans un fichier. symbol_table
s’occupe de modifier et lire la table des symboles. symbole_table.test.c
execute des tests unitaires sur le fichier précédent. yacc_util
est un ensemble de fonctions utilitaires pour simplifier la manipulation de la table des symboles et des instructions assembleur, utilisé par as.y
.
Un Makefile
est fourni pour compiler le projet, qui s’utilise comme suit:
Compiler le compilateur
make compilateur
Compiler les tests unitaires
make test
Nettoyer le projet
make clean
Une fois compilé, le compilateur s’exécute de la manière suivante (en remplaçant INPUT_FILE
par le fichier C
souhaité et OUTPUT_FILE
par le fichier destination voulu):
./compilateur OUTPUT_FILE < INPUT_FILE
Pour lancer les tests unitaires, exécuter la commande suivante:
./test
Pour vérifier l’asembleur à l’aide de l’interpréteur, copier le contenu du fichier de sortie du compilateur dans le fichier interpreter/input.txt
, compiler l’interpreteur à l’aide de la commande make
, et executer la commande suivante:
./interpreter < input.txt
Le cross-assembleur a été écrit en majorité par Paul Faure. Nous l’avons simplement adapté pour notre compilateur et notre processeur. Il est optimisé car il ne génère par un LOAD et un STORE pour chaque instruction. Il se souvient de quelle donnée est présente dans quel registre.
Compiler
make
Nettoyer le projet
make clean