JPH06274351A

JPH06274351A - コンパイラの最適化方式

Info

Publication number: JPH06274351A
Application number: JP5811493A
Authority: JP
Inventors: Katsumi Yamamoto; 克己山本
Original assignee: NEC Solution Innovators Ltd
Current assignee: NEC Solution Innovators Ltd
Priority date: 1993-03-18
Filing date: 1993-03-18
Publication date: 1994-09-30

Abstract

(57)【要約】【目的】コンパイラにおいて、原始プログラム中に、配
列の各要素の値が翻訳時に分かっていると判断された配
列の単項演算があった場合等に、効率の良い目的プログ
ラムを生成する。【構成】コンパイラ１０は翻訳している原始プログラム
中の実行中の配列の各要素の値が翻訳時に分かっている
配列の単項演算に対して、分かっている配列の値を保持
する配列値情報テーブル５５５を作成する手段１３１
と、演算対象の配列と同じ大きさの作業用配列の配列値
情報テーブル５５５を準備する手段１３２と、その単項
演算の実行結果の値を得て作業用配列の配列値情報テー
ブル５５５に格納する手段１３３と、配列の単項演算の
代わりに、配列の単項演算の実行結果の値が格納された
作業用配列を参照するような目的プログラムとなるよう
に中間コードを変更する手段１３４とを有する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明はコンパイラの最適化方
式、特に単項演算，二項演算，および配列添字を有する
高級言語で記述された原始プログラムを入力して、目的
プログラムを生成するコンパイラの最適化方式に関す
る。

【０００２】

【従来の技術】従来、コンパイラは、原始プログラム中
にその文の実行時の値が翻訳時に分かっていると判断さ
れたスカラ変数の単項演算またはスカラ変数同士の二項
演算に対しては、翻訳時にその単項演算または二項演算
を計算し、その計算結果を参照する目的プログラムを生
成している。しかし、原始プログラム中に、配列の各要
素の値が翻訳に分かっていると判断された配列の単項演
算または配列同士および配列と定数との二項演算があっ
た場合には各配列要素の値を取出して演算をしていく目
的プログラムを生成している。また、実行中の添字が配
列の配列参照をする場合において、添字として使用され
ている配列の値が翻訳時に分かっており、かつ、その配
列の添字により参照される配列の値も翻訳時に分かって
いても、配列の添字を介して配列値を取出す命令列を生
成した目的プログラムを生成している。

【０００３】

【発明が解決しようとする課題】上述した従来のコンパ
イラは、翻訳時に配列の各要素の値が分かっていると判
断された配列の単項演算、または配列同士あるいは配列
と定数との二項演算においても、各配列要素の値を取出
して単項演算、または二項演算を行ない、また翻訳時に
添字として使用されている配列の値が分かっており、か
つ、その配列の添字により参照される配列の値も分かっ
ている場合にも、配列の添字を介して配列値を取出す目
的プログラムを生成しているので、目的プログラムの実
行において、単項演算，二項演算，および配列の参照に
長い時間を要するという問題点がある。

【０００４】

