JPH0512032A - アセンブラ作成装置 - Google Patents

Abstract

(57)【要約】 【目的】 分岐命令の最適化処理時間の短縮化を図った
アセンブラ作成装置を提供する。 【構成】 分岐命令がソースプログラムファイル１に出
現する度に分岐命令の情報を持ちかつそのアドレスの大
きい順にチェインでつないだ双方向分岐命令情報テーブ
ル５ａを作成し記憶装置４に格納する双方向分岐命令情
報テーブル作成手段２１ａと、双方向分岐命令情報テー
ブル５ａを基に、分岐命令のアドレスの大きい順と小さ
い順とに交互に分岐命令の最適化処理を行う双方向最適
化処理手段２２ａとを備える。 【効果】 連続した前方参照の分岐命令が複数個存在す
る場合に、従来は個数分の回数の最適化処理が必要とさ
れるのに対し、個数に関係なく２回の最適化処理で済ま
すことができる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、プログラム作成装置に
利用され、特に、アセンブラの分岐命令の最適化処理方
式に関する。

【０００２】

【従来の技術】図８は従来のアセンブラ作成装置の一例
を示すブロック構成図、および図９（ａ）および（ｂ）
はその分岐命令情報テーブルの一例を示す説明図であ
る。

【０００３】本従来例のアセンブラ作成装置２は、ソー
スプログラムファイル１を入力し解析を行い分岐命令が
出現する度に分岐命令の情報を持つ分岐命令情報テーブ
ル５を作成し記憶装置４に格納する分岐命令情報テーブ
ル作成手段２１と、この作成された分岐命令情報テーブ
ル５を基にアドレスの小さい順にチェインでつなぎ分岐
命令を最も短いオブジェクトコードに対応させる最適化
処理手段２２と、この最適化されたオブジェクトコード
によりオブジェクトモジュールファイル３を生成出力す
るオブジェクト生成処理手段２３とを備えている。

【０００４】そして、分岐命令情報テーブル５は、図９
（ｂ）に示すように、次のテーブルを指すチェインポイ
ンタ（変数ｎｅｘｔ）４４０と、分岐命令のアドレス
（変数ａｄｄ）４４２と、シンボルテーブルを指すチェ
インポインタ（変数ｓｙｍｐ）４４３と、コード増加量
（変数ｃｏｄｅ）４４４とを含んでいる。なお、図９
（ａ）において、４３０〜４３９はおのおのの分岐命令
情報テーブル、４００、４０１、４２０〜４２９はチェ
インポインタである。

【０００５】次に、本従来例の動作について図１０、図
１１、図１２および図１３を参照して説明する。ここ
で、図１０は本従来例の全体の動作を示す流れ図、図１
１は図１０の分岐命令情報テーブル作成処理の一例を示
す流れ図、図１２は図１０の最適化処理の一例の前半部
分を示す流れ図、および図１３は図１０の最適化処理の
一例の後半部分を示す流れ図である。なお、ここで作成
するアセンブラは、前方参照のときは分岐命令から分岐
命令の飛び先までのバイト数が１２７バイト以下であれ
ば２バイト分の分岐命令を生成し、１２８バイト以上で
あれば３バイト分の分岐命令を生成し、後方参照のとき
は分岐命令から分岐命令の飛び先までのバイト数の絶対
値１２８バイト以下であれば２バイト分の分岐命令を生
成し、絶対値１２９バイト以上であれば３バイト分の分
岐命令を生成するアセンブラであるとする。

【０００６】図１０で、パス１：ソース解析処理１０５
で行の解析結果が分岐命令であったら、図１１の処理で
分岐命令の情報を分岐命令情報テーブル５に設定する。
図１１において、分岐命令のアドレスセット処理２００
で分岐命令の次のアドレスを現在処理している分岐命令
情報テーブルにある変数ａｄｄに代入する。シンボルテ
ーブルのアドレスセット処理２０１でシンボルテーブル
のアドレスを現在処理している分岐命令情報テーブルに
ある変数ｓｙｍｐに代入する。コード増加量セット処理
２０２で２バイト分の分岐命令を生成するか３バイト分
の分岐命令を生成するか未確定であることを示すコード
増加量の初期値として「１」を現在処理している分岐命
令情報テーブルにある変数ｃｏｄｅに代入する。次のテ
ーブルのアドレスセット処理２０３で次の分岐命令情報
テーブルを作成し、作成した次の分岐命令情報テーブル
のアドレスを変数ｎｅｘｔに代入する。現在のテーブル
のアドレスセット処理２０５で現在処理中の分岐命令情
報テーブルのアドレスを最後の分岐命令情報テーブルを
指す変数ｂｔｍに代入する。

【０００７】図１０のパス１：ソース解析処理１０５を
ファイルの最後まで行い、終了後分岐命令の最適化をす
る最適化処理１０６を行う。最適化処理１０６では図１
２において、先頭アドレス代入処理３０１で図９（ａ）
で示される分岐命令情報テーブルの先頭を指すチェイン
ポインタ４００を変数ｃｐに代入し、図１２のフラグ初
期化処理３０５において分岐命令が２バイト分または３
バイト分に確定したことを表す変数ｆｌａｇに初期値と
して「０」を代入する。増加量判別処理３０６により変
数ｃｐの指す分岐命令情報テーブルの分岐命令が２バイ
ト分の分岐命令かまたは３バイト分の分岐命令に確定し
ているかを判別し、確定していれば図１３の分岐命令情
報テーブル判別処理３２０へ進む。確定していなければ
図１２の分岐命令までの増加量算出処理３０７によりフ
ァイルの先頭から変数ｃｐの指す分岐命令情報テーブル
の分岐命令までにいくつ図１０の最適化処理１０６の対
象となる分岐命令があるか算出し、算出した分岐命令の
数を変数Ａに代入する。図１２の飛び先までの増加量算
出処理３０８によりファイルの先頭から変数ｃｐの指す
分岐命令情報テーブルの分岐命令の飛び先までにいくつ
図１０の最適化処理１０６の対象となる分岐命令がある
か算出し、算出した分岐命令の数を変数Ｂに代入する。
図１２の相対アドレス代入処理３０９により変数ｃｐの
指す分岐命令情報テーブルの分岐命令の飛び先のアドレ
スから変数ｃｐの指す分岐命令情報テーブルの分岐命令
のアドレスを減算し、変数ｍｒｌに代入する。

