The compiler for the MIT Scheme system, LIAR, uses RTL as an intermediate
language. The internal representation (Scode) is processed into a flow
graph which is then converted to RTL. A bunch of optimizations are
performed on the RTL (many of the ideas and algorithms are taken from gcc)
which then gets converted into a Lisp assembly program (LAP), which
subsequently gets assembled into machine code.