Forme de représentation intermédiaire où les variables sont renommées pour que chacune ne soit affectée qu'une seule fois dans le programme. Aux points de jonction, une fonction φ choisit la valeur. Les relations définition-utilisation deviennent explicites, ce qui facilite l'optimisation.
Nom japonais: SSA形式
« Forme SSA » apparaît dans 2 questions d'entraînement réparties sur 1 thèmes, dont Compilateurs.
Domaine: Compilateurs
Réponse : A. Chaque variable n'est affectée qu'exactement une fois dans le programme
En forme SSA, les variables sont renommées pour n'être affectées qu'une fois, et aux points de jonction une fonction φ choisit la valeur. Par exemple, une variable x affectée deux fois est scindée en x1 et x2, ce qui rend explicite laquelle est utilisée. Les relations définition-utilisation étant claires, les optimisations comme la propagation de constantes ou l'élimination de code mort sont facilitées. Les branchements étant traités par les fonctions φ, les instructions de branchement ne disparaissent pas. Les variables ne sont pas non plus placées en mémoire ; elles sont le plus souvent traitées comme candidates aux registres.
En forme SSA, les variables sont renommées pour n'être affectées qu'une fois, et aux points de jonction une fonction φ choisit la valeur.
Quelle caractéristique d'une représentation intermédiaire e…En forme SSA, l'affectation de la branche then est nommée x1 et celle de la branche else x2 ; il faut donc indiquer quel x utiliser pour le calcul de y après la jonction.
Mis en forme SSA, le code ci-dessus comporte après l'instru…Représentation intermédiaire Allocation de registres Analyse lexicale Analyse syntaxique Arbre syntaxique abstrait (AST) Bloc de base Compilation JIT Débordement (spill) Déroulage de boucle (loop unrolling) Élimination des sous-expressions communes