【０００８】そして、シンボル参照判別処理３１０によ
り変数ｃｐの指す分岐命令情報テーブルの分岐命令が前
方参照であるか後方参照であるかを判別する。変数ｍｒ
ｌが「０」以下であれば後方参照であり、「１」以上で
あれば前方参照である。シンボル参照判別処理３１０の
結果、前方参照の場合は、相対値を変数ｍｉｎｒにセッ
ト処理３１１により変数ｍｒｌを変数ｍｉｎｒに代入
し、コード増加量と相対値をｍａｘｒにセット処理３１
２により変数ｍｒｌと変数Ｂを加算し、加算した結果か
ら変数Ａを減算した結果を変数ｍａｘｒに代入する。後
方参照の場合は、相対値をｍａｘｒにセット処理３１３
により変数ｍｒｌを変数ｍａｘｒに代入し、コード増加
量と相対値をｍｉｎｒにセット処理３１４により変数ｍ
ｒｌと変数Ｂを加算し、加算した結果から変数Ａを減算
した結果を変数ｍｉｎｒに代入する。

【０００９】次に、図１３の２バイト分の分岐命令出力
判別処理３１５と３バイト分の分岐命令出力判別処理３
１６により２バイト分の分岐命令を生成するか３バイト
分の分岐命令を生成するかの判別を行い、３バイト分の
分岐命令を生成する必要がある場合は、分岐命令のアド
レス補正処理３１７により現在処理している分岐命令情
報テーブルの次の分岐命令情報テーブルから変数ｂｔｍ
が指す分岐命令情報テーブルに格納されている分岐命令
のアドレスに「１」加算する。フラグセット処理３１８
で分岐命令が２バイト分または３バイト分に確定したこ
とを表す変数ｆｌａｇに「１」を代入する。２バイト分
の分岐命令を生成することに確定した場合も同様に変数
ｆｌａｇに「１」を代入する。さらに、コード増加量セ
ット処理３１９により変数ｃｐの指す分岐命令情報テー
ブルの分岐命令が２バイト分または３バイト分に確定し
たことを表す変数ｃｏｄｅに「０」を代入する。変数ｃ
ｐの指す分岐命令情報テーブルの分岐命令と変数ｃｐの
指す分岐命令情報テーブルの分岐命令の飛び先の間に２
バイト分の分岐命令になるかまたは３バイト分の分岐命
令になるか不確定な分岐命令がありかつ不確定な分岐命
令がすべて２バイト分の分岐命令となったときは、変数
ｃｐの指す分岐命令情報テーブルの分岐命令が２バイト
分の分岐命令になる場合、または不確定な分岐命令がす
べて３バイト分の分岐命令となったときは、変数ｃｐの
指す分岐命令情報テーブルの分岐命令が３バイト分の分
岐命令になる場合は、分岐命令情報テーブル判別処理３
２０へ進む。

【００１０】分岐命令情報テーブル判別処理３２０で
は、変数ｃｐの指す分岐命令情報テーブルの次の分岐命
令情報テーブルがあるか判別し、ある場合ポインタイン
クリメント処理３２１により変数ｃｐに分岐命令情報テ
ーブルのサイズ分を加算し、変数ｃｐが次の分岐命令情
報テーブルを指すようにして図１２の増加量判別処理３
０６へ進む。次の分岐命令情報テーブルがない場合は、
図１３のフラグ判別処理３２２により分岐命令が２バイ
ト分または３バイト分に確定したことを表す変数ｆｌａ
ｇが「０」であるか判別し、「１」であればまだ最適化
できる可能性があるので図１２の先頭アドレス代入処理
３０１に戻る。変数ｆｌａｇが「０」の場合は、図１３
のシンボルテーブル補正処理３２３へ進み、シンボルテ
ーブルの補正処理を行う。

【００１１】次に、分岐命令の最適化処理を図７で示す
ソースプログラムファイル１を入力した場合について説
明する。このとき、図９（ａ）で示す分岐命令情報テー
ブルを作成する。ただし、図７において、分岐命令が２
バイト分の分岐命令である場合の分岐命令から分岐命令
の飛び先までのバイト数（飛び先のアドレス−分岐命令
のアドレス）は、（１） Ｄへ分岐する分岐命令（以
下、分岐命令（１）という。）５１０から飛び先Ｄ（以
下、飛び先（１）という。）５２０まで１２７バイト、
（２） Ｃへ分岐する分岐命令（以下、分岐命令（２）
という。）５１１から飛び先Ｃ（以下、飛び先（２）と
いう。）５２１まで１２７バイト、（３） Ｂへ分岐す
る分岐命令（以下、分岐命令（３）という。）５１２か
ら飛び先Ｂ（以下、飛び先（３）という。）５２２まで
１２７バイト、（４） Ａへ分岐する分岐命令（以下、
分岐命令（４）という。）５１３から飛び先Ａ（以下、
飛び先（４）という。）５２３まで１２０バイト、
（５） Ｈへ分岐する分岐命令（以下、分岐命令（５）
という。）５１４から飛び先Ｈ（以下、飛び先（５）と
いう。）５２４まで−１２８バイト、（６） Ｇへ分岐
する分岐命令（以下、分岐命令（６）という。）５１５
から飛び先Ｇ（以下、飛び先（６）という。）５２５ま
で−１２８バイト、（７） Ｆへ分岐する分岐命令（以
下、分岐命令（７）という。）５１６から飛び先Ｆ（以
下、飛び先（７）という。）５２６まで−１２８バイ
ト、（８） Ｅへ分岐する分岐命令（以下、分岐命令
（８）という。）５１７から飛び先Ｅ（以下、飛び先
（８）という。）５２７まで−１２０バイト、（９）
Ｊへ分岐する分岐命令（以下、分岐命令（９）とい
う。）５１８から飛び先Ｊ（以下、飛び先（９）とい
う。）５２８まで１２７バイト、（１０） Ｉへ分岐す
る分岐命令（以下、分岐命令（１０）という。）５１９
から飛び先Ｉ（以下、飛び先（１０）という。）５２９
まで−１２８バイト、とする。

【００１２】図７のソースプログラムファイル１を入力
し、図１０のパス１ソース解析処理１０５で行の解析を
した結果、図７の分岐命令（１）５１０が出現したら、
図１１の処理で分岐命令の情報を図１１の分岐命令情報
テーブル５に設定する。図１１の分岐命令のアドレスセ
ット処理２００で図７の分岐命令（１）５１０の次のア
ドレスを図９（ａ）の分岐命令（１）の分岐命令情報テ
ーブル４３０が持つ変数ａｄｄに代入する。図１１のシ
ンボルテーブルのアドレスセット処理２０１で図７の飛
び先（１）５２０のシンボルテーブルのアドレスを図９
（ａ）の分岐命令（１）の分岐命令情報テーブル４３０
が持つ変数ｓｙｍｐに代入する。図１１のコード増加量
セット処理２０２で２バイト分の分岐命令を生成するか
３バイト分の分岐命令を生成するか未確定であることを
示す「１」をコード増加量の初期値として図９（ａ）の
分岐命令（１）の分岐命令情報テーブル４３０が持つ変
数ｃｏｄｅに代入する。図１１の次のテーブルのアドレ
スセット処理２０３で次の分岐命令情報テーブルを作成
し、作成した次の分岐命令情報テーブルのアドレスを図
９（ａ）の分岐命令（１）の分岐命令情報テーブル４３
０が持つ変数ｎｅｘｔに代入する。図１１のアドレスセ
ット処理２０５で図９（ａ）の分岐命令（１）の分岐命
令情報テーブル４３０のアドレスを最後の分岐命令情報
テーブルを指す変数ｂｔｍに代入する。これで図９
（ａ）の分岐命令（１）の分岐命令情報テーブル４３０
が作成される。

