Après le tant attendu GCC 4.0 qui a vu la refonte complète son architecture interne voici maintenant la version 4.1 qui arrive.
Comme prévu la technologie SSA (Static Single Assignement) qui est au c½ur du nouveau GCC permet maintenant d'optimiser plus facilement le code source afin d'obtenir des améliorations générales. Le SSA est (en très gros) une forme intermédiaire entre le code source et le binaire dans laquelle chacune des variables du code source n'est assignée qu'une seule fois. Cette assignation unique a de nombreux avantages :
- Les définitions et les utilisations de chacune des variables deviennent claires et explicites.
- La majorité des analyses statiques du code source ne propagent les informations qu'à l'endroit strictement nécessaire.
- Un grand nombre d'optimisations sur la forme intermédiaire SSA deviennent linéaire en temps.
- De nombreux algorithmes deviennent plus concis et plus simples dans le cadre du SSA.