JPH10133885A

JPH10133885A - 一括命令生成コンパイル方法

Info

Publication number: JPH10133885A
Application number: JP28491996A
Authority: JP
Inventors: Noriyasu Mori; 教安森; Sumio Kikuchi; 純男菊池
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1996-10-28
Filing date: 1996-10-28
Publication date: 1998-05-22

Abstract

(57)【要約】【課題】コンパイラの一括命令化処理において、一括
命令のオペランドである一括変数が連続領域にないと
き、一括変数生成コードが生成され、処理性能が低下す
る。【解決手段】上記課題を解決するために、一括変数に
対し優先的に連続メモリを割り当てる一括変数シンボル
メモリ割り当て処理をコンパイラのメモリ割り当て処理
に設ける。これにより、コンパイラの一括命令化処理
は、連続領域に割り当てられた一括変数に対して、一括
変数を生成する命令コードを生成する必要がなくなる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はコンパイラのコンパ
イル方法に係わり、特に、複数のデータに対する同種命
令を一括処理する一括命令（ＳＩＭＤ命令）を持つアー
キテクチャに対するコンパイル方法に関する。

【０００２】

【従来の技術】コンパイラは、高級言語で記述されたプ
ログラムを、対象アーキテクチャが備える命令語へと変
換する。コンパイラが扱う対象アーキテクチャには、複
数のデータに対する同種命令を一括処理する一括命令
（ＳＩＭＤ命令とも呼ばれる）を持つものがある。一般
の命令は、ある処理を一組のオペランドに対して処理を
行なっている。例えば、ｃ＝ａ＋ｂの場合、処理＋（加算）のオペランドａ、ｂに対して、
処理結果ｃが得られる。

【０００３】これに対し、一括命令では、（ｚ１，ｚ２）＝（ｘ１，ｘ２）＋（ｙ１，ｙ２）のように、複数データの演算を一度に行なうことが出来
る。

【０００４】上記の例では、ｚ１＝ｘ１＋ｙ１ｚ２＝ｘ２＋ｙ２を一度に行なっている。

【０００５】このような命令を実行するには、上記の
（ｘ１、ｘ２）のような一括データ生成する必要があ
る。以降では、このように複数データが配置された変数
を一括変数と呼ぶことにする。

【０００６】一括変数に複数データを配置するために、
一括変数と通常の変数や定数との間のデータ転送を行な
う命令や、一括変数をメモリとレジスタ間で転送する命
令があるとよい。このような命令を一括変数アクセス命
令と呼ぶことにする。一括命令を備えるアーキテクチャ
においては、一括変数アクセス命令を備えているのが、
一般的である。以降では、このようなアーキテクチャを
前提として話を進める。

【０００７】通常、一括命令は、必ずしもアーキテクチ
ャ上不可欠の機能ではない。即ち、非一括命令で等価な
処理を行なうことができるのが普通である。例えば、図
２２は一括命令を用いているが、図２９は一括命令を用
いないで等価な処理を行なっている。両者は、等価な処
理を行なっているが、一括命令を用いた図２２の方が高
速な処理が可能である。即ち、一括命令は、通常、一括
データに対する処理の高速化のために設けられている。
このように、一括命令は、処理性能向上のためのアーキ
テクチャ上の有力な機能である。

【０００８】一括命令の例としては、Ｉｎｔｅｌ社の拡
張命令セットＭＭＸが挙げられる。ＭＭＸに関して
は、"Linley Gwennap: Intel's MMX Speeds Multimedi
a,MICROPROCESSOR REPORT, vol.10, No.3, Mar. 1996,
pp.9-10"に詳しい。

【０００９】一括命令を有するアーキテクチャに対する
コンパイラは、独立した同機能の命令を集めて、一括命
令とする（これを一括命令化と呼ぶ）ことが出来る。こ
れは、オブジェクトプログラムの処理性能向上を目的と
した、最適化の一つとなりえる。しかしながら、一括命
令化が処理性能の向上をもたらすとは、一概にはいえな
い。以下にその理由を述べる。

【００１０】一括命令を用いるためには、データを一括
変数に配置する必要がある。一括変数は、複数の変数を
一つにまとめたものであるが、その構成要素である要素
変数は本来独立した個別変数である。従って、そのメモ
リ領域も本来独立して割り当てられる。よって、一括変
数の要素変数が連続領域に割り当てられる保証はない。
一方で、一括変数の要素変数が連続領域にないときは、
要素変数を一括化する等の命令コード（これを一括変数
アクセス命令コードと呼ぶ）をコンパイラが付加する必
要がある。一括変数アクセス命令コードは、一括変数の
要素変数が連続領域にある場合には不要である。即ち、
一括変数が連続領域に配置されていないと、一括命令化
に伴う一括変数生成時に、一括変数アクセスコードの付
加が必要となる。そのため、場合によっては、一括命令
化が処理性能を低下させてしまうこともある得る。

【００１１】上記文献の９ページに記載されている通
り、従来技術において、一括命令化を行なっているコン
パイラの例はない。その理由の一つが、この一括変数ア
クセス命令コードが必要になることである。この一括変
数アクセス命令を生成する要因の一つに、メモリ配置の
問題がある。そこで、コンパイラのメモリ割り当てに関
して述べる。

【００１２】一般に、プログラム中に現れる変数の記憶
域は、プログラム全体、ファイル、関数といった単位で
割り当てられる。例えば、Ｃ言語では、各々、ｅｘｔｅ
ｒｎ、ｓｔａｔｃ、ａｕｔｏと表記される。これらの記
憶域（メモリ）割り当て単位を記憶域クラスと呼ぶ。コ
ンパイラは、記憶域クラス毎に、変数や定数をメモリに
割り当てる必要がある。この処理を行なっているのが、
コンパイラのメモリ割り当て処理である。ある記憶域ク
ラスでの割り当ては、その先頭位置からのオフセット値
を割り当て対象に与えることで行なう。従って、割り当
て順序がそのままメモリ配置の順となるのが普通であ
る。

【００１３】変数のメモリ配置順序は、制約のため変更
出来ないものもあるが、基本的には、コンパイラが決定
する。即ち、コンパイラは、その記憶域クラス内の任意
の位置に配置してよい。しかしながら、メモリ配置順序
による処理性能の差異等はないのが普通であるため、コ
ンパイラは、通常、メモリ配置に関して特別な配慮はお
こなっていない。即ち、コンパイラはソースプログラム
の順にコンパイル処理を行なうため、メモリへの割り当
て順序もソースプログラムでの出現順となるのが普通で
ある。

【００１４】以上述べてきたように、従来技術において
は、コンパイラは対象アーキテクチャが一括命令を持つ
かどうかに関係なくメモリ割り当て処理を行なってい
た。

【００１５】

【発明が解決しようとする課題】従来技術の項で述べた
通り、一括命令化は、必ずしも性能向上につながらない
場合がある。この一括命令化による処理性能向上を妨げ
る１要因として、メモリ配置の問題がある。即ち、一括
変数の要素となる変数が連続領域に割り当てられない時
は、コンパイラの一括命令化による性能向上を妨げると
いう問題があった。本発明の目的は、一括命令化に伴
う命令コ−ドの増加を防止できるコンパイル方法を提供
することにある。また、一括命令化に伴って一括変数を
メモリの連続領域に配置するための情報を生成する方法
を提供することにある。

【００１６】

