JPH09198254A - コンパイラの最適化装置及びその方法 - Google Patents

Abstract

(57)【要約】 【課題】ループ内で関数呼出しを含む原始プログラム中
のループ内不変式をループの外に移動することにより実
行速度の速いコードを生成する。 【解決手段】コード最適化手段３が、ループ内不変式に
含まれる関数毎に更新変数を抽出し更新変数管理テーブ
ル３００に登録する更新変数抽出手段４と、呼出元関数
による他関数の呼出時に呼出先で更新される変数を更新
変数として更新変数管理テーブル３００に登録する更新
変数見直し手段５と、更新変数の更新変数管理テーブル
３００の参照による認識に基づきループ内不変式を抽出
してループ外に移動する参照ループ内不変式移動手段６
とを備える。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はコンパイラの最適化
装置及びその方法に関し、特に特にループ内不変式の移
動の最適方式を有するコンパイラの最適化装置及びその
方法に関する。

【０００２】

【従来の技術】一般に、コンパイラは、プログラム記述
用言語の翻訳プログラムとしてソフトウェア開発の分野
において広く用いられており、より速い実行速度のオブ
ジェクトコードを生成するために様々な最適化手法が考
案されている。その一つにループ内不変式の移動があ
る。

【０００３】一般に、プログラム記述用言語の多くはル
ープ文と呼ぶ反復処理の記述を許しているが、プログラ
ム記述者はプログラムの可読性を重視するためループ内
で反復処理しても結果が変化しない式すなわちループ内
不変式を記述する場合があり、このような式は一回処理
すればよいので、ループ文の外に出すことができる。こ
のようなプログラム記述者が記述したループ内不変式を
コンパイル時にループ文の外に移動することにより、無
駄な繰り返しを行わず、より速い実行速度のコードを生
成する最適化手法がループ内不変式の移動である。

【０００４】しかしながら、一般にプログラム記述用言
語ではモジュール化設計を考慮し、一連の処理を関数と
呼ぶ機能単位でまとめ、この関数をプログラム中から任
意に呼び出せる仕様が殆どである。従来の処理ではルー
プ内で関数呼出しを行うと、関数内でどの変数が変化し
ているか認識できなかったため結果が変化しない式を判
別することが出来ず、関数呼出しを含むループ文のルー
プ内不変式の移動は不可能であった。

【０００５】また、プログラム記述用言語では条件文と
呼ぶ条件式による分岐実行処理の記述を許しているが、
条件によっては実行しない分岐処理の可能性があるの
で、条件文中の式は移動しないのが一般である。

【０００６】Ａ．Ｖ．エイホ，Ｊ．Ｄ．ウルマン著／土
井範久訳，コンパイラ（情報処理シリーズ７），培風
館，昭和６１年（文献１）第５〜７頁および図１．２記
載の従来のこの種のコンパイラの最適化装置をブロック
で示す図１２を参照すると、この従来のコンパイラの最
適化装置は、原始プログラムを字句に分解する字句解析
手段１と、字句解析結果を受けて構文を構築しこの構文
を認識する構文解析手段２と、構文解析結果を受けてル
ープ内不変式をループの外に移動するループ内不変式移
動手段１３１を含むコード最適化手段１０３と、最適化
結果を受けてオブジェクトコードを生成するコード生成
手段７とを備える。

【０００７】次に、図１２を参照して、従来のコンパイ
ラの最適化装置の動作について説明すると、字句解析手
段１は、外部から原始プログラムの供給を受けこの原始
プログラムを字句に分解する字句解析を行う。構文解析
手段２は、字句解析手段１の字句解析結果を受けて、構
文を構築しその構文を認識する。次にコード最適化手段
１０３の１構成要素であるループ内不変式移動手段１３
１は構文解析結果を受けて、ループ内で移動可能な不変
式すなわちループ内不変式をループの外に移動する。最
後にコード生成手段７は、最適化結果を受けて、オブジ
ェクトコードを生成する。

【０００８】次に、ループ内不変式移動手段１３１の処
理手順の一例をフローチャートで示す図１３を参照する
と、ループ内不変式移動手段１３１は、各ループ中の不
変変数を抽出し、参照代入および反復処理による値の変
化の有無を調べ、ループ中変数状態テーブルに登録する
処理を行う。そして、その情報を元に不変式を検出し
て、この不変式をループの外に移動する処理を行う。

【０００９】まず、図１３（Ｂ）を参照してこの手順に
おいて生成するループ中変数状態テーブル４１０の構成
を説明すると、このループ中変数状態テーブル４１０
は、ループ文中の各式を構成する各変数の変数名を記入
する変数名４１１と、その変数が参照されている場合に
１を記入する参照４１２と、代入されている場合に１を
記入する代入４１３と、代入される変数で反復処理毎に
値が変化する可能性のある場合に１を記入する変更４１
４との４つの領域から成る。

【００１０】図１３（Ａ）を参照して処理手順について
説明すると、まず、構文ファイルのオープン処理ステッ
プＰ１で、構文ファイルをオープンする。次に１行分の
構文読み込み処理ステップＰ２で、１行文の構文を読み
込む。次に構文ファイルの終了判定処理ステップＰ３
で、構文ファイルが終了であるか否かを判定する。構文
ファイルの終了であれば、構文ファイルクローズ処理ス
テップＰ９で構文ファイルをクローズして、この処理ス
テップを終了する。構文ファイルの終了でなければ、ル
ープ文先頭判定処理ステップＰ４で、読み込んだ構文が
ループ文の先頭であるか否かを判定する。ループ文の先
頭でなければステップＰ２に戻る。ループ文の先頭であ
れば、関数呼出しフラグＦを０に設定する処理ステップ
Ｐ１０１でループ文中で関数呼出しが行われているか否
かの認識用のフラグＦを０で初期化する。

【００１１】次に、ループ中変数状態テーブル初期化処
理ステップＰ５で、変数名４１１，参照４１２，代入４
１３，変更４１４から成るループ中変数状態テーブル４
１０の全ての領域を０で初期化する。次に、不変数検出
処理ステップＰ６で、ループ文中で反復処理しても値の
変わらない変数すなわち不変数を検出する。このＰ６で
は、ループ文中の各式において、その式を構成する各変
数に対し、参照及び代入の有無を調べ、それぞれループ
中変数状態テーブル４１０の変数名４１１，参照４１
２，代入４１３に記入し、参照の後に代入の行われる変
数は反復処理の１回目と２回目以降では値が変わるの
で、変更４１４にも記入する。

【００１２】次に、不変変数検出処理ステップＰ６の処
理内容をフローチャートで示す図１４を参照して処理手
順について説明すると、まず、ステップＰ６１で条件文
処理中であることの認識用フラグＩを０で初期化する。
次に、１行文の構文読み込み処理ステップＰ６２で１行
分の構文を読み込む。次にステップＰ６３で、読み込ん
だ構文がループ文の終了を示す文であるか否かを判定す
る。ループ文の終了を示す文であれば、この不変変数検
出処理ステップＰ６を終了する。

【００１３】ステップＰ６３でループ文の終了でなけれ
ば、ステップＰ６４で読み込んだ構文が関数呼出し文で
あるか否かを判定する。関数呼出し文であれば、ループ
内不変式の移動は行えないので、ステップＰ２０１で、
ループ文中に関数呼出しを行っているか否かを認識する
ためにフラグＦを１に設定して、この不変変数検出処理
ステップＰ６を終了する。

【００１４】ステップＰ６４で関数呼出し文でなけれ
ば、ステップＰ６５で読み込んだ構文が条件文の先頭の
文であるか否かを判定する。条件文の先頭の文でなけれ
ば、条件文終了判定処理ステップＰ６６へ処理を進め
る。条件文の先頭の文であれば条件文中の式は実行され
ない可能性があるので、ステップＰ７１で条件文処理中
であることを示すフラグＩを１増やす。

【００１５】次に、ステップＰ６６で、読み込んだ構文
が条件文の終了の文であるか否かを判定する。条件文の
終了の文でなければ、参照式フラグＳを０に設定する処
理ステップＰ６７へ処理を進める。条件文の終了の文で
あれば、条件文処理中フラグＩを１減らす処理ステップ
Ｐ７２で、条件文処理中であることを認識するためのフ
ラグＩを１減らす。

【００１６】次に、処理ステップＰ６７で、現在処理中
の構文が参照のみの式あることを認識するためのフラグ
Ｓを０で初期化する。

【００１７】次に、参照のみの式判定処理ステップＰ６
８で、読み込んだ構文が参照のみの式であるか否かを判
定する。参照のみの式であれば、代入される変数が含ま
れないので、参照式フラグＳを１に設定する処理ステッ
プＰ７３で、代入式に対する処理が必要か否かを判定す
るための参照式フラグに１を設定し、式中の参照対象の
変数の数をＮに設定する処理ステップＰ７５以降で、ル
ープ中変数状態テーブル４１０への登録および式中の各
変数に対する参照，代入，変更の各情報を記入するルー
プ中変数状態テーブル設定処理処理を行なう。

【００１８】ステップＰ６８で参照のみの式でなけれ
ば、代入文判定処理ステップＰ６９で、読み込んだ構文
が変数への代入対象文であるか否かを判定する。変数へ
の代入対象文でなければ、ステップＰ６２に戻る。変数
への代入対象文であれば、ステップＰ７５以降で、ルー
プ中変数状態テーブル設定処理を行う。

【００１９】このループ中変数状態テーブル設定処理
は、まず、不変変数検出処理の未了の変数の数を確認す
るため、式中の参照される変数の数をＮに設定する処理
ステップＰ７５で、代入元式中の参照対象の変数の数を
カウンタＮに設定する。次に、カウンタＮが０であるか
否かの判定処理ステップＰ７６で、カウンタＮが０か否
かを判定する。０でなければ、Ｎ番目の変数は不変変数
検出処理が未了であるので、ループ中変数状態テーブル
に登録済みであるか否かの判定処理ステップＰ７７で、
変数名４１１にＮ番目の変数の変数名が登録済みである
か否かの判定を行う。登録されていれば、Ｎ番目の変数
の変数名に対する参照に１を記入する処理ステップＰ７
８へ処理を進める。登録されていなければ、ループ中変
数状態テーブルに登録する処理ステップＰ８５で、変数
名４１１に、Ｎ番目の変数の変数名を登録する。

