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.
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, etprinti(), qui affiche un entier
- 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.
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.
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.
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.
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.
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.
*/
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.