【課題を解決するための手段】上記従来技術の問題は、
コンパイラのメモリ割り当て処理が、一括命令化処理と
は無関係に行なわれることに原因がある。

【００１７】そこで、この問題を解決するために、同型
命令を認識し、その同型命令情報を用いてメモリ割り当
てを行なう手段を、コンパイラに設ける。コンパイラの
メモリ割り当て処理は、上記同型命令情報を参照し、一
括変数の要素となる変数を、出来る限り連続領域に割り
付ける。これにより、一括命令化に伴う一括変数アクセ
ス命令コードの生成を抑止することができ、オブジェク
トプログラムの処理性能の向上に寄与する。

【００１８】

【発明の実施の形態】本発明は、同種処理を複数データ
に対し一括処理する一括命令（ＳＩＭＤ命令）を備える
アーキテクチャに対するコンパイラのコンパイル方式に
関するものである。以下では、本発明の１実施例を図面
を用いて説明する。

【００１９】図１は、本発明のコンパイル方法を実施す
るコンパイラが動作する計算機システムの構成図であ
る。計算機システムは、ＣＰＵ１０１、ディスプレイ装
置１０２、キーボード１０３、主記憶装置１０４、外部
記憶装置１０５より構成されている。キーボード１０３
より、ユーザからのコンパイラ起動命令を受け付ける。
コンパイラ終了メッセージや、エラーメッセージは、デ
ィスプレイ装置１０２に表示される。外部記憶装置１０
５には、ソースプログラム１０６とオブジェクトプログ
ラム１０７が格納される。主記憶装置１０４には、コン
パイラ１０８があり、コンパイル過程で必要となる中間
語３、シンボルテーブル４、同型命令情報テーブル５、
一括化情報テーブル６が格納される。コンパイル処理
は、ＣＰＵ１０１によって制御される。

【００２０】図２に本実施例のコンパイラの処理手順を
示す。構文解析２０１では、ソースプログラム１０６を
入力として字句構文解析を行ない、中間語３及びシンボ
ルテーブル４を出力する。メモリ割り当てと一括命令化
２は、中間語３及びシンボルテーブル４を入力とし、個
々のシンボルに対しメモリを割り当てるメモリ割り当て
処理と複数命令を一括命令に変換する一括命令化処理を
行ない、中間語３及びメモリ配置テーブル８を出力す
る。レジスタ割り当て処理２０２は、中間語上に現れる
変数（一括変数も含む）や定数に対してレジスタを割り
当てる。コード生成処理２０３は、中間語を最終的なオ
ブジェクトプログラム１０７の形式に変換する。

【００２１】図３は、本発明におけるメモリ割り当て方
法の１実施例を示すフローチャート図であり、図２のメ
モリ割り当てと一括命令化処理２の手順を表している。

【００２２】先ず、同型命令認識処理２１により、同型
命令を認識して、同型命令情報テーブル５を作成する。
次に、一括情報テーブル生成処理２２により、一括情報
テーブル６を生成する。尚、一括情報テーブル生成処理
２２は、同型命令を一括命令化する一括命令テーブル生
成処理２２１と、同型命令のオペランドや演算結果を一
括変数化する一括変数テーブル生成処理２２２で構成さ
れ、この順に処理される。

【００２３】次に、メモリ割り当て処理９により、シン
ボルテーブル４の各シンボルにメモリを割り当てたメモ
リ配置テーブル８を生成する。メモリ割り当て処理９
は、最初に一括変数シンボル割り当て処理９１を行なっ
た後に、非一括変数のメモリ割り当てである一般シンボ
ルのメモリ割り当て処理９２を行う。

【００２４】一括変数シンボル割り当て処理９１は、以
下の手順で行なう。先ず、未処理一括変数があるかどう
かを判定（ステップ９１１）し、存在する場合は、その
要素シンボル集合をａｖｓとして（ステップ９１２）、
ａｖｓを連続メモリ領域に割り当て可能かどうかを判定
する（ステップ９１３）。可能な場合は、連続領域に割
り当てる（ステップ９１４）。そうでない場合は、ａｖ
ｓのメモリ割り当てを行なわないで、ステップ９１１へ
進む。尚、ステップ９１３でＮｏと判定された要素シン
ボル及び、要素シンボルでない（一括変数化されない）
シンボルは、一般シンボルメモリ割り当て処理９２に
て、メモリが割り当てられる。

【００２５】一般シンボルメモリ割り当て処理９２は、
シンボルテーブル４を参照して、未割り当ての変数や定
数（シンボル）を逐次走査し、割り当てる度にオフセッ
ト値を進めていくことで容易に実現できるので、詳しく
は述べない。従来技術におけるメモリ割り当て処理と同
等なものである。

【００２６】メモリ割り当て処理後には、一括化コード
変換処理２３により中間語３を一括命令化する。一括化
コード変換処理２３は、一括化に必要な変換コードの一
覧を生成する一括化変換テーブル生成処理２３１、一括
化変換コードテーブルに従って中間語を変換する一括化
中間語変換処理２３２で構成され、この順に処理され
る。

【００２７】図４は、図３で示したメモリ割り当て関連
処理と、入出力となる中間語やテーブル類の関係を示し
た処理構成図である。但し、中間語３とシンボルテーブ
ル４は、全般的に参照するため、入出力関係は主要なも
ののみを示した。

【００２８】同型命令認識処理２１は、一括命令化前中
間語３１及びシンボルテーブル４を入力とし、同型命令
の情報を格納した同型命令情報テーブル５を生成する。
同型命令情報テーブル５は、同型命令の一覧を格納する
同型命令テーブル５１と、同型命令の中間語情報を格納
する命令ノードテーブル５２から成る。

【００２９】一括情報テーブル生成処理２２は、同型命
令情報テーブル５を入力とし、同型命令を一括命令にす
る情報を格納した一括情報テーブル６を生成する。

【００３０】一括情報テーブルは、同型情報テーブル５
の同型命令から一括命令を抽出した一括命令テーブル６
１と、同型情報テーブル５の同型命令から一括変数を抽
出した一括変数テーブル６２から成る。一括情報テーブ
ル生成処理２２のうち、一括命令テーブル６１を生成す
るのが一括命令テーブル生成処理２２１、一括変数テー
ブル６２を生成するのが一括変数テーブル生成処理２２
２である。

【００３１】メモリ割り当て処理９は、シンボルテーブ
ル４と一括変数テーブル６２を入力とし、各シンボルの
記憶域を決定し、メモリ配置テーブル８を生成する。一
括変数シンボル割り当て処理９１は、一括変数テーブル
６２を参照しながら、一般シンボルメモリ割り当て処理
９２は、シンボルテーブル４のみを参照して、メモリ配
置テーブルのエントリにメモリ位置を格納する。

【００３２】一括化変換テーブル生成処理２３１は、一
括情報テーブル６とメモリ配置テーブル８を入力とし
て、一括命令化に伴う中間語変換の情報を格納した一括
化変換テーブル７を生成する。一括化変換テーブル７
は、個々の一括命令化の中間語変換の情報を格納する一
括化命令変換テーブル７１と、命令ノード単位の中間語
コードの情報を格納する変換コードテーブル７２からな
る。一括化中間語処理２３２は、一括化変換テーブル７
を参照して、一括命令化前中間語３１を一括命令化中間
語３２に変換する。

【００３３】次に、具体的な適用例の説明のため、処理
対象たるソースプログラムの例を挙げておく。

