Programmation 1

Travaux Pratiques et Projet Compilation

Ressources

• Page du cours de Jean Goubault
• Bref MEMO x86-64
• Cours assembleur (PDF) contenant notamment:
  • annexe A page 11 (référence rapide x86 32 bits)
  • annexe B page 14 (x86 64 bits)
• La page du projet chez Jean Goubault (attention, tout n'est pas à jour)
• La sémantique du C--

Partie II du projet

A rendre le ? janvier par mail à toute l'équipe enseignante, sous la forme d'un unique fichier compile.ml commenté et qui doit compiler correctement tout C-- vers x86-64.

• Base de code: tarball
• Sémantique de C-- avec exceptions: PDF (errata)
• Quelques exemples: tarball

Partie I du projet

A rendre le 29 novembre par mail à toute l'équipe enseignante, sous la forme d'un unique fichier compile.ml commenté et qui doit compiler correctement tout C-- vers x86-64.

• Consultez la FAQ! (mise à jour le 27 novembre)
• Corrigé: l'archive contient un README, vos compilateurs commentés, les résultats des tests et les tests eux-mêmes. Il y a aussi des tests pour la partie 2.

TP7: début du projet (4-5 novembre)

• Énoncé
• Base de code: tarball
• Module Format: tutoriel et référence

TP6: x86-64 (21-22 octobre)

• Énoncé
• Fichier C de départ: source, html
• Makefile: source, html
• Correction de tous les exercices: archive

TP5: C, allocation dynamique (14-15 octobre)

• Énoncé avec bonus du 15 octobre
• Tests pour exo 2: source, html
• Corrigé exo 2: source

TP4: C, allocation statique (7-8 octobre)

• Énoncé avec exos bonus du 8 octobre
• Corrigé exo 2, version pgm ascii (P1): source, html
• Corrigé exo 2, version pgm bitmap (P4): source, html

TP1-3

Allez voir chez Simon Halfon.