In computer science, register transfer language (RTL) is a kind of intermediate representation (IR) that is very close to assembly language, such as that which is used in a compiler. Academic papers and textbooks also often use a form of RTL as an architecture-neutral assembly language. RTL is also the name of a specific IR used in the GNU Compiler Collection, and several other compilers, such as Zephyr[1] or the European compiler projects CerCo[2] and CompCert.[3]
n GCC, RTL is generated from the GIMPLE representation, transformed by various passes in the GCC 'middle-end', and then converted to assembly language.
GCC's RTL is usually written in a form which looks like a Lisp S-expression:
コンピューター科学において、機能設計用言語（RTL）は（コンパイラで使われるような）アセンブラ言語に非常に近い一種の中間表現（IR）です。学術論文や教科書でも、しばしばアーキテクチャに中立的なアセンブラ言語としてRTLの形式を使用します。RTLはGNU Compiler Collectionやいくつかの他のコンパイラ（例えばZephyr［1］あるいは、ヨーロッパのコンパイラプロジェクトCerCo［2］とCompCert.［3］）で使用される特定のIR名でもあります。
n GCC、RTLは、GIMPLE表現から発生して、GCC「半ば終了」の様々な通過によって変容し、アセンブラ言語に変わります。
GCCのRTLは通常、LISP S式のように見える形式で書かれます：
This "side-effect expression" says "add the contents of register 138 to the contents of register 139 and store the result in register 140". The SI specifies the access mode for each registers. In the example it is "SImode", i.e. "access the register as 32-bit integer".
The sequence of RTL generated has some dependency on the characteristics of the processor for which GCC is generating code. However, the meaning of the RTL is more-or-less independent of the target: it would usually be possible to read and understand a piece of RTL without knowing what processor it was generated for. Similarly, the meaning of the RTL doesn't usually depend on the original high-level language of the program.
この「副作用式」は、「レジスター139の内容にレジスター138の内容を追加して、結果をレジスター140に保存する」と言います。SIは、各々のレジスターのためにアクセス・モードを指定します。例えば、それは「SImode」、すなわち「32ビット整数としてレジスターにアクセスしてください」です。発生するRTLのシーケンスには、GCCがコードを生み出しているプロセッサーの特性への依存が多少あります。しかし、RTLの意味は、目標から多少独立しています：それがどんなプロセッサーのために発生したか知らずにRTLを読んで、通常理解することが、できます。同様にRTLの意味は、常にプログラムの元の高水準言語次第であるというわけではありません。