【００３４】図５は、本発明の一実施例の説明のための
ソースプログラム例である。従来技術の項で述べた通
り、記憶域クラスとしては、プログラム全体、ファイル
内、関数内等の配置単位がある。記憶域の割り当てが行
なわれるのが、それぞれリンク時、ファイルコンパイル
時、関数コンパイル時といった違いがあるが、本発明に
おいて本質的な違いはない。例えば、リンク時に割り当
てを行なう場合は、一括化情報をオブジェクトファイル
に格納する等の方法で、容易に実現できる。

【００３５】本発明は、どの記憶域に関しても適用可能
であるが、説明の簡略化のため、ファイル単位の記憶域
の割り当てに絞って説明するものとする。従って、本実
施例では、ｓｔａｔｉｃ変数に対するメモリ割り当ての
みを考える。

【００３６】図５は、Ｃ言語で書かれたプログラムであ
り、メモリ割り当て対象となるのは、１行から４行にあ
るｘｎ，ａｎ，ｂｎ（ｎ＝０から１）の計６個のｓｔａ
ｔｉｃ変数である。従って、コンパイラはこれらの変数
に対し、ファイル単位でメモリを割り当てる。

【００３７】次に、中間語３の構成例を示すが、ここで
中間語の例示に関して説明する。図５のプログラム例で
は、関数ｆ、ｍａｉｎの２関数があるが、本発明と密接
に係わるのは、関数ｆであるので、以降では、中間語の
例は、関数ｆに関するものだけを例示する。

【００３８】また、本実施例の説明においては、中間語
は１行に１命令ノードを配した命令語レベルの疑似アセ
ンブラソースの形式で示す。このレベルの中間語では、
オブジェクトプログラムの命令列と１対１に対応してい
るので、本実施例における中間語の構成例は、そのまま
オブジェクトプログラム１０７の例となっている。以降
では、命令語レベルの中間語単位を命令ノードと呼ぶこ
とにする。

【００３９】命令ノードは、以下の形式で記述する。ｏｐｎ．ｎｌｎ１，ｌｎ２，ｌｎ３ここに、「ｏｐｎ」はｌｏａｄやｓｕｂ（減算）といっ
た命令の主コード、「．ｎ」は、演算のデータサイズで
ある。本実施例においては、命令語が演算のデータサイ
ズや符合といった情報をもつものとするが、簡単のた
め、符合の有無は考えない。以降では、データサイズつ
きの命令主コード「ｏｐｎ．ｎ」を命令種別と呼ぶ。

【００４０】「ｌｎ１，ｌｎ２，ｌｎ３」の部分は、命
令ノードの演算結果やオペランドを格納する変数や定数
でありリーフノード集合と呼ぶ（個々のｌｎ１等はリー
フノードと呼ぶ）。尚、リーフノードの個数は、命令種
別に応じて予め決まっている。命令ノードは、中間語の
特定のノードを指し示しており、リーフノードの個数や
シンボル番号等を取得することが出来る。

【００４１】ここで、本発明に関連する命令に関して説
明する。本発明は、一括化命令に関するものであり、そ
のリーフノードとして、一括変数を生成する必要がある
（詳細は後述）。一括変数を生成するためには、場合に
よっては通常の変数を一括変数に埋め込んだり、逆に一
括変数からその要素変数を取り出すことが必要となる。
本実施例では、前者を圧縮命令、後者を展開命令と呼ぶ
ことにする。

【００４２】命令ノードの形式は、ｏｐａｓｙｍ＜ｅｏｆ＞，ｅｓｙｍであり、ｏｐが命令種別、ａｓｙｍが一括変数、ｅｏｆ
が一括変数中の要素変数のオフセット、ｅｓｙｍが一般
の変数を表す。命令の主コードは、圧縮命令はｃｍｐ
ｓ、展開命令はｅｘｐｎとする。例えば、「ｃｍｐｓ．２ａ＜２＞，ｂ」は、変数ｂ（データサイズは２）を一括変数ａのオフセ
ット２の位置に格納する命令である。

【００４３】図６は、図５のソースプログラム例に対す
る（一括命令化前の）中間語３１の例である。図６にお
いて、各行にあるのが命令ノードである。例えば、１０
６行にある命令ノードは、命令種別が「ｓｕｂ．２」
で、リーフノード集合｛ｔ０２，ｔ００，ｔ０１｝を持
つなどという。

【００４４】中間語３においては、ソースプログラムを
命令語レベルに翻訳しているため、コンパイラが生成し
た一時変数を使った形式となっている。例えば、ｔ００
からｔ０４、ｔ１０からｔ１４が、それにあたる。尚、
図５の６行は、図６の１０２行から１１２行に対応して
いる。

【００４５】以下簡単に説明すると、１０２行でａ０、
１０４行でｘ０、１０８行でｂ０をメモリからロード
し、１０６行でａ０からｘ０の減算、１１０行で１０６
行の演算結果ｔ０２とｂ０との乗算、１１２行で１０６
行の演算結果ｔ０４のメモリへのストアを各々行なって
いる。

【００４６】図７は、図５の例に対して求めたシンボル
テーブル４の構成例である。シンボルテーブルは、プロ
グラム中に出現する変数や定数（これらをシンボルと呼
ぶ）毎に、エントリが作成される。各シンボルには、一
意なシンボル番号が付与されており、そのシンボル番号
により各エントリがアクセス可能となっている。各エン
トリは、シンボル番号欄４１、シンボル名称欄４２、シ
ンボル属性欄４３、記憶域クラス欄４４で構成される。

【００４７】シンボル番号欄４１には、シンボルテーブ
ルのエントリ番号、シンボル名称欄４２には、対応する
シンボルの名称が格納される。シンボル属性欄４３に
は、当該変数／定数の型情報等が格納される。シンボル
属性には、データのサイズや、符合の有無、データ形式
（整数型や浮動小数点型等の区別）等が設定されるが、
本実施例においては例としてデータサイズのみが格納さ
れているものとする。記憶域クラス欄４４には、メモリ
割り当ての配置単位となる記憶域クラスが格納される。
本実施例では、記憶域クラスは、ｅｘｔｅｒｎ、ｓｔａ
ｔｃ、ａｕｔｏといったＣ言語の記憶域クラス名称によ
り示す。

【００４８】例えば、図７のエントリ４５は、図５のプ
ログラム例の１行目の変数ｘ０に対応しており、データ
サイズが２で、記憶域クラスはｓｔａｔｉｃ（ファイル
単位配置）あることを示している。

【００４９】以降では、メモリ割り当てと一括命令化処
理２の細部の説明を行なう。説明にあたっては、図６の
中間語と図７のシンボルテーブルを入力例とし、各種テ
ーブルの出力例を逐次示していく。そこで、先ず、各種
テーブルの構成例を説明してから、処理手順の説明を行
なう。以下、同型命令情報テーブル５、一括情報テーブ
ル６、メモリ配置テーブル８、一括化変換テーブル７の
順にその構成例を述べる。同型命令情報テーブル５は、
同型命令テーブル５１と命令ノードテーブル５２で構成
されており、後者は前者の補助テーブルとなっている。

【００５０】図８は、同型命令テーブル５１の構成例で
ある。同型命令テーブルは、一括命令化が可能な命令の
命令種別毎にエントリが作成される。各エントリは、同
型命令番号欄５１１、命令種別欄５１２、一括命令個数
欄５１３、同型命令ノード集合欄５１４で構成される。