【００１３】以下同じように、図７の分岐命令（２）５
１１、分岐命令（３）５１２、分岐命令（４）５１３、
分岐命令（５）５１４、分岐命令（６）５１５、分岐命
令（７）５１６、分岐命令（８）５１７、分岐命令
（９）５１８、および分岐命令（１０）５１９について
行い、各々の分岐命令情報テーブル４３１〜４３９を作
成する。終了後分岐命令の最適化をする図１０の最適化
処理１０６を行う。

【００１４】次に、この最適化処理について説明する。

【００１５】図１０の最適化処理１０６では、図１２の
先頭アドレス代入処理３０１において分岐命令情報テー
ブルの先頭を指す図９（ａ）の先頭を指すチェインポイ
ンタ４００すなわちｔｏｐを変数ｃｐに代入し、図１２
のフラグ初期化処理３０５において分岐命令が２バイト
分または３バイト分に確定したことを表す変数ｆｌａｇ
に初期値として「０」を代入する。増加量判別処理３０
６により変数ｃｐの指す分岐命令情報テーブルの図７の
分岐命令（１）５１０が２バイト分の分岐命令かまたは
３バイト分の分岐命令に確定しているかを判別する。こ
の場合、確定していないので、図１２の分岐命令までの
増加量算出処理３０７によりファイルの先頭から変数ｃ
ｐの指す分岐命令情報テーブルの図７の分岐命令（１）
５１０までいくつ図１０の最適化処理１０６の対象とな
る分岐命令が存在するか算出し、算出した分岐命令の数
を変数Ａに代入する。この場合、自分自身の図７の分岐
命令（１）５１０のみなので「１」を変数Ａに代入す
る。図１２の飛び先までの増加量算出処理３０８により
ファイルの先頭から変数ｃｐの指す分岐命令情報テーブ
ルの図７の分岐命令（１）５１０の飛び先である図７の
飛び先（Ｄ）（１）５２０までにいくつ図１０の最適化
処理１０６の対象となる分岐命令が存在するか算出し、
算出した分岐命令の数を変数Ｂに代入する。この場合、
図７の分岐命令（１）５１０、分岐命令（２）５１１、
分岐命令（３）５１２および分岐命令（４）５１３の４
個なので「４」を変数Ｂに代入する。図１２の相対アド
レス代入処理３０９により、変数ｃｐの指す分岐命令情
報テーブルの図７の分岐命令（１）５１０の飛び先であ
る飛び先（１）５２０のアドレスから変数ｃｐの指す分
岐命令情報テーブルの分岐命令（１）５１０のアドレス
を減算し、変数ｍｒｌに代入する。この場合、１２７バ
イトなので「１２７」を変数ｍｒｌに代入する。そし
て、図１２のシンボル参照判別処理３１０により変数ｃ
ｐの指す分岐命令情報テーブルの図７の分岐命令（１）
５１０が前方参照であるか後方参照であるか判別する。
この場合、前方参照なので、図１２の相対値を変数ｍｉ
ｎｒにセット処理３１１により変数ｍｒｌを変数ｍｉｎ
ｒに代入し、コード増加量と相対値を変数ｍａｘｒにセ
ット処理３１２により変数ｍｒｌと変数Ｂを加算し、加
算した結果から変数Ａを減算した結果を変数ｍａｘｒに
代入する。この場合、変数ｍｉｎｒに「１２７」が代入
され、変数ｍａｘｒに「１３０」が代入される。

【００１６】次に、図１３の２バイト分の分岐命令出力
判別処理３１５と３バイト分の分岐命令出力判別３１６
により、２バイト分の分岐命令を生成するか３バイト分
の分岐命令を生成するかの判別を行う。この場合、変数
ｍａｘｒが「１３０」であるため２バイト分の分岐命令
出力判別処理３１５の条件が成り立たず、３バイト分の
分岐命令出力判別処理３１６へ進む。変数ｍａｘｒが
「１３０」、変数ｍｉｎｒが「１２７」であるため３バ
イト分の分岐命令出力判別処理３１６の条件は成り立
ち、２バイト分の分岐命令を生成するか３バイト分の分
岐命令を生成するか確定しないので分岐命令情報テーブ
ル判別処理３２０へ進む。分岐命令情報テーブル判別処
理３２０では、変数ｃｐの指す分岐命令情報テーブルの
次の分岐命令情報テーブルが存在するか判別する。この
場合は次の分岐命令情報テーブルが存在するのでポイン
タインクリメント処理３２１へ進み、変数ｃｐに分岐命
令情報テーブルのサイズ分を加算し、変数ｃｐが次の分
岐命令情報テーブルを指すようにして図１２の増加量判
別処理３０６へ進み、図７の分岐命令（２）５１１およ
び分岐命令（３）５１２に対して分岐命令（１）５１０
と同様の処理を行う。分岐命令（２）５１１および分岐
命令（３）５１２も分岐命令（１）５１０と同様に２バ
イト分の分岐命令を生成するか３バイト分の分岐命令を
生成するか確定しない。

【００１７】次に、分岐命令（４）５１３の処理を行
う。図１２の増加量判別処理３０６により変数ｃｐの指
す分岐命令情報テーブルの図７の分岐命令（４）５１３
が２バイト分の分岐命令かまたは３バイト分の分岐命令
に確定しているかを判別する。この場合、確定していな
いので図１２の分岐命令までの増加量算出処理３０７に
より、ファイルの先頭から変数ｃｐの指す分岐命令情報
テーブルの図７の分岐命令（４）５１３までにいくつ図
１０の最適化処理１０６の対象となる分岐命令が存在す
るか算出し、算出した分岐命令の数を変数Ａに代入す
る。この場合、図７の分岐命令（１）５１０、分岐命令
（２）５１１、分岐命令（３）５１２および分岐命令
（４）５１３の４個なので「４」を変数Ａに代入する。
図１２の飛び先までの増加量算出処理３０８により、フ
ァイルの先頭から変数ｃｐの指す分岐命令情報テーブル
の図７の分岐命令（４）５１３の飛び先である飛び先
（Ａ）（４）５２３までにいくつ図１０の最適化処理１
０６の対象となる分岐命令が存在するか算出し、算出し
た分岐命令の数を変数Ｂにする。この場合、図７の分岐
命令（１）５１０、分岐命令（２）５１１、分岐命令
（３）５１２および分岐命令（４）５１３の４個なの
で、「４」を変数Ｂに代入する。