【課題を解決するための手段】本発明のコンパイラの最
適化方式は、原始プログラムを入力して目的プログラム
に翻訳するコンパイラにおいて、翻訳している原始プロ
グラムの中の実行中の配列の各要素の値が翻訳時に分か
っているか否かを判断して、分かっているならその配列
要素の値は分かっているという情報とその配列要素の値
とを翻訳時に用意した配列値情報テーブルに保持し、分
かっていないならその配列要素の値は分かっていないと
いう情報を配列値情報テーブルに保持する配列値保持手
段と、翻訳している原始プログラム中の実行中の配列の
単項演算に対して、演算対象の配列要素の値が翻訳時に
分かっているなら、演算対象の配列と同じ大きさの作業
用配列の配列値情報テーブルを準備する作業用配列準備
手段と、配列の各要素の値が翻訳時に分かっていると判
断された配列の単項演算に対して、前記配列値保持手段
によって配列値情報テーブル中に保持された配列の値を
用いて演算を実行し、前記作業用配列準備手段で準備さ
れた作業用配列の配列値情報テーブルにその配列要素の
値は分かっているという情報とその配列要素の値として
の演算結果の値とを保持しておく配列演算手段と、配列
の各要素の値が翻訳時に分かっていると判断された配列
の単項演算の代りに前記配列演算手段で配列演算の演算
結果の値を格納した作業用配列の配列値情報テーブルの
値を参照する目的プログラムとなるように中間コードを
変更する中間コード変更手段とを有することにより構成
され、また以上の構成において、作業用配列準備手段
が、翻訳している原始プログラム中の実行中の配列同士
あるいは配列と定数との二項演算に対して、演算対象の
配列要素の値が前記配列値保持手段によって分かってい
るとされたならば、演算対象の配列と同じ大きさの作業
用配列の配列値情報テーブルを準備する作業用配列準備
手段であり、配列演算実行手段が、配列の各要素が翻訳
時に分かっていると判断された配列同士あるいは配列と
定数との二項演算に対して、前記配列値保持手段によっ
て配列値情報テーブル中に保持された配列の値を用いて
演算を実行し、前記作業用配列準備手段で準備された作
業用配列の配列値情報テーブルにその配列要素の値は分
かっているという情報とその配列要素の値としての演算
結果の値とを保持しておく配列演算手段であり、中間コ
ード変更手段が、配列の各要素の値が翻訳時に分かって
いると判断された配列同士あるいは配列と定数との二項
演算の代わりに前記配列演算手段で配列演算の演算結果
値が格納された作業用配列の配列値情報テーブルの値を
参照する目的プログラムとなるように中間コードを変更
する中間コード変更手段であることにより構成され、さ
らにまた前記構成において、作業用配列準備手段が、翻
訳している原始プログラム中の実行中の配列添字の配列
値の参照に対して、添字として使用されている配列の値
が翻訳時に分かっており、かつ、その配列の添字により
参照される配列の値も翻訳時に分かっているならば、参
照される配列と同じ大きさの作業用配列の配列値情報テ
ーブルを準備する作業用配列準備手段であり、配列演算
実行手段の代りに、配列添字の配列値の参照において、
添字として使用されている配列の値が翻訳時に分かって
おり、かつ、その配列の値も翻訳時に分かっている場合
の参照される配列に対して、前記配列値保持手段により
配列値情報テーブル中に保持された添字として使用され
ている配列の値を用いて配列の参照を行なった結果の値
を、前記作業用配列準備手段で準備した作業用配列の配
列値情報テーブルにその配列要素の値は分かっていると
いう情報と共に保持しておく配列添字配列値取出し手段
であり、中間コード変更手段が、配列添字の配列値の参
照において、添字として使用される配列の値が翻訳時に
分かっており、かつ、その配列の添字により参照される
配列の値も分かっている場合に参照される配列に対し
て、配列の添字を介して配列を参照せず、前記配列添字
配列値取出し手段で取出された配列添字の配列値が格納
された作業用配列の配列値情報テーブルの値を参照する
目的プログラムとなるように中間コードを変更する中間
コード変更手段であることにより構成される。

【０００５】

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

【０００６】図１は本発明の第１の実施例の構成図で、
原始プログラム中に単項演算を含む場合を示している。
図１の実施例ではコンパイラ１０は、構文解析手段１
１，意味解析手段１２，最適化手段１３，およびコード
生成手段１４を含む。また、最適化手段１３は、配列値
保持手段１３１，作業用配列準備手段１３２，配列演算
実行手段１３３，および中間コード変更手段１３４を含
んで構成される。