【００５１】同型命令番号欄５１１には、同型命令のエ
ントリ番号が格納される。命令種別欄５１２には、同型
命令の命令種別が格納される。一括命令個数欄５１３に
は、一括命令とするのに必要な同型命令ノードの個数
（これを一括命令個数と呼ぶことにする）が格納され
る。尚、この一括命令個数は、命令種別に応じて予め決
まっている。本欄が設けられているのは、説明のためで
ある。同型命令ノード集合欄５１４は、演算種別に属す
る命令ノードの一覧を格納するもので、中間語上に未登
録の同型命令ノードが出現する度に、追加格納される。
この集合の要素は命令ノードテーブル５２のエントリ番
号であり、個々の命令ノードの詳細は、命令ノードテー
ブルに格納されている。

【００５２】例えば、図８のエントリ５１５の例では、
命令種別ｓｕｂ．２（２バイトの減算）の命令ノードの
一覧が、命令ノード集合欄５１４に命令ノード番号で示
されている。即ち、命令ノードエントリ５２６と５２７
が同型命令であることを示している。

【００５３】図９は、命令ノードテーブル５２の構成例
である。命令ノードテーブルは、中間語３の同型命令に
関連する情報を、説明のためテーブル形式で表したもの
である。命令ノードテーブルには、一括命令化が可能な
同型命令の命令ノード毎にエントリが作成される。各エ
ントリは、命令ノード番号欄５２１、命令種別欄５２
２、リーフノード個数欄５２３、リーフノード集合欄５
２４、命令ノード位置欄５２５で構成される。

【００５４】命令ノード番号欄５２１にはエントリ番
号、命令種別欄５２２には命令種別が、各々格納され
る。リーフノード個数欄５２３には、該命令のリーフノ
ードにある変数や定数の個数が格納される。リーフノー
ド集合欄５２４には、該命令のリーフノードにある変数
や定数の集合が、シンボルテーブル４のエントリ番号
（シンボル番号）の集合の形式で格納される。ノード位
置欄５２５には、該命令ノードの中間語３での位置が、
（本実施例では）行番号で示されている。

【００５５】例えば、図９のエントリ５２６は、命令種
別がｓｕｂ．２、リーフノードが３個で、そのシンボル
番号が｛９，７，８｝即ち、ｔ０２、ｔ０１、ｔ０２で
ある命令ノードが、ノード位置１０６にあることを示し
ている。これは、図６の１０６行目の命令ノードを示し
ている。

【００５６】次に、一括情報テーブル６の説明を行な
う。一括情報テーブル６は、一括命令テーブル６１と一
括変数テーブル６２で構成されている。以下、順に説明
する。

【００５７】図１０は、一括命令テーブル６１の構成例
である。

【００５８】一括命令テーブルは、同型命令テーブルを
入力として一括命令毎にエントリが作成される。各エン
トリは、一括命令番号欄６１１、一括命令種別欄６１
２、一括命令ノード個数欄６１３、一括命令ノード集合
欄６１４、リーフ一括変数個数欄６１５、リーフ一括変
数集合欄６１６で構成される。

【００５９】一括命令番号欄６１１にはエントリ番号、
一括命令種別欄６１２には命令種別が、各々格納され
る。一括命令ノード個数欄６１３には、一括命令化する
命令ノードの個数が格納される。一括命令ノード集合欄
６１４には、一括命令化する命令ノードの集合が、命令
ノードテーブルのエントリ番号の形式で格納される。リ
ーフ一括変数個数欄６１５には、該一括命令のリーフノ
ードである一括変数の集合の個数が格納される。リーフ
一括変数集合欄６１６には、該一括命令のリーフノード
である一括変数の集合が、一括変数テーブルのエントリ
番号の形式で格納される。

【００６０】例えば、図１０のエントリ６１７は、命令
ノード番号｛３，９｝のｓｕｂ．２が一括命令化される
場合の例である。一括化された命令は、リーフノードが
一括変数番号｛６，４，５｝である一括減算命令（ｍｓ
ｕｂ）、即ち、「ｍｓｕｂ．４ｍｔ２，ｍｔ０，ｍｔ１」を示している。

【００６１】図１１は、一括変数テーブル６２の構成例
である。一括変数テーブルは、同型命令情報テーブル５
を入力として一括変数毎にエントリが作成される。各エ
ントリは、一括変数番号欄６２１、一括変数シンボル欄
６２２、要素シンボル集合欄６２３で構成される。

【００６２】一括変数番号欄６２１には、一括変数番号
を示すエントリ番号が格納される。一括変数シンボル欄
６２２は、一括変数化した時の変数名称を格納する欄で
あり、やはりシンボルテーブル４のシンボル番号で格納
される。要素シンボル集合欄６２３は、一括変数の要素
である変数の集合が、シンボルテーブルのエントリ番号
の形式で登録されている。

【００６３】例えば、図１１のエントリ６２４は、一括
変数シンボルがｍｘ（シンボル番号１７）で、その要素
変数集合が｛ｘ０、ｘ１｝（シンボル番号｛１，４｝）
であることを示している（シンボルテーブルは、図１８
の一括変数化後のシンボルテーブルを参照）。

【００６４】図１２は、メモリ配置テーブル８の構成例
である。メモリ配置テーブルは、各シンボル毎にエント
リが生成され、そのエントリ番号は、シンボルテーブル
４と同じである。本テーブルは、シンボルテーブル４の
フィールド（欄）と共通にするのが普通であるが、説明
の簡略化のため、別テーブルに分離してある。各エント
リは、シンボル番号欄８１、シンボル名称欄８２、シン
ボル属性欄８３、記憶域クラス欄８４、記憶域オフセッ
ト欄８５で構成される。

【００６５】シンボル番号欄８１、シンボル名称欄８
２、シンボル属性欄８３、記憶域クラス欄８４は、シン
ボルテーブル４のそれと全く同じなので、説明は省略す
る。これらの欄は、説明のため設けたものである。記憶
域オフセット欄８５には、当該シンボルの記憶域クラス
欄８４で示された単位領域での先頭からの相対オフセッ
トが格納される。尚、本実施例では、ファイル単位の割
り当て例のみを示すので、記憶域クラス８４がｓｔａｔ
ｉｃ以外のシンボルに関しては、簡単のためエントリを
省略する。図７においてシンボル番号７から１６はコン
パイラが生成した一時変数であり、記憶域クラスはａｕ
ｔｏとなるので、エントリを省略した。

【００６６】例えば、図１２のエントリ８６は、図４の
プログラム例の１行目の変数ｘ０、図６のシンボル番号
１のエントリに対応しており、オフセットは０となって
いる。

【００６７】次に、一括化変換テーブル７の説明を行な
う。一括化変換テーブル７は、一括化命令変換テーブル
７１と変換コードテーブル７２で構成されており、後者
は前者の補助テーブルとなっている。以下、順に説明す
る。

【００６８】図１３は、一括化命令変換テーブル７１の
構成例である。一括化命令変換テーブルは、一括命令単
位でエントリが生成され、そのエントリ番号は、一括命
令テーブル６１と同じである。即ち、本テーブルは、一
括命令テーブル６１にフィールド（欄）を拡張したもの
であり、一括命令テーブルの各欄も参照可能である。各
エントリは、一括命令番号欄７１１、変換コード個数欄
７１２、変換コード集合欄７１３、一括命令フラグ欄７
１４、ノード位置欄７１５で構成される。