【００１８】図１２の相対アドレス代入処理３０９によ
り、変数ｃｐの指す分岐命令情報テーブルの図７の分岐
命令命令（４）５１３の飛び先である飛び先（４）５２
３のアドレスから変数ｃｐの指す分岐命令情報テーブル
の分岐命令（４）５１３のアドレスを減算し、変数ｍｒ
ｌに代入する。この場合、１２０バイトなので「１２
０」を変数ｍｒｌに代入し、図１２のシンボル参照判別
処理３１０により、変数ｃｐの指す分岐命令情報テーブ
ルの図７の分岐命令（４）５１３が前方参照であるか後
方参照であるか判別する。この場合、前方参照なので図
１２の算出量セット処理（１）３１１により、変数ｍｒ
ｌを変数ｍｉｎｒに代入し、コード増加量と相対値を変
数ｍａｘｒにセット処理３１２により、変数ｍｒｌと変
数Ｂを加算し、加算した結果から変数Ａを減算した結果
を変数ｍａｘｒに代入する。この場合、変数ｍｉｎｒに
「１２０」が代入され、変数ｍａｘｒに「１２０」が代
入される。

【００１９】次に、図１３の２バイト分の分岐命令出力
判別処理３１５と３バイト分の分岐命令出力判別処理３
１６により、２バイト分の分岐命令を生成するか３バイ
ト分の分岐命令を生成するかの判別を行う。この場合、
変数ｍｉｎｒと変数ｍａｘｒが共に「１２０」であるた
め２バイト分の分岐命令出力判別処理３１５の条件が成
り立ち、フラグセット処理３１８へ進む。フラグセット
処理３１８では図７の分岐命令（４）５１３が２バイト
分の分岐命令を生成することに確定したので、２バイト
分または３バイト分に確定したことを表す変数ｆｌａｇ
に「１」を代入する。さらに、図１３のコード増加量セ
ット処理３１９により、変数ｃｐの指す分岐命令情報テ
ーブルの分岐命令が２バイト分または３バイト分に確定
したことを表す変数ｃｏｄｅに「０」を代入し、分岐命
令情報テーブル判別処理３２０へ進む。分岐命令情報テ
ーブル判別処理３２０では、変数ｃｐの指す分岐命令情
報テーブルの次の分岐命令情報テーブルが存在するか判
別する。この場合は、次の分岐命令情報テーブルが存在
するのでポインタインクリメント処理３２１へ進み変数
ｃｐに分岐命令情報テーブルのサイズ分を加算し、変数
ｃｐが次の分岐命令情報テーブルを指すようにして図１
２の増加量判別処理３０６へ進む。

【００２０】増加量判別処理３０６により、変数ｃｐの
指す分岐命令情報テーブルの図７の分岐命令（５）５１
４が２バイト分の分岐命令かまたは３バイト分の分岐命
令に確定しているかを判別する。この場合、確定してい
ないので図１２の分岐命令までの増加量算出処理３０７
によりファイルの先頭から変数ｃｐの指す分岐命令情報
テーブルの図７の分岐命令（５）５１４までにいくつ図
１０の最適化処理１０６の対象となる分岐命令が存在す
るか算出し、算出した分岐命令の数を変数Ａに代入す
る。この場合、図７の分岐命令（１）５１０、分岐命令
（２）５１１、分岐命令（３）５１２および分岐命令
（５）５１４の４個なので「４」を変数Ａに代入する。
図１２の飛び先までの増加量算出処理３０８によりファ
イルの先頭から変数ｃｐの指す分岐命令情報テーブルの
図７の分岐命令（５）５１４の飛び先である飛び先
（Ｈ）（５）５２４までにいくつ図１０の最適化処理１
０６の対象となる分岐命令が存在するか算出し、算出し
た分岐命令の数を変数Ｂに代入する。この場合、図７の
分岐命令（１）５１０、分岐命令（２）５１１、分岐命
令（３）５１２および分岐命令（５）５１４の４個なの
で「４」を変数Ｂに代入する。図１２の相対アドレス代
入処理３０９により変数ｃｐの指す分岐命令情報テーブ
ルの図７の分岐命令（５）５１４の飛び先である飛び先
（５）５２４のアドレスから変数ｃｐの指す分岐命令情
報テーブルの分岐命令（５）５１４のアドレスを減算
し、変数ｍｒｌに代入する。この場合、−１２８バイト
なので「−１２８」を変数ｍｒｌに代入する。

【００２１】そして、図１２のシンボル参照判別処理３
１０により変数ｃｐの指す分岐命令情報テーブルの図７
の分岐命令（５）５１４が前方参照であるか後方参照で
あるか判別する。この場合、後方参照なので、図１２の
相対値を変数ｍａｘｒにセット処理３１３により、変数
ｍｒｌを変数ｍａｘｒに代入し、コード増加量と相対値
を変数ｍｉｎｒにセット処理３１４により、変数ｍｒｌ
と変数Ｂを加算し、加算した結果から変数Ａを減算した
結果を変数ｍｉｎｒに代入する。この場合、変数ｍｉｎ
ｒに「−１２８」が代入され、変数ｍａｘｒに「−１２
８」が代入される。次に、図１３の２バイト分の分岐命
令出力判別処理３１５と３バイト分の分岐命令出力判別
処理３１６により２バイト分の分岐命令出力判別処理３
１５と３バイト分の分岐命令出力判別処理３１６により
２バイト分の分岐命令を生成するか３バイト分の分岐命
令を生成するかの判別を行う。この場合、変数ｍａｘｒ
と変数ｍｉｎｒが共に「−１２８」であるため２バイト
分の分岐命令出力判別処理３１５の条件が成り立ち、２
バイト分の分岐命令を生成することに確定し、フラグセ
ット処理３１８へ進む。

