転送言語を登録する

コンピュータサイエンスにおいて、レジスタ転送言語( RTL ) は、コンパイラで使用されるようなアセンブリ言語に非常に近い中間表現( IR )の一種です。アーキテクチャのレジスタ転送レベルでのデータフローを記述するために使用されます。^[1]学術論文や教科書では、アーキテクチャ中立のアセンブリ言語として RTL の形式がよく使用されています。RTL は、GNUコンパイラ コレクション( GCC )、Zephyr、および欧州のコンパイラ プロジェクト CerCo とCompCertを含むいくつかのコンパイラで特定の中間表現の名前として使用されています。

RTLの背後にあるアイデアは、The Design and Application of a Retargetable Peephole Optimizerで初めて説明されました。^[2]

GCC では、RTL はGIMPLE表現から生成され、GCCミドルエンドのさまざまなパスによって変換され、その後アセンブリ言語に変換されます。

GCC の RTL は通常、 Lisp の S 式のような形式で記述されます。

(セット(登録: SI 140 ) (プラス:SI (登録: SI 138 ) (登録: SI 139 )))   
       
                

この副作用式は、「レジスタ 138 の内容とレジスタ 139 の内容を合計し、その結果をレジスタ 140 に格納する」という意味です。SI は各レジスタのアクセス モードを指定します。この例では、「SImode」、つまり「32 ビット整数としてレジスタにアクセスする」です。

生成された RTL のシーケンスは、GCC がコードを生成するプロセッサの特性に多少依存します。ただし、RTL の意味はターゲットからほぼ独立しています。通常、どのプロセッサ用に生成されたかを知らなくても、RTL の一部を読んで理解することは可能です。同様に、RTL の意味は通常、プログラムの元の高水準言語に依存しません。

レジスタ転送言語は、デジタルモジュールのレジスタ間のマイクロオペレーションシーケンスを記号形式で表現するシステムです。これは、デジタルコンピュータの内部構成を簡潔かつ正確に記述するための便利なツールです。また、デジタルシステムの設計プロセスを容易にするためにも使用できます。^[3]

• GCCのレジスタ転送言語