【００６９】一括命令番号欄７１１には、一括命令テー
ブル６１と同じエントリ番号が格納される。変換コード
個数欄７１２には、一括命令化に伴って必要となる新規
作成命令ノード（これを変換コードと呼ぶ）の個数が格
納される。変換コード集合欄７１３には、上記の変換コ
ードの集合が、変換コードテーブルのエントリ番号の形
式で格納される。一括命令フラグ欄７１４には、一括命
令化が可能かどうかを示すフラグが格納される（このフ
ラグの値は、可能なときＴ、不能なときＦとする）。ノ
ード位置欄７１５には、一括命令を生成するノード位置
が格納される。

【００７０】例えば、図１３のエントリ７１６は、変換
コード生成の必要がなく、ノード位置１０５で一括命令
化が可能であることを示している。

【００７１】図１４は、変換コードテーブル７２の構成
例である。変換コードテーブルは、変数を一括変数化す
る際の変換コードの生成に必要な情報を格納したもので
ある。一括変数化変換コードは、一括変数の要素変数が
連続領域になかったり、異なる一括変数が同一の要素変
数を持っていたりする場合に必要となる。変換コードテ
ーブルは、一括化命令変換エントリの生成にあたり、変
換コードが必要とされる度にエントリが作成される。

【００７２】各エントリは、変換番号欄７２１、一括変
数シンボル番号欄７２２、要素変数シンボル番号欄７２
３、一括化オフセット欄７２４、変換命令欄７２５、ノ
ード位置欄７２６で構成される。変換番号欄７２１に
は、変換コード番号を示すエントリ番号が格納される。
一括変数シンボル番号欄７２２には、変換コードの一括
変数のシンボル番号が格納される。要素変数シンボル番
号欄７２３には、変換コードの要素変数のシンボル番号
が格納される。一括化オフセット欄７２４には、変換コ
ードの一括化オフセットが格納される。変換命令欄７２
５には、変換コードの命令種別が格納される。ノード位
置欄７２６には、変換コードを挿入すべきノード位置が
格納される。

【００７３】７２２から７２５の各欄の値を用いて、生
成すべき一変換コードを構成することができる。即ち、
変換コードは、「変換命令一括変数＜要素オフセット＞，要素変数」とすればよい。

【００７４】図１４の例は、変換コードの必要がない場
合の例となっている。そこで、従来技術における変換コ
ードテーブルの例で説明する。図２８は、従来技術にお
ける変換コードテーブルの例である。エントリ７２８
は、図２９行の１１５行目の命令ノード生成の指示であ
る（詳細は略す）。

【００７５】以上で、本実施例で用いる各種テーブル構
成の説明を終る。

【００７６】以下、これらのテーブルを生成／参照する
各種処理の説明を順に行なう。図１５は、同型命令認識
処理２１のフローチャート図である。同型命令認識処理
は、中間語３を逐次走査し、同型命令を検出したら同型
命令テーブルに登録することで、同型命令情報テーブル
５を生成する。中間語の走査は、命令語に相当する中間
語の単位ノードである命令ノードで行なう。以下、その
手順を説明する。

【００７７】先ず、未処理命令ノードｏｐがあるか否か
を判定（ステップ１５０１）し、未処理命令ノードがな
くなるまで、ステップ１５０２以下の処理を行なう。未
処理命令ノードｏｐがある場合には、先ず、ｏｐの命令
種別をｏｐｎとする（ステップ１５０２）。そして、ｏ
ｐｎが一括命令化が可能な命令種別であるか否かを判定
する（ステップ１５０３）。

【００７８】一括命令化が可能な種別でないときは、ス
テップ１５０１に進み、次の未処理命令ノードの処理を
行なう。ステップ１５０３でｙｅｓのときは、命令種別
がｏｐｎであるエントリ（これをｏｐｎｅとする）が既
に登録されているかどうかを調べ（ステップ１５０
４）、未登録ならば、ｏｐｎｅを新規に作成、登録する
（ステップ１５０５）。

【００７９】次に、命令ノードテーブル５２に新規エン
トリｏｐｅを作成し、ｏｐを登録する（ステップ１５０
６）。具体的には、ｏｐの命令種別ｏｐｎ、リーフノー
ド個数、リーフノード集合、命令ノード位置を、それぞ
れ、命令種別欄５２２、リーフノード個数欄５２３、リ
ーフノード集合欄５２４、命令ノード位置欄５２５に格
納する。尚、リーフノード集合は、演算結果やオペラン
ドを順に並べたもので、命令ノードｏｐの末端にあるノ
ードであるリーフノード（変数や定数を示すノード）を
調べることで、容易に得られる。リーフノード集合に
は、命令種別に応じた必要な数だけのシンボル番号が格
納される。最後に、ステップ１５０６で作成した命令ノ
ードエントリを同型命令テーブルのエントリｏｐｅの同
型命令集合に加える（ステップ１５０７）。

【００８０】図８は、図６で示された一括命令化前中間
語３１を入力とし、上記の処理を行なった結果を示す同
型命令テーブルの例となっている。例えば、エントリ５
１５は、図６の１０６行と１１８行を同型命令として認
識した結果を示している。また、図９は、図６で示され
た一括命令化前中間語３１を入力とし、上記の処理を行
なった結果を示す命令ノードテーブル５２の例となって
いる。例えば、エントリ５２６は、図６の１０６行に対
応している。

【００８１】図１６は、一括命令テーブル生成処理２２
１のフローチャート図である。一括命令テーブル生成処
理は、一括化命令ノード集合ａｏｎｓを求め、それを一
括化情報命令テーブル６に登録することで達成される。
一括化命令ノード集合ａｏｎｓは、一括命令化する命令
ノードの集合であり、命令ノードテーブル５２のエント
リ番号の形式で表現される。同型命令テーブル５１の各
エントリが、一括命令化の候補集合を表しているのに対
し、一括命令テーブルは、実際に一括命令化を行なう命
令ノード集合を保持している。

【００８２】尚、以下では、ａｏｎｓに属する命令ノー
ドの数をｎｍ、ａｏｎｓに属する命令ノードのリーフノ
ード数をｎｋとする。また、ａｏｎｓのｍ番目の命令ノ
ードをａｏｎｓ［ｍ］、ａｏｎｓ［ｍ］のｋ番目のリー
フノードをａｏｎｓ［ｍ］［ｋ］と表記する。また、ａ
ｏｎｓのリーフノード集合を、ａｏｎｓ＜ｋ＞と表記す
る。リーフノード集合は、ａｏｎｓの各命令ノードのｋ
番目のリーフノードを集めたもので、ａｏｎｓ＜ｋ＞＝｛ａｏｎｓ［ｍ］［ｋ］｜ｍはａｏｎ
ｓの全ての命令ノード番号｝である。従って、リーフノード集合は、ｎｋ個存在す
る。

【００８３】例えば、ｎｊ＝ｎｋ＝２のときは、ａｏｎｓ＜０＞＝｛ａｏｎｓ［０］［０］，ａｏｎｓ
［１］［０］｝ａｏｎｓ＜１＞＝｛ａｏｎｓ［０］［１］，ａｏｎｓ
［１］［１］｝のように、２つのリーフノード集合が構成できる。

