En informática , el lenguaje de transferencia de registros ( RTL ) es un tipo de representación intermedia (IR) muy similar al lenguaje ensamblador , como el que se utiliza en un compilador . Se utiliza para describir el flujo de datos en el nivel de transferencia de registros de una arquitectura . [1] Los artículos académicos y los libros de texto suelen utilizar una forma de RTL como lenguaje ensamblador independiente de la arquitectura. RTL se utiliza como nombre de una representación intermedia específica en varios compiladores, incluidos GNU Compiler Collection (GCC), Zephyr y los proyectos de compiladores europeos CerCo y CompCert .
La idea detrás de RTL se describió por primera vez en El diseño y la aplicación de un optimizador de mirilla reorientable . [2]
En GCC, RTL se genera a partir de la representación GIMPLE , se transforma mediante varios pases en el extremo medio de GCC y luego se convierte a lenguaje ensamblador.
El RTL de GCC generalmente se escribe en un formato que parece 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 dice "sumar el contenido del registro 138 con el contenido del registro 139 y almacenar el resultado en el registro 140". La SI especifica el modo de acceso para cada registro. En el ejemplo, es "SImode", es decir, "acceder al registro como un 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 más o menos independiente del objetivo: normalmente sería posible leer y comprender un fragmento de RTL sin saber para qué procesador se generó. De manera similar, 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 en forma simbólica las secuencias de microoperaciones entre los registros de un módulo digital. Es una herramienta conveniente para describir la organización interna de las computadoras digitales de una manera concisa y precisa. También puede utilizarse para facilitar el proceso de diseño de sistemas digitales. [3]