【００２０】次に、ステップＰ７８で、Ｎ番目の変数の
変数名に対する参照４１２に１を記入する。

【００２１】次に、カウンタＮを１減らす処理ステップ
Ｐ７９で、カウンタＮを１減らし、ステップＰ７６に戻
り、カウンタＮが０になるまで、残りの変数に対して処
理を反復する。カウンタＮが０の時は、不変変数検出処
理を未了の変数がないので、参照式フラグＳが０である
か否かの判定処理ステップＰ８０で、参照式フラグＳが
０であるか否かの判定を行なう。０でなければ、現在処
理中の構文は参照のみの式であるので代入文に対する処
理は行なわず、ステップＰ６２に戻る。０であれば、代
入先変数名がループ中変数状態テーブルに登録済みであ
るか否かの判定処理ステップＰ８１で、変数名４１１に
代入先変数名が登録されているか否かを判定する。登録
されていれば、条件文処理中フラグＩが０であるか否か
の判定処理ステップＰ８２へ処理を進める。登録されて
いなければ、代入先変数の変数名をループ中変数状態テ
ーブルに登録する処理ステップＰ８６で、変数名４１１
に代入先変数名を登録する。

【００２２】次にステップＰ８２で、条件文処理中フラ
グＩが０であるか否かの判定を行なう。０でなければ、
その構文は条件文処理中であるので、式の移動を行わな
いために、代入先変数の変数名に対する変更に１を記入
する処理ステップＰ８７で、代入先変数の変数名に対す
る変更４１４に１を記入し、ステップＰ６２に戻る。条
件文処理中フラグＩが０であれば、次に代入先変数の変
数名に対する参照または代入が１であるか否かの判定処
理ステップＰ８３で、代入先の変数名に対する参照４１
２または代入４１３に１が記入されているか否かの判定
を行う。記入されていれば、この変数は反復処理の１回
目と２回目以降で、値が変わる可能性があるので、上記
変数を含む式を移動しないためステップＰ８７で、代入
先変数の変数名に対する変更４１４に１を記入し、ステ
ップＰ６２に戻る。記入されていなければ、代入先の変
数の変数名に対する代入に１を記入する処理ステップＰ
８４で、代入先変数の変数名に対する代入４１３に１を
記入し、ステップＰ６２に戻る。

【００２３】ループ文の終わりに到達するまで、以上の
ループ内不変変数検出処理ステップを反復する。

【００２４】以上の処理をループ文の終わりまで反復
し、ステップＰ６を終了して図１３に戻る。

【００２５】図１３において、ステップＰ６の不変変数
検出後、関数呼出しフラグＦが１であるか否かの判定処
理ステップＰ１０２を行う。１であれば、ループ処理中
で関数呼出しが行われているため、不変式の移動を行え
ないのでステップＰ２に戻る。１でなければ、構文ファ
イル位置をループの先頭に戻す処理ステップＰ７で構文
ファイルの読み込み位置をループの先頭の位置に戻す。

【００２６】次に不変式移動処理ステップＰ８で、ルー
プ中変数状態テーブル４１０を参照し、反復処理で値の
変わる変数を含む代入式の代入先変数も含めて、値の変
わらない式のみで構成される不変式をループの外に移動
する。

【００２７】不変式移動処理ステップＰ８の処理内容を
フローチャートで示す図１５を参照して処理手順につい
て説明すると、まず、１行分の構文読み込み処理ステッ
プＰ９１で、１行文の構文を読み込む。

【００２８】次に、ループ文終了判定処理ステップＰ９
２で読み込んだ構文がループ文の終了の文であるか否か
を判定する。ループ文の終了の文であれば、不変式移動
処理を終了する。ループ文の終了の文でなければ、代入
文判定処理ステップＰ９３で、読み込んだ構文が代入文
であるか否かを判定する。代入文でなければ、ステップ
Ｐ９１に戻る。代入文であれば、代入文を構成する全て
の変数の変数名に対する変更が０でないか否かの判定処
理ステップＰ９４で、変更４１４を参照して、全ての変
数の変更が０であるか否かの判定を行う。

【００２９】ステップＰ９４で全ての変数の変更が０で
あれば、この代入文の結果は反復処理において変わらな
いので、代入文をループの外に移動する処理ステップＰ
９５で、この代入文の構文をループ文の外に移動し、ス
テップＰ９１に戻る。

【００３０】ステップＰ９４で変更が０でない変数があ
る場合は、その代入先変数の値も変わるので、代入先変
数の変数名に対する変更に１を記入する処理ステップＰ
９６で、代入先変数の変数名に対応する変更４１４に１
を記入しステップＰ９１に戻る。

【００３１】そして、ループ文の終了に到達するまで、
不変式移動処理を反復する。

【００３２】不変式を移動した後に、図１３のステップ
Ｐ２に戻る。

【００３３】そして、構文ファイルの終了に到達するま
で、ループ内不変式お移動手段の処理ステップを反復す
る。

【００３４】従来のコンパイラに、図７に示す関数呼出
しを含むループ文で構成される原始プログラム１００１
を入力した場合のループ内不変式移動結果の一例を示す
図１６（Ａ）を参照すると、原始プログラム１００１の
ループブロック１００５のループ内不変式移動結果は構
文１６０１となる。

【００３５】また、図１１に示す非同期に動作する割込
関数（非同期割込関数）の定義を含む原始プログラム１
１０１を入力した場合のループ内不変式移動結果の一例
を示す図１６（Ａ）を参照すると、原始プログラム１１
０１のループブロック１１０５のループ内不変式移動結
果は構文１７０１となる。

【００３６】なお、非同期割込関数の定義を含む原始プ
ログラムに対して、ループ内不変式の移動を行なうと、
誤った移動を行なうことがあるので、図１６（Ｂ）のル
ープ内不変式移動結果の構文１７０１は、ループ内不変
式の移動を抑制した場合の結果を示す。

【００３７】なお、上述のループ最適化に関しては、文
献１の第３９８〜４２９頁の記載を参照している。

【００３８】

【発明が解決しようとする課題】上述した従来のコンパ
イラの最適化装置及びその方法は、ループ内で関数呼出
しが行なわれていると、関数内でどの変数か変化してい
るのか認識できないことにより不変式の判別ができない
ため、ループ内不変式の移動がいっさい行なわれないと
いう欠点があった。

【００３９】また、非同期割込関数が原始プログラムに
含まれる場合は、更新対象の変数を不変式の検出の際に
認識していないため上記変数を含むループ内の不変式を
誤ってループ外に移動してしまうので、ループ内不変式
移動の最適化を抑制しなければならないという欠点があ
った。

【００４０】本発明の目的は、上記の問題点を解決し、
ループ内で関数呼出しが行なわれる場合および原始プロ
グラムに非同期に動作する割込関数を含む場合でも、ル
ープ文内の不変式の移動を可能にすることにより、生成
オブジェクトの実行速度を向上することができるコンパ
イラの最適化装置及びその方法を提供することにある。

【００４１】

【課題を解決するための手段】本発明のコンパイラの最
適化装置は、入力した原始プログラムを字句に分解し字
句解析結果を出力する字句解析手段と、前記字句解析結
果の供給を受けて構文を構築しこの構文を認識して構文
解析結果を出力する構文解析手段と、前記構文解析結果
の供給を受けて不要な構文の削除処理とループ処理構文
中のループ処理に影響を受けない構文であるループ内不
変式をこのループ処理構文の外に移動するループ内不変
式移動処理とを含む最適化処理を行い最適化結果を出力
するコード最適化手段と、前記コード最適化結果の供給
を受けて翻訳対象プロセッサ用のオブジェクトコードを
生成するコード生成手段とを備えるコンパイラの最適化
装置において、前記コード最適化手段が、前記ループ内
不変式に含まれる関数毎に更新対象の変数である更新変
数を抽出しこの更新変数を管理するための更新変数管理
テーブルに登録する更新変数抽出手段と、任意の呼出元
関数による他関数の呼出時に呼出先で更新される変数を
前記呼出元関数で更新される更新変数として前記更新変
数管理テーブルに登録する更新変数見直し手段と、前記
更新変数の前記更新変数管理テーブルの参照による認識
に基づき前記ループ内不変式を抽出してループ外に移動
する更新変数参照ループ内不変式移動手段とを備えて構
成されている。

【００４２】本発明のコンパイラの最適化方法は、入力
した原始プログラムを字句に分解し字句解析結果を出力
する字句解析ステップと、前記字句解析結果の供給を受
けて構文を構築しこの構文を認識して構文解析結果を出
力する構文解析ステップと、前記構文解析結果の供給を
受けて不要な構文の削除処理とループ処理構文中のルー
プ処理に影響を受けない構文であるループ内不変式をこ
のループ処理構文の外に移動するループ内不変式移動処
理とを含む最適化処理を行い最適化結果を出力するコー
ド最適化ステップと、前記コード最適化結果の供給を受
けて翻訳対象プロセッサ用のオブジェクトコードを生成
するコード生成ステップとを含るコンパイラの最適化方
法において、前記コード最適化ステップが、前記ループ
内不変式に含まれる関数毎に更新対象の変数である更新
変数を抽出しこの更新変数を管理するための更新変数管
理テーブルに登録する更新変数抽出処理ステップと、任
意の呼出元関数による他関数の呼出時に呼出先で更新さ
れる変数を前記呼出元関数で更新される更新変数として
前記更新変数管理テーブルに登録する更新変数見直し処
理ステップと、前記更新変数の前記更新変数管理テーブ
ルの参照による認識に基づき前記ループ内不変式を抽出
してループ外に移動する更新変数参照ループ内不変式移
動処理ステップとを含むことを特徴とするものである。

【００４３】

【発明の実施の形態】次に、本発明のコンパイラの最適
化装置の実施の形態を図１２と共通の構成要素は共通の
文字を付して同様にブロックで示す図１を参照すると、
この図に示す本実施の形態のコンパイラの最適化装置
は、従来と共通の字句解析手段１と、構文解析手段２
と、コード生成手段７とに加えて、コード最適化手段１
０３の代りに更新変数抽出手段４と更新変数見直し手段
５と参照ループ内不変式移動手段６とを含むコード最適
化手段３を備える。

【００４４】更新変数抽出手段４は各関数毎に更新され
る変数を抽出し後述する更新変数管理テーブル３００に
登録する。