【００８４】以上の表記を用いて、一括命令テーブル生
成処理の説明をする。先ず、一括命令エントリ番号ｉを
０で初期化する（ステップ１６０１）。次に、同型命令
テーブルの未処理エントリを検索し、これをｅとする
（ステップ１６０２）。そして、同型命令ノード集合ｉ
ｏｎｓを、ｅの命令ノード集合欄の値で初期化する（ス
テップ１６０３）。また、ｅの一括命令個数欄から、ｅ
の一括化命令個数ｎｍを取得する（ステップ１６０
４）。ここで、一括化同型命令個数ｍを０で、一括化同
型命令集合ａｏｎｓを空で初期化（ステップ１６０５）
する。そして、ｉｏｎｓに未処理命令ノードｏｎがある
かどうかを判定（ステップ１６０６）する。未処理命令
ノードｏｎがあるときは、ｏｎが一括命令化可能である
かどうかを判定する（ステップ１６０７）。この一括命
令化の可能性判定は、ｉｏｎｓの全ノードが、ｏｎのノ
ード位置ｎｄｐに移動可能か等により判定するが、本発
明には直接関係しないので詳細は略す。

【００８５】ステップ１６０７で一括命令化が不可能と
判断されたときは、ステップ１６０６に進み、次の未処
理命令ノードｏｎの一括命令化を試みる。一括命令化可
能なときは、ａｏｎｓにｏｎを加え（ステップ１６０
８）、ｍをインクリメント（ステップ１６０９）する。

【００８６】そして、一括化命令数ｎｍとｍを比較（ス
テップ１６１０）し、まだ一括命令化の余地があるかど
うかを判定する。ｍがｎｍと等しくないときは、ステッ
プ１６０６以下により、さらに一括命令化を進める。そ
れ以外の場合は、一括命令エントリの登録を行なう。即
ち、ｉをインクリメントして新規一括命令エントリを作
成（ステップ１６１１）し、ａｏｎｓを一括化命令ノー
ド集合欄へ格納する（ステップ１６１２）。その後、ス
テップ１６０５に進み、ｉｏｎｓの未処理命令ノードの
一括命令化処理を反復実行する。ｍが、一括化命令数ｎ
ｍに達しなかった場合は、ステップ１６１１の登録が行
なわれず、一括命令化は行なわれない。同型命令テーブ
ルの全てのエントリに対し、ステップ１６０３以下の処
理を実行すれば、一括命令テーブル生成処理は完了す
る。

【００８７】図１０は、図８及び図９で示された同型情
報テーブル５を入力とし、上記の処理を行なった結果を
示す一括命令テーブル６１の例となっている。例えば、
エントリ６１７は、図８のエントリ５１５を一括命令と
したものである。

【００８８】図１７は、一括変数テーブル生成処理２２
２のフローチャート図である。一括変数テーブル生成処
理は、一括命令テーブルの各エントリにある一括命令ノ
ード集合から一括変数テーブルを生成する。

【００８９】最初に、一括変数エントリ番号ｊを０で初
期化する（ステップ１７０１）。次に、未処理一括命令
エントリａｏｅがあるかどうかを判定（ステップ１７０
２）し、存在する間はステップ以下を反復実行する。先
ず、ａｏｅのリーフノード個数をｎｋ（ステップ１７０
３）、一括命令ノード個数をｎｍ（ステップ１７０
４）、一括命令ノード集合をａｏｎｓ（ステップ１７０
５）とする。そして、リーフノード番号ｋを０で初期化
（ステップ１７０６）後、ｋを制御変数とする反復処理
を行なう。

【００９０】先ず、ａｏｎｓのｋ番リーフノード集合ａ
ｏｎｓ＜ｋ＞を求める（ステップ１７０７）。そして、
ｋ番リーフノード集合ａｏｎｓ＜ｋ＞が、一括変数テー
ブルに未登録か否かを判定する（ステップ１７０８）。
この判定は、一括変数要素集合欄がａｏｎｓ＜ｋ＞と一
致する一括変数エントリがあるかどうかで容易に判定で
きる。既登録の場合は、その登録エントリ番号をｊｋと
し（ステップ１７１２）て、ステップ１７１３に進む。
未登録の場合は、新規シンボルテーブルエントリａｓｙ
ｍを作成登録する（ステップ１７０９）。そして、新規
一括変数エントリｊｅを作成し、ｊをインクリメントし
てｊｋ＝ｊとする（ステップ１７１０）。そこで、ｊｅ
の一括変数要素集合欄にａｏｎｓ＜ｋ＞を格納する（ス
テップ１７１１）。

【００９１】一括変数の登録エントリ番号ｊｋが定まっ
たところで、ａｏｅのリーフノード集合欄にｊｋを追加
する（ステップ１７１３）。そして、ｋをインクリメン
ト（ステップ１７１４）後、ｋとリーフノード個数ｎｋ
が等しいかどうかを判定（ステップ１７１５）する。等
しくない場合は、ステップ１７０７以下を反復実行す
る。ステップ１７１５の判定でｙｅｓとなったとき、ａ
ｏｅに関する一括変数の登録が完了する。

【００９２】図１１は、図８及び図９で示された同型情
報テーブル５を入力とし、上記の処理を行なった結果を
示す一括変数テーブル６２の例となっている。例えば、
エントリ６２４は、ｘ０とｘ１を要素シンボルとする一
括変数ｍｘを示している。（ｍｘに関しては、図１８を
参照。）図１８は、一括変数生成後のシンボルテーブル４の例で
ある。エントリ番号１７から２４が、図１７のステップ
１７０９により作成した一括変数シンボルである。例え
ば、エントリ４７は、エントリ４５とエントリ４６を一
括変数化したものである。

【００９３】以上で、一括情報テーブル生成処理２２の
説明を終える。一括情報テーブル生成処理２２が終る
と、メモリ割り当て処理９を行なう。メモリ割り当て処
理９に関しては、図３の説明で述べたので、ここでは述
べない。

【００９４】図１２は、図４のプログラム例に対し、図
３の方法でメモリ割り当てを行なった結果を示すメモリ
配置テーブル８の例となっている。オフセット欄を見る
と、メモリの割り当ては、一括変数テーブルのエントリ
順となっており、一括変数化されたシンボルが先にメモ
リを割り当てられていることが分かる。実際、メモリ割
り当ては、エントリ８６、エントリ８７の順に割り当て
られている。

【００９５】図１９は、図１２のメモリ割り当て結果を
説明のために図式化したメモリ配置図である。メモリ配
置図は、シンボルテーブルの記憶域欄に示されているメ
モリ位置を、アドレス順に並べて図示したものである。
図に示されているように、一括変数のメモリ位置は、全
て連続領域となっている。例えば、一括変数ｍｘの構成
要素である要素シンボルｘ０、ｘ１は、符合１９１、１
９２で示された領域に割り当てられている。この例で
は、全ての一括変数の要素シンボルが、連続領域に割り
当てられていることが分かる。

【００９６】次に、一括化コード変換処理２３について
説明する。図２０は、一括化変換テーブル生成処理２３
１のフローチャート図である。一括化コード変換テーブ
ル生成処理は、一括命令テーブル６１の各エントリにあ
る命令ノード集合から、一括化変換テーブル７を生成す
る。

【００９７】先ず、未処理一括命令エントリａｏｅがあ
るかどうかを判定（ステップ２００１）し、存在する間
はステップ２００２以下を反復実行する。ａｏｅに対す
る処理では、先ず、一括命令ノード集合をａｏｎｓ（ス
テップ２００３）、一括命令ノード個数をｎｍ（ステッ
プ２００４）、リーフ一括変数個数をｎｋ（ステップ２
００５）とする。

