翻訳者レビュー ( 英語 → 日本語 )

備考: http://en.wikipedia.org/wiki/Register_transfer_language

英語

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式のように見える形式で書かれます：