【００４５】更新変数見直し手段５は任意関数（呼出元
関数）による他関数呼出時に呼出先で更新される変数
も、呼出元関数で更新される変数として更新変数管理テ
ーブル３００に登録する。

【００４６】参照ループ内不変式移動手段６は、非同期
割込関数や呼出関数で更新される変数を更新変数管理テ
ーブル３００の参照による認識に基づき不変式を抽出し
てループ外に移動する。

【００４７】次に、図１を参照して本実施の形態の動作
について説明すると、従来と同様に字句解析手段１，構
文解析手段２は、外部から原始プログラムの供給を受け
この原始プログラムを字句に分解する字句解析し、その
結果から構文を構築しその構文を認識する。次に構文認
識結果を受けて最適化手段３は、まず、更新変数抽出手
段４が各関数毎に更新される変数を抽出し、更新変数管
理テーブル３００に登録する。次に、更新変数見直し手
段５は、任意関数（呼出元関数）Ａが別の関数（呼出先
関数）Ｂを呼出す場合に、呼出先で更新される変数も呼
出元関数Ａで更新される変数として更新変数管理テーブ
ル３００に登録する。参照ループ内不変式移動手段６
は、非同期割込関数が定義されていたり、ループ処理構
文中に呼出関数の存在があっても、これら非同期割込関
数や呼出関数で更新される変数を、更新変数抽出手段
４，更新変数見直し手段５により生成された更新変数管
理テーブル３００を参照することによって認識し、その
情報を基に不変式を抽出し、この不変式をループ外に移
動し、最適化結果をコード生成手段７に供給する。最後
にコード生成手段７は、最適化手段３の最適化結果を受
けて、翻訳対象プロセッサ用のオブジェクトコードを生
成する。

【００４８】次に、図１，図２，図３，及び図４を参照
して、本実施の形態を特徴ずける最適化手段３の各構成
要素の更新変数抽出手段４，更新変数見直し手段５，及
び参照ループ内不変式移動手段６の処理手順の内容につ
き説明する。

【００４９】更新変数抽出手段４の処理手順の一例をフ
ローチャートで示す図２を参照すると、更新変数抽出手
段４は、各関数毎に、代入文により更新される変数名、
及び関数呼出し文により呼出される関数名を抽出し、更
新変数管理テーブル３００に登録する処理を行う。

【００５０】まず、図２（Ｂ）を参照してこの手順にお
いて生成する更新変数管理テーブル３００の構成を説明
すると、この更新変数管理テーブル３００は、更新変数
管理テーブルの位置を示す位置３０１と、更新対象変数
名及び呼出される関数（呼出関数）名を調べる関数の名
称を示す関数名３０２と、関数名３０２所属の関数にお
いて更新対象の全ての変数名を示す変数名３０３と、関
数名３０２所属の関数において関数の呼出しがあった場
合にその全ての関数名を示す呼出し関数名３０４との４
つの領域から成る。

【００５１】図２（Ａ）を参照して処理手順について説
明すると、まず、構文ファイルのオープン処理ステップ
Ｓ１で、構文解析手段２により構文解析結果を示す構文
ファイルをオープンし、この情報を読出できるようにす
る。次に、更新変数管理テーブル初期化処理ステップＳ
２で、更新変数管理テーブル３００の位置３０１，関数
名３０２，変数名３０３，呼出し関数名３０４の全領域
を０で初期化する。次に、位置Ｉを１に設定する処理ス
テップＳ３で、変数Ｉを１に初期化する。次に、１行分
の構文読み込み処理ステップＳ４で１行分の構文を読み
込む。次に、構文ファイルの終了判定処理ステップＳ５
で、構文ファイルが終了であるか否かを判定する。構文
ファイルの終了であれば、構文ファイルのクローズ処理
ステップＳ１２で構文ファイルをクローズして、更新変
数抽出手段の処理ステップを終了する。

【００５２】ステップＳ５で、構文ファイルの終了でな
ければ、関数先頭文判定処理ステップＳ６で、読み込ん
だ構文が関数の先頭の文であるか否かを判定する。関数
の先頭の文でなければ１行分の構文読み込み処理ステッ
プＳ４に戻る。関数の先頭文であれば、関数名を位置Ｉ
の関数名に登録する処理ステップＳ７で、位置３０１の
Ｉ番目の関数名３０２に、その関数名を登録する。

【００５３】次に、１行分の構文読み込み処理ステップ
Ｓ８で１行分の構文を読み込む。次に、関数終了判定処
理ステップＳ９で、読み込んだ構文が関数の終了の文か
否かを判定する。関数の終了の文であれば、位置Ｉを１
増やす処理ステップＳ１３で、変数Ｉを１増やし、ステ
ップＳ４に戻る。

【００５４】関数の終了文でなければ、代入文判定処理
ステップＳ１０で、読み込んだ構文が代入文であるか否
かを判定する。代入文でなければ、関数呼出し文判定処
理ステップＳ１１へ処理を進める。代入文であれば、代
入先変数名が位置Ｉの変数名に登録済みであるか否かの
判定処理ステップＳ１４で、代入先変数名が位置３０１
のＩ番目の変数名３０３に、既に登録されているか否か
を判定する。登録されていれば、ステップＳ１１へ処理
を進める。登録されていなければ、位置Ｉの変数名に代
入先変数名を登録する処理ステップＳ１６で、位置３０
１のＩ番目の変数名３０３に代入先変数名を登録し、ス
テップＳ１１へ処理を進める。

【００５５】次に、ステップＳ１１で、読み込んだ構文
が関数の呼出し文であるか否かを判定する。関数の呼出
し文でなければステップＳ８へ戻る。関数の呼出し文で
あれば、呼出し関数名が位置Ｉの呼出し関数名に登録済
みであるか否かの判定処理ステップＳ１５で、呼出し関
数名が位置３０１のＩ番目の呼出し関数名３０４に登録
されているか否かを判定する。登録されていればステッ
プＳ８に戻る。登録されていなければ、位置Ｉの呼出し
関数名に登録する処理ステップＳ１７で、位置３０１の
Ｉ番目に対する呼出し関数名３０４に呼出し関数名を登
録し、ステップＳ８に戻る。

【００５６】構文ファイルの終了に到達するまで、以上
の更新変数抽出手段の処理ステップを反復する。

【００５７】更新変数見直し手段５の処理手順の一例を
フローチャートで示す図３を参照すると、更新変数見直
し手段５は、更新変数抽出手段４で生成した更新変数管
理テーブル３００を読込み、ある関数が別の関数を呼出
す場合に、呼出し先で更新される変数も、呼出し元の関
数で更新される変数として、更新変数管理テーブル３０
０を修正する処理を行う。

【００５８】次に、図３を参照して更新変数見直し手段
５の処理手順について説明すると、まず、更新変数管理
テーブル位置Ｉを１に設定する処理ステップＳ２１で、
変数Ｉを１に初期化する。次に、テーブルの終了判定処
理ステップＳ２２で、位置３０１のＩ番目の関数名３０
２が０か否かを判定する。０であれば、更新変数見直し
手段を終了する。０でなければ、位置Ｉを引数に設定す
る処理ステップＳ３で、位置を示す変数Ｉを引数に設定
し、関数集計処理部呼出し処理ステップＳ２４で、関数
集計処理を行うサブルーチンを呼出す。

【００５９】次に、更新変数管理テーブル位置Ｉを１増
やす処理ステップＳ２５で、変数Ｉを１増やし、ステッ
プＳ２２に戻る。

【００６０】以上の処理をテーブルの終了まで繰り返
す。次に、ステップＳ２４で呼出した関数集計処理のサ
ブルーチンについて説明する。

【００６１】関数集計処理のサブルーチンでは、引数を
Ｐで受け取る処理ステップＳ２６で位置を示す引数を変
数Ｐで受け取る。次に、位置Ｐ登録の呼出し関数名の数
をＮに設定する処理ステップＳ２７で、位置３０１のＰ
番目の呼出し関数名３０４に登録されている関数名の数
をカウンタＮに設定する。

【００６２】次に、カウンタＮが０か否かの判定処理ス
テップＳ２８で、カウンタＮが０か否かの判定を行な
う。０であれば、関数集計処理のサブルーチンを終了す
る。０でなければ、位置ＰのＮ番目の呼出し関数名を取
得し、その関数名の位置をＪに設定する処理ステップＳ
２９で、位置３０１のＰ番目の呼出し関数名３０４に登
録されているＮ番目の呼出し関数名を取得して、その関
数名が関数名３０２に登録されている位置３０１の値を
Ｊに設定する。

【００６３】次に、位置ＰのＮ番目の呼出し関数を消去
する処理ステップＳ３０で、位置３０１のＰ番目の呼び
出し関数名３０４のＮ番目に登録されている呼出し関数
名を消去する。

【００６４】次に、Ｊを引数に設定する処理ステップＳ
３１で、変数Ｊを引数に設定し、関数集計部呼出し処理
ステップＳ３２で、関数集計を行なうサブルーチンを再
帰呼出しする。

【００６５】次に、位置Ｐの変数名に位置Ｊの変数名を
追加登録する処理ステップＳ３３で、位置３０１のＪ番
目に対する変数名３０３に登録されている変数名を、位
置３０１に対するＰ番目の変数名３０３に追加登録す
る。

【００６６】次に、カウンタＮを１減らす処理ステップ
Ｓ３４で、カウンタＮを１減らし、ステップＳ２８に戻
る。

【００６７】以上の処理をカウンタＮが０になるまで反
復する。

【００６８】次に、参照ループ内不変式移動手段６の処
理手順の一例を示すフロチャートである図４を参照する
と、参照ループ内不変式移動手段６は、上述したように
ループ処理構文中に関数の呼出しの存在があっても、こ
れらの関数で更新される変数を、更新変数抽出手段４，
更新変数見直し手段５により生成された更新変数管理テ
ーブルを参照することによって認識し、その情報を基に
不変式を抽出して、この不変式をループの外に移動する
処理を行う。

【００６９】まず、この手順において生成し、変数名４
１１，参照４１２，代入４１３，変更４１４から成るル
ープ中変数状態テーブル４１０は従来の技術で説明した
ものと同様であるので説明を省略する。

