Język przenoszenia rejestr (RTL) jest pośrednia przedstawienie z architekturą zależny od końca do asemblerze stosowane głównie w nowoczesnych kompilatorów. Jest również dobrze zaimplementowany w kompilatorach, takich jak gcc lub certyfikowane kompilatory CompCert i CerCo .
Język RTL to przebieg kompilacji dla kompilatora danego języka. Jednak jego składnia i reprezentacja grafu przepływu sterowania (CFG) traci abstrakcyjną strukturę języka. Jego graficznym przedstawieniem pozwala przede wszystkim wyjaśnić przebieg sterowania programem (przy krawędzi na wykresie), tym samym typ informacji i zmienne zniknie za przedstawienie w pseudo- rejestrów o danym rozmiarze w bitach.
Język wyrażeń RTL można postrzegać jako najmniejszy zbiór pseudorejestrów zamykanych sekwencjami i operacjami o dowolnej arystencji i definiowany przez docelowy język kompilacji.
Mikrooperacje
Język RTL jest podobny do języka asemblera opisywanego przez podstawowe operacje zwane mikrooperacjami. Mikrooperacja jest operacją elementarną działającą w ten sam sposób na wszystkich bitach rejestru i trwającą co najwyżej jeden cykl zegara. Istnieją cztery rodzaje operacji: