StencilCompilateur

À propros

Ce projet a été réalisé dans le cadre du cours de Compilation de la quatrième année du Cursus Master en Ingérie spécialisé en Informatique, systèmes et réseaux, à l'Université de Strasbourg. Le but de ce projet était de réaliser un compilateur pour le langage Stenc.

Spécificité du langage Stenc

Le langage Stenc est basé sur le langage C. Il s'agit d'un sous-ensemble du langage C auquel a été ajouté un type stencil, un opérateur d'application de stencil, ainsi que les restrictions suivantes :

Le seul type possible est int (constante possible)
Les tableaux tableaux multidimensionnels de int sont possibles
Les opérateurs possibles sont +, - (unaire et binaire), *, /, ++ et --
Les structures de contrôles possibles sont if (avec ou sans else), while et for
Les appels de fonction (y compris récursivement) sont possibles
Les fonctions de bases sont printf() qui affiche une chaîne de caractères, et printi(), qui affiche un entier

Implémentation

Déclaration

entiers
- int i;
- [const] int i = number;
- [const] int i = id;
- [const] int i = expression
tableaux :
- int tab[number];
- int tab[id];
- int tab[x] = {...}; n'a pas été implémenté

Le type stencil n'a pas été implémenté.

Les tableaux peuvent être multidimensionnels. Un tableau déclaré avec une valeur qui n'est pas une constante provoque une erreur à la compilation.

Il est possible de déclarer des constantes globales grâce à la directive de préprocesseur #define. Ces constantes peuvent avoir une valeur ou non :

#define NOM_DEFINE VALEUR_DEFINE
#define NOM_DEFINE

La modification d'une constante (const ou #define), et l'utilisation d'une variable non initialisée génère une erreur à la compilation. De même la re-déclaration d'une variable provoque une erreur à la compilation.

Un warning indique la déclaration de variables non utilisées.

Expressions arithmétiques

Les opérateurs possibles pour les expressions sont les suivants :

+, ++
-, --
*,
/
=

L'opérateur - peut être unaire.

L'opérateur de stencil $ n'a pas été implémenté.

Les parenthèses pour donner des priorités à certaines expressions sont également possibles.

L'accès au tableau par des expressions, par exemple tab[i+2] est possible. Cependant, la modification des pointeurs pour un tableau provoque une erreur de compilation. Par exemple, il est n'est pas possible de faire :

int tab[3][5];
tab = 2; // erreur compilation
tab[3] = 2 // erreur compilation

L'utilisation d'une variable constante défini grâce à un #define sans valeur provoque une erreur de compilation.

Structures de contrôles

Les structures de contrôles sont possible, y compris imbriquées. Sont disponibles :

if, if/else
while
for

Cependant, else if n'a pas été implémenté.

Une structure de contrôle doit contenir au minimum une instruction, et doit être obligatoirement délimitée par {}. Un oubli provoque une erreur de compilation.

Les conditions sont des opérations booléennes, avec les opérateurs suivants :

==
!=
<, <=
>, >=
&&
||
!
true
false

Les parenthèses pour donner des priorités à certaines conditions sont également possibles.

Fonctions d'affichage

Les fonctions printi et printf ont été implémentées. Il est donc possible d'afficher une chaîne de caractères ASCII grâce à la fonction printf(), et un entier grâce à la fonction printi().

La fonction printi() prend en paramètre une variable id ou un nombre number, ou une expression arithmétique.

Fonctions

Les appels de fonctions personnelles n'ont pas été implémentés. La seule fonctions présente dans le code doit être la fonction main(), avec la structure suivante :

int main(){
    //code
    return number;
}

number peut être un nombre, une variable, ou une expression arithmétique. Le return est important. S'il est absent, cela provoque une erreur à la compilation.

Commentaires

Il est possible d'utiliser des commentaires. Deux sortes de commentaires sont ignorés par le compilateur :

Sur une seule ligne
Multi-lignes

Comme en C, les commentaires sur une seule ligne sont de la forme //Ceci est un commentaire, et les commentaires sur plusieurs lignes sont de la forme

/*
Ceci est
commentaire
sur plusieurs
lignes.
*/

Sortie

Le compilateur génère un code assembleur MIPS R2000 exécutable par le simulateur de provesseur R2000 SPIM. Le fichier de sortie se nomme out.s.

iAmoric / StencCompiler