【００７０】図４を参照して処理手順について説明する
と、まず、構文ファイルのオープン処理ステップＳ４１
で構文ファイルをオープンする。次に１行分の構文読み
込み処理ステップＳ４２で１行文の構文を読み込む。次
に構文ファイルの終了判定処理ステップＳ４３で、構文
ファイルが終了であるか否かを判定する。構文ファイル
の終了であれば、構文ファイルのクローズ処理ステップ
Ｓ４３で構文ファイルをクローズして、参照ループ内不
変式移動手段の処理ステップを終了する。構文ファイル
の終了でなければ、ループ文先頭判定処理ステップＳ４
４で、読み込んだ構文がループ文の先頭であるか否かを
判定する。ループ文の先頭でなければステップＳ４２に
戻る。 ループ文の先頭であれば、ループ中変数状態テ
ーブルを０で初期化する処理ステップＳ４５で、ループ
中変数状態テーブル４１０の全領域を０で初期化する。

【００７１】次に不変変数検出処理ステップＳ４６で、
ループ文中で反復処理しても値の変わらない変数を検出
する。ステップＳ４６では、ループ文中の各式におい
て、その式を構成する各変数に対し、参照，代入の有無
を調べ、それぞれ変数名４１１，参照４１２，代入４１
３に記入し、参照４１２の後に代入の行われる変数は反
復処理の１回目と２回目以降では値が変わるので、変更
４１４にも記入する。

【００７２】次に、不変変数検出処理ステップＳ４６の
処理手順を従来の不変数検出処理ステップを示す図１４
と共通の処理は共通の文字を付して同様にフロチャート
で示す図５を参照すると、このステップＳ４６は、関数
呼出し判定処理ステップＰ６４で関数呼出し文である場
合に、従来のステップＰ２０１の代りに、更新変数管理
テーブルを参照してループ中変数状態テーブルを更新す
る処理ステップＳ７０を行うことが従来との相違点であ
る。

【００７３】まず、従来と共通のステップＰ６１〜Ｐ６
３で条件文処理中であることを認識するためのフラグＩ
を０で初期化し、１行文の構文を読み込み、読み込んだ
構文がループ文の終了を示す文であるか否かを判定す
る。ループ文の終了であれば、不変変数検出処理を終了
する。ループ文の終了でなければ、ステップＰ６４で、
読み込んだ構文が、関数呼出し文であるか否かを判定す
る。関数呼出し文でなければ、条件文先頭判定処理ステ
ップＰ６５へ処理を進める。関数呼出し文であれば、更
新変数管理テーブルを参照してループ中変数状態テーブ
ルを更新する処理ステップＳ７０で、更新変数管理テー
ブル３００を参照し、その関数で更新される変数のう
ち、ループ中変数状態テーブル４１０の変数名４１１に
登録されていないものを登録し、同時に変更４１４に１
を記入する。

【００７４】次に、従来と共通のステップＰ６５〜Ｐ８
７を実行し、ループ文の終わりに到達するまで、以上の
ループ内不変変数検出処理ステップを反復し、この不変
変数検出処理ステップＳ４６を終了する。

【００７５】再度図４を参照すると、構文ファイル位置
をループの先頭に戻す処理ステップＳ４７で構文ファイ
ルの読み込み位置をループの先頭の位置に戻す。

【００７６】次に不変式移動処理ステップＳ４８で、ル
ープ中変数状態テーブル４１０を参照し、繰り返し処理
で値の変わる変数を含む代入式の代入先変数も含めて、
値の変わらない式のみで構成される不変式をループの外
に移動する。

【００７７】次に、不変式移動処理ステップＳ４８の処
理手順を従来の不変式移動処理ステップを示す図１５と
共通の処理は共通の文字を付して同様にフロチャートで
示す図６を参照すると、このステップＳ４８は従来のス
テップＰ８と同一であるので処理の細部の説明は省略す
る。

【００７８】従来と共通のステップＰ９１〜Ｐ９６の処
理を実行し、ループ文の終了に到達するまで反復する。

【００７９】ステップＳ４８の不変式移動処理終了後
に、図４のステップＳ４２に戻る。

【００８０】そして、構文ファイルの終了に到達するま
で、参照ループ内不変式の移動手段の処理ステップを反
復する。

【００８１】次に、関数呼出しを含むループ文で構成さ
れる原始プログラムと本実施の形態で生成する更新変数
管理テーブル３００Ａ，３１０Ａとループ中変数状態テ
ーブル４１０Ａの各処理ステップの過程を示す図７，図
８を併せて参照して本実施の形態のコンパイラの最適化
方法について詳細に説明する。

【００８２】最初に図２を再度参照して、更新変数抽出
手段４の処理ステップを説明する。

【００８３】まず、ステップＳ１で、図７（Ａ）の原始
プログラム１００１に対する構文ファイルをオープンす
る。次に、ステップＳ２で、位置３０１Ａ，関数名３０
２Ａ，変数名３０３Ａ，呼出し関数名３０４Ａで構成さ
れる更新変数管理テーブル３００Ａの全ての領域を０で
初期化する。次に、ステップＳ３で、更新変数管理テー
ブル位置Ｉを１で初期化する。次に、関数先頭文１００
３に到達するまでステップＳ４〜Ｓ６を反復する。

【００８４】関数先頭文１００３はステップＳ６で関数
先頭文と判定し、この関数名ｍａｉｎをステップＳ７で
更新変数管理テーブル３００Ａの位置３０１Ａの１番目
対応の関数名３０２Ａの欄に登録する。

【００８５】次に、関数終了文１０１７に到達するま
で、ステップＳ８〜Ｓ１１を反復する。

【００８６】代入文１００４，１００７，１０１０，１
０１１，１０１３，１０１５は代入文であるため、ステ
ップＳ１０で代入文と判定し、代入先変数名の位置Ｉの
変数名への登録の有無判定ステップＳ１４を行なう。各
代入文１００４，１００７，１０１０，１０１１，１０
１３の代入先変数名は、位置３０１Ａの１番目対応の変
数名３０３Ａの欄には登録されていないので、ステップ
Ｓ１６で、代入先変数名ｉ，ａ，ｂ，ｅ，ｈをこの変数
名３０３Ａの欄に登録する。代入文１０１５の代入先変
数名ｉは、変数名３０３Ａの上記欄に既に登録済みであ
るため、登録は行なわない。

【００８７】関数呼出し文１００８，１００９は、関数
呼出し文であるため、ステップＳ１１で、関数呼出し文
と判定し、位置Ｉの呼出し関数名に既に登録済みか否か
の判定処理ステップＳ１５を行なう。関数呼出し文１０
０８、１００９の呼出し関数名は、位置３０１Ａの１番
目対応の呼出し関数名３０４Ａの欄には登録されていな
いので、ステップＳ１７で、呼出し関数名ｆｕｎｃ１，
ｆｕｎｃ２を、呼出し関数名３０４Ａの上記欄に登録す
る。

【００８８】関数終了文１０１７に到達した時点で、ス
テップＳ９で関数終了文と判定し、ステップＳ１３で、
位置Ｉを１増やし、構文ファイルの終了判定処理ステッ
プＳ４に戻る。

【００８９】以後、関数先頭文１０１８，代入文１０１
９，関数呼出し文１０２０，関数終了文１０２１，関数
先頭文１０２２，代入文１０２３，関数終了文１０２
４，関数先頭文１０２５，代入文１０２６，関数終了文
１０２７に関しても同様の処理を行なう。関数終了文１
０２７の処理を終了後、ステップＳ４で１行文の構文を
読み込み、ステップＳ５で構文ファイルの終了と判定
し、ステップＳ１２で構文ファイルをクローズして、こ
の一連の更新変数抽出手段の処理ステップを終了する。

【００９０】以上の処理により生成した更新変数管理テ
ーブル３００Ａを図８（Ａ）に示す。

【００９１】次に、図３を再度参照して、更新変数見直
し手段５の処理ステップを説明する。

【００９２】まず、更新変数管理テーブル位置Ｉを１に
設定する処理ステップＳ２１を行なう。次に、ステップ
Ｓ２２〜Ｓ２５を、更新変数管理テーブル３００Ａの終
了まで繰り返す。

【００９３】まず最初に、引数にＩの値である１が設定
されて、関数集計処理のサブルーチンであるステップＳ
２４を呼び出す。

【００９４】このステップＳ２４では、ステップＳ２６
でＰに引数の値１を設定する。次に、更新変数管理テー
ブル位置Ｐに登録されている呼出し関数名の数をＮに設
定する処理ステップＳ２７を行なう。位置３０１ＡのＰ
＝１（番目）対応の呼出し関数名３０４Ａの欄には、ｆ
ｕｎｃ１，ｆｕｎｃ２の２つの関数名が登録されている
ので、カウンタＮには２を設定する。

【００９５】次に、カウンタＮが０であるか否かの判定
処理ステップＳ２８を行なう。カウンタＮは０ではない
ので、位置ＰのＮ番目の呼び出し関数を取得し、その関
数名の位置をＪに設定する処理ステップＳ２９を行な
う。Ｎの設定値は２であるので、位置３０１ＡのＰ＝１
対応の呼出し関数名３０４Ａの欄に登録のＮ＝２の関数
名はｆｕｎｃ２であり、この関数名ｆｕｎｃ２は位置３
０１Ａの３番目対応の関数名３０２Ａに登録されている
ので、Ｊには３を設定する。

【００９６】次に、ステップＳ３０で、位置３０１Ａの
Ｐ＝１対応の呼出し関数名３０４Ａの欄に登録されてい
るＮ＝２番目の関数名ｆｕｎｃ２を消去する。

【００９７】次に、ステップＳ３１で、引数にＪの値で
ある３を設定する。

【００９８】次に、ステップＳ３２で、関数集計のサブ
ルーチンを再帰呼出しする。

【００９９】関数集計のサブルーチンでは、ステップＳ
２６で、Ｐに引数の値３を設定する。

【０１００】次に、ステップＳ２７を行う。位置３０１
ＡのＰ＝３対応の呼出し関数名３０４Ａの欄には関数名
が未登録であるので、カウンタＮには０を設定する。次
に、判定処理ステップＳ２８を行なう。カウンタＮは０
なので、関数集計のサブルーチンを終了する。

【０１０１】Ｐ，Ｎ，Ｊは関数集計のサブルーチンの呼
出し前の値である、１，２，３に戻す。