【００９８】ここで、新規一括化命令変換エントリａｃ
ｅを作成（ステップ２００５）し、ステップ２００６以
下で各欄に値を設定する。そのため、命令ノード番号ｍ
を制御変数とした反復処理により、全ての命令ノードに
対するステップ２００７以下の処理を行なう。即ち、命
令ノード番号ｍを０で初期化（ステップ２００６）後、
ｍをインクリメント（ステップ２０１５）してｍとｎｍ
の一致判定を行ない（ステップ２０１６）、一致しない
時はステップ２００７以下の反復処理、一致した時はス
テップ２００１に進む。

【００９９】個々の命令ノードに対する処理では、全て
のリーフノードに対する反復処理を行なう。即ち、リー
フノード番号ｋを０で初期化（ステップ２００７）後、
ｋをインクリメント（ステップ２０１３）してｋとｎｋ
の一致判定を行ない（ステップ２０１４）、一致しない
時はステップ２００８以下の反復処理、一致した時はス
テップ２０１５に進む。

【０１００】リーフノードに対する処理では、ｋ番目の
リーフ一括変数をａｖｋとして（ステップ２００８）、
ａｖｋの要素（シンボル）変数が連続配置かどうかを判
定する（ステップ２００９）。連続配置の場合は、ａｃ
ｅの一括命令化フラグをＴとして（ステップ２０１
２）、ステップ２０１３に進む。

【０１０１】連続配置でない場合は、ａｃｅの一括命令
化フラグをＦとして（ステップ２０１０）、変換コード
テーブルエントリを作成する。即ち、一括変数の変換に
必要な変換コードエントリ集合ａｔｅを作成し、それを
ａｃｅの変換コード集合欄に加える（ステップ２０１
１）。尚、変換コードエントリ集合ａｔｅの生成方法の
詳細については、本発明と直接関係がないので詳しくは
述べない。図２８にその例を挙げるにとどめる。

【０１０２】以上の処理により、図１２で示したのメモ
リ配置テーブル８を入力として生成した一括情報テーブ
ル７の例が、図１３及び図１４である。尚、一括命令ノ
ードの生成位置は、一括変数生成が終った位置から、一
括変数が最初に参照される位置の間なら何処でも良い。
そこで、簡単のため、個別命令の内、最後の個別命令の
直後の位置とした。

【０１０３】図２１は、一括化中間語変換処理２３２の
フローチャート図である。一括化中間語変換処理は、一
括命令化命令変換テーブル７１を使って、中間語中の同
型命令を、一括命令に変換する。処理手順としては、一
括命令化変換テーブルを順に参照しながら行なう。先
ず、未処理一括命令化変換エントリａｃｅがあるかどう
かを判定（ステップ２１０１）し、存在する間はステッ
プ２１０２以下を反復実行する。ａｃｅに対する処理
は、一括変数変換処理（ステップ２１０２からステップ
２１０５）、一括命令変換処理（ステップ２１０６から
ステップ２１１４）、に大別される。以下順に説明す
る。

【０１０４】先ず、ａｃｅの変換コード集合ｃｔｓ（ス
テップ２１０２）とする。ここで、全ての変換コードエ
ントリに対するステップ２１０３以下の処理を行なう。
即ち、ｃｔｓに未処理変換コードエントリｃｔがあるか
どうかを判定（ステップ）し、存在する間は、ｃｔから
変換コードｃｃｔを作成（ステップ２１０４）し、ｃｔ
のノード一覧で指定された位置にｃｃｔを挿入する（ス
テップ２１０５）。ステップ２１０３で、未処理変換コ
ードエントリがなくなったら、一括変数変換処理を終了
し、一括命令変換処理に移る。先ず、ａｃｅの一括命令
化フラグをｆとする（ステップ２１０６）。次に、ｆが
Ｔと等しいか（即ち、一括命令化可能であるかどうか）
を判定（ステップ２１０７）し、等しくない場合は、ス
テップ２１０１に進む。等しい場合は、一括命令変換処
理を行なう。

【０１０５】一括命令変換処理では、先ず、ａｃｅと同
じエントリ番号の一括命令エントリａｏｅを求める（ス
テップ２１０８）。次に、ａｏｅの一括命令ノード個数
をｎｍ（ステップ２１０９）、ａｏｅの一括命令ノード
集合をａｏｎｓ（ステップ２１１０）とする。そして、
命令ノード番号ｍを制御変数として反復処理により、一
括化される命令ノードの削除を行なう。即ち、ｍを０で
初期化（ステップ２１１１）後、ａｏｎｓのｍ番目の命
令ノードを削除（ステップ２１１２）する。その後、ｍ
をインクリメント（ステップ２１１３）して、ｍとｎｍ
の一致判定（ステップ２１１４）を行なう。一致しない
場合は、ステップ２１１２へ進んで反復処理を行なう。
一致した場合は、全ての一括化する命令ノードを削除し
たことになるので、ａｏｅから一括命令を作成して、中
間語に挿入する（ステップ１２１５）。この一括命令ノ
ードの生成も容易なので、詳細は略する。

【０１０６】図２２は、図１３及び図１４で示された一
括化変換テーブルを用いて、図２１の手順により、図６
で示した一括命令化前の中間語３１を変換した、一括命
令化後の中間語３２の例である。一括命令化の例として
は、例えば、図６の１０２行と１１４行は、図２２の１
０３行へと変換されている。図６から図２２への変換に
おいては、全ての同型命令が一括変数化されていること
が分かる。また、一括変数変換は行なわれず、一括命令
変換のみが行なわれている。

【０１０７】以上で、本実施例の説明を終える。次に、
本発明の効果を示すため、従来技術におけるメモリ割り
当て方法について述べる。

【０１０８】図２３は、従来技術におけるメモリ割り当
てと一括命令化の処理手順を示すフローチャート図であ
る。

【０１０９】従来技術においては、メモリ割り当て処理
９３を行なった後に、同型命令認識処理２１以下の一括
命令化処理を行なっている。また、メモリ割り当て処理
は、一般シンボルメモリ割り当て９２のみで行なってお
り、シンボルテーブルに登録された順にメモリを割り当
てることになる。尚、同型命令認識処理２１以下の一括
命令化処理は、本発明の場合と同じである。

【０１１０】図２４は、従来技術におけるメモリ割り当
てと一括命令化処理の処理構成図である。図４と比べる
と、メモリ割り当て処理９の入力がシンボルテーブルの
みになっていることが分かる。このように、従来技術に
おいては、一括命令化の情報がメモリ割り当てを決定す
ることはない。

【０１１１】図２５は、従来技術におけるメモリ割り当
て処理の結果を示すメモリ配置テーブル８の例である。
即ち、図１８で示したシンボルテーブル４を入力とし
て、図２３で示したメモリ割り当て処理９３が生成した
メモリ配置テーブル８の例である。メモリ割り当て処理
は、一般シンボルメモリ割り当て９２のみで行なってお
り、シンボルテーブルに登録された順にメモリを割り当
てていることがわかる。

【０１１２】図２６は、従来技術の方法によるメモリ割
り当て結果を説明するためのメモリ配置図である。即
ち、図２５で示されたメモリ配置テーブルの割り当て結
果を図式化したものとなっている。一括変数ｍｘの要素
シンボルであるｘ０（２６１）とｘ１（２６２）は連続
領域にないことが分かる。