【０００７】構文解析手段１１は、原始プログラム１１
１を入力し、その構文解析を行い、構文解析情報２２２
を生成する。意味解析手段１２は、構文解析手段１１で
生成された構文解析情報２２２を入力し、その意味を解
析し、中間コード３３３を生成する。最適化手段１３
は、意味解析手段１２で生成された中間コード３３３を
入力し、最適化された中間コード３３３を生成する。コ
ード生成手段１４は、中間コード３３３を入力し、目的
プログラム４４４を生成する。

【０００８】配列値保持手段１３１は、構文解析情報２
２２および中間コード３３３を解析し、原始プログラム
１１１の実行中の配列の各要素の値が翻訳時に分かって
いるか否かを判断し、分かっているなら、その配列要素
の値は分かっているという情報と、その配列要素の値と
を翻訳時に用意した配列値情報テーブル５５５に保持
し、分かっていないなら、その配列要素の値は分かって
いないという情報を配列値情報テーブル５５５に保す
る。作業用配列準備手段１３２は、構文解析情報２２２
および中間コード３３３を解析し、原始プログラム１１
１の実行中の配列の単項演算に対して、演算対象の全て
の配列要素の値が翻訳時に分かっているなら、演算対象
の配列と同じ大きさの作業用配列の配列値情報テーブル
５５５を準備する。また、配列演算実行手段１３３は、
原始プログラム１１１の実行中の配列の各要素の値が翻
訳時に分かっていると判断された配列の単項演算に対し
て、配列値情報テーブル５５５中に保持された配列の値
を用いて、翻訳時に単項演算を計算し、その単項演算の
計算結果を得て、作業用配列準備手段１３２で準備され
た作業用配列の配列値情報テーブル５５５中に、その配
列要素の値は分かっているという情報と、その配列要素
の値としての計算結果の値とを保持する。中間コード変
更手段１３４は、原始プログラム１１１の実行中の配列
の各要素の値が翻訳時に分かっていると判断された配列
の単項演算の代わりに、配列演算実行手段１３３で計算
された配列の値が格納された作業用配列の配列値情報テ
ーブル５５５の値を参照する目的プログラムとなるよう
に中間コード３３３を変更する。

【０００９】図２は単項演算を含む原始プログラムの一
例を示す図で、図１の実施例において、図２に示すＦＯ
ＲＴＲＡＮ原始プログラムを入力した場合の処理につい
て説明を進める。配列値保持手段１３１は構文解析情報
から、配列Ａの値がプログラムの実行開始時には１，
２，…，１０の値を保持していることが分かるので、そ
れを配列値情報テーブル５５５に格納し、配列Ｂはグロ
ーバルデータでプログラムの実行開始時には値が不明な
ので、不明という情報を配列値情報テーブル５５５に格
納する。作業用配列準備手段１３２は、プログラム中の
（１），（２）および（３）の文で実行される配列Ａの
単項演算は、Ａの全ての配列要素の値が翻訳時に分かっ
ているので、演算対象の配列と同じ要素数の作業用配列
の配列値情報テーブル５５５を準備する。また、配列演
算実行手段１３３は、（１），（２），および（３）の
文で実行される配列Ａの単項演算では、Ａの全ての配列
要素の値が翻訳時に分かっているので、配列値情報テー
ブル５５５中に保持された配列の値を用いて、配列Ａの
単項演算の演算結果である−１，−２，…，−１０を得
て、それらが作業用配列ＷＯＲＫの初期値となるように
作業用配列の配列値情報テーブル５５５に格納する。中
間コード変更手段１３４は、（１），（２）および
（３）の文に対して生成された配列Ａの単項演算の結果
の値を参照する中間コードの代わりに作業用配列の配列
値情報テーブル５５５の値を参照する中間コードに変更
する。（１），（２）および（３）の文で実行される配
列Ａの単項演算の結果と配列Ｂとの乗算に関しては、配
列Ａの単項演算は作業用配列ＷＯＲＫの配列の参照にな
っているので翻訳時に値は分かっているが、Ｂの配列要
素の値が翻訳時に分からないので最適化の対象外とな
る。