【０１０２】次に、更新変数管理テーブル位置Ｊの変数
名に変数名を追加登録する処理ステップＳ３３を行う。
位置３０１ＡのＪ＝３番目対応の変数名３０３Ａの欄に
登録されている変数名ｈを、位置３０１ＡのＰ＝１番目
対応の変数名３０３Ａの欄に追加登録する処理を行なう
のだが、既に変数ｈは登録済みであるため、ここでは特
に何も行なわない。

【０１０３】次に、カウンタＮを１減らす処理ステップ
Ｓ３４により、Ｎが２であるので、カウンタＮを１と
し、Ｎ＝０の判定ステップＳ２８に戻る。カウンタＮは
０ではないので、更新変数管理テーブル位置ＰのＮ番目
の呼出し関数名を取得し、その関数名の位置をＪに設定
する処理ステップＳ２９を行う。位置３０１ＡのＰ＝１
番目対応の呼出し関数名３０４Ａの欄に登録のＮ＝１の
関数名はｆｕｎｃ１で、この関数名ｆｕｎｃ１は位置３
０１Ａの２番目対応の関数名３０２Ａの欄に登録されて
いるので、Ｊには２を設定する。

【０１０４】次に、テップＳ３０で、位置３０１ＡのＰ
＝１対応の呼出し関数名３０４Ａの欄に登録されたＮ＝
１番目の関数名ｆｕｎｃ１を消去する。

【０１０５】次に、ステップＳ３１で、引数にＪの値で
ある２を設定する。

【０１０６】次に、ステップＳ３２で、関数集計のサブ
ルーチンを再帰呼出しする。

【０１０７】関数集計のサブルーチンでは、ステップＳ
２６で、Ｐに引数の値２を設定する。次に、処理ステッ
プＳ２７を行なう。位置３０１ＡのＰ＝２対応の呼出し
関数名３０４Ａの欄には、ｆｕｎｃ３の１つの関数名が
登録されているので、Ｎには１が設定される。判定処理
ステップＳ２８を行なう。Ｎは０ではないので、ステッ
プＳ２９を行なう。位置３０１ＡのＰ＝２対応の呼出し
関数名３０４Ａの欄に登録されているＮ＝１番目の関数
名はｆｕｎｃ３で、この関数名ｆｕｎｃ３は位置３０１
ＡのＰ＝４番目に対する関数名３０２Ａの欄に登録済で
あるので、Ｊには４を設定する。

【０１０８】次に、ステップＳ３０で、位置３０１Ａの
Ｐ＝２対応の呼出し関数名３０４Ａの欄に登録のＮ＝１
番目の関数名ｆｕｎｃ３を消去する。

【０１０９】次に、ステップＳ３１で、引数にＪの値で
ある４を設定する。

【０１１０】次に、ステップＳ３２で、関数集計のサブ
ルーチンを再帰呼出しする。

【０１１１】関数集計のサブルーチンでは、ステップＳ
２６でＰに引数の値４を設定する。

【０１１２】次に、ステップＳ２７を行う。位置３０１
ＡのＰ＝４対応の呼出し関数名３０４Ａの欄には関数名
が登録されていないのでＮには０を設定する。

【０１１３】次に判定処理ステップＳ２８を行なう。カ
ウンタＮは０なので、関数集計のサブルーチンを終了す
る。Ｐ，Ｎ，Ｊは関数集計のサブルーチンを呼び出す前
の値である、２，１，４に戻す。

【０１１４】次に、ステップＳ３３で、位置３０１Ａの
Ｊ＝４対応の変数名３０３Ａの欄に登録された変数名ｆ
を、位置３０１ＡのＰ＝２対応の変数名３０３Ａの欄に
追加登録する。

【０１１５】次に、ステップＳ３４により、Ｎが１であ
るのでカウンタＮを０とし、判定処理ステップＳ２８に
戻る。カウンタＮは０なので、関数集計サブルーチンを
終了する。Ｐ，Ｎ，Ｊは関数集計のサブルーチンを呼び
出す前の値である、１，１，２に戻す。

【０１１６】次に、ステップＳ３３で、位置３０１Ａの
Ｊ＝２対応の変数名３０３Ａの欄に登録の変数名ｇ，ｆ
を位置３０１ＡのＰ＝１対応の変数名３０３Ａの欄に追
加登録する。次に、ステップＳ３４により、Ｎが１であ
るのでカウンタＮを０とし、判定処理ステップＳ３４に
戻る。カウンタＮは０なので、関数集計サブルーチンを
終了する。

【０１１７】次に、ステップＳ２５で、Ｉが１であるの
で位置Ｉを２とし、テーブルの終了判定処理ステップＳ
２２に戻る。

【０１１８】以後、同様にステップＳ２３で、位置２，
３，４を引数に設定して、関数集計処理部の呼出し処理
ステップＳ２４を反復し、更新変数見直し手段の処理ス
テップを終了する。

【０１１９】図８（Ｂ）に更新変数見直し手段の処理ス
テップを行った結果見直した更新変数管理テーブル３０
０Ｂを示す。

【０１２０】次に、図４，図５，図６を再度参照して、
参照ループ内不変式移動手段６の処理ステップを説明す
る。

【０１２１】まず、構文ファイルのオープン処理ステッ
プＳ４１で、原始プログラム１００１に対する構文ファ
イルをオープンする。

【０１２２】次に、ループ先頭文１００６に到達するま
で、１行文の構文読み込み処理ステップＳ４２，構文フ
ァイルの終了判定処理ステップＳ４３，ループ文先頭判
定処理ステップＳ４４を繰り返す。

【０１２３】次に、ループ中変数状態テーブルを０で初
期化する処理ステップＳ４５で、ループ中変数状態テー
ブル４１０Ａの変数名４１１Ａ，参照４１２Ａ，代入４
１３Ａ，変更４１４Ａの全領域を０で初期化する。

【０１２４】次に、不変変数検出処理ステップＳ４６を
行なう。

【０１２５】図５を再度参照して不変変数検出処理ステ
ップＳ４６の処理内容について説明すると、ステップＰ
６１で、条件式処理中フラグＩを０で初期化する。次
に、ループ終了文１０１６に到達するまで、１行文の構
文読み込み処理ステップＰ６２，ループ文終了判定処理
ステップＰ６３，関数呼出し文判定処理ステップＰ６
４，条件文先頭判定処理ステップＰ６５，条件文終了判
定処理ステップＰ６６，参照式フラグＳを０に設定する
処理ステップＰ６７、参照のみの式判定処理ステップＰ
６８、代入文判定処理ステップＰ６９を反復する。

【０１２６】代入文１００７は、ステップＰ６９で、代
入文と判定され、式中の参照される変数の数をＮに設定
する処理ステップＰ８５を行なう。代入文１００７は、
定数の代入文で、参照される変数はないので、カウンタ
Ｎには０を設定する。次に、判定処理ステップＰ７６を
行ない、カウンタＮは０なので、判定処理ステップＰ８
０を行なう。参照式フラグＳは０なので、代入先変数の
変数名の登録判定処理ステップＰ８１を行なう。変数名
４１１Ａには、代入文１００７の代入先変数名ａは登録
されていないので、テップＰ８６で、代入先変数名ａを
変数名４１１Ａに登録する。

【０１２７】次に、条件文処理中フラグＩが０であるか
否かの判定処理ステップＰ８２を行なう。条件文処理中
フラグＩは０なので、判定処理ステップＰ８３を行な
う。変数名４１１Ａの変数名ａに対する参照４１２Ａ，
代入４１３Ａにはともに１が記入されていないので、ス
テップＰ８４で、変数名４１１Ａの変数名ａに対する代
入４１３Ａに１を記入する。

【０１２８】関数呼出し文１００８は、ステップＰ６４
で関数呼出し文と判定され、ステップＰ７０で、関数呼
出し文１００８の関数名ｆｕｎｃ１を基に更新変数管理
テーブル３００Ｂを参照し、関数名３０２Ａのｆｕｎｃ
１に対応する変数名３０３Ａの変数名ｇ，ｆをループ中
変数状態テーブル４１０Ａの変数名４１１Ａに追加登録
し、同時にｇ，ｆに対する変更４１４Ａにそれぞれ１を
記入する。

【０１２９】関数呼出し文１００９も関数呼出し文１０
０８と同様の処理を行ない、変数ｈをループ中変数状態
テーブル４１０Ａの変数名４１１Ａに登録し同時にｈの
変更４１４Ａに１を記入する。

【０１３０】代入文１０１０は、ステップＰ６９で、代
入文と判定され、式中の参照される変数の数をＮに設定
する処理ステップＰ８５を行なう。代入文１０１０の参
照される変数は、ｃとｄの２つがあるので、カウンタＮ
には２を設定する。

【０１３１】次に、判定処理ステップＰ７６を行ない、
カウンタＮは０ではないので、ステップＰ７７を行な
う。変数名４１１Ａには参照される変数のＮの値＝２の
ｄは登録されていないので、ステップＰ８５で変数名ｄ
を変数名４１１Ａに追加登録する。

【０１３２】次に、Ｎ番目の変数の変数名に対する参照
に１を記入する処理ステップＰ７８で、変数名４１１Ａ
のｄに対する参照４１２Ａに１を記入する。

【０１３３】次に、ステップＰ７９で、Ｎが２であるの
でカウンタＮを１とし、判定処理ステップＰ７６に戻
る。カウンタＮは０ではないので、判定処理ステップＰ
７７を行なう。変数名４１１Ａには参照される変数のＮ
＝１番目のｃは登録されていないので、ステップＰ８５
で、変数名４１１Ａに変数名ｃを追加登録する。

【０１３４】次に、ステップＰ７８で、変数名４１１Ａ
のｃに対する参照４１２Ａに１を記入する。次に、ステ
ップＰ７９で、Ｎが１であるのでカウンタＮを０とし、
ステップＰ８６に戻る。カウンタＮは０なので、ステッ
プＰ８０を行なう。参照式フラグＳは０なので、判定処
理ステップＰ８１を行なう。変数名４１１Ａには、代入
先変数名ｂは登録されていないので、ステップＰ８６を
行い、代入先変数名ｂを変数名４１１Ａに追加登録す
る。

【０１３５】次に、判定処理ステップＰ８２を行なう。
条件文処理中フラグＩは０なので、判定処理ステップＰ
８３を行なう。変数名４１１Ａの変数名ｂに対する参照
４１２Ａ，代入４１３Ａはともに１が記入されていない
ので、ステップＰ８４で、変数名４１１Ａの変数名ｂに
対する代入４１３Ａに１を記入する。