【０１１３】図２７及び図２８は、従来技術の方法によ
り生成された一括化変換テーブル７の例である。即ち、
図２５で示したメモリ配置テーブル８を入力として、図
２０で示した一括化変換テーブル生成処理が生成した一
括化命令変換テーブル７１及び変換コードテーブル７２
の例である。

【０１１４】図１３と比べると、変換コード集合が増え
ていることがわかる。一括命令番号１、２、３、６のメ
モリアクセス命令（ロード命令とストア命令）に対し、
一括変数変換を行なうための変換コードが必要となって
いるわけである。また、これらのエントリに関しては、
一括命令化フラグもＦとなっており、命令ノードを一括
化することも出来ないことが分かる。例えば、図２７の
エントリ７１７では、変換コード番号１と２の２つの変
換コードが必要なことがわかる。これらの変換コード
は、図２８のエントリ７２８、７２９で示されている。
図１４では、エントリが存在しなかったが、多くの変換
コードが必要となっていることが分かる。

【０１１５】図２９は、従来技術の方法により生成され
た一括命令化後中間語３２の例である。即ち、図２７及
び図２８で示した一括化変換テーブル７を入力として、
図２１で示した一括化中間語変換処理が生成した一括化
後中間語３２の例である。図２２と比べて、命令ノード
の数が多いことが分かる。例えば、図２８の符合７２８
で示したエントリに対応するコードが、１１５行に挿入
されている。

【０１１６】本実施例の中間語は、オブジェクトプログ
ラムの命令語と直接１対１に対応する形式で記述してい
る。従って、一括命令化後中間語３２の命令数は、その
ままオブジェクトプログラムの処理性能に対応する。即
ち、図２２は、図２９に比べて、高速な処理となってい
る。このように、従来技術において生成される中間語の
命令ノードを本発明の方法により削減することができ
る。

【０１１７】

【発明の効果】本発明によれば、コンパイラは、メモリ
割り当て処理に先だって、同型命令と変数の関係を登録
したテ−ブルから一括命令化に必要な一括化情報テーブ
ルを生成している。メモリ割り当て処理は、この一括化
情報テーブルを参照することで、一括変数に対して、連
続領域への割り当てが可能となる。これにより、一括命
令化を行なう際に、一括変数変換コードの生成を抑制す
ることが可能である。即ち、中間語上での命令コード数
を削減することができ、オブジェクトプログラムの処理
性能の向上に寄与する。

【図面の簡単な説明】

【図１】本発明を実施するコンパイラが稼働する計算機
システムの構成図である。

【図２】本発明を実施するコンパイラの処理手順を示す
フローチャート図である。

【図３】コンパイラのメモリ割り当てと一括命令化処理
２のフローチャート図である。

【図４】本発明におけるコンパイラのメモリ割り当てと
一括命令化処理２の処理構成図である。

【図５】ソースプログラムの例である。

【図６】一括命令化前の中間語３１の構成例である。

【図７】一括命令化前のシンボルテーブル４の例であ
る。

【図８】同型命令テーブル５１の例である。

【図９】命令ノードテーブル５２の例である。

【図１０】一括命令テーブル６１の例である。

【図１１】一括変数テーブル６２の例である。

【図１２】本発明によるメモリ配置テーブル８の例であ
る。

【図１３】本発明による一括化命令変換テーブル７１の
例である。

【図１４】本発明による変換コードテーブル７２の例で
ある。

【図１５】同型命令認識処理２１のフローチャート図で
ある。

【図１６】一括命令テーブル生成処理２２１のフローチ
ャート図である。

【図１７】一括変数テーブル生成処理２２２のフローチ
ャート図である。

【図１８】一括変数生成後のシンボルテーブル４の例で
ある。

【図１９】本発明によるメモリ割り当て結果を示すメモ
リ配置図である。

【図２０】一括化変換テーブル生成処理２３１のフロー
チャート図である。

【図２１】一括化中間語変換処理２３２のフローチャー
ト図である。

【図２２】本発明による一括命令化後の中間語３２の例
である。

【図２３】従来技術によるメモリ割り当てと一括命令化
処理のフローチャート図である。

【図２４】従来技術によるメモリ割り当てと一括命令化
処理の処理構成図である。

【図２５】従来技術によるメモリ配置テーブル８の例で
ある。

【図２６】従来技術によるメモリ配置図である。

【図２７】従来技術による一括化命令変換テーブル７１
の例である。

【図２８】従来技術による変換コードテーブル７２の例
である。

【図２９】従来技術による一括命令化後の中間語３２の
例である。

Claims

【特許請求の範囲】

【請求項１】複数のデータに対する同種命令を一括処理
する一括命令を備えたアーキテクチャに対する目的プロ
グラムを生成する際に、ａ）複数の命令から一括命令情報を生成し、ｂ）前記一括命令情報を利用して各種変数のメモリ配置
を決定することを特徴とする一括命令生成コンパイル方
法。
【請求項２】前記ステップａ）は、ａ１）複数の命令から同型命令を認識して同型命令情報
を生成し、ａ２）前記同型命令情報に基づいて、一括命令として実
行可能な単位に分けた一括命令情報を生成することを特
徴とする請求項１記載の一括命令生成コンパイル方法。
【請求項３】前記ステップａ２）は、さらに、前記一括命令情報から一括命令のオペランドや演算結果
となる一括変数情報を生成することを特徴とする請求項
２記載の一括命令生成コンパイル方法。
【請求項４】前記一括変数情報は、一括変数と一括変数
化される一括化要素変数の対応情報を含むことを特徴と
する請求項３記載の一括命令生成コンパイル方法。
【請求項５】前記ステップｂ）において、一括変数化される一括化要素変数を連続メモリ領域に割
り当てることを特徴とする請求項３記載の一括命令生成
コンパイル方法。
【請求項６】前記ステップｂ）において、前記一括変数と一括変数化される要素変数の対応情報を
用いて、一括化要素変数を連続メモリ領域への割り当て
ることを特徴とする請求項４及び５記載の一括命令生成
コンパイル方法。
【請求項７】前記ステップａ２）は、さらに、前記一括命令情報に従って命令から一括命令を生成する
際に、一括変数化される一括化要素変数の記憶域の連続
性を判断することを特徴とする請求項３記載の一括命令
生成コンパイル方法。
【請求項８】前記連続領域判定の結果に従ってメモリの
連続領域から複数データをロードする一括ロード命令を
生成することを特徴とする請求項７記載の一括命令生成
コンパイル方法。
【請求項９】前記連続領域判定の結果に従ってメモリの
連続領域に複数データをストアする一括ストア命令を生
成することを特徴とする請求項７記載の一括命令生成コ
ンパイル方法。
【請求項１０】複数のデータに対する同種命令を一括処
理する一括命令を備えたアーキテクチャに対する目的プ
ログラムを生成する際に、ａ）複数の命令から同型命令を認識して同型命令情報を
生成し、ｂ）前記同型命令情報に基づいて、一括命令として実行
可能な単位に分けた一括命令情報を生成し、ｃ）前記同型命令情報を持つ割り当て対象を連続メモリ
に割り当てた後、前記同型命令情報を持たない割り当て
対象を一般メモリに割り当てることを特徴とする一括命
令生成コンパイル方法。