JPH0685151B2 - コンパイル処理方式 - Google Patents

Description

【発明の詳細な説明】 〔概要〕 ソース・プログラムをコンパイルするコンパイル処理方
式に関し， 内部分岐番号と内部分岐定義とに対応するオブジェクト
のアドレスを効率よく決定しゆくようにすることを目的
とし， 或る内部分岐番号をもって新しく内部分岐が現れたと
き，当該内部分岐に対応するオブジェクトのメモリ上で
の格納位置を保持する使用中ブロックを設定し，次に同
じ内部分岐番号をもって内部分岐が現れた際に，上記使
用中ブロックの内容にもとづいて，先に現れた内部分岐
に対応するオブジェクトが格納されているメモリ上での
格納位置を調べ，内部分岐参照に対応するオブジェクト
であるジャンプ命令中の分岐先アドレスを決定するよう
に構成する。

〔産業上の利用分野〕

本発明は，ソース・プログラムをコンパイルするコンパ
イル処理方式に関する。

内部分岐番号をもって対応づけられる内部分岐参照（IB
N）と内部分岐定義（DEFN）とが存在するソース・プロ
グラムを逐次コンパイルするに当たっては，上記内部分
岐参照に対応するオブジェクトであるジャンプ命令中
に，上記内部分岐定義に対応するオブジェクトが格納さ
れるメモリ上のアドレスを，分岐先アドレスとして記述
することが必要となる。

〔従来の技術〕

従来から，上記内部分岐参照（IBN）と内部分岐定義（D
EFN）とが存在するソース・プログラムを逐次コンパイ
ルしてゆくに当たっては，上述の如く，ジャンプ命令中
に分岐先アドレスを記述することが必要であり，次の如
く，即ち， （ｉ）すべての内部分岐参照に対応するオブジェクト
（ジャンプ命令）を出力し， （ii）内部分岐定義に対応するすべての内部分岐参照の
ジャンプ命令の相対オフセット値を算出する ような処理を行っていた。

〔発明が解決しようとする問題点〕

上記従来の場合には，コンパイラ上の作業ファイルが圧
迫されることとなり，かつオブジェクト生成を２つのパ
スに分けて行う形となっていた。

本発明は内部分岐参照と内部分岐定義とに対応するオブ
ジェクトのアドレスを効率よく１パスで決定してゆくよ
うにすることを目的としている。

〔問題点を解決するための手段〕

第１図は本発明の原理構成図である。図中の符号１はソ
ース・プログラム,2はコンパイラ,3はオブジェクトが格
納されるメモリ（オブジェクト・ファイル）,4は内部分
岐管理域,5−1,…５−ｎは夫々使用中ブロック,6−１…
６−ｐは夫々未使用ブロックを表している。

ソース・プログラム１上に存在する内部分岐参照（IB
N）と内部分岐定義（DEFN）とは同一の内部分岐番号を
もつもの同士が対応づけられている。

ソース・プログラム１を逐次コンパイルしてゆく際に，
或る内部分岐番号をもって新しく内部分岐参照（IBN）
または内部分岐定義（DEFN）が現れたとき言うまでもな
く対応するオブジェクトが生成されるが，そのとき，使
用中ブロック５を１つ作成し，次の情報を格納する。即
ち， （ｉ）内部分岐番号：内部分岐を行うときに，同じ場所
の分岐するものを１つの単位としてまとめたものにつけ
た番号であり，したがって，定義と参照との個数は，下
方分岐のときには一般にｎ個の参照に対して１個の定義
が対応し，上方分岐のときには一般に１個の参照に対し
て１個の定義が対応する。

（ii）オブジェクト・アドレス：実際にメモリ上に割り
当てられるときの機械語のアドレス， （iii）オブジェクト・ファイル・アドレス：コンパイ
ラのオブジェクト生成部が出力するファイルのアドレス
（コンパイラの最終的な出力であるオブジェクトとは形
式が異なっている）， （iv）次ブロック・ポインタ：作業ファイル中の次のブ
ロックを指示するアドレスを指すものであって，次のブ
ロックが存在しない場合には最終マークが与えられる， を格納する。

〔作用〕

本発明では，上述の如く，先に現れた内部分岐に対応す
るオブジェクトがメモリ上のどの位置に格納されている
かについて，上記オブジェクト・アドレスによって容易
に判明する。