【０１３６】代入文１０１１も代入文１０１０と同様の
処理を行ない、ループ中変数状態テーブル４１０Ａの変
数ａおよび変数名ｆに対応する参照４１２Ａにそれぞれ
１を記入し、また変数名４１１Ａにｅを追加登録し、対
応する代入４１３Ａに１を記入する。

【０１３７】条件判定文１０１２は、判定処理ステップ
Ｐ７５で、条件文と判定され、ステップＰ８１で、Ｉを
１とする。また、条件文１０１２には、参照のみの式が
含まれているので、判定処理ステップＰ６８で、参照の
みの式と判定され、ステップＰ７３で、参照式フラグＳ
を１に設定する。ステップＰ７５で、条件文１０１２で
は、参照される変数がｇのみなので、カウンタＮには１
を設定する。次に、判定処理ステップＰ７６を行ない、
カウンタＮは１なので、判定処理ステップＰ７７を行な
う。変数名４１１Ａにはｇが登録されているので、次
に、ステップＰ７８で、変数名４１１Ａのｇに対する参
照４１２Ａに１を記入する。次に、ステップＰ７９で、
Ｎが１なので、カウンタＮを０とし、ステップＰ７６に
戻る。カウンタＮは０なので、ステップＰ８０を行な
う。参照式フラグＳは１なので、ステップＰ６２に戻
る。

【０１３８】代入文１０１３についても、代入文１０１
０と同様の処理が行なわれるが、ステップＰ８２で、条
件文処理中フラグＩは１なので、ステップＰ８７で、変
数名４１１Ａのｈに対する変更４１４Ａに１を記入す
る。

【０１３９】条件式の終了文１０１４は、終了判定処理
ステップＰ７６で、条件式の終了と見なされるので、ス
テップＰ７１で、Ｉを０とする。

【０１４０】代入文１０１５も代入文１０１０と同様の
処理を行なうが、ステップＰ８４で、変数名４１１Ａの
ｉに対する参照４１２Ａには、式中の参照される変数を
登録する処理で１が既に記入されているので、ステップ
Ｐ８７で、変数名４１１Ａのｉに対する変更４１４Ａに
１を記入する。

【０１４１】ループ終了文１０１６に到達した時点で、
ステップＰ６３で、ループ文の終了と判定され、不変変
数検出処理を終了し、図４に戻る。

【０１４２】次に、構文ファイル位置をループの先頭に
戻す処理ステップＳ４７で、ループ文の先頭文１００６
に、構文ファイルの読み込み位置を戻す。

【０１４３】次に、不変式移動処理ステップＳ４８を行
なう。

【０１４４】次に、図６を参照して不変式移動処理ステ
ップＳ４８の処理内容を説明すると、この不変式移動処
理は、ループ終了文１０１６に到達するまで、１行文の
構文読み込み処理ステップＰ９１，ループ文の終了判定
処理ステップＰ９２，代入文判定処理ステップＰ９３を
繰り返す。

【０１４５】代入文１００７は、ステップＰ９３で、代
入文と判定され、ステップＰ９４を行なう。代入文１０
０７の変数名ａは、変数名４１１Ａのａ対応の変更４１
４Ａの欄には１が記入されていないので、代入文をルー
プの外に移動する処理ステップＰ９５で、この代入文１
００７をループの外に移動する。

【０１４６】代入文１０１０は、ステップＰ９３で、代
入文と判定され、ステップＰ９４を行なう。代入文１０
１０の変数名ｂ，ｃ，ｄは、変数名４１１Ａのｂ，ｃお
よびｄの各々に対応の変数名４１１Ａのいずれの欄にも
１が記入されていないので、ステップＰ９５で、この代
入文１０１０をループの外に移動する。

【０１４７】代入文１０１１は、ステップＰ９３で、代
入文と判定され、ステップＰ９４を行なう。代入文１０
１１の変数名ｅ，ａ，ｆは、変数名４１２Ａのｆに対応
の変更４１４Ａに１が記入されているのでステップＰ９
６で、代入先変数名ｅの変数名４１１Ａのｅに対する変
更４１４Ａが指す欄１０４０上に１を記入する。

【０１４８】代入文１０１３は、ステップＰ９３で、代
入文と判定され、ステップＰ９４を行なう。この代入文
１０１３の変数名ｈは、変数名４１１Ａのｈ対応の変更
４１４Ａに１が記入されているので、ステップＰ９６
で、代入先変数名ｈの変数名４１１Ａのｈに対する変更
４１４Ａが指す欄１０３９上に１を記入する。

【０１４９】代入文１０１５は、ステップＰ９３で代入
文と判定され、ステップＰ９４を行なう。この代入文１
０１５の変数名ｉは、変数名４１１Ａのｉに対する変更
４１４Ａに１が記入されているので、ステップＰ９６
で、代入先変数名ｉの変数名４１１Ａのｉ対応の変更４
１４Ａが指す欄１０４１上に１を記入する。

【０１５０】そして、ループ終了文１０１６に到達した
時点で、終了判定処理ステップＰ９１で、ループ文の終
了と判定され、不変式移動部の処理を終了し、図４に戻
る。

【０１５１】この処理結果のループ中変数状態テーブル
を図８（Ｃ）に示す。

【０１５２】次に、構文ファイルの終了判定処理ステッ
プＳ４２に戻る。

【０１５３】構文ファイルの終了に到達した時点で、構
文ファイルのクローズ処理ステップＳ４９で構文ファイ
ルをクローズして参照ループ内不変式移動手段の処理ス
テップを終了する。

【０１５４】図７（Ｂ）に、原始プログラム１００１内
のループブロック１００５の最適化した結果得られたル
ープブロック１０４２を示す。

【０１５５】本実施の形態において、関数呼出し文を含
むループブロック１００５中の、代入文１００７，１０
１０に対して、従来技術ではできなかったループ外への
移動が行なわれている。

【０１５６】従来技術によるコンパイラが生成する図１
６（Ａ）のループ内不変式移動結果のループブロック１
６０１と、本実施の形態のコンパイラが生成する図７
（Ｂ）のループ内不変式移動結果のループブロック１０
４２とを比較する。

【０１５７】従来技術によるループブロック１６０１
は、関数呼出しが含まれているためループ内不変式の移
動が一切行なわれず、総実行文数が１８１になるのに対
し、本実施によるループフロック１０４２は、呼出し関
数内で変化する変数を認識することにより、ループ内不
変式の移動が行なわれ、総実行文数が１５３となり、実
行速度が１．１８倍速くコードを生成している。

【０１５８】次に、本発明の第２の実施の形態のコンパ
イラの最適化方法を示す図９，図１０を参照すると、こ
の図に示す本実施の形態の上述の第１の実施の形態との
相違点は、非同期割込関数を定義可能な処理系を想定
し、この割込関数に対しての処理を付加したことであ
る。

【０１５９】まず、本実施の形態の更新変数抽出手段４
Ａの処理手順を図２と共通の処理は共通の文字を付して
同様にフロチャートで示す図９を参照すると、この図に
示す本実施の形態の更新変数抽出手段４Ａの第１の実施
の形態との相違点は、まず、図９（Ｂ）に示すように、
本実施の形態の更新変数管理テーブル３１０が位置３１
１，関数名３１２，変数名３１３，呼出し関数名３１４
に加えて、関数名３１２の関数が割込み関数の場合にそ
れを示す割込３１５を付加したことと、これに伴なっ
て、図９（Ａ）のフローチャートにおいて関数名を位置
Ｉの関数名に登録する処理ステップＳ７の後に、割込関
数判定処理ステップＳ１０１と、判定結果割込関数であ
る場合に位置Ｉの割込に１を記入する処理ステップＳ１
０２とを付加したことである。

【０１６０】次に、本実施の形態の更新変数見直し手段
５は第１の実施の形態と共通である。

【０１６１】次に、本実施の形態の参照ループ内不変式
移動手段６Ａの第１の実施の形態との相違点は、図４の
不変変数検出処理ステップＳ４６の代りにステップＳ４
６Ａを含むことである。

【０１６２】本実施の形態の不変変数検出処理ステップ
Ｓ４６Ａの処理手順を図５と共通の処理は共通の文字を
付して同様にフロチャートで示す図１０を参照すると、
このステップＳ４６Ａの第１の実施の形態との相違点
は、ステップＰ６１とＰ６２との間に、更新変数管理テ
ーブルを参照してループ中変数状態テーブルに登録する
処理ステップＳ２０１が付加されることである。

【０１６３】このステップＳ２０１は、更新変数管理テ
ーブル３１０の割込３１５に１が記入されている関数名
に登録されている変数名を、ループ中変数状態テーブル
４００の変数４１１に追加登録し、変更４１４に１を記
入する処理を行う。

【０１６４】次に、非同期に動作する割込関数すなわち
非同期割込関数の定義を含む原始プログラムと本実施の
形態で生成する更新変数管理テーブル３１０Ａとループ
中変数状態テーブル４１０Ｂの各処理ステップの過程を
示す図１１を併せて参照して本実施の形態のコンパイラ
の最適化方法について第１の実施の形態との相違点を中
心に詳細に説明する。

【０１６５】最初に図９（Ａ）を再度参照して、更新変
数抽出手段４Ａの処理ステップを説明する。

【０１６６】まず、ステップＳ１で、図１１（Ａ）の原
始プログラム１１０１に対する構文ファイルをオープン
する。次に、ステップＳ２で、位置３１１Ａ，関数名３
１２Ａ，変数名３１３Ａ，呼出し関数名３１４Ａで構成
される更新変数管理テーブル３１０Ａの全ての領域を０
で初期化する。次に、ステップＳ３で、更新変数管理テ
ーブル位置Ｉを１で初期化する。次に、関数先頭文１１
０３に到達するまでステップＳ４〜Ｓ６を反復する。

【０１６７】関数先頭文１１０３はステップＳ６で関数
先頭文と判定し、この関数名ｍａｉｎをステップＳ７で
更新変数管理テーブル３１０Ａの位置３１１Ａの１番目
対応の関数名３１２Ａの欄に登録する。

【０１６８】次に、割込関数の判定処理ステップＳ１０
１で、割込関数か否かを判定する。ｍａｉｎ関数は割込
関数ではないので、ステップＳ８で１行文の構文を読み
込む。