【００１０】図３は図２のＦＯＲＴＲＡＮ原始プログラ
ムを翻訳した結果の目的プログラムとして生成された命
令列のＦＯＲＴＲＡＮ原始プログラムのイメージであ
る。図３では、（４）の文で配列ＷＯＲＫの宣言と
（５）の文でその配列初期値−１，−２，…，−１０と
が宣言されている。また、図２の（２）の文が作業用配
列ＷＯＲＫの値を参照する文（６）に変更されている。

【００１１】図４は図２のＦＯＲＴＲＡＮ原始プログラ
ムの実行開始時の配列値情報テーブル５５５の具体例を
示す図である。図４（ａ），（ｂ），および（ｃ）はそ
れぞれ配列Ａ，ＢおよびＣの配列値情報テーブル５５５
を示す図で、それぞれＡ，Ｂ，およびＣの名前テーブル
から参照できるようになっている。また、配列値情報テ
ーブルには、情報として配列の要素数と、その要素数だ
けのその値が翻訳時に分かっているか否かの情報（ここ
では、分かっているなら○で示し、分かっていないなら
×で示す）と、分かっているならその配列要素の値とが
格納されている。

【００１２】図５は本発明の第２の実施例の構成図で、
原始プログラム中に二項演算を含む場合を示している。
図５の実施例のコンパイラ２０は構文解析手段１１，意
味解析手段１２，最適化手段１５，およびコード生成手
段１４を含む。また最適化手段１５は、配列保持手段１
３１，作業用配列準備手段１３５，配列演算実行手段１
３６，および中間コード変更手段１３７を含んで構成さ
れる。

【００１３】構文解析手段１１，意味解析手段１２，コ
ード生成手段１４，および配列値保持手段１３１は図１
の実施例の同じ符号の手段と全く同じ処理を行ない、最
適化手段１５も意味解析手段１２で生成された中間コー
ド３３３を入力し、最適化された中間コード３３３を生
成する点では図１の最適化手段１３と同じである。

【００１４】作業用配列準備手段１３５は、構文解析情
報２２２および中間コード３３３を解析し、原始プログ
ラム１１１の実行中の配列同士あるいは配列と定数との
二項演算に対して、演算対象の全ての配列要素の値が翻
訳時に分かっているなら、演算対象の配列と同じ大きさ
の作業用配列の配列値情報テーブル５５５を準備する。
また、配列演算実行手段１３６は、原始プログラム１１
１の実行中の配列の各要素の値が翻訳時に分かっている
と判断された配列同士あるいは配列と定数との二項演算
に対して、配列値情報テーブル５５５中に保持された配
列の値を用いて、翻訳時に演算結果を算出し、その演算
の計算結果を得て、作業用配列準備手段１３５で準備さ
れた作業用配列の配列値情報テーブル５５５中に、その
配列要素の値は分かっているという情報と、その配列要
素の値としての計算結果の値とを保持する。中間コード
変更手段１３７は、原始プログラム１１１の実行中の配
列の各要素の値が翻訳時に分かっていると判断された配
列同士あるいは配列と定数との二項演算の代わりに、配
列演算実行手段１３６で計算された配列の値が格納され
た作業用配列の配列値情報テーブル５５５の値を参照す
るような目的プログラムとなるように中間コード３３３
を変更する。