【００２２】フラグセット処理３１８では、図７の分岐
命令（４）５１３が２バイト分の分岐命令を生成するこ
とに確定したので、２バイト分または３バイト分に確定
したことを表す変数ｆｌａｇに「１」を代入する。さら
に、図１３のコード増加量セット処理３１９により変数
ｃｐの指す分岐命令情報テーブルの分岐命令が２バイト
分または３バイト分に確定したことを表す変数ｃｏｄｅ
に「０」を代入し、分岐命令情報テーブル判別処理３２
０へ進む。分岐命令情報テーブル判別処理３２０では、
変数ｃｐの指す分岐命令情報テーブルの次の分岐命令情
報テーブルが存在すか判別する。この場合は次の分岐命
令情報テーブルが存在するので、ポインタインクリメン
ト処理３２１へ進み、変数ｃｐに分岐命令情報テーブル
のサイズ分を加算し、変数ｃｐが次の分岐命令情報テー
ブルを指すようにして図１２の増加量判別処理３０６へ
進み、図７の分岐命令（６）５１５、分岐命令（７）５
１６および分岐命令（８）５１７に対して分岐命令
（５）５１４と同様の処理を行う。分岐命令（６）５１
５と飛び先（Ｇ）（６）５２５の間に図１０の最適化処
理１０６の対象となる分岐命令が存在しない、かつ、飛
び先（６）５２５のアドレスから分岐命令（６）５１５
のアドレスを減算した値が−１２８以上であるため分岐
命令（６）５１５は２バイト分の分岐命令を生成するこ
とに確定する。分岐命令（７）５１６およひ分岐命令
（８）５１７も分岐命令（６）５１５と同様に２バイト
分の分岐命令を生成することに確定する。

【００２３】次に、分岐命令（９）５１８の処理および
分岐命令（１０）５１９を行う。分岐命令（９）５１８
と飛び先（Ｊ）（９）５２８の間に図１０の最適化処理
１０６の対象となる分岐命令（１０）５１９が存在し、
かつ、分岐命令（１０）５１９が２バイト分の分岐命令
に確定した場合は分岐命令（９）５１８も２バイト分の
分岐命令に確定し、分岐命令（１０）５１９が３バイト
分の分岐命令に確定した場合は分岐命令（９）５１８も
３バイト分の分岐命令に確定するので、分岐命令（１
０）５１９が確定しないと分岐命令（９）５１８は確定
しない。分岐命令（１０）５１９も同様に分岐命令
（９）５１８が確定しないと２バイト分の分岐命令を生
成するか３バイト分の分岐命令を生成するか確定しな
い。

【００２４】分岐命令（１０）５１９まで処理が終了す
ると、図１３のフラグ判別処理３２２へ進む。フラグ判
別処理３２２では、２バイト分の分岐命令を生成するか
３バイト分の分岐命令を生成するかが確定したら「１」
にセットされる変ｆｌａｇが「１」であるかどうか判別
する。変数ｆｌａｇが「１」の場合は、２バイト分の分
岐命令を生成するか３バイト分の分岐命令を生成するか
確定した分岐命令があるということであり、２バイト分
の分岐命令を生成するか３バイト分の分岐命令を生成す
るか、確定した分岐命令がいままで２バイト分の分岐命
令を生成するか３バイト分の分岐命令を生成するか未確
定であったために、２バイト分の分岐命令を生成するか
３バイト分の分岐命令を生成するか確定できなかった分
岐命令が、２バイト分の分岐命令を生成するか３バイト
分の分岐命令を生成するか確定できる可能性があるため
図１２の先頭アドレス代入処理３０１へ進む。これで１
回目の図１０の最適化処理１０６が終了した。２バイト
分の分岐命令を生成することに確定した分岐命令は、図
７の分岐命令（４）５１３、分岐命令（５）５１４、分
岐命令（６）５１５、分岐命令（７）５１６および分岐
命令（８）５１７の５個である。

【００２５】次に、２回目の図１０の最適化処理１０６
を行う。図７の分岐命令（３）５１２と飛び先（Ｂ）
（３）５２２の間に図１０の最適化処理１０６の対象と
なる分岐命令が存在しないかつ、飛び先（３）５２２の
アドレスから分岐命令（３）５１２のアドレスを減算し
た値が１２７以下であるため、分岐命令（３）５１２は
２バイト分の分岐命令を生成することに確定する。次
に、３回目の図１０の最適化処理１０６を行うと図７の
分岐命令（２）５１１と飛び先（Ｃ）（２）５２１の間
に図１０の最適化処理１０６の対象となる分岐命令が存
在しないかつ、飛び先（２）５２１のアドレスから分岐
命令（２）５１１のアドレスを減算した値が１２７以下
であるため分岐命令（２）５１１は２バイト分の分岐命
令を生成することに確定する。次に、４回目の図１０の
最適化処理１０６を行うと、図７の分岐命令（１）５１
０と飛び先（Ｄ）（１）５２０の間に図１０の最適化処
理１０６の対象となる分岐命令が存在しないかつ、飛び
先（１）５２０のアドレスから分岐命令（１）５１０の
アドレスを減算した値が１２７以下であるため、分岐命
令（１）５１０は２バイト分の分岐命令を生成すること
に確定する。

【００２６】次に、５回目の図１０の最適化処理１０６
では図１２の増加量判別処理３０６により、変数ｃｐの
指す分岐命令情報テーブルの図７の分岐命令（１）５１
０が２バイト分の分岐命令かまたは３バイト分の分岐命
令に確定しているかを判別する。この場合、確定してい
るので図１３の分岐命令情報テーブル判別処理３２０へ
進む。分岐命令情報テーブル判別処理３２０では、変数
ｃｐの指す分岐命令情報テーブルの次の分岐命令情報テ
ーブルが存在するか判別する。この場合は、図７の分岐
命令（１）５１０が最後の分岐命令でないので、図１３
のポインタインクリメント処理３２１へ進み、変数ｃｐ
に分岐命令情報テーブルのサイズ分を加算し、変数ｃｐ
が次の分岐命令情報テーブルを指すようにして図１２の
増加量判別処理３０６へ進む。図７の分岐命令（２）５
１１、分岐命令（３）５１２、分岐命令（４）５１３、
分岐命令（５）５１４、分岐命令（６）５１５、分岐命
令（７）１５６および分岐命令（８）５１７も分岐命令
（１）５１０と同様に２バイト分の分岐命令かまたは３
バイト分の分岐命令に確定しているので、分岐命令
（１）５１０と同じ処理を繰り返す。

【００２７】次に、分岐命令（９）５１８は、分岐命令
（１０）５１９が２バイト分の分岐命令かまたは３バイ
ト分の分岐命令に確定しなければ分岐命令（９）５１８
が２バイト分の分岐命令かまたは３バイト分の分岐命令
に確定できない。同様に、分岐命令（１０）５１９も分
岐命令（９）５１８が２バイト分の分岐命令かまたは３
バイト分の分岐命令に確定しなければ分岐命令（１０）
５１９が２バイト分の分岐命令かまたは３バイト分の分
岐命令に確定できない。５回目の図１０の最適化処理１
０６では、２バイト分の分岐命令かまたは３バイト分の
分岐命令に確定した分岐命令がないため、変数ｆｌａｇ
は「０」である。図１３のフラグ判別処理３２２により
変数ｆｌａｇが「０」なのでシンボルテーブル補正処理
３２３へ進む。シンボルテーブル補正処理３２３は、シ
ンボルテーブルを作成したとき、２バイト分の分岐命令
を生成すると仮定してシンボル値を決定していたので、
３バイト分の分岐命令を生成することに確定した分岐命
令がある場合は、３バイト分の分岐命令を生成する数分
シンボルのアドレス値に加算する処理を行う。以上５回
目で図１０の最適化処理１０６を終了する。

