Calcul des etats atteignables de programmes Esterel partitionne ...

52 CHAPITRE 4. NOTATIONSnous nous intéressons en fait aux occurrences des instructions dans le programme source. Ainsi,dans l’arbre syntaxique, chaque instance d’instruction sera identifiée de manière unique par unlabel unique. Au besoin, ces derniers seront explicitement mentionnés en position d’exposantde l’instance d’instruction considérée. Le noeud d’une instruction de type instruction portantle label L s’écrit alors de la manière suivante :(instruction L argument 1 . . . argument n )Les pauses. Le calcul des états atteignables s’obtient à partir d’une représentation des programmesEsterel sous forme de circuit alors que le partitionnement que nous proposons s’appuiesur la syntaxe du langage source. Il est donc nécessaire de savoir relier un programmesource à sa représentation sous forme de circuit. Dans la traduction d’Esterel en circuits quenous utilisons, chaque instruction pause produit exactement un registre booléen. Dans le formatcircuit, un registre est identifié de manière unique par son nom. Ce nom apparaît explicitementdans chaque instruction pause de l’arbre syntaxique ce qui nous procure l’association nécessaireentre le code source et le format circuit. Ainsi, une instruction pause est représentée par unnoeud de la forme :(pause L register id)où register id représente le nom du registre généré par la traduction de l’instruction pause.Dans un arbre syntaxique, chaque pause possède évidemment un register id distinct.Les instructions atomiques. Dans l’arbre syntaxique, les instructions nothing et emit sontnaturellement représentées par des feuilles de la forme :(nothing L )(emit L signal id)où signal id représente le nom du signal dans la traduction en circuit. Le nom des signaux etle nom des registres constituent les seuls liens entre l’arbre syntaxique et la traduction sousforme de circuit mais contrairement aux registres, le nom des signaux n’est pas utilisé par notretechnique de partitionnement.Les constructions hiérarchiques. Une déclaration de signal local est représentée par unnoeud de la forme :(signal L signal id instruction l end L′ )où instruction est un sous-arbre représentant le corps de l’instruction signal. La fin de laportée est marquée par le délimiteur end. Par la suite, nous verrons que ce type de délimiteurest utilisé dans la construction du graphe de flot de contrôle.De la même manière, une boucle est représentée par un noeud de la forme :Une séquence est un noeud de la forme :(loop L instruction l end L′ )(seq L instruction l 1instruction l 2end L′ )