【００１５】図６は二項演算を含む原始プログラムの一
例を示す図で、図５の実施例において、図６に示すＦＯ
ＲＴＲＡＮ原始プログラムを入力した場合の処理につい
て説明を進める。配列値保持手段１３１は構文解析情報
から、配列Ａの値はプログラムの実行開始時には１，
２，…，１０の値を保持していることが分かるので、そ
れを配列値情報テーブル５５５に格納し、配列Ｄはグロ
ーバルデータでプログラムの実行開始時には値が不明な
ので、不明という情報を配列値情報テーブル５５５に格
納する。また、（１１），（１２），および（１３）の
文の中間コードから、配列Ｂの値はプログラムの（１
１），（１２）および（１３）の文の実行完了時に、全
て２の値を保持していることが分かるので、その値を配
列値情報テーブル５５５に格納する。作業用配列準備手
段１３５は、（１４），（１５）および（１６）の文で
実行される配列ＡとＢとの乗算では、ＡおよびＢの全て
の配列要素の値が翻訳時に分かっているので、演算対象
の配列と同じ要素数の作業用配列の配列値情報テーブル
５５５を準備する。中間コード変更手段１３７は、（１
４），（１５）および（１６）の文に対して生成された
配列ＡとＢとの乗算結果の値を参照する中間コードの代
わりに作業用配列の配列値情報テーブル５５５の値を参
照する中間コードに変更する。（１４），（１５）およ
び（１６）の文で実行される配列ＡとＢとの乗算結果と
配列Ｄとの加算に関しては、配列ＡとＢとの乗算はＷＯ
ＲＫ配列の参照になっているので翻訳時に値は分かって
いるが、Ｄの配列要素の値が翻訳時に分からないので最
適化の対象外となる。

【００１６】図７は図６のＦＯＲＴＲＡＮ原始プログラ
ムを翻訳した結果の目的プログラムとして生成された命
令列のＦＯＲＴＲＡＮ原始プログラムのイメージであ
る。図７では、（１７）の文で配列ＷＯＲＫの宣言と
（１８）の文でその配列初期値２，４，…，２０とが宣
言されている。また、図６の（１５）の文が作業用配列
ＷＯＲＫの値を参照する文（１９）に変更されている。

【００１７】図８は図６のＦＯＲＴＲＡＮ原始プログラ
ムの（１１），（１２）および（１３）の文の実行完了
時の配列値情報テーブル５５５の具体例を示す図であ
る。図８（ａ），（ｂ），（ｃ）および（ｄ）は配列
Ａ，Ｂ，Ｃ，およびＤの配列値情報テーブル５５５を示
す図で、それぞれＡ，Ｂ，Ｃ，およびＤの名前テーブル
から参照できるようになっている。また、配列値情報テ
ーブル５５５には、情報として配列の要素数と、その要
素数だけのその値が翻訳時に分かっているか否かの情報
と、分かっているならその配列要素の値とが格納されて
いる。

【００１８】図９は本発明の第３の実施例の構成図で、
原始プログラム中に配列添字を含む場合を示している。
図９の実施例のコンパイラ３０は構文解析手段１１，意
味解析手段１２，最適化手段１６およびコード生成手段
１４を含む。また最適化手段１６は、配列値保持手段１
３１，作業用配列準備手段１３８，配列添字配列値取出
し手段１３９，および中間コード変換手段１４０を含ん
で構成される。

【００１９】構文解析手段１１，意味解析手段１２，コ
ード生成手段１４，および配列値保持手段は図１の実施
例の同じ符号の手段と全く同じ処理を行ない、最適化手
段１６も意味解析手段１２で生成された中間コード３３
３を入力し、最適化された中間コード３３３を生成する
点では図１の最適化手段１３と同じである。