【００２８】

【発明が解決しようとする課題】前述した従来のアセン
ブラ作成装置における分岐命令の最適化処理方式では、
分岐命令のアドレスが小さい順に処理を行っているた
め、図７の連続した前方参照の分岐命令群５０１のよう
に前方参照している分岐命令が４個連続していてかつ、
交差している分岐命令５０３のように交差している分岐
命令が１個ある場合は、従来の技術で示した通り分岐命
令の最適化処理を５回行わなくてはならないため、分岐
命令の最適化処理に時間がかかってしまう欠点があっ
た。

【００２９】本発明の目的は、前記の欠点を除去するこ
とにより、分岐命令の最適化処理時間の短縮化を図った
アセンブラ作成装置を提供することにある。

【００３０】

【課題を解決するための手段】本発明は、分岐先までの
相対アドレスの大小にかかわらず同一形式の分岐命令を
記述したソースプログラムファイルを入力して、前記分
岐命令を最も短いオブジェクトコードに対応させる最適
化処理を行いオブジェクトモジュールファイルを生成す
る手段を備えたアセンブラ作成装置において、前記分岐
命令が前記ソースプログラムファイルに出現する度に前
記分岐命令の情報を持ちかつそのアドレスの大きい順に
チェインでつないだ双方向分岐命令情報テーブルを作成
し記憶装置に格納する双方向分岐命令情報テーブル作成
手段と、前記双方向分岐命令情報テーブルを基に、前記
分岐命令のアドレスの大きい順と小さい順とに交互に前
記最適化処理を行う双方向最適化処理手段とを含むこと
を特徴とする。

【００３１】

【作用】双方向分岐命令情報テーブルはアドレスの大き
い順にチェインでつながれた構成を有し、双方向最適化
処理は、この双方向分岐命令情報テーブルに基づいて、
アドレスの大きい順と小さい順に交互に処理を行う。

【００３２】これにより、連続した前方参照の分岐命令
が複数個存在する場合に、初めアドレスの大きい順、次
いでアドレスの小さい順に処理することにより、すべて
の分岐命令を処理できるため、分岐命令の個数に関係な
く２回の最適化処理で済ますことができ、分岐命令の最
適化処理時間の短縮化を図ることが可能となる。

【００３３】

【実施例】以下、本発明の実施例について図面を参照し
て説明する。

【００３４】図１は本発明の一実施例を示すブロック構
成図、および図２（ａ）および（ｂ）はその双方向分岐
命令情報テーブルの一例を示す説明図である。

【００３５】本実施例は、分岐先までの相対アドレスの
大小にかかわらず同一形式の分岐命令を記述したソース
プログラムファイル１を入力して、前記分岐命令を最も
短いオブジェクトコードに対応させる最適化処理を行い
オブジェクトモジュールファイル３を生成する手段の一
部として、オブジェクト生成処理手段２３を備えたアセ
ンブラ作成装置２ａにおいて、本発明の特徴とするとこ
ろの、前記分岐命令がソースプログラムファイル１に出
現する度に前記分岐命令の情報を持ちかつそのアドレス
の大きい順にチェインでつないだ双方向分岐命令情報テ
ーブル５ａを作成し記憶装置４に格納する双方向分岐命
令情報テーブル作成手段２１ａと、双方向分岐命令情報
テーブル５ａを基に、前記分岐命令のアドレスの大きい
順と小さい順とに交互に前記最適化処理を行う双方向最
適化処理手段２２ａとを備えている。

【００３６】また、双方向分岐命令情報テーブル５ａ
は、図２（ｂ）に示すように、次のテーブルを指すチェ
インポインタ（変数ｎｅｘｔ）４４０と、前のテーブル
を指すチェインポインタ（変数ｂａｃｋ）と、分岐命令
のアドレス（変数ａｄｄ）４４２と、シンボルテーブル
を指すチェインポインタ（変数ｓｙｍｐ）４４３と、コ
ード増加量（変数ｃｏｄｅ）４４４とを含んで構成され
る。

【００３７】次に、本実施例の動作について、図３〜図
７を参照して説明する。なおここで、図３は本実施例の
全体の動作を示す流れ図、図４は図３の双方向分岐命令
情報テーブル作成処理の一例を示す流れ図、図５は図３
の双方向最適化処理の一例の前半部分を示す流れ図、図
６は図３の双方向最適化処理の一例の後半部分を示す流
れ図、および図７は本発明を適用するソースプログラム
ファイルの一例を示す説明図である。

【００３８】図７のソースプログラムファイル１を入力
し、図３のパス１：双方向分岐命令情報テーブル５ａを
作成するソース解析処理１００で行の解析をした結果、
図７の分岐命令（１）５１０が出現したら、図４の処理
で分岐命令の情報を図３の双方向分岐命令情報テーブル
５ａに設定する。図４の分岐命令のアドレスセット処理
２００で、図７の分岐命令（１）５１０の次のアドレス
を図２（ａ）の分岐命令（１）の双方向分岐命令情報テ
ーブル４３０ａが持つ変数ａｄｄに代入する。図４のシ
ンボルテーブルのアドレスセット処理２０１で、図７の
飛び先（Ｄ）（１）５２０のシンボルテーブルのアドレ
スを図２（ａ）の分岐命令（１）の双方向分岐命令情報
テーブル４３０ａが持つ変数ｓｙｍｐに代入する。図４
のコード増加量セット処理２０２で、２バイト分の分岐
命令を生成するか３バイト分の分岐命令を生成するか未
確定であることを示す「１」を、コード増加量の初期値
として図２（ａ）の分岐命令（１）の双方向分岐命令情
報テーブル４３０ａが持つ変数ｃｏｄｅに代入する。図
４の次のテーブルのアドレスセット処理２０３で、次の
双方向分岐命令情報テーブルを作成し、作成した次の双
方向分岐命令情報テーブルのアドレスを図２（ａ）の分
岐命令（１）の双方向分岐命令情報テーブル４３０ａが
持つ変数ｎｅｘｔに代入する。図４の前のテーブルのア
ドレスセット処理２０４で、図２（ａ）の分岐命令
（１）の双方向分岐命令情報テーブル４３０ａのアドレ
スを次の双方向分岐命令情報テーブルが持つ変数ｂａｃ
ｋに代入する。図４のアドレスセット処理２０５で図２
（ａ）の分岐命令（１）の双方向分岐命令情報テーブル
４３０ａのアドレスを最後の双方向分岐命令情報テーブ
ルを指す変数ｂｔｍ４０１に代入する。これで分岐命令
（１）の双方向分岐命令情報テーブル４３０ａが作成さ
れる。

