Register Transfer Language

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Le Register Transfer Language (RTL) est une représentation intermédiaire d'architecture dépendante proche du langage assembleur principalement utilisée dans les compilateurs modernes. Il est aussi bien implémenté dans des compilateurs tels que gcc[1] ou encore les compilateurs certifiés CompCert[2] et CerCo[3].

Éléments du langage[modifier | modifier le code]

Le langage RTL est une passe de compilation pour un compilateur d'un langage donné. Cependant, sa syntaxe et sa représentation en graphe de flot de contrôle (CFG) perd la structure abstraite du langage. La représentation en graphe de celui-ci permet avant tout d'expliciter le flot de contrôle d'un programme (à l'aide d'arêtes dans un graphe), ainsi l'information de type et les variables disparaissent au profit d'une représentation en pseudo-registres d'une taille donnée en bits.

Le langage des expressions RTL peut être vu comme le plus petit ensemble de pseudo-registres clos par suites et par des opérations d'arité quelconque et définies par le langage de compilation cible.

Références[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]