【００２０】作業用配列準備手段１３８は、構文解析情
報２２２および中間コード３３３を解析し、原始プログ
ラム１１１中の実行中の添字が配列の配列参照におい
て、添字として使用されている配列の値が翻訳時に分か
っており、かつ、その配列の添字により参照される配列
の値も翻訳時に分かっているなら、参照される配列と同
じ大きさの作業用配列の配列値情報テーブル５５５を準
備する。また、配列添字配列値取出し手段１３９は、原
始プログラム１１１中の実行中の添字が配列の配列参照
において、添字として使用されている配列の値が翻訳時
に分かっており、かつ、その配列の添字により参照され
る配列の値も翻訳時に分かっている場合の参照される配
列に対して、配列値保持手段１３１により保持された配
列値情報テーブル５５５中の添字として使用されている
配列の値を用いて、配列の参照を行った結果の値を得
て、作業用配列準備手段１３８で準備された作業用配列
の配列値情報テーブル５５５に、その配列要素の値は分
かっているという情報と、その配列要素の値として得た
結果の値とを保持する。中間コード変更手段１４０は、
原始プログラム１１１中の配列添字の配列値の参照にお
いて、添字として使用されている配列の値が翻訳時に分
かっており、かつ、その配列の添字により参照される配
列の値も翻訳時に分かっている場合の参照される配列に
対して、配列の添字を介して配列を参照する中間コード
ではなく、配列添字配列値取出し手段１４０で取出され
た配列添字の配列値が格納された作業用配列の配列値情
報テーブル５５５の値を参照するような目的プログラム
となるように中間コード３３３を変更する。

【００２１】図１０は配列添字を含む原始プログラムの
一例を示す図で、図９の実施例において、図１０に示す
ＦＯＲＴＲＡＮ原始プログラムを入力した場合の処理に
ついて説明を進める。配列値保持手段１３１は構文解析
情報から、配列Ａの値はプログラムの実行開始時には１
０，９，８，…，１の値を保持していることが分かるの
で、それを配列値情報テーブル５５５に格納し、配列Ｄ
はグローバルデータでプログラムの実行開始時には値が
不明なので、不明という情報を配列値情報テーブル５５
５に格納する。作業用配列準備手段１３８は、（２
１），（２２）および（２３）の文で実行される配列Ａ
（Ｂ）の参照は、配列ＡおよびＢの全ての配列要素の値
が翻訳時に分かっているので、配列Ａと同じ要素数の作
業用配列の配列値情報テーブル５５５を準備する。ま
た、配列添字配列値取出し手段１３９は、（２１），
（２２），および（２３）の文で実行される配列Ａ
（Ｂ）の参照は、配列ＡおよびＢの全ての配列要素の値
が翻訳時に分かっているので、配列値情報テーブル５５
５中の配列Ｂの値を添字として、配列値情報テーブル５
５５中の配列Ａの値を得て、それらが作業用配列ＷＯＲ
Ｋの初期値となるように作業用配列の配列値情報テーブ
ル５５５に格納する。すなわち、配列ＷＯＲＫの値とし
て下記の値を配列値情報テーブル５５５に格納する。

【００２２】第１要素：Ａ（Ｂ（１））＝Ａ（１）の値１０第２要素：Ａ（Ｂ（２））＝Ａ（２）の値９第３要素：Ａ（Ｂ（３））＝Ａ（３）の値８第４要素：Ａ（Ｂ（４））＝Ａ（４）の値７第５要素：Ａ（Ｂ（５））＝Ａ（５）の値６第６要素：Ａ（Ｂ（６））＝Ａ（１）の値１０第７要素：Ａ（Ｂ（７））＝Ａ（２）の値９第８要素：Ａ（Ｂ（８））＝Ａ（３）の値８第９要素：Ａ（Ｂ（９））＝Ａ（４）の値７第１０要素：Ａ（Ｂ（１０））＝Ａ（５）の値６中間コード変更手段１４０は、（２１），（２２），お
よび（２３）の文で実行される配列Ａ（Ｂ）の参照は、
配列ＡおよびＢの全ての配列要素の値が翻訳時に分かっ
ているので、配列添字Ｂを用いた配列Ａの値を参照する
中間コードの代わりに作業用配列の配列値情報テーブル
５５５の値を参照する中間コードに変更する。

【００２３】図１１は図１０のＦＯＲＴＲＡＮ原始プロ
グラムを翻訳した結果の目的プログラムとして生成され
た命令列のＦＯＲＴＲＡＮ原始プログラムのイメージで
ある。図１１では、（２４）の文で配列ＷＯＲＫの宣言
と（２５）の文でその配列初期値１０，９，８，７，
６，１０，９，８，７，６とが宣言されている。また、
図１０の（２２）の文が作業用配列ＷＯＲＫの値を参照
する文（２６）に変更されている。

