アセンブラが問題を解決する

Question

私が書いている8086アセンブラに問題があります。 問題は、アセンブラの問題です。

パス1では、各ラベルのセグメントに対する相対的な位置を計算します。

これで、各命令のサイズを計算し、オフセットに加算する必要があります。

ラベルの位置が範囲内にある場合、8086の命令のほうが小さくなる必要があります。たとえば、 "jmp _label"は可能な場合はショートジャンプを選択し、そうでない場合は近いジャンプを選択します。

問題はパス1に達しています。したがって、ラベルにまだ到達していないため、 "jmp short _label"が "jmp near _label"命令よりも小さいため、命令のサイズを判断できません。

天気「jmp _label」が「jmp short _label」になるかどうかはどうやって決められますか？

現在の命令がオフセットを与える前にすべての命令のサイズを知る必要があるので、3回のパスも問題になる可能性があります。あなたは何ができるか

おかげ

Answer 1

短いジャンプが十分であることを行っていることを前提で開始しています。ジャンプ距離を見つけたとき（またはそれが変わったとき）に仮定が無効になった場合、ショートジャンプを近くのジャンプに展開します。この展開の後、展開されたジャンプに続くラベルのオフセットを調整する必要があります（近接ジャンプ命令の長さからショートジャンプ命令の長さを引いた値）。この調整により、他のいくつかの短いジャンプが不十分になることがあり、ジャンプの近くに変更する必要があります。したがって、実際には2回以上の繰り返しがあるかもしれません。

これを実装するときは、ジャンプ命令を展開するときにメモリ内のコードを移動しないようにしてください。それは組み立てをひどく遅くします。アセンブリのソースコードも再解析しないでください。

ジャンプとラベルの間にある種の依存関係テーブルを事前計算することもできます。ラベルをスキップしたり、拡張ジャンプ命令の影響を受けない命令をジャンプすることができます。

もう1つ考えておきたいことは、ショートジャンプに127バイトの前方距離があり、次の命令が127バイトを超えてターゲットラベルにまだ遭遇しない場合、近くにジャンプすることができます右にジャンプします。いずれの瞬間でも、このように近づく可能性がある最大64の前方ショートジャンプがあるかもしれないことに留意してください。