この結果，上述の如く，ジャンプ命令中に分岐先アドレ
スを記述するに当たって，上記使用中ブロック５−ｉ中
のオブジェクト・アドレスを見ることによって容易に分
岐先アドレスを決定することができる。また当該決定を
行った後に必要となった使用中ブロックについては，こ
れを未使用ブロックに取り込めばよいこととなる。

〔実施例〕

第２図（Ａ）（Ｂ）（Ｃ）（Ｄ）（Ｅ）（Ｆ）（Ｇ）
（Ｈ）は本発明による一実施例処理が行われる態様を説
明する説明図である。

第２図は，第２図（Ａ）図示の如く，内部分岐番号「0
0」と「01」と「02」とを付された複数個の内部分岐参
照（IBN）と複数個の内部分岐定義（DEFN）とをもつソ
ース・プログラム１が存在する場合の処理を，第２図
（Ｂ）ないし第２図（Ｈ）に逐次示されている。図中の
符号１はソース・プログラム,3はオブジェクト・ファイ
ル,4は内部分岐管理域,5は使用中ブロックを表してい
る。以下，第２図（Ａ）に示す，……の順にコン
パイルが行われていく状態を第２図（Ｂ）ないし（Ｈ）
において説明する。

（１）IBN 00の処理前（第２図（Ｂ））。

作業ファイル中に使用中ブロックは存在せず，またオブ
ジェクト・ファイル３上にオブジェクトが存在しないも
のとする。この場合，内部分岐管理域４ですべて未使用
となっていることが判る。

（２）IBN 00の処理後（第２図（Ｃ））。

内部分岐番号「00」をもつ使用中ブロック５が存在して
いなかったことから，内部分岐番号「00」を記述された
使用中ブロック５−１が作成される。そして，内部分岐
参照（IBN）であることから、ジャンプ（JMP）命令がオ
ブジェクトとして，オブジェクト・ファイル３上に生成
される。このとき分岐先アドレスは未定であることから
「0000」を書き込んでおく。使用中ブロック５−１にお
けるオブジェクト・アドレスとしては，オブジェクト・
メモリ３中での次のアドレスが「0003」として記述さ
れ，上記JMPが記述されているアドレス（オブジェクト
・メモリ３上での）が「0000」と記述される。

（３）その後ソース・プログラム１上の命令についてオ
ブジェクトが生成されてゆき、図示の内部分岐参照（IB
N 01）が処理された状態（第２図（Ｄ））。

当該内部分岐参照（IBN 01）が現れるまでの間に次々
とオブジェクトが生成され、オブジェクト・メモリ３上
で図示斜線で示す所までオブジェクトが格納されていた
とし、当該内部分岐参照（IBN 01）に対応するオブジ
ェクトであるジャンプ（JMP）命令が，オブジェクト・
メモリ３上に格納されたとする。このとき，分岐先アド
レスは未定であるので「0000」を記述しておく。

一方，内部分岐参照（IBN 01）に対応する内部分岐番
号「01」をもつ使用中ブロックが存在しないことから，
使用中ブロック５−２が作成される。JMPが記述されて
いるアドレス（オブジェクト・メモリ３上の）が「001
3」であり，次のアドレスが「0016」であることから，
これらが使用中ブロック５−２に記述される。

（４）その後ソース・プログラム１上の命令についてオ
ブジェクトが生成されてゆき，図示の内部分岐定義（DE
FN 01）が処理された状態（第２図（Ｅ））。

当該内部分岐定義（DEFN 01）が現れるまでの間に次々
とオブジェクトが生成され，オブジェクト・メモリ３上
で図示斜線の末尾の３バイト分に，当該“DEFN 01"に
対応するオブジェクトが格納されたとする。

この場合，使用中ブロック５−２上に内部分岐番号「0
1」をもつものが存在していたことから，対応する内部
分岐参照（IBN 01）がコンパイルされたジャンプ命令
が，オブジェクト・メモリ３上のアドレス「0013」であ
ることを知り，当該ジャンプ命令中の分岐先アドレスと
して仮に「0000」と記述していたものに代えて，正しい
分岐先アドレス「0029」が記述される（内部分岐定義
（DEFN0 １）に対応するオブジェクトの機械語が格納
されている一が「0029」である）。そして，用済みとな
った使用中ブロック５−２は抹消される。