【００３９】以下、同じように図７の分岐命令（２）５
１１、分岐命令（３）５１２、分岐命令（４）５１３、
分岐命令（５）５１４、分岐命令（６）５１５、分岐命
令（７）５１６、分岐命令（８）５１７、分岐命令
（９）５１８、および分岐命令（１０）５１９について
行い、図２（ａ）の各々の双方向分岐命令情報テーブル
４３１ａ、４３２ａ、４３３ａ、４３４ａ、４３５ａ、
４３６ａ、４３７ａ、４３８ａおよび４３９ａが作成さ
れる。ここで作成された双方向分岐命令情報テーブル４
３０ａ〜４３９ａは、それぞれ自アドレスと前および後
のテーブルのアドレスをポインタとして有しており、こ
れを基にアドレスの大きい順および小さい順の二通りの
処理が可能となる。

【００４０】図３のファイル終了判別処理１０１で入力
ファイルが終了後、分岐命令の最適化をする図３の双方
向最適化処理１０２を行う。次に、図５および図６の流
れ図に従ってこの双方向最適化処理を説明する。

【００４１】図３の双方向の最適化処理１０２では、図
５のループ判別処理３００によりアドレスの小さい順か
ら最適化を行うかアドレスの大きい順に最適化を行うか
を表す変数ｉが「０」かどうか判別する。変数ｉは初期
値を「０」としているのでこの場合条件が成り立ち、先
頭アドレス代入処理３０１へ進む。先頭アドレス代入処
理３０１において、双方向分岐命令情報テーブルの先頭
を指す図２（ａ）の先頭を指すチェインポインタ４００
を変数ｃｐに代入し、図５のループ変数「１」代入処理
３０２においてアドレスの小さい順から最適化を行うか
アドレスの大きい順に最適化を行うかを表す変数ｉに
「１」を代入し、フラグ初期化処理３０５において分岐
命令が２バイト分または３バイト分に確定したことを表
す変数ｆｌａｇに初期値として「０」を代入する。増加
量判別処理３０６以降の処理は従来の技術と同様である
ので１回目の図３の双方向最適化処理１０２が終了した
時点で２バイト分の分岐命令を生成することに確定した
分岐命令は、分岐命令（４）５１３、分岐命令（５）５
１４、分岐命令（６）５１５、分岐命令（７）５１６お
よび分岐命令（８）５１７の５個である。

【００４２】次に、２回目の図３の双方向最適化処理１
０２を行う。双方向最適化処理１０２では、図５のルー
プ判別処理３００によりアドレスの小さい順から最適化
を行うかアドレスの大きい順に最適化を行うかを表す変
数ｉが「０」かどうか判別する。この場合変数ｉは
「１」なので条件が成り立たず、末尾アドレス代入処理
３０３へ進む。末尾アドレス代入処理３０３において、
双方向分岐命令情報テーブルの最後を指す図２（ａ）の
末尾を指すチェインポインタ４００（ｂｔｍ）を変数ｃ
ｐに代入し、図５のループ変数「０」代入処理３０４に
おいてアドレスの小さい順から最適化を行うかアドレス
の大きい順に最適化を行うかを表す変数ｉに「０」を代
入し、フラグ初期化処理３０５において分岐命令が２バ
イト分または３バイト分に確定したことを表す変数ｆｌ
ａｇに初期値として「０」を代入する。増加量判別処理
３０６により変数ｃｐの指す双方向分岐命令情報テーブ
ルの図７の分岐命令（１０）５１９が２バイト分の分岐
命令かまたは３バイト分の分岐命令に確定しているかを
判別する。

【００４３】この場合、確定していないので図５の分岐
命令までの増加量算出処理３０７により、ファイルの先
頭から変数ｃｐの指す双方向分岐命令情報テーブルの図
７の分岐命令（１０）５１９までにいくつ図３の双方向
の最適化処理１０２の対象となる分岐命令が存在するか
算出し、変数Ａに代入する。この場合、図７の分岐命令
（１）５１０、分岐命令（２）５１１、分岐命令（３）
５１２、分岐命令（４）５１３、分岐命令（５）５１
４、分岐命令（６）５１５、分岐命令（７）５１６、分
岐命令（８）５１７および分岐命令（９）５１８の９個
なので「９」を変数Ａに代入する。図５の飛び先までの
増加量算出処理３０８により、ファイルの先頭から変数
ｃｐの指す双方向分岐命令情報テーブルの図７の分岐命
令（１０）５１９の飛び先である飛び先（Ｉ）（１０）
５２９までにいくつ図３の双方向最適化処理１０２の対
象となる分岐命令が存在するか算出し、変数Ｂに代入す
る。この場合、図７の分岐命令（１）５１０、分岐命令
（２）５１１、分岐命令（３）５１２、分岐命令（４）
５１３、分岐命令（５）５１４、分岐命令（６）５１
５、分岐命令（７）５１６、分岐命令（８）５１７の８
個なので「８」を変数Ｂに代入する。図５の相対アドレ
ス代入処理３０９により、変数ｃｐの指す双方向分岐命
令情報テーブルの図７の分岐命令（１０）５１９の飛び
先である飛び先（１０）５２９のアドレスから変数ｃｐ
の指す分岐命令情報テーブルの分岐命令（１０）５１９
のアドレスを減算し、変数ｍｒｌに代入する。この場
合、−１２８バイトなので「−１２８」を変数ｍｒｌに
代入する。

【００４４】そして、図５のシンボル参照判別処理３１
０により、変数ｃｐの指す双方向分岐命令情報テーブル
の図６の分岐命令（１０）５１９が前方参照であるか後
方参照であるか判別する。この場合、後方参照なので図
５の相対値を変数ｍａｘｒにセット処理３１３により、
変数ｍｒｌを変数ｍａｘｒに代入し、コード増加量と相
対値を変数ｍｉｎｒにセット処理３１４により、変数ｍ
ｒｌと変数Ｂを加算し、加算した結果から変数Ａを減算
した結果を変数ｍｉｎｒに代入する。この場合、変数ｍ
ｉｎｒに「−１２９」が代入され、変数ｍａｘｒに「−
１２８」が代入される。