【０１６９】次に、関数終了文１１１５に到達するま
で、ステップＳ８〜Ｓ１１を反復する。

【０１７０】代入文１１０４，１１０７，１１０８，１
１０９，１１１１，１１１３は代入文であるため、ステ
ップＳ１０で代入文と判定し、ステップＳ１４を行な
う。代入文１１０４，１１０７，１１０８，１１０９，
１１１１の代入先変数名は、位置３１１Ａの１番目対応
の変数名３１３Ａの欄には登録されていないので、ステ
ップＳ１６で、代入先変数名ｉ，ａ，ｂ，ｅ，ｈを位置
３１１Ａの１番目対応の変数３１３Ａに登録する。代入
文１１１３の代入先変数名ｉは、位置３１１Ａの１番目
に対する変数３１３Ａに既に登録済みであるため、登録
は行なわない。

【０１７１】関数終了文１１１５に到達した時点で、ス
テップＳ９で関数終了文と判定し、ステップＳ１３で、
更新変数管理テーブル位置Ｉを１増やし、ステップＳ４
に戻り、１行文の構文読み込み処理を行なう。

【０１７２】次に、ステップＳ５を行ない、構文ファイ
ルの終了ではないので、ステップＳ６を行なう。割込関
数先頭文１１１６は関数先頭文なので、ステップＳ７
で、割込関数先頭文１１１６の関数名ｆｕｎｃを位置３
１１Ａの２番目に対する関数名３１２Ａに登録する。

【０１７３】次に、ステップＳ１０１で割込関数か否か
を判定する。ｆｕｎｃ関数は割込関数を意味するキーワ
ードｉｎｔｅｒｒｕｐｔが付加された関数のため、割込
関数と判定され、位置Ｉの割込に１を記入する処理ステ
ップＳ１０２で、位置３１１Ａの２番目対応の割込３１
５Ａに１を記入する。

【０１７４】以後、代入文１１１７，関数終了文１１１
８に関しても同様の処理を行なう。関数終了文１１１８
の処理の終了後、ステップＳ４で、１行文の構文を読み
込み、ステップＳ５で構文ファイルの終了と判定し、ス
テップＳ１２で、構文ファイルをクローズして、更新変
数抽出手段の処理ステップを終了する。この結果生成さ
れた更新変数管理テーブル３１０Ａを図１１（Ｂ）に示
す。

【０１７５】次に、第１の実施の形態と共通の更新変数
見直し手段５の処理ステップＳ２１〜Ｓ３４を実行す
る。この結果、見直された更新変数管理テーブル３１０
Ａはその内容が変化しない。

【０１７６】次に、参照ループ内不変式移動手段の処理
ステップを図４，図６，図８を参照して説明する。ま
ず、ステップＳ４１で、原始プログラム１１０１に対す
る構文ファイルをオープンする。次に、ループ先頭文１
１０６に到達するまで、ステップＳ４２〜Ｓ４４を繰り
返す。

【０１７７】次に、ループ中変数状態テーブルを０で初
期化する処理ステップＳ４５で、ループ中変数状態テー
ブル４１０Ｂの変数名４１１Ｂ，参照４１２Ｂ，代入４
１３Ｂ，変更４１４Ｂの全領域を０で初期化する。

【０１７８】次に、不変変数検出処理ステップＳ４６を
行なう。

【０１７９】図９を再度参照して不変変数検出処理ステ
ップＳ４６の処理内容について説明すると、ステップＰ
６１で、条件式処理中フラグＩを０で初期化する。

【０１８０】次に、更新変数管理テーブルを参照してル
ープ中変数状態テーブル４１０に登録する処理ステップ
Ｓ２０１を行なう。位置３１１Ａの２番目対応の割込３
１５Ａに１が記入されているので、位置３１１Ａの２番
目対応の変数名３１３Ａに登録されている変数名ｆを、
変数名４１１Ｂに登録し、同時に変更４１４Ｂに１を記
入する。

【０１８１】次に、ループ終了文１１１４に到達するま
で、ステップＰ６２〜Ｐ６９を反復する。

【０１８２】以下第１の実施の形態と同様に処理を行
い、ループ終了文１１１４に到達した時点で、ステップ
Ｐ６３でループ終了と判定し、不変変数検出処理ステッ
プＳ４６Ａを終了する。

【０１８３】次に、ステップＳ４７でループ文の先頭文
１１０６に構文ファイル位置を戻す。

【０１８４】次に、第１の実施の形態と共通の不変式移
動処理ステップＳ４８を行う。

【０１８５】ステップＳ４８では、ステップＰ９１〜Ｐ
９３を繰り返す。

【０１８６】代入文１１０７は、ステップＰ９３で、代
入文と判定されステップＰ９５でループの外に移動す
る。同様に、代入文１１０８をループの外に移動する。

【０１８７】代入文１１０９は、変数名ｅ，ａ，ｆが、
変数名４１１Ｂのｆに対する変更４１４Ｂに１が記入さ
れているので、ステップＰ９６で変数名４１１Ｂのｅに
対する変更４１４Ｂが指す欄１１３１上に１を記入す
る。

【０１８８】代入文１１１１は、変数名ｈが、変数名４
１１Ｂのｈに対する変更４１４Ｂに１が記入されている
ので、ステップＰ９６で、代入先変数名ｈの変数名４１
１Ｂのｈに対する変更４１４Ｂが指す欄１１３２上に１
を記入する。

【０１８９】同様に、代入文１１１３は、ステップＰ９
６で、変更４１４Ｂが指す欄１１３３上に１を記入す
る。

【０１９０】ループ終了文１１１６に到達した時点で、
ステップＰ９１で、ループ文の終了と判定し、不変式移
動部の処理を終了し、図４に戻る。

【０１９１】次に、終了判定処理ステップＳ４２に戻
る。

【０１９２】構文ファイルの終了に到達した時点で、ス
テップＳ４９で構文ファイルをクローズして参照ループ
内不変式移動手段の処理ステップを終了する。

【０１９３】図１１（Ｃ）に原始プログラム１１０１内
のループブロック１１０５の最適化結果であるループブ
ロック１１３４を示す。

【０１９４】本実施の形態において、ループブロック１
１０５中の代入文１１０７，１１０８に対して、従来技
術ではできなかったループ外への移動を行なっている。

【０１９５】従来技術によるコンパイラが生成する図１
６（Ｂ）のループ内不変式移動結果のループブロック１
７０１と、本実施の形態のコンパイラが生成する図１１
（Ｃ）のループ内不変式移動結果のループブロック１１
３４とを比較する。

【０１９６】従来技術によるループブロック１７０１
は、非同期割込関数の定義が含まれているためループ内
不変式の移動が一切行なわれず、総実行文数が６０にな
るのに対し、本実施によるループフロック１１３４は、
非同期割込関数内で更新される変数を認識することによ
り、ループ内不変式の移動が行なわれ、総実行文数が３
２で済み、実行速度が１．８８倍速くコードを生成して
いる。

【０１９７】

【発明の効果】以上説明したように、本発明のコンパイ
ラの最適化装置は、コード最適化手段が、ループ内不変
式に含まれる関数毎に更新変数を抽出し更新変数管理テ
ーブルに登録する更新変数抽出手段と、呼出元関数によ
る他関数の呼出時に呼出先で更新される変数を更新変数
として更新変数管理テーブルに登録する更新変数見直し
手段と、更新変数管理テーブルの参照による更新変数の
認識に基づきループ内不変式を抽出してループ外に移動
する更新変数参照ループ内不変式移動手段とを備え、関
数呼出しを含む原始プログラムの最適化処理において呼
出し関数内で変化する変数を認識することにより、実行
回数が多いループ内不変式の移動を実行できるので総実
行文数を削減でき、したがって処理速度を高速化できる
という効果がある。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態のコンパイラの最適
化装置を示すブロック図である。

【図２】本実施の形態の更新変数抽出手段のフローチャ
ートと更新管理テーブルとを示す図である。

【図３】本実施の形態の更新変数見直し手段の処理を示
すフロチャートである。

【図４】本実施の形態の参照ループ内不変式移動手段の
処理を示すフロチャートである。

【図５】本実施の形態の不変変数検出処理を示すフロチ
ャートである。

【図６】本実施の形態の不変式移動処理を示すフロチャ
ートである。

【図７】本実施の形態の最適化処理対象の原始プログラ
ムとループブロックの最適化結果とを示す図である。

【図８】本実施の形態の更新変数管理テーブルとループ
中変数状態テーブルとの内容を示す図である。

【図９】本発明の第２の実施の形態のコンパイラの最適
化方法を示す更新変数抽出手段のフローチャートと更新
管理テーブルとを示す図である。

【図１０】本実施の形態の不変変数検出処理を示すフロ
チャートである。

【図１１】本実施の形態の最適化処理対象の原始プログ
ラムと更新変数管理テーブルとループ中変数状態テーブ
ルとループブロックの最適化結果とを示す図である。

【図１２】従来のコンパイラの最適化装置の一例を示す
ブロック図である。

【図１３】従来のループ内不変式移動手段の処理を示す
フロチャートである。

【図１４】従来の不変変数検出処理を示すフロチャート
である。

【図１５】従来の不変式移動処理を示すフロチャートで
ある。

【図１６】従来の関数呼出し及び非同期割込関数を有す
る原始プログラムの各々のループブロックの最適化結果
をそれぞれ示す図である。

【符号の説明】

１ 字句解析手段 ２ 構文解析手段 ３，１０３ コード最適化手段 ４ 更新変数抽出手段 ５ 更新変数見直し手段 ６ 参照ループ内不変式移動手段 ７ コード生成手段 １３１ ループ内不変式移動手段 ３００，３００Ａ，３００Ｂ，３１０，３１０Ａ，３１
０Ｂ 更新変数管理テーブル ３０１，３０１Ａ，３０１Ｂ，３１１，３１１Ａ，３１
１Ｂ 位置 ３０２，３０２Ａ，３０２Ｂ，３１２，３１２Ａ，３１
２Ｂ 関数名 ３０３，３０３Ａ，３０３Ｂ，３１３，３１３Ａ，３１
３Ｂ 変数名 ３０４，３０４Ａ，３０４Ｂ，３１４，３１４Ａ，３１
４Ｂ 呼出し関数名 ３１５，３１５Ａ，３１５Ｂ 割込 ４１０，４１０Ａ，４１０Ｂ ループ中変数状態テー
ブル ４１１，４１１Ａ，４１１Ｂ 変数名 ４１２，４１２Ａ，４１２Ｂ 参照 ４１３，４１３Ａ，４１３Ｂ 代入 ４１４，４１４Ａ，４１４Ｂ 変更 １００１，１１０１ 原始プログラム １００５，１１０５，１０４２，１１３４ ループブ
ロック