【００２４】図１２は図１０のＦＯＲＴＲＡＮ原始プロ
グラムの実行開始時の配列値情報テーブル５５５の具体
例を示す図である。図１２（ａ），（ｂ），（ｃ），お
よび（ｄ）は配列Ａ，Ｂ，Ｃ，およびＤの配列値情報テ
ーブル５５５を示す図で、それぞれＡ，Ｂ，Ｃ，および
Ｄの名前テーブルから参照できるようになっている。ま
た、配列値情報テーブル５５５には、情報として配列の
要素数と、その要素数だけのその値が翻訳時に分かって
いるか否かの情報と、分かっているならその配列要素の
値とが格納されている。

【００２５】

【発明の効果】以上説明したように本発明は、原始プロ
グラムの実行中の配列の各要素の値が翻訳時に分かって
いると判断された配列の単項演算、および配列同士ある
いは配列と定数との二項演算に対して、その配列の単項
演算の計算結果、および配列同士あるいは配列と定数と
の二項演算の計算結果を作業用配列に格納して、この作
業用配列を参照する命令列を生成し、また原始プログラ
ム中の、配列添字の配列参照において、添字として使用
されている配列の値が翻訳時に分かっており、かつ、そ
の配列の添字により参照される配列の値も翻訳時に分か
っている場合に、翻訳時に分かっている配列の添字を介
して翻訳時に分かっている配列の値を取出した作業用配
列を参照する命令列を生成することにより、効率の良い
目的プログラムの生成ができるという効果がある。

【図面の簡単な説明】

【図１】本発明の第１の実施例の構成図である。

【図２】図１の実施例を説明するための単項演算を含む
原始プログラムの一例を示す図である。

【図３】図２に示す原始プログラムを図１の実施例の処
理により翻訳した結果の目的プログラムとして生成され
た命令列の原始プログラムのイメージである。

【図４】図２に示す原始プログラムを図１の実施例によ
り処理するときの配列値情報テーブルの具体例を示す図
である。

【図５】本発明の第２の実施例の構成図である。

【図６】図５の実施例を説明するための二項演算を含む
原始プログラムの一例を示す図である。

【図７】図６に示す原始プログラムを図５の実施例の処
理により翻訳した結果の目的プログラムとして生成され
た命令列の原始プログラムのイメージである。

【図８】図６に示す原始プログラムを図５の実施例によ
り処理するときの配列値情報テーブルの具体例を示す図
である。

【図９】本発明の第３の実施例の構成図である。

【図１０】図９の実施例を説明するための配列添字を含
む原始プログラムの一例を示す図である。

【図１１】図１０に示す原始プログラムを図９の実施例
の処理により翻訳した結果の目的プログラムとして生成
された命令列の原始プログラムのイメージである。

【図１２】図１０に示す原始プログラムを図９の実施例
により処理するときの配列値情報テーブルの具体例を示
す図である。

【符号の説明】

１０，２０，３０コンパイラ１１構文解析手段１２意味解析手段１３，１５，１６最適化手段１４コード生成手段１１１原始プログラム１３１配列値保持手段１３２，１３５，１３８作業用配列準備手段１３３，１３６配列演算手段１３４，１３７，１４０中間コード変更手段１３９配列添字配列値取出し手段２２２構文解析情報３３３中間コード４４４目的プログラム５５５配列値情報テーブル

Claims

【特許請求の範囲】

