JPH04278640A - コンパイラの最適化処理方式 - Google Patents
コンパイラの最適化処理方式Info
- Publication number
- JPH04278640A JPH04278640A JP6373091A JP6373091A JPH04278640A JP H04278640 A JPH04278640 A JP H04278640A JP 6373091 A JP6373091 A JP 6373091A JP 6373091 A JP6373091 A JP 6373091A JP H04278640 A JPH04278640 A JP H04278640A
- Authority
- JP
- Japan
- Prior art keywords
- array elements
- recursive relationship
- array
- array element
- recursive
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【０００１】
【産業上の利用分野】本発明は、コンパイラの最適化処
理方式に関し、特に再帰的関係配列要素を含むループの
最適化処理方式に関する。
理方式に関し、特に再帰的関係配列要素を含むループの
最適化処理方式に関する。
【０００２】
【従来の技術】従来、コンパイラは図３に示すソースプ
ログラムのように、再帰的関係配列要素を含むループ構
造をコンパイルする場合にも、ループ内の再帰的関係を
もつ配列要素の解析は行わず、ソースプログラムの記述
に忠実にオブジェクトプログラムを出力している。
ログラムのように、再帰的関係配列要素を含むループ構
造をコンパイルする場合にも、ループ内の再帰的関係を
もつ配列要素の解析は行わず、ソースプログラムの記述
に忠実にオブジェクトプログラムを出力している。
【０００３】
【発明が解決しようとする課題】上述した従来のコンパ
イラの処理方式では、ループ内に再帰的関係をもつ配列
要素をコンパイルする場合にもソースプログラムの記述
に忠実なオブジェクトプログラムを出力しているため、
実行時に再帰的に定義・参照される配列要素は、参照ま
たは定義する度に更新されたインデックス変数を用いて
添字式の再評価を行っている。そのため、再帰的関係を
もつ配列要素を定義・参照する回数が多いほど実行時間
に無駄が生ずるという欠点があった。
イラの処理方式では、ループ内に再帰的関係をもつ配列
要素をコンパイルする場合にもソースプログラムの記述
に忠実なオブジェクトプログラムを出力しているため、
実行時に再帰的に定義・参照される配列要素は、参照ま
たは定義する度に更新されたインデックス変数を用いて
添字式の再評価を行っている。そのため、再帰的関係を
もつ配列要素を定義・参照する回数が多いほど実行時間
に無駄が生ずるという欠点があった。
【０００４】本発明はこのような従来のコンパイラの処
理方式の欠点をかえりみてなされたものであり、ループ
内の再帰的関係を解消することによってプログラムの実
行時間を短縮することができるコンパイラの最適化処理
方式を提供することを目的とする。
理方式の欠点をかえりみてなされたものであり、ループ
内の再帰的関係を解消することによってプログラムの実
行時間を短縮することができるコンパイラの最適化処理
方式を提供することを目的とする。
【０００５】
【課題を解決するための手段】上記目的を達成するため
に、本発明においては、高級言語で書かれたソースプロ
グラムを入力し、オブジェクトプログラムを生成するコ
ンパイラにおいて、配列要素を含むループ構造を検出し
、検出されたループ構造内の配列要素に関して、その配
列要素の添字式からある配列要素が定義された後に再度
参照されるパターンの演算のない移送代入文が存在する
かどうかを解析する再帰的関係配列要素を含むループ構
造解析手段と、前記手段により再帰的関係配列要素を含
むループ構造と判定されたループに関して、再帰的関係
をもつ配列要素間の添字式の増分値とループの繰り返し
回数から配列要素の再帰的関係の解消が可能か否か判定
する配列要素の再帰的関係解消可否判定手段と、この配
列要素の再帰的関係解消可否判定手段によって、配列要
素の再帰的関係の解消が可能と判定された場合は、再帰
的関係をもつ配列要素の移送代入文を直後にコピーし、
その各々の配列要素の添字式を変形することにより配列
要素の再帰的関係を解消する配列要素の再帰的関係解消
手段とを備える。
に、本発明においては、高級言語で書かれたソースプロ
グラムを入力し、オブジェクトプログラムを生成するコ
ンパイラにおいて、配列要素を含むループ構造を検出し
、検出されたループ構造内の配列要素に関して、その配
列要素の添字式からある配列要素が定義された後に再度
参照されるパターンの演算のない移送代入文が存在する
かどうかを解析する再帰的関係配列要素を含むループ構
造解析手段と、前記手段により再帰的関係配列要素を含
むループ構造と判定されたループに関して、再帰的関係
をもつ配列要素間の添字式の増分値とループの繰り返し
回数から配列要素の再帰的関係の解消が可能か否か判定
する配列要素の再帰的関係解消可否判定手段と、この配
列要素の再帰的関係解消可否判定手段によって、配列要
素の再帰的関係の解消が可能と判定された場合は、再帰
的関係をもつ配列要素の移送代入文を直後にコピーし、
その各々の配列要素の添字式を変形することにより配列
要素の再帰的関係を解消する配列要素の再帰的関係解消
手段とを備える。
【０００６】
【作用】本発明はこのように構成されているので、ルー
プ内の再帰的関係を解消したオブジェクトプログラムを
出力することができる。
プ内の再帰的関係を解消したオブジェクトプログラムを
出力することができる。
【０００７】
【実施例】以下、本発明の実施例を図面を参照して詳細
に説明する。図１は本発明の一実施例におけるブロック
構成図である。同図において、１はソースプログラム、
２はコンパイラ、３はソースプログラム１をコンパイラ
２によりコンパイルして得られたオブジェクトプログラ
ムである。コンパイラ２は、再帰的関係配列要素を含む
ループ構造解析手段２１、配列要素の再帰的関係解消可
否判定手段２２、配列要素の再帰的関係解消手段２３を
含んでいる。
に説明する。図１は本発明の一実施例におけるブロック
構成図である。同図において、１はソースプログラム、
２はコンパイラ、３はソースプログラム１をコンパイラ
２によりコンパイルして得られたオブジェクトプログラ
ムである。コンパイラ２は、再帰的関係配列要素を含む
ループ構造解析手段２１、配列要素の再帰的関係解消可
否判定手段２２、配列要素の再帰的関係解消手段２３を
含んでいる。
【０００８】次に、図２乃至図４を参照して上記実施例
の動作を具体的に説明する。図２は再帰的関係配列要素
を含むループを解析して最適化処理を行うまでのフロー
チャート、図３はソースプログラムレベルでの入力命令
列、図４は最適化後の命令列を示す。コンパイラ２が図
３のソースプログラムを入力し、再帰的関係配列要素を
含むループ構造の最適化を行い、図４のオブジェクトプ
ログラムを出力する場合の動作について図２のフローチ
ャートを参照して説明する。
の動作を具体的に説明する。図２は再帰的関係配列要素
を含むループを解析して最適化処理を行うまでのフロー
チャート、図３はソースプログラムレベルでの入力命令
列、図４は最適化後の命令列を示す。コンパイラ２が図
３のソースプログラムを入力し、再帰的関係配列要素を
含むループ構造の最適化を行い、図４のオブジェクトプ
ログラムを出力する場合の動作について図２のフローチ
ャートを参照して説明する。
【０００９】コンパイラ２は、図３のソースプログラム
の入力命令列を入力し、再帰的関係配列要素を含むルー
プ構造解析手段２１において配列要素を含むループ構造
を検出し、検出されたループ構造内の配列要素に関して
その添字式から、再帰的に定義・参照する配列要素の移
送代入文が存在するか（ステップＳ２）、および他に同
一配列に対して再帰的関係をもつ配列要素が存在しない
か（ステップＳ３）を判定し、さらにループ構造内の文
は、配列要素の移送代入文とインデックス変数の定義文
のみか（ステップＳ４）を判定し、条件が三つともＹＥ
Ｓの場合は、配列要素の再帰的関係解消可否判定手段２
２へ、その他の場合は終了（ステップＳ１１）へ制御を
移す。
の入力命令列を入力し、再帰的関係配列要素を含むルー
プ構造解析手段２１において配列要素を含むループ構造
を検出し、検出されたループ構造内の配列要素に関して
その添字式から、再帰的に定義・参照する配列要素の移
送代入文が存在するか（ステップＳ２）、および他に同
一配列に対して再帰的関係をもつ配列要素が存在しない
か（ステップＳ３）を判定し、さらにループ構造内の文
は、配列要素の移送代入文とインデックス変数の定義文
のみか（ステップＳ４）を判定し、条件が三つともＹＥ
Ｓの場合は、配列要素の再帰的関係解消可否判定手段２
２へ、その他の場合は終了（ステップＳ１１）へ制御を
移す。
【００１０】配列要素の再帰的関係解消可否判定手段２
２では、再帰的関係の互いの配列要素の添字式の増分値
が等しいか（ステップＳ５）を判定する。次に、再帰的
関係の配列要素間で、定義されてから参照されるまでの
配列要素の間隔（以下データ依存回次数と呼ぶ）を定義
式（１）から求め、ループの繰り返し回数がデータ依存
回次数の倍数か（ステップＳ６）を判定する。以上のス
テップＳ５およびＳ６の二つの条件がともにＹＥＳの場
合は配列要素の再帰的関係解消手段２３へ、その他の場
合は終了（ステップＳ１１）へ制御を移す。
２では、再帰的関係の互いの配列要素の添字式の増分値
が等しいか（ステップＳ５）を判定する。次に、再帰的
関係の配列要素間で、定義されてから参照されるまでの
配列要素の間隔（以下データ依存回次数と呼ぶ）を定義
式（１）から求め、ループの繰り返し回数がデータ依存
回次数の倍数か（ステップＳ６）を判定する。以上のス
テップＳ５およびＳ６の二つの条件がともにＹＥＳの場
合は配列要素の再帰的関係解消手段２３へ、その他の場
合は終了（ステップＳ１１）へ制御を移す。
【００１１】
データ依存回次数＝［配列要素間の添字式の初期値
の差 ／
添字式の増分値］ ・・・・・（１）配列要素の
再帰的関係解消手段２３では、まず、（データ依存回次
数−１）回の配列要素の移送代入文を直後にコピーする
（ステップＳ７）。次に、移送代入文各々に対して、参
照される配列要素（図３の例ではａ［ｉ−３］）の添字
式を式（２）で得られる値に変更する（ステップＳ８）
。
の差 ／
添字式の増分値］ ・・・・・（１）配列要素の
再帰的関係解消手段２３では、まず、（データ依存回次
数−１）回の配列要素の移送代入文を直後にコピーする
（ステップＳ７）。次に、移送代入文各々に対して、参
照される配列要素（図３の例ではａ［ｉ−３］）の添字
式を式（２）で得られる値に変更する（ステップＳ８）
。
【００１２】
添字式の初期値＋ｎ＊添字式の増分値
・・・・・（２） （ｎ＝０，１，…，データ依
存回次数−１）さらに、移送代入文各々に対して、定義
される配列要素（図３の例ではａ［ｉ］）の添字式を式
（３）で得られる式に変更する（ステップＳ９）。
・・・・・（２） （ｎ＝０，１，…，データ依
存回次数−１）さらに、移送代入文各々に対して、定義
される配列要素（図３の例ではａ［ｉ］）の添字式を式
（３）で得られる式に変更する（ステップＳ９）。
【００１３】
元の添字式＋ｎ＊添字式の増分値
・・・・・（３） （ｎ＝０，１，…，デー
タ依存回次数−１）最後に、インデックス変数の定義文
に対して、増分値を式（４）で得られる値に変更する（
ステップＳ１０）。
・・・・・（３） （ｎ＝０，１，…，デー
タ依存回次数−１）最後に、インデックス変数の定義文
に対して、増分値を式（４）で得られる値に変更する（
ステップＳ１０）。
【００１４】
データ依存回次数＊インデックス変数の増分値
・・・・（４）図３に示したソースプログラムの入力命
令列は上記のステップＳ７乃至ステップＳ１０の四つの
処理により、ループ内の該当する文が図４に示した最適
化後の命令列に変形される。
・・・・（４）図３に示したソースプログラムの入力命
令列は上記のステップＳ７乃至ステップＳ１０の四つの
処理により、ループ内の該当する文が図４に示した最適
化後の命令列に変形される。
【００１５】したがって、以上のような実施例の構成に
よれば、配列要素ａ［ｉ］とａ［ｉ−３］による再帰的
関係が解消され、参照される配列要素ａ［０］，ａ［１
］，ａ［２］はループ内で不変な値となる。
よれば、配列要素ａ［ｉ］とａ［ｉ−３］による再帰的
関係が解消され、参照される配列要素ａ［０］，ａ［１
］，ａ［２］はループ内で不変な値となる。
【００１６】
【発明の効果】以上説明したように本発明は、再帰的関
係をもつ配列要素を含むループ構造に関して再帰的関係
を解消し、参照する配列要素をループ内で不変な値とす
るので、インデックス変数を含む添字式の評価オブジェ
クトが削除され、プログラムの実行時間を短縮できると
いう効果がある。また、ループ内で不変な値ということ
から、参照する配列要素をあるレジスタで固定すること
も可能になるので、さらに一段とプログラムの実行時間
を短縮することができる。
係をもつ配列要素を含むループ構造に関して再帰的関係
を解消し、参照する配列要素をループ内で不変な値とす
るので、インデックス変数を含む添字式の評価オブジェ
クトが削除され、プログラムの実行時間を短縮できると
いう効果がある。また、ループ内で不変な値ということ
から、参照する配列要素をあるレジスタで固定すること
も可能になるので、さらに一段とプログラムの実行時間
を短縮することができる。
【図１】本発明の一実施例のブロック構成図、
【図２】
最適化処理のフローチャート、
最適化処理のフローチャート、
【図３】Ｃ言語記述によ
る入力命令列を示すソースプログラム、
る入力命令列を示すソースプログラム、
【図４】Ｃ言語記述による最適化処理後の命令列を示す
ソースプログラムである。
ソースプログラムである。
１ ソースプログラム
２ コンパイラ
３ オブジェクトプログラム
Claims (1)
- 【請求項１】 高級言語で書かれたソースプログラム
を入力し、オブジェクトプログラムを生成するコンパイ
ラにおいて、配列要素を含むループ構造を検出し、検出
されたループ構造内の配列要素に関して、その配列要素
の添字式からある配列要素が定義された後に再度参照さ
れるパターンの演算のない移送代入文が存在するかどう
かを解析する再帰的関係配列要素を含むループ構造解析
手段と、前記手段により再帰的関係配列要素を含むルー
プ構造と判定されたループに関して、再帰的関係をもつ
配列要素間の添字式の増分値とループの繰り返し回数か
ら配列要素の再帰的関係の解消が可能か否か判定する配
列要素の再帰的関係解消可否判定手段と、この配列要素
の再帰的関係解消可否判定手段によって配列要素の再帰
的関係の解消が可能と判定された場合は、再帰的関係を
もつ配列要素の移送代入文を直後にコピーし、その各々
の配列要素の添字式を変形することにより配列要素の再
帰的関係を解消する配列要素の再帰的関係解消手段とを
備え、ループ構造内での配列要素の参照に対する最適化
を図ることを特徴とするコンパイラの最適化処理方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6373091A JPH04278640A (ja) | 1991-03-06 | 1991-03-06 | コンパイラの最適化処理方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6373091A JPH04278640A (ja) | 1991-03-06 | 1991-03-06 | コンパイラの最適化処理方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04278640A true JPH04278640A (ja) | 1992-10-05 |
Family
ID=13237815
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP6373091A Pending JPH04278640A (ja) | 1991-03-06 | 1991-03-06 | コンパイラの最適化処理方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04278640A (ja) |
-
1991
- 1991-03-06 JP JP6373091A patent/JPH04278640A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5361357A (en) | Method and apparatus for optimizing computer file compilation | |
| JPH05257709A (ja) | 並列化判別方法およびそれを用いた並列化支援方法 | |
| EP1111504A2 (en) | Compiler processing system for generating assembly program codes for a computer comprising a plurality of arithmetic units | |
| US5396627A (en) | Method of producing object program based on interprocedural dataflow analysis of a source program | |
| US5790866A (en) | Method of analyzing definitions and uses in programs with pointers and aggregates in an optimizing compiler | |
| US5067068A (en) | Method for converting an iterative loop of a source program into parellelly executable object program portions | |
| JPH0795274B2 (ja) | 配列添字解析方法 | |
| US7086047B1 (en) | Determining hardware generated by high level language compilation through loop optimizations | |
| JPH04278640A (ja) | コンパイラの最適化処理方式 | |
| CN111124415B (zh) | 一种开发循环代码中潜在可向量化循环的方法 | |
| US7146600B2 (en) | Method and apparatus for deriving multiple test source files from one source file | |
| CN117785645A (zh) | 一种risc-v指令集的验证方法、装置和电子设备 | |
| JP2621555B2 (ja) | ベクトル化処理方式 | |
| JPS5922140A (ja) | 対話型コンパイル方式 | |
| JPH09265400A (ja) | コンパイル最適化方式 | |
| JPH09282173A (ja) | プログラムの静的解析方法 | |
| CN120688561B (zh) | 一种基于MindSpore的算子处理方法及装置 | |
| JPH01140236A (ja) | プログラムの逆コンパイル方式 | |
| JP3311775B2 (ja) | ポインタベクトル化方式 | |
| JPS62169272A (ja) | ベクトル演算列ル−プアンロ−リング処理方式 | |
| JP3373861B2 (ja) | コンパイル処理装置 | |
| JPH02287737A (ja) | テスト項目自動設計方式 | |
| JPH09101896A (ja) | コンパイル最適化方法 | |
| JPH11161500A (ja) | 実行時依存解析を行う目的プログラムの生成方法 | |
| JPH05334391A (ja) | 制御回路生成装置 |