Claims (10)

【特許請求の範囲】
1. 【請求項１】 入力した原始プログラムを字句に分解し
   字句解析結果を出力する字句解析手段と、前記字句解析
   結果の供給を受けて構文を構築しこの構文を認識して構
   文解析結果を出力する構文解析手段と、前記構文解析結
   果の供給を受けて不要な構文の削除処理とループ処理構
   文中のループ処理に影響を受けない構文であるループ内
   不変式をこのループ処理構文の外に移動するループ内不
   変式移動処理とを含む最適化処理を行い最適化結果を出
   力するコード最適化手段と、前記コード最適化結果の供
   給を受けて翻訳対象プロセッサ用のオブジェクトコード
   を生成するコード生成手段とを備えるコンパイラの最適
   化装置において、 前記コード最適化手段が、前記ループ内不変式に含まれ
   る関数毎に更新対象の変数である更新変数を抽出しこの
   更新変数を管理するための更新変数管理テーブルに登録
   する更新変数抽出手段と、 任意の呼出元関数による他関数の呼出時に呼出先で更新
   される変数を前記呼出元関数で更新される更新変数とし
   て前記更新変数管理テーブルに登録する更新変数見直し
   手段と、 前記更新変数の前記更新変数管理テーブルの参照による
   認識に基づき前記ループ内不変式を抽出してループ外に
   移動する更新変数参照ループ内不変式移動手段とを備え
   ることを特徴とするコンパイラの最適化装置。
2. 【請求項２】 入力した原始プログラムを字句に分解し
   字句解析結果を出力する字句解析ステップと、前記字句
   解析結果の供給を受けて構文を構築しこの構文を認識し
   て構文解析結果を出力する構文解析ステップと、前記構
   文解析結果の供給を受けて不要な構文の削除処理とルー
   プ処理構文中のループ処理に影響を受けない構文である
   ループ内不変式をこのループ処理構文の外に移動するル
   ープ内不変式移動処理とを含む最適化処理を行い最適化
   結果を出力するコード最適化ステップと、前記コード最
   適化結果の供給を受けて翻訳対象プロセッサ用のオブジ
   ェクトコードを生成するコード生成ステップとを含るコ
   ンパイラの最適化方法において、 前記コード最適化ステップがが、前記ループ内不変式に
   含まれる関数毎に更新対象の変数である更新変数を抽出
   しこの更新変数を管理するための更新変数管理テーブル
   に登録する更新変数抽出処理ステップと、 任意の呼出元関数による他関数の呼出時に呼出先で更新
   される変数を前記呼出元関数で更新される更新変数とし
   て前記更新変数管理テーブルに登録する更新変数見直し
   処理ステップと、 前記更新変数の前記更新変数管理テーブルの参照による
   認識に基づき前記ループ内不変式を抽出してループ外に
   移動する更新変数参照ループ内不変式移動処理ステップ
   とを含むことを特徴とするコンパイラの最適化方法。
3. 【請求項３】 前記更新変数抽出処理ステップが、前記
   構文解析結果から構文ファイルを開くステップと、 前記更新変数管理テーブルを初期化するステップと、 前記更新変数管理テーブルの更新変数の登録用の登録位
   置を設定するステップと、 １行文の第１の構文を読み込む第１のステップと、 前記構文ファイルの終了か否かを判断する第２のステッ
   プと、 前記第２のステップの判断結果が終了でない場合に前記
   第１の構文が関数の先頭か否かを判断する第３のステッ
   プと、 前記第３のステップの判断結果が関数の先頭である場合
   にこの関数名を前記登録位置対応の関数名の欄に登録す
   る第４のステップと、 次の１行分の第２の構文を読み込む第５のステップと、 前記第２の構文が関数の終了か否かを判断する第６のス
   テップと、 前記第６のステップの判断結果が終了の場合前記登録位
   置の設定を変更し前記第１のステップへ戻るステップ
   と、 前記第６のステップの判断結果が否の場合に前記第２の
   構文が代入文か否かを判断する第７のステップと、 前記第７のステップの判断結果が否の場合に関数呼出し
   であるか否かを判断する第８のステップと、 前記第７のステップの判断結果が代入文である場合この
   代入文が前記登録位置の変数名に登録済みであるか否か
   を判断する第９のステップと、 前記第９のステップの判断結果が否である場合に前記登
   録位置に前記代入文の代入先変数名を登録するステップ
   と、 前記第９のステップの判断結果が登録済みの場合前記第
   ８のステップへ移行するステップと、 前記第８のステップで関数呼出しの場合にこの呼出し関
   数名が前記登録位置の呼出し関数名に登録済みであるか
   否かを判断する第１０のステップと、 前記第１０のステップの判断結果が否である場合に前記
   登録位置に前記呼び出し関数名を登録するステップと、 前記第１０のステップの判断結果が登録済みである場合
   に前記第５のステップへ戻るステップとを含むことを特
   徴とする請求項２記載のコンパイラの最適化方法。
4. 【請求項４】 前記更新変数見直し処理ステップが、前
   記更新変数管理テーブルの前記登録位置を設定するステ
   ップと、 前記登録位置が最後か否かを判断する第１１のステップ
   と、 前記第１１のステップの判断結果が最後であれば更新変
   数見直し処理を終了するステップと、 前記第１１のステップの判断結果が否の場合前記登録位
   置を引数に設定するステップと、 関数集計処理を行う関数集計処理ステップと、 前記引数に１を加え前記第１１のステップへ戻るステッ
   プとを含むことを特徴とする請求項２記載のコンパイラ
   の最適化方法。
5. 【請求項５】 前記更新変数参照ループ内不変式移動処
   理ステップが、前記構文ファイルを開くステップと、 １行文の構文を読み込む第１４のステップと、 前記構文ファイルが終了か否かを判断する第１５のステ
   ップと、 前記第１５のステップの判断結果が終了の場合前記構文
   ファイルを閉じるステップと、 前記第１５のステップの判断結果が終了でない場合前記
   構文ファイルがループ文の先頭か否かを判断する第１６
   のステップと、 前記第１６のステップの判断結果が否の場合前記第１４
   のステップへ戻るステップと、 前記第１６のステップの判断結果が先頭である場合前記
   ループ文の変数の状態を管理するループ中変数状態テー
   ブルを０で初期化するステップと、 前記ループ文に含まれる不変変数を検出する不変変数検
   出ステップと、 前記構文ファイル位置をループの先頭へ戻すステップ
   と、 前記不変変数を含む不変式を移動するループ内不変式移
   動ステップとを有することを特徴とする請求項２記載の
   コンパイラの最適化方法。
6. 【請求項６】 前記更新変数管理テーブルが割込関数を
   登録する割込の欄をさらに含み、前記更新変数抽出手段
   が、前記第４のステップの処理後前記関数が割込関数で
   あるか否かを判断し割込関数であると判断した場合に前
   記登録位置対応の前記割込の欄に１を設定するステップ
   を含むことを特徴とする請求項３記載の最適化方法。
7. 【請求項７】 前記関数集計処理ステップが、前記引数
   を受け取り受け取り引数を設定するステップと、 前記登録位置を前記受け取り引数とし前記登録位置に登
   録されている呼出し関数名の数をＮに設定するステップ
   と、 前記Ｎが０か否かを判断する第１２のステップと、 前記第１２のステップで前記Ｎの数が０であれば前記関
   数集計処理ステップを終了するステップと、 前記第１２のステップで前記Ｎが０以外であれば前記受
   け取り引数対応の前記登録位置のＮ番目の呼出し関数名
   を取得し前記登録位置を変更するステップと、 前記登録位置の変更前の第１の登録位置のＮ番目の呼び
   出し関数名を消去するステップと、 前記変更された第２の登録位置を引数に設定する第１３
   のステップと、 前記第１３のステップで設定された更新変数管理テーブ
   ルを用いて関数集計処理を行うステップと、 前記第１の登録位置の変数名に前記第２の登録位置の変
   数名を追加登録するステップと、 前記Ｎから１を減算し前記第１２のステップへ戻るステ
   ップとを含むことを特徴とする請求項４記載のコンパイ
   ラの最適化方法。
8. 【請求項８】 前記不変変数検出ステップが、条件処理
   中フラグを設定する第２１のステップと、 読込んだ構文が前記ループ文の終了か否かを判断する第
   ２２のステップと、 前記第２２のステップの判断結果が否の場合前記構文が
   関数呼出しか否かを判断する第２３のステップと、 前記第２３のステップの判断結果が呼出し関数の場合前
   記更新変数管理テーブルを参照し参照された関数で更新
   される変数のうち前記ループ中変数状態テーブルに未登
   録の変数を登録するとともに前記ループ中変数状態テー
   ブルの変更の欄に１を記入するステップとを含むことを
   特徴とする請求項５記載のコンパイラの最適化方法。
9. 【請求項９】 前記ループ内不変式移動ステップが、読
   込んだ構文が前記ループ文の終了か否かを判断する第３
   １のステップと、 前記第３１のステップの判断結果が否の場合前記構文が
   代入文か否かを判断する第３２のステップと、 前記第３２のステップの判断結果が代入文である場合前
   記代入文を構成する全変数の変数名対応の前記ループ中
   変数状態テーブル中の変更の欄が０であるか否かを判断
   する第３３のステップと、 前記第３３のステップの判断結果が否の場合前記代入先
   変数の変数名対応の前記変更の欄に１を記入するステッ
   プと、 前記第３３のステップの判断結果が０の場合前記代入文
   を前記ループの外に移動するステップとを有することを
   特徴とする請求項５記載のコンパイラの最適化方法。
10. 【請求項１０】 前記不変変数検出ステップが、前記第
    ２１のステップの処理後前記更新変数管理テーブルの割
    込の欄に１が記入されている関数名に登録されている変
    数名を前記ループ中変数状態テーブルに登録するととも
    に前記ループ中変数状態テーブルの変更の欄に１を記入
    するステップをさらに含むことを特徴とする請求項８記
    載のコンパイラの最適化方法。