（５）同様にソース・プログラム１上の命令についてオ
ブジェクトが生成されてゆき，図示の内部分岐参照（IB
N 02）が処理された状態（第２図（Ｆ））。

同様に，対応するジャンプ命令がオブジェクト・メモリ
３上で図示の位置に格納されたとする。

このとき，使用中ブロック５中には，内部分岐番号「0
2」をもつものが存在しないことから，使用中ブロック
５−２が作成される。

（６）同様に図示の内部分岐定義（DEFN 00）が処理さ
れた状態（第２図（Ｇ））。

当該内部分岐定義（DEFN 00）に対応するオブジェクト
が，図示のオブジェクト・メモリ３上で斜線で示した末
尾の３バイト分の位置に格納されたとする。

このとき，使用中ブロック５−１中に内部分岐番号「0
0」が記述されていることから，対応する内部分岐参照
（IBN 00）のコンパイルされたジャンプ命令が，オブ
ジェクト・メモリ３上でアドレス「00」であることか
ら，当該ジャンプ命令中に分岐先アドレス「0049」を記
述し，使用中ブロック５−１が抹消される。

（７）同様に，図示の内部分岐定義（DEFN 02）が処理
された状態（第２図（Ｈ））。

当該内部分岐定義（DEFN 02）に対応するオブジェクト
が，オブジェクト・メモリ３上の図示斜線で示した末尾
の３バイト分の位置に格納されたとする。

このとき，使用中ブロック５−２中に内部分岐番号「0
2」が記述されていることから，対応する内部分岐参照
（IBN 02）のコンパイルされたジャンプ命令が，オブ
ジェクト・メモリ３上でアドレス「0043」であることか
ら，当該ジャンプ命令中に分岐先アドレス「0069」を記
述し，使用中ブロック５−２が末梢される。

〔発明の効果〕

以上説明した如く，本発明によれば，対応する内部分岐
が現れたときに，いわば直ちに，分岐先アドレスを記述
することができる。このために，処理が簡単となり，か
つコンパイラ上の作業ファイルを有効に使用することが
できる。

【図面の簡単な説明】

第１図は本発明の原理構成図，第２図（Ａ）ないし
（Ｈ）は本発明による一実施例処理が行われる態様を説
明する説明図を示す。 図中,1はソース・プログラム,2はコンパイラ,3はメモリ
（オブジェクト・ファイル）,4は内部分岐管理域,5は使
用中ブロックを表す。

Claims (1)

【特許請求の範囲】
1. 【請求項１】内部分岐番号をもって対応づけられる内部
   分岐参照（IBN）と内部分岐定義（DEFN）とが存在する
   ソース・プログラム（１）をコンパイラ（２）によりコ
   ンパイルする処理を行うコンパイル処理方式において， 使用中ブロックの管理を行う内部分岐管理域（４）と， 上記ソース・プログラム（１）を逐次コンパイルする処
   理中に或る内部分岐番号をもって新しく現れた内部分岐
   参照（IBN）または内部分岐定義（DEFN）に対応して，
   内部分岐番号と，コンパイルする処理中に実際にメモリ
   （３）上に割り当てられる機械語アドレスを与えるオブ
   ジェクト・アドレスと，コンパイラ（２）のオブジェク
   ト生成部が出力するファイルのアドレスを与えるオブジ
   ェクト・ファイル・アドレスと，使用中ブロックの次の
   ブロックをポイントする次ブロック・ポインタとを有す
   る情報を格納する使用中ブロック（５）と， 上記ソース・プログラム（１）を逐次コンパイルする処
   理に対応して，得られたオブジェクトを逐次格納する上
   記メモリ（３）と を少なくともそなえ，上記ソース・プログラム（１）を
   逐次コンパイルする処理中に，上記同一の内部分岐番号
   をもつ上記使用中ブロック（５）が見出された際に，当
   該使用中ブロック（５）中の少なくとも上記オブジェク
   ト・アドレスを利用して上記メモリ（３）上の対応する
   オブジェクトを見出し，当該オブジェクトに対応して分
   岐先アドレスをセットするようにした ことを特徴とするコンパイル処理方式。