Lors de la sance prcdente, nous avons vu comment mettre le code sous une forme canonique appele SSA

Cours de « concepts avancés de compilation » Travaux pratiques Séance du 5 décembre 2005 Auteur : B. Monsuez Utilisation de la forme SSA Lors de la séance précédente, nous avons vu comment mettre le code sous une forme canonique appelée SSA. Dans le cadre de cette séance, nous allons étudier quelques optimisations qui peuvent être réalisées à partir de cette représentation particulière. Les transformations sont aux nombres de deux, la première consiste à une méthode de propagation de la constante (c’est une méthode distincte de celle vue dans la séance sur l’élimination des redondances), la seconde consiste à déterminer le code véritablement utile et le code inutile (c’est une méthode complémentaire de celle vue lors de l’étude du contrôle de flot de données). Propagation de la constante La méthode de propagation de la constante consiste à déterminer si une expression est « constante ». Une expression est dite constante si et seulement si pour toute exécution, cette expression prend une même et unique valeur. Si une expression est dite constante, il est dès lors possible de remplacer l’expression par la valeur résultat de l’expression. Question 1.1 Expliquer pourquoi la méthode de la propagation de la constante est une optimisation intéressante ? Pour mémoire, une optimisation pour être intéressante doit vérifiée trois critères : elle doit être sûre, elle doit apporter un gain quantifiable ( compacité, temps d’exécution,…), ...