Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Cours de Compilation
M1-Master Informatique

Notes de cours

Distribuées en cours, ne pas imprimer abusivement!

Dernier cours : lundi 29 novembre 2004

Travaux dirigés

Recueil d'exercices à apporter à chaque séance de TD Version Postscript Version Postscript-double page.

Semaine 1 : 27 sept: Introduction : 1.1, 1.2, 1.3
Semaine 2 : 4 oct: Analyse lexicale : 2.2, 2.3, 2.6 optionnel 2.5
Semaine 3 : 11 oct: Séances sur machine (mini pre-processeur C) : (Énoncé) / (Corrigé)
Semaine 4 : 18 oct: Analyse syntaxique 3.2, 3.10, 3.6 optionnel 3.7
Semaine 5 : 25 oct: Analyse syntaxique 3.11, 3.12/ Portée 4.1
Semaine 6 : 1 nov: Fin portée 4.1/Analyse sémantique (surcharge) TD 6
Partiel: 3 heures, notes de cours/TD manuscriptes autorisées
Semaine 7 : 15 nov: Analyse sémantique 4.3, 4.9
Semaine 8 : 22 nov: Génération de code 5.18 (question 3) 5.1 5.3
Semaine 9 : 29 nov: Paires, Génération de code 5.6
Semaine 10 : 6 déc: Génération de code objet, allocation de registres, registre 5.17
Semaine 11 : 13 déc: Révisions

Déroulement TD 2003-2004

Quelques sujets d'examen

2002/2003: Partiel Novembre/Examen Janvier/Examen Septembre
2001/2002: Partiel Novembre/Examen Janvier/Examen Septembre
2000/2001: Partiel Novembre/Examen Janvier/Examen Septembre
1999/2000: Examen Janvier
1998/1999: Examen Janvier

Projet de compilation

Responsable : Jean-Christophe Filliâtre (jean-christophe.filliatre@lri.fr)

Le projet de compilation permet d'appliquer les méthodes et outils étudiés dans le cours de compilation pour l'analyse lexicale, syntaxique, le typage et la génération de code. Il donne l'occasion de réaliser un projet de développement logiciel important.

Le projet est réalisé en Caml (un aperçu des performances de Caml).

Projet

Cette année, l'objectif du projet est de développer un compilateur d'un sous-ensemble de C vers une extension de la machine abstraite à pile décrite dans le cours.

Le projet est à faire impérativement en binôme. Chacune des trois parties qui le composent est à rendre à votre chargé de TP par e-mail (jean-christophe.filliatre@lri.fr, sylvain.conchon@lri.fr, julien.narboux@inria.fr, marwan.burelle@lri.fr, pierre.corbineau@lri.fr). Pour tout problème d'ordre général concernant le projet de compilation, adressez-vous au reponsable du projet (email ci-dessus). Pour toute question technique, adressez-vous à votre chargé de TP.

TP 1 : semaine 27 septembre (l'énoncé contient le corrigé)
TP 2 : semaine 4 octobre (l'énoncé contient le corrigé)
Sujet n^o 1 : à rendre le mardi 2 novembre avant 10h (ne pas imprimer : sera distribué au TP n^o 3)

Corrigé

tous les tests (archive tar)

attention : pas de TP la semaine du 8 novembre
Sujet n^o 2 : à rendre le lundi 29 novembre avant 10h

Corrigé

tous les tests (archive tar)
Sujet n^o 3 : Sujet n^o 3 : à rendre le mardi 4 janvier avant 10h

Corrigé complet du projet

tous les tests : chaque fichier de test f.c est accompagné d'un fichier f.output qui indique le résultat attendu (archive tar)
soutenances la semaine du 10 janvier

Objectif du projet : parvenir à compiler (et à exécuter avec succès) le programme suivant : demo.c

Quelques conseils concernant le projet de compilation.

Machine virtuelle utilisée pour le projet :

Source : vm-1.4.tar.gz (faire ./configure, make et make install)
Binaires Linux : installés au 308 ; vous pouvez les utiliser sur toute autre machine Linux
Binaires Windows : gvm-1.4.zip et vm-1.4.exe
Documentation (ne pas imprimer au 308 : vous sera distribué)

Notes de cours

Travaux dirigés

Quelques sujets d'examen

Projet de compilation

Projet

Archives