PASS-1, PASS-2 Assemblerについて調査/実装

この問題は"forward reference"として知られる

ChatGPT先生曰く

一般的にはパス1アセンブリの方が速度は遅いものの、実装が簡単であるとされています

らしいので、その方向でいくかも

調査

解説のためにLTORG命令が出ているが、たぶんnaskでは使わないやつ http://www.arteceed.net/755.html

登場人物
- ソースコード: 元のアセンブラ文
- LC(Location Counter；ロケーションカウンタ): 現在のプログラムカウント（現在のアドレス）を指す。アセンブラがプログラムを解析している途中で、各命令のサイズを確定し、各命令に対応する絶対アドレスを計算するために使用される。LCは、プログラムの解析が進むにつれて逐次増加します。そのため、LCの値は常に現在のアドレスを示す。bnfcの機能で取得できないか。
- IC(Intermediate Code；中間言語): プログラムのコンパイル処理の途中結果。bnfcを使っているので、構文解析後のASTを利用できそうである。
補助的要素
- ST (Symbol Table；シンボルテーブル): アセンブラ言語において、シンボル名とそのシンボルに対応する値を格納するためのテーブル
- LT (Literal Table；リテラルテーブル): アセンブラ言語において、リテラル（プログラム中に直接定義された定数値）に対応するアドレスを格納するためのテーブル
Intermediate Code；中間言語、の一般的な表し方
- AD (Address)
- DL (Data Length)
- IS は命令セット(=Instruction)

これらの用語の意味は、特定のアセンブラにおいての文脈に応じて決定されるため、具体的な解釈については使用されているアセンブラのドキュメンテーションを参照することが望ましい。