In der Informatik ist Register-Übertragungssprache (RTL) ein Begriff, der gebraucht ist, um eine Art Zwischendarstellung (IR) zu beschreiben, die sehr Zusammenbau-Sprache, wie das nah ist, was in einem Bearbeiter verwendet wird. Akademische Zeitungen und Lehrbücher verwenden auch häufig eine Form von RTL als eine mit der Architektur neutrale Zusammenbau-Sprache. RTL ist auch der Name eines spezifischen IR, der in der GNU-Bearbeiter-Sammlung und mehreren anderen Bearbeitern wie Zephir verwendet ist.

In GCC

In GCC wird RTL von der GIMPLE Darstellung erzeugt, die durch verschiedene Pässe am GCC 'mittleren Ende' umgestaltet ist, und hat sich dann in die Zusammenbau-Sprache umgewandelt.

Der RTL von GCC wird gewöhnlich in einer Form geschrieben, die wie ein Lispeln-S-Ausdruck aussieht:

(Satz (reg:SI 140)

(plus:SI (reg:SI 138)

(reg:SI 139)))

</Quelle>

Dieser "Nebenwirkungsausdruck" sagt "fügen Sie der Inhalt des Registers 138 zum Inhalt des Registers 139 hinzu und versorgen Sie das Ergebnis im Register 140". Das SI gibt an, dass sich die Zugriffsart für jeden einschreibt. Im Beispiel ist es "SImode", d. h. "Zugang das Register als ganze 32-Bit-Zahl".

Die Folge von erzeugtem RTL hat etwas Abhängigkeit von den Eigenschaften des Verarbeiters, für den GCC Code erzeugt. Jedoch ist die Bedeutung des RTL des Ziels mehr oder weniger unabhängig: Es würde gewöhnlich möglich sein, ein Stück von RTL zu lesen und zu verstehen, ohne zu wissen, für welchen Verarbeiter es erzeugt wurde. Ähnlich hängt die Bedeutung des RTL von der ursprünglichen höheren Programmiersprache des Programms nicht gewöhnlich ab.

Eine Register-Übertragungssprache ist ein System, um in der symbolischen Form die Mikroarbeitsfolgen unter den Registern eines Digitalmoduls auszudrücken. Es ist ein günstiges Werkzeug, für die innere Organisation von Digitalcomputern auf die kurze und genaue Weise zu beschreiben. Es kann auch verwendet werden, um den Designprozess von Digitalsystemen zu erleichtern.

Geschichte

Die Idee hinter RTL wurde zuerst beschrieben in:

Davidson und Fraser; das Design und die Anwendung eines Wiederzielbaren Guckloches Optimizer; ToPLaS v2 (2) 191-202 (April 1980)

Siehe auch

• Niveau der Register-Übertragung für ein ähnliches aber verschiedenes, Konzept auf Hardware-Beschreibungssprachen

Außenverbindungen

• Register-Übertragungssprache des GNUS GCC