【請求項１】原始プログラムを入力して目的プログラ
ムに翻訳するコンパイラにおいて、翻訳している原始プ
ログラムの中の実行中の配列の各要素の値が翻訳時に分
かっているか否かを判断して、分かっているならその配
列要素の値は分かっているという情報とその配列要素の
値とを翻訳時に用意した配列値情報テーブルに保持し、
分かっていないならその配列要素の値は分かっていない
という情報を配列値情報テーブルに保持する配列値保持
手段と、翻訳している原始プログラム中の実行中の配列
の単項演算に対して、演算対象の配列要素の値が翻訳時
に分かっているなら、演算対象の配列と同じ大きさの作
業用配列の配列値情報テーブルを準備する作業用配列準
備手段と、配列の各要素の値が翻訳時に分かっていると
判断された配列の単項演算に対して、前記配列値保持手
段によって配列値情報テーブル中に保持された配列の値
を用いて演算を実行し、前記作業用配列準備手段で準備
された作業用配列の配列値情報テーブルにその配列要素
の値は分かっているという情報とその配列要素の値とし
ての演算結果の値とを保持しておく配列演算手段と、配
列の各要素の値が翻訳時に分かっていると判断された配
列の単項演算の代りに前記配列演算手段で配列演算の演
算結果の値を格納した作業用配列の配列値情報テーブル
の値を参照する目的プログラムとなるように中間コード
を変更する中間コード変更手段とを有することを特徴と
するコンパイラの最適化方式。
【請求項２】請求項１のコパイラの最適化方式におい
て、作業用配列準備手段が、翻訳している原始プログラ
ム中の実行中の配列同士あるいは配列と定数との二項演
算に対して、演算対象の配列要素の値が前記配列値保持
手段によって分かっているとされたならば、演算対象の
配列と同じ大きさの作業用配列の配列値情報テーブルを
準備する作業用配列準備手段であり、配列演算実行手段
が、配列の各要素が翻訳時に分かっていると判断された
配列同士あるいは配列と定数との二項演算に対して、前
記配列値保持手段によって配列値情報テーブル中に保持
された配列の値を用いて演算を実行し、前記作業用配列
準備手段で準備された作業用配列の配列値情報テーブル
にその配列要素の値は分かっているという情報とその配
列要素の値としての演算結果の値とを保持しておく配列
演算手段であり、中間コード変更手段が、配列の各要素
の値が翻訳時に分かっていると判断された配列同士ある
いは配列と定数との二項演算の代わりに前記配列演算手
段で配列演算の演算結果値が格納された作業用配列の配
列値情報テーブルの値を参照する目的プログラムとなる
ように中間コードを変更する中間コード変更手段である
ことを特徴とするコンパイラの最適化方式。
【請求項３】請求項１のコンパイラの最適化方式にお
いて、作業用配列準備手段が、翻訳している原始プログ
ラム中の実行中の配列添字の配列値の参照に対して、添
字として使用されている配列の値が翻訳時に分かってお
り、かつ、その配列の添字により参照される配列の値も
翻訳時に分かっているならば、参照される配列と同じ大
きさの作業用配列の配列値情報テーブルを準備する作業
用配列準備手段であり、配列演算実行手段の代りに、配
列添字の配列値の参照において、添字として使用されて
いる配列の値が翻訳時に分かっており、かつ、その配列
の値も翻訳時に分かっている場合の参照される配列に対
して、前記配列値保持手段により配列値情報テーブル中
に保持された添字として使用されている配列の値を用い
て配列の参照を行なった結果の値を、前記作業用配列準
備手段で準備した作業用配列の配列値情報テーブルにそ
の配列要素の値は分かっているという情報と共に保持し
ておく配列添字配列値取出し手段であり、中間コード変
更手段が、配列添字の配列値の参照において、添字とし
て使用される配列の値が翻訳時に分かっており、かつ、
その配列の添字により参照される配列の値も分かってい
る場合に参照される配列に対して、配列の添字を介して
配列を参照せず、前記配列添字配列値取出し手段で取出
された配列添字の配列値が格納された作業用配列の配列
値情報テーブルの値を参照する目的プログラムとなるよ
うに中間コードを変更する中間コード変更手段であるこ
とを特徴とするコンパイラの最適化方式。