Idioma de transferencia de registro

En GCC, el RTL se genera a partir de la representación GIMPLE , se transforma mediante varias pasadas en el middle-end de GCC y luego se convierte a lenguaje ensamblador. ^{[ 3 ]}

El RTL de GCC generalmente se escribe en una forma que se parece a una expresión S de Lisp :

( conjunto ( reg: SI 140 ) ( más:SI ( reg:SI 138 ) ( reg: SI 139 )))

Esta expresión de efecto secundario indica que se debe sumar el contenido del registro 138 con el del registro 139 y almacenar el resultado en el registro 140. El SI especifica el modo de acceso para cada registro. En el ejemplo, se utiliza el modo "SImode", es decir, se accede al registro como un único entero de 32 bits.

La secuencia de RTL generada depende en cierta medida de las características del procesador para el que GCC genera el código. Sin embargo, el significado de la RTL es prácticamente independiente del procesador de destino: normalmente sería posible leer y comprender un fragmento de RTL sin saber para qué procesador se generó. Del mismo modo, el significado de la RTL no suele depender del lenguaje de alto nivel original del programa.

Un lenguaje de transferencia de registros es un sistema para expresar simbólicamente las secuencias de microoperaciones entre los registros de un módulo digital. Es una herramienta práctica para describir la organización interna de las computadoras digitales de manera concisa y precisa. También puede utilizarse para facilitar el proceso de diseño de sistemas digitales. ^{[ 4 ]}