【００４５】次に、図６の２バイト分の分岐命令出力判
別処理３１５と３バイト分の分岐命令出力判別処理３１
６により、２バイト分の分岐命令を生成するか３バイト
分の分岐命令を生成するかの判別を行う。この場合、変
数ｍｉｎｒが「−１２９」であるため２バイト分の分岐
命令出力判別処理３１５の条件が成り立たず、３バイト
分の分岐命令出力判別処理３１６へ進む。変数ｍａｘｒ
が「−１２９」であるため３バイト分の分岐命令出力判
別処理３１６の条件は成り立ち、２バイト分の分岐命令
を生成するか３バイト分の分岐命令を生成するか確定し
ないので分岐命令情報テーブル判別処理３２０へ進む。
分岐命令情報テーブル判別処理３２０では、変数ｃｐの
指す双方向分岐命令情報テーブルの次の双方向分岐命令
情報テーブルが存在するか判別する。この場合は次の双
方向分岐命令情報テーブルが存在するのでポインタイン
クリメント処理３２１へ進み、変数ｃｐに分岐命令情報
テーブルのサイズ分を加算し、次の双方向分岐命令情報
テーブルを指すようにして図５の増加量判別処理３０６
へ進み、図７の分岐命令（９）５１８に対して分岐命令
（１０）５１９と同様の処理を行う。分岐命令（９）５
１８も同様に分岐命令（１０）５１９が確定しないと２
バイト分の分岐命令を生成するか３バイト分の分岐命令
を生成するか確定しない。

【００４６】次に、分岐命令（３）５１２の処理を行
う。分岐命令（３）５１２と飛び先（Ｂ）（３）５２２
の間に図３の双方向最適化処理１０２の対象となる分岐
命令が存在しないかつ、飛び先（３）５２２のアドレス
から分岐命令（３）５１２のアドレスを減算した値が１
２７以下であるため、分岐命令（３）５１２は２バイト
分の分岐命令を生成することに確定する。分岐命令
（２）５１１と飛び先（Ｃ）（２）５２１の間に図３の
双方向最適化処理１０２の対象となる分岐命令が存在し
ないかつ、飛び先（２）５２１のアドレスから分岐命令
（２）５１１のアドレスを減算した値が１２７以下であ
るため、分岐命令（２）は２バイト分の分岐命令を生成
することに確定する。分岐命令（１）５１０と飛び先
（Ｄ）（１）５２０の間に図３の双方向最適化処理１０
２の対象となる分岐命令が存在しないかつ、飛び先
（１）５２０のアドレスから分岐命令（１）５１０のア
ドレスを減算した値が１２７以下であるため、分岐命令
（１）は２バイト分の分岐命令を生成することに確定す
る。これで２回目の図３の双方向最適化処理１０２が終
了する。

【００４７】これにより、２バイト分の分岐命令を生成
することに確定した分岐命令は、図７の分岐命令（１）
５１０、分岐命令（２）５１１、分岐命令（３）５１
２、分岐命令（４）５１３、分岐命令（５）５１４、分
岐命令（６）５１５、分岐命令（７）５１６および分岐
命令（８）５１７の８個である。

【００４８】次に、３回目の図３の双方向最適化処理１
０２を行う。３回目の双方向最適化処理１０２は、従来
の技術で説明した５回目の最適化処理１０６と同様であ
るので以上３回目で図３の双方向最適化処理１０２を終
了する。

【００４９】以上説明したように、本実施例によると、
従来例では５回必要とした最適化処理を３回で済ますこ
とができる。

【００５０】

【発明の効果】以上説明したように、本発明におけるア
センブラの分岐命令の最適化処理方式は、アドレスの小
さい順からの最適化とアドレスの大きい順からの最適化
を交互に行うことにより、例えば、従来の技術で５回必
要とした最適化処理を３回の最適化処理で済ますことが
できる。このことにより、交差している分岐命令がある
場合は、従来の技術と同じく最適化処理が１回必要であ
るが、従来の技術において連続した前方参照の分岐命令
の個数分最適化の回数が必要とされるのに対して、本発
明では、連続した前方参照の分岐命令の個数にかかわら
ず最適化処理が２回に削減される効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例を示すブロック構成図。

【図２】その双方向分岐命令情報テーブルの一例を示す
説明図。

【図３】その全体の動作を示す流れ図。

【図４】図３の双方向分岐命令情報テーブル作成処理の
一例を示す流れ図。

【図５】図３の双方向最適化処理の一例の前半部分を示
す流れ図。

【図６】図３の双方向最適化処理の一例の後半部分を示
す流れ図。

【図７】本発明を適用するソースプログラムファイルの
一例を示す説明図。

【図８】従来例を示すブロック構成図。

【図９】その分岐命令情報テーブルの一例を示す説明
図。

【図１０】その全体の動作を示す流れ図。

【図１１】図１０の分岐命令情報テーブル作成処理の一
例を示す流れ図。

【図１２】図１０の最適化処理の一例の前半部分を示す
流れ図。

【図１３】図１０の最適化処理の一例の後半部分を示す
流れ図。

【符号の説明】

１ ソースプログラムファイル ２、２ａ アセンブラ作成装置 ３ オブジェクトモジュールファイル ４ 記憶装置 ５、４３０〜４３９ 分岐命令情報テーブル ５ａ、４３０ａ〜４３９ａ 双方向分岐命令情報テーブ
ル ２１ 分岐命令情報テーブル作成手段 ２１ａ 双方向分岐命令情報テーブル作成手段 ２２ 最適化処理手段 ２２ａ 双方向最適化処理手段 ２３ オブジェクト生成処理手段 １００〜１０３、１０５〜１０７、２００〜２０５、３
００〜３２３ 処理 ４００、４０１、４１０〜４２９、４４０、４４１、４
４３ チェインポインタ ４４２ アドレス ４４４ コード増加量 ５０１、５０２ 分岐命令群 ５０３、５１０〜５１９ 分岐命令 ５２０〜５２９ 飛び先

Claims (1)

1. 【特許請求の範囲】 【請求項１】 分岐先までの相対アドレスの大小にかか
   わらず同一形式の分岐命令を記述したソースプログラム
   ファイルを入力して、前記分岐命令を最も短いオブジェ
   クトコードに対応させる最適化処理を行いオブジェクト
   モジュールファイルを生成する手段を備えたアセンブラ
   作成装置において、 前記分岐命令が前記ソースプログラムファイルに出現す
   る度に前記分岐命令の情報を持ちかつそのアドレスの大
   きい順にチェインでつないだ双方向分岐命令情報テーブ
   ルを作成し記憶装置に格納する双方向分岐命令情報テー
   ブル作成手段と、 前記双方向分岐命令情報テーブルを基に、前記分岐命令
   のアドレスの大きい順と小さい順とに交互に前記最適化
   処理を行う双方向最適化処理手段とを含むことを特徴と
   するアセンブラ作成装置。