RTL

Register Transfer Language

Chris Fraser & Jack Davidson, University of Arizona, early 80's

The intermediate code for a machine with an infinite number of registers, used for code generation and machine-independent optimization. RTL is used by the GNU C compiler and by Davidson's VPCC (Very Portable C compiler).

"Quick Compilers Using Peephole Optimization", Davidson et al, Software Practice & Experience 19(1):79-97 (Jan 1989).