1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
---
title: "UPEM / Compilation / Projet / Rapport"
author: [Pacien TRAN-GIRARD, Adam NAILI]
date: 2018-02-20
...
# Analyse lexicale
L'analyse lexicale est réalisée avec Flex et est contenue dans le fichier `tpc.lex`.
## Lexèmes
Les lexèmes ont été définis au sein de ce fichier :
| Symbole | Description | Token associé |
|:------------------------------:|:----------------------------------------------:|:-------------:|
| `=` | opérateur d'affectation | |
| `+` | opérateur d'addition | `ADDSUB` |
| `-` | opérateur de soustraction ou moins unaire | `ADDSUB` |
| `*` | multiplication | `DIVSTAR` |
| `/` et `%` | division et reste de la division entière | `DIVSTAR` |
| `!` | négation booléenne | |
| `==`, `!=` | opérateur de comparaison | `EQ` |
| `<`, `>`, `<=` ,`>=` | opérateur de comparaison | `ORDER` |
| `&&` | opérateur booléen | `AND` |
| `||` | opérateur booléen | `OR` |
| `;` et `,` | le point virgule et la virgule | |
| `(`, `)`, `{`, `}`, `[` et `]` | les parenthèses, les accolades et les crochets | |
- Certains symboles ne sont pas associés à des tokens.
En effet ils sont utilisés directement dans la grammaire, entourés de simple guillemets. (par exemple `'='`)
- Les identificateurs sont constitués d'au moins une lettre, puis éventuellement de chiffres, et/ou d'"underscore" (`_`).
Ils sont identifiés par le token `IDENT`
- Gestion de la casse
- Les types sont `entier` et `caractere` et renvoient le token `TYPE`
- Les mots-clés comme `if else return` (auquels on associe les tokens suivants `IF ELSE RETURN`) doivent être écrit en majuscules et ne peuvent pas être utilisés comme identificateur.
- Les commentaires sont délimités par `/*` et `*/` et ne peuvent pas être imbriqués.
- `print`,`reade` et `readc` sont des identificateurs qui appartiennent au langage tpc, ils ne doivent pas être utilisé pour déclarer des variables.
Nous avons donc créer des tokens spécifiques pour leur gestion dans la grammaire (respectivement les tokens `PRINT`, `READE` et`READC`)
# Analyse syntaxique
La grammaire est celle fournie sur la plateforme elearning.
## Résolution des conflits
Cette grammaire génère un conflit empiler/réduire pour la règle
```yacc
Instr : IF '('Exp')' Instr
| IF '('Exp')' Instr ELSE Instr
```
Par exemple :
```
IF '('Exp')' IF '('Exp')' Instr ELSE Instr
```
Faut il empiler `ELSE` ? Ou réduire `IF '('Exp')' Instr` ?
Pour résoudre le conflit, il faut gérer les `precedences`.
Nous avons choisi de rentre le `ELSE` plus précédant que `')'` qui est le dernier terminal.
Ainsi, Bison va choisir d'empiler en priorité.
Un autre conflit existe, sur l'associativité de `,`:
```yacc
ListExp : ListExp ',' Exp
| Exp ';'
```
Par exemple :
```
ListExp ',' ListExp ',' ListExp
```
Doit-on reduire à gauche ? Ou a droite ?
Dans les langages tel que le C, l'associativité se fait à gauche.
On déclare donc `%left ,` pour l'indiquer à Bison.
# Génération de code cible
## Gestion de la mémoire
Pour des raisons de simplicité, il a été choisi de travailler principalement sur la pile. Son utilisation simplifie le changement de contexte à l'entrée et à la sortie de fonctions, en plus de permettre la réduction aisée des expressions lors de l'exécution.
## Fonctions
Il a été choisi d'effectuer le passage des paramamètres simples (de types `entier` et `caractere`) par copie pour des raisons de simplicité et de sécurité, pour permettre une certaine isolation des contextes lors de l'entrée dans une fonction.
Les fonction valuées retournent leur valeur en suivant les conventions d'appel des fonctions C, c'est-à-dire en la plaçant dans le registre `rax`. L'appelant récupère ensuite cette valeur pour pouvoir la stocker dans la pile.
L'analyse statique des branchements étant un problème relativement complexe, il a été choisi de retourner une valeur par défaut (`-1`) en cas d'absence d'instruction de retour dans une fonction valuée.
# Améliorations enviseageables
## Récupération sur erreur
Nous pourrions envisager de parser entièrement le fichier et de ne pas s'arrêter dès la première erreur de syntaxe comme le fait `gcc`.
Il est possible de réaliser ceci en modifiant le code de `yyerror()` par exemple.
|