JPH01214936A - 最適化コンパイラ - Google Patents
最適化コンパイラInfo
- Publication number
- JPH01214936A JPH01214936A JP3938788A JP3938788A JPH01214936A JP H01214936 A JPH01214936 A JP H01214936A JP 3938788 A JP3938788 A JP 3938788A JP 3938788 A JP3938788 A JP 3938788A JP H01214936 A JPH01214936 A JP H01214936A
- Authority
- JP
- Japan
- Prior art keywords
- basic block
- code
- deletion
- finding
- common
- 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
- 238000012217 deletion Methods 0.000 claims abstract description 11
- 230000037430 deletion Effects 0.000 claims abstract description 11
- 238000000034 method Methods 0.000 abstract description 16
- 238000004220 aggregation Methods 0.000 abstract 1
- 230000002776 aggregation Effects 0.000 abstract 1
- 238000005457 optimization Methods 0.000 description 7
- 230000014509 gene expression Effects 0.000 description 5
- 238000010586 diagram Methods 0.000 description 2
- 230000008030 elimination Effects 0.000 description 2
- 238000003379 elimination reaction Methods 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- IZRPKIZLIFYYKR-UHFFFAOYSA-N phenyltoloxamine Chemical compound CN(C)CCOC1=CC=CC=C1CC1=CC=CC=C1 IZRPKIZLIFYYKR-UHFFFAOYSA-N 0.000 description 1
- 230000001629 suppression Effects 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、機械コードの品質を改善するために最適化ア
ルゴリズムを用いたコンパイラに有用であり、特に共通
部分式の削除とコード移動として知られる最適化を行う
ときに削除によって必要となる部分式の定義位置を求め
るための最適な方法を提供する。
ルゴリズムを用いたコンパイラに有用であり、特に共通
部分式の削除とコード移動として知られる最適化を行う
ときに削除によって必要となる部分式の定義位置を求め
るための最適な方法を提供する。
最適化コンパイラでコードの品質を改善するための技術
には、共通式の削除、ループ不変式のループ外移動、不
用コードの削除などがある。これら技術についての説明
は（１）Ａ、エイホ、Ｊ、ウルマン（Ａ、Ａｈｏ、 Ｊ
、Ｌｌｌｌ＋＋ａｎ）、 ｒプリンシプルズオブ コ
ンパイラ デザイン」、アデイソンーウエスレー社、１
９７７年や（２）Ｅ、モレル他［グローバル オプテイ
マイゼイション パイ サプレッション オブ パーシ
ャル リダンダンシー」、シーニーシーエム、第２２巻
、第２号＋ＰＰ９６〜１０３．１９７９など詳しく述べ
られている。
には、共通式の削除、ループ不変式のループ外移動、不
用コードの削除などがある。これら技術についての説明
は（１）Ａ、エイホ、Ｊ、ウルマン（Ａ、Ａｈｏ、 Ｊ
、Ｌｌｌｌ＋＋ａｎ）、 ｒプリンシプルズオブ コ
ンパイラ デザイン」、アデイソンーウエスレー社、１
９７７年や（２）Ｅ、モレル他［グローバル オプテイ
マイゼイション パイ サプレッション オブ パーシ
ャル リダンダンシー」、シーニーシーエム、第２２巻
、第２号＋ＰＰ９６〜１０３．１９７９など詳しく述べ
られている。
大域的な共通部分式の削除及びコード移動を行う最適化
はこれらのうちでも最も重要な技術である。上記引用文
献の第２番目は、コードを挿入することによって元のコ
ードを冗長なものとし削除する方法について詳しく述べ
ている。このなかでコードを挿入する場所と冗長なコー
ドの存在する場所を求める方法も説明している。
はこれらのうちでも最も重要な技術である。上記引用文
献の第２番目は、コードを挿入することによって元のコ
ードを冗長なものとし削除する方法について詳しく述べ
ている。このなかでコードを挿入する場所と冗長なコー
ドの存在する場所を求める方法も説明している。
さらに米国特許第６４０２８３号において、上記引用文
献２の方法を効率よく行う方法として、計算に関する基
底を判定するという概念を導入した方法が開示されてい
る。
献２の方法を効率よく行う方法として、計算に関する基
底を判定するという概念を導入した方法が開示されてい
る。
しかし、上記従来技術はコードを挿入する場所と冗長な
コードが存在する場所を求める方法を開示しているだけ
で、冗長なコードを削除した後にこの最適化をうけたプ
ログラムが正しく動作するために必要な部分式の定義場
所を求める方法について開示していない、大域的な共通
部分式の削除及びコード移動を行うには上記部分式の定
義場所を求めることが不可欠である。
コードが存在する場所を求める方法を開示しているだけ
で、冗長なコードを削除した後にこの最適化をうけたプ
ログラムが正しく動作するために必要な部分式の定義場
所を求める方法について開示していない、大域的な共通
部分式の削除及びコード移動を行うには上記部分式の定
義場所を求めることが不可欠である。
本発明の目的は、大域的な共通部分式の削除及びコード
移動を行うのに不可欠な部分式の定義場所を求める効率
よい方法を提供することにある。
移動を行うのに不可欠な部分式の定義場所を求める効率
よい方法を提供することにある。
（課題を解決するための手段〕
上記目的は、引用文献２で示されている。
ＡＮＴＬＯＣ：上方に露出したコード
出現位置で計算してもその基本ブロックの入口で計算し
ても同じ実行結果が得られるコードの集まり。
ても同じ実行結果が得られるコードの集まり。
ＣＯＭＰ ：下方に露出されたコード
出現位置で計算してもその基本ブロックの出口で計算し
ても同じ実行結果が得られるコードの集まり。
ても同じ実行結果が得られるコードの集まり。
ＴＲＡＮＳＰ ：基本ブロックの入口と出口で計算して
も同じ実行結果が得られるコードの集まり。
も同じ実行結果が得られるコードの集まり。
という基本ブロック毎に作成される基本集合と、ｌＮ５
ＥＲＴ ：基本ブロックに挿入すべきコードの集まり。
ＥＲＴ ：基本ブロックに挿入すべきコードの集まり。
ＤＥＬＥＴＥ ：基本ブロックに存在する冗長なコード
の集まり。
の集まり。
とを用いて、さらに上方に露出した冗長なコードの集ま
りを各基本ブロックについて求めることと、この集まり
を上記ＤＥ！ＬＥＴＥ、 ＴＲＡＮＳＰ、 ＣＯＭＰに
よって部分式の定義位置を求めることにより、達成され
る。
りを各基本ブロックについて求めることと、この集まり
を上記ＤＥ！ＬＥＴＥ、 ＴＲＡＮＳＰ、 ＣＯＭＰに
よって部分式の定義位置を求めることにより、達成され
る。
以下、本発明の一実施例を図面を参照しつつ説明する。
第１図は大域的な共通式の削除及びコード移動を行う流
れ図である。ブロック１，２，５゜６は周知のステップ
である。ブロック３，４は本発明にかかわるステップで
ある。第２図は最適化コンパイラの高いレベルの流れ図
である。ブロック７．８，９，１０．１１はいずれも従
来公知のステップである。ブロック９で行われる、さま
ざまな最適化技術の１つとして本発明が適用される。
れ図である。ブロック１，２，５゜６は周知のステップ
である。ブロック３，４は本発明にかかわるステップで
ある。第２図は最適化コンパイラの高いレベルの流れ図
である。ブロック７．８，９，１０．１１はいずれも従
来公知のステップである。ブロック９で行われる、さま
ざまな最適化技術の１つとして本発明が適用される。
第１図において、すでに周知であるブロック１゜２．５
．６のうち本発明とかかわりのあるブロック１，２につ
いて本実施例の理解を容易にするために説明する。ブロ
ック５，６はｌＮ５ＥＲＴ、 Ｃ［ＬＥＴＨ集合を参照
して、コードの挿入及び冗長コードの削除を行う処理で
あって本発明とは直接関係を持たない。
．６のうち本発明とかかわりのあるブロック１，２につ
いて本実施例の理解を容易にするために説明する。ブロ
ック５，６はｌＮ５ＥＲＴ、 Ｃ［ＬＥＴＨ集合を参照
して、コードの挿入及び冗長コードの削除を行う処理で
あって本発明とは直接関係を持たない。
ブロック１は大域的な共通部分式の削除及びコ願Ｎα６
４０２８３に述べられている。別の態様によれば、次の
ステップによって実施される。
４０２８３に述べられている。別の態様によれば、次の
ステップによって実施される。
１、プログラムの中間言語表現（以下、中間コードとよ
ぶ）を調べ、字面上同一な部分式を検出する。これにつ
いては日本特許出願Ｎα６１−０２１９２３ ｒ共通式
検出方式」に詳しく説明されている。
ぶ）を調べ、字面上同一な部分式を検出する。これにつ
いては日本特許出願Ｎα６１−０２１９２３ ｒ共通式
検出方式」に詳しく説明されている。
２、上記１で検出された部分式に関し、各基本ブロック
を調べて、上記基本ブロック内でその出現場所以前に定
義されていないオペランドからなる部分式を識別する。
を調べて、上記基本ブロック内でその出現場所以前に定
義されていないオペランドからなる部分式を識別する。
ＡＮＴＬＯＣはこのような部分式の槃まりであって各
基本ブロック毎に作成される。ＣＯＭＰは上記基本ブロ
ック内でその出現場所以後に定義されていないオペラン
ドからなる部分式の集まりであり、ＴＲＡＮＳＰは上記
基本ブロック内で定義されないオペランドからなる部分
式の集まりである。
基本ブロック毎に作成される。ＣＯＭＰは上記基本ブロ
ック内でその出現場所以後に定義されていないオペラン
ドからなる部分式の集まりであり、ＴＲＡＮＳＰは上記
基本ブロック内で定義されないオペランドからなる部分
式の集まりである。
具体的には、各部分式毎にそのオペランドを１つずつ上
記ＡＮＴＬＯＣ，ＧＯＭＰ、 ＴＲＡＮＳＰの条件を満
足するか調べる。すべてのオペランドが満たされたとき
に対応する集まりにその部分式を加える。
記ＡＮＴＬＯＣ，ＧＯＭＰ、 ＴＲＡＮＳＰの条件を満
足するか調べる。すべてのオペランドが満たされたとき
に対応する集まりにその部分式を加える。
例えば、第３図の例では各集合は次のようになる。
・基本ブロックＢＩ
ＡＮＴＬＯＧ（Ｂ １） ＝ （Ｙ ＋Ｗ）ＣＯＭＰ（
Ｂｚ） ＝ （Ｃ傘Ｄ） ＴＲＡＮＳＰ（Ｂ ｚ） ＝ （φ） ・基本ブロックＢ２ ＡＮＴＬＯＣ［Ｂｚ） ＝ＣＯＭＰ （Ｂｚ） ＝ （
φ）ＴＲＡＮＳＰ（Ｂｚ） ＝ （Ｃ＊ Ｄ 、 Ｙ
＋Ｗ）・基本ブロックＢδ ＡＮＴＬＯＣ（Ｂａ） ＝ＣＯＭＰ［：Ｂａ） ＝ （
Ｙ＋Ｗ）ＴＲＡＮＳＰ（Ｂ ａ） ＝（Ｃ串り、Ｙ＋Ｗ
）・基本ブロックＢ４ ＡＮＴＬＯＧ（Ｂ番） ＝ＣＯＭＰＣＢ４） ＝Ｔ
ＲＡＮＳＰ［Ｂ４］＝ （Ｃ＊［）、Ｙ＋Ｗ） ブロック２はコードの挿入及び冗長なコードを削除する
ためにＡＮＴＬＯＣ，ＧＯＭＰ、 ＴＲＡＮＳＰから各
基本ブロックについてｌＮ５ＥＲＴ、 ＤＥＬＥＴＥ集
合を導くことを行う。この方法については従来技術で示
した引用文献２及び米国特許出願Ｎ１１６４０２８３に
詳しい説明がある。これらによれば、次のようにして実
施することができる。
Ｂｚ） ＝ （Ｃ傘Ｄ） ＴＲＡＮＳＰ（Ｂ ｚ） ＝ （φ） ・基本ブロックＢ２ ＡＮＴＬＯＣ［Ｂｚ） ＝ＣＯＭＰ （Ｂｚ） ＝ （
φ）ＴＲＡＮＳＰ（Ｂｚ） ＝ （Ｃ＊ Ｄ 、 Ｙ
＋Ｗ）・基本ブロックＢδ ＡＮＴＬＯＣ（Ｂａ） ＝ＣＯＭＰ［：Ｂａ） ＝ （
Ｙ＋Ｗ）ＴＲＡＮＳＰ（Ｂ ａ） ＝（Ｃ串り、Ｙ＋Ｗ
）・基本ブロックＢ４ ＡＮＴＬＯＧ（Ｂ番） ＝ＣＯＭＰＣＢ４） ＝Ｔ
ＲＡＮＳＰ［Ｂ４］＝ （Ｃ＊［）、Ｙ＋Ｗ） ブロック２はコードの挿入及び冗長なコードを削除する
ためにＡＮＴＬＯＣ，ＧＯＭＰ、 ＴＲＡＮＳＰから各
基本ブロックについてｌＮ５ＥＲＴ、 ＤＥＬＥＴＥ集
合を導くことを行う。この方法については従来技術で示
した引用文献２及び米国特許出願Ｎ１１６４０２８３に
詳しい説明がある。これらによれば、次のようにして実
施することができる。
まず、ＡＮＴＬＯＣ，ＣＯＭＰ、 ＴＲＡＮＳＰから各
基本ブロック毎に次の３種の補助集合を導く。
基本ブロック毎に次の３種の補助集合を導く。
ＡＶＯＵＴ［ｉ］ ＝ＣＯＭＰ（ｉ） ＋ＴＲＡＮＳＰ
（ｉ） ・ＡＶＩＮＣｉ）ＰＡＶＯＵＴ（ｉ） ＝ＣＯ
ＭＰ［ｉ） ＋ＴＲＡＮＳＰ［ｉ］ ・ＰＡＶＩＮ［１
）（３） ＡＮＴＯＵＴ（ｉ） ”ｒＦａｌｓｅ： ｉ
がプログラムの出口基本ブロック ＡＮＴＩＮ（ｉ） ＝ＡＮＴＬＯＣ（ｉ） ＋ＴＲＡＭ
ＳＰ（ｉ）・ＡＮＴＯＵＴ （ｉ ）これら３種の補助
集合を求めた後、この３種の集合と前述の基本集合とか
ら次の補助集合を導く。
（ｉ） ・ＡＶＩＮＣｉ）ＰＡＶＯＵＴ（ｉ） ＝ＣＯ
ＭＰ［ｉ） ＋ＴＲＡＮＳＰ［ｉ］ ・ＰＡＶＩＮ［１
）（３） ＡＮＴＯＵＴ（ｉ） ”ｒＦａｌｓｅ： ｉ
がプログラムの出口基本ブロック ＡＮＴＩＮ（ｉ） ＝ＡＮＴＬＯＣ（ｉ） ＋ＴＲＡＭ
ＳＰ（ｉ）・ＡＮＴＯＵＴ （ｉ ）これら３種の補助
集合を求めた後、この３種の集合と前述の基本集合とか
ら次の補助集合を導く。
（ＡＮＴＬＤＣ（ｉ）＋’ｌＲＡＭ５Ｐ（ｉ） ・ＰＰ
０ＵＴ（ｉ））：ｊはｉのブリデイセッサブロック 但し、 Ｃ０Ｎ５Ｔ（ｉ）＝ＡＮＴＩＮ（ｉ）・（ＰＡＶＩＮ（
ｉ）＋がすべての基本ブロックで変化しなくなるまで反
復して再計算することによって解力１れる。
０ＵＴ（ｉ））：ｊはｉのブリデイセッサブロック 但し、 Ｃ０Ｎ５Ｔ（ｉ）＝ＡＮＴＩＮ（ｉ）・（ＰＡＶＩＮ（
ｉ）＋がすべての基本ブロックで変化しなくなるまで反
復して再計算することによって解力１れる。
各基本ブロック毎ノＡｖｏｕｒ、 ＰＰＩＮ、 ｐｐｏ
ｕｒｆＪｔ決定した後、各基本ブロック毎にｌＮ５ＥＲ
Ｔ、 ＤＥＬＥＴＥを次式で求める。
ｕｒｆＪｔ決定した後、各基本ブロック毎にｌＮ５ＥＲ
Ｔ、 ＤＥＬＥＴＥを次式で求める。
Ｉ？ｌｌ５ＥＲＴ［ｉ］ ＝ＰＰＯＬＩＴ（ｉ）−１Ａ
ＶＯＵＴ（ｉ） ・（１ＰＰＩＮ（ｉ）＋ｌ ＴＲＡＮ
ＳＰ ［ｉ］） ＤＦ！ＩＥｒＥ（ｉ ） ＝ＡＮ’ｎＪｌ）Ｃ（ｉ ）
・ＰＰＩＮ［ｉ ）第３図に示す具体例では、ｌＮ５
ＥＲＴ、 ＤＥＬＥＴＥは次のようになる。
ＶＯＵＴ（ｉ） ・（１ＰＰＩＮ（ｉ）＋ｌ ＴＲＡＮ
ＳＰ ［ｉ］） ＤＦ！ＩＥｒＥ（ｉ ） ＝ＡＮ’ｎＪｌ）Ｃ（ｉ ）
・ＰＰＩＮ［ｉ ）第３図に示す具体例では、ｌＮ５
ＥＲＴ、 ＤＥＬＥＴＥは次のようになる。
・基本ブロックＢＩ
ＩＮＳＥＲＴ（Ｂｉ） ＝ＤＥＬＥＴＥ［Ｂｘ）＝ （
φ）・基本ブロックＢｚ ＩＮＳＥＲＴ（Ｂｚ） ＝ （Ｙ十Ｗ）ＤＥＬＥＴＥ［
Ｂ ｚ］ ＝ （φ） ・基本ブロックＢａ ｌＮ５ＥＲＴ（Ｂａ） ＝ＤＥＬＥＴＥ（Ｂａ）＝ （
φ）・基本ブロックＢ４ ＩＮＳＥＲＴＣＢ番〕＝（φ） ＤＥＬＥＴＥ（Ｂａ） ＝ （Ｃ嘲り、Ｙ十Ｗ）ここ
で求めたｌＮ５ＥＲＴとＤＥＬＥＴＥを用いて第１図の
ブロック５，６を行うと第３図に示された例は第４図の
ように部分式の削除とコード移動が行すれる、すなわち
、基本ブロックＢ２に式（６）が挿入され、基本ブロッ
クＢ４のＣ＊Ｄ、Ｙ＋Ｗが削除され各々変数Ｔｚ、Ｔｚ
に置きかえられている。第４図の結果から、このプログ
ラムからは第３図と同じ実行結果が得られないことは式
（４）に対するＴ１の定義が存在しないこと及び式（５
）に対するＴｚ（７）定ａがＢｚ、Ｂａ、Ｂａというパ
ス上に存在しないことから容易に理解できる。
φ）・基本ブロックＢｚ ＩＮＳＥＲＴ（Ｂｚ） ＝ （Ｙ十Ｗ）ＤＥＬＥＴＥ［
Ｂ ｚ］ ＝ （φ） ・基本ブロックＢａ ｌＮ５ＥＲＴ（Ｂａ） ＝ＤＥＬＥＴＥ（Ｂａ）＝ （
φ）・基本ブロックＢ４ ＩＮＳＥＲＴＣＢ番〕＝（φ） ＤＥＬＥＴＥ（Ｂａ） ＝ （Ｃ嘲り、Ｙ十Ｗ）ここ
で求めたｌＮ５ＥＲＴとＤＥＬＥＴＥを用いて第１図の
ブロック５，６を行うと第３図に示された例は第４図の
ように部分式の削除とコード移動が行すれる、すなわち
、基本ブロックＢ２に式（６）が挿入され、基本ブロッ
クＢ４のＣ＊Ｄ、Ｙ＋Ｗが削除され各々変数Ｔｚ、Ｔｚ
に置きかえられている。第４図の結果から、このプログ
ラムからは第３図と同じ実行結果が得られないことは式
（４）に対するＴ１の定義が存在しないこと及び式（５
）に対するＴｚ（７）定ａがＢｚ、Ｂａ、Ｂａというパ
ス上に存在しないことから容易に理解できる。
次に１本発明に直接かかわるブロック３，４について説
明する。
明する。
ブロック３はブロック１，２で求めたＴＲＡＮＳＰ。
ＡＮＴＬＯＣ，ＤＥＬＥＴＥ、 ｌＮ５ＥＲＴから上方
に露出した冗長コードの集まりＲＤＵＮＩＮ、 ＲＤＵ
ＮＯ［ＩＴを次式によって求める。ここで、ＲＤＵＮＩ
Ｎは基本ブロックの入口で。
に露出した冗長コードの集まりＲＤＵＮＩＮ、 ＲＤＵ
ＮＯ［ＩＴを次式によって求める。ここで、ＲＤＵＮＩ
Ｎは基本ブロックの入口で。
ＲＤＵＮＯＵＴは出口での情報である。
ＲＤＬＩＮＩＮ（ｉ） ＝ＤＥＩＪＥＴＥ（ｉ） ＋
（ＴＲＡＮＳＰ（ｉ） °１ ＡＮＴＬＤＣ（ｉ）°１
１ｆａｉＲＴ（ｉ ］ °ＲＤＬＩＮＯＩＪＴ（ｉ）
）この方程式は（１）〜（４）の方程式と同様の方法に
よって解くことができる。すなわち、左辺で示される集
合がすべての基本ブロックで変化しなくなるまで反復し
て再計算することによって解かれる。
（ＴＲＡＮＳＰ（ｉ） °１ ＡＮＴＬＤＣ（ｉ）°１
１ｆａｉＲＴ（ｉ ］ °ＲＤＬＩＮＯＩＪＴ（ｉ）
）この方程式は（１）〜（４）の方程式と同様の方法に
よって解くことができる。すなわち、左辺で示される集
合がすべての基本ブロックで変化しなくなるまで反復し
て再計算することによって解かれる。
第３図の具体例では次のような集合が形成される。
・基本ブロックＢ１
ＲＤＵＮＯＵＴ（Ｂ １１ ＝ （Ｃ拳Ｄ）ＲＤＵＮＩ
Ｎ（Ｂ ｘ） ＝ （φ） ・基本ブロックＢ２ ＲＤＵＮＯＵＴ（Ｂ２） ＝ （Ｃ傘り、 Ｙ＋Ｗ）Ｒ
ＤＵＮＩＮ（Ｂｚ） ＝ （Ｃ申Ｄ）・基本ブロックＢ
８ ＲＤＬＩＮＯＵＴ［Ｂ ３］＝ＲＤＬＩＮＩＮ （Ｂ
ｇ） ＝（Ｃ” Ｄ ｐ Ｙ＋Ｗ） ・基本ブロックＢ４ ＲＤＵＮＯＵＴ（Ｂ４） ” （φ） ＲＤＵＮＩＮＣＢ＆） ＝ （Ｃ串り、Ｙ＋Ｗ）ブロッ
ク４はブロック１，２．３で求められたＴＲＡＮＳＦ’
、ＣＯＭＰ、 ＤＥＬＥＴＩｌｉ、 ＲＤＬＩＮＯＵＴ
から各基本ブロック毎に次のＤＥＦ集合を求める。この
ＤＥＦ集合は入城的な共通部分式の削除とコード移動に
ともない必要となる定義場所を与える情報となる。
Ｎ（Ｂ ｘ） ＝ （φ） ・基本ブロックＢ２ ＲＤＵＮＯＵＴ（Ｂ２） ＝ （Ｃ傘り、 Ｙ＋Ｗ）Ｒ
ＤＵＮＩＮ（Ｂｚ） ＝ （Ｃ申Ｄ）・基本ブロックＢ
８ ＲＤＬＩＮＯＵＴ［Ｂ ３］＝ＲＤＬＩＮＩＮ （Ｂ
ｇ） ＝（Ｃ” Ｄ ｐ Ｙ＋Ｗ） ・基本ブロックＢ４ ＲＤＵＮＯＵＴ（Ｂ４） ” （φ） ＲＤＵＮＩＮＣＢ＆） ＝ （Ｃ串り、Ｙ＋Ｗ）ブロッ
ク４はブロック１，２．３で求められたＴＲＡＮＳＦ’
、ＣＯＭＰ、 ＤＥＬＥＴＩｌｉ、 ＲＤＬＩＮＯＵＴ
から各基本ブロック毎に次のＤＥＦ集合を求める。この
ＤＥＦ集合は入城的な共通部分式の削除とコード移動に
ともない必要となる定義場所を与える情報となる。
ＤＥ Ｆ（ｉ ） ＝ＲＤＵＮＯＵＴ（ｉ） °（１Ｄ
ＥＬＥＴＥ（ｉ ） ＋１ ＴＲＡＭＳＰ（ｉ ） °
ＣＯＭＰ各基本ブロック毎にＤＥＦ集合が形成されたら
。
ＥＬＥＴＥ（ｉ ） ＋１ ＴＲＡＭＳＰ（ｉ ） °
ＣＯＭＰ各基本ブロック毎にＤＥＦ集合が形成されたら
。
基本ブロック毎にＤＥＦ集合に含まれる部分式削除し、
その部分式の直前にコードを挿入する。
その部分式の直前にコードを挿入する。
第３図の具体例では各基本ブロック毎、に次の集合が形
成される。
成される。
・基本ブロックＢｚ
ＤＥ Ｆ（Ｂｘ）＝ （Ｃ嘲Ｄ）
・基本ブロックＢ２
ＤＥＦ（Ｂｚ）＝ （φ）
・基本ブロックＢａ
ＤＥＦ（Ｂｓ）−（Ｙ＋Ｗ）
・基本ブロック８番
ＤＥＦ（Ｂ番〕＝（φ）
この結果は第５図のように基本ブロックＢ１においては
式（２）が削除されて変数Ｔ１に置きかわり、直前に式
（２）′ が挿入される・。基本ブロックＢ３において
は式（３）が削除されて変数Ｔｚに置きかわり、直前に
式（３）′が挿入される、かごとくなる。第５図に示さ
れたプログラムは第３図で示された元のプログラムと同
じ実行結果が得られることは第４図との対比によっても
容易に理解できる。
式（２）が削除されて変数Ｔ１に置きかわり、直前に式
（２）′ が挿入される・。基本ブロックＢ３において
は式（３）が削除されて変数Ｔｚに置きかわり、直前に
式（３）′が挿入される、かごとくなる。第５図に示さ
れたプログラムは第３図で示された元のプログラムと同
じ実行結果が得られることは第４図との対比によっても
容易に理解できる。
本実施例によれば共通部分式の削除及びコード移動を、
新たに各基本ブロック毎に作成する１種の集合を従来公
知の方法によって求めることによって完全に、かつ効率
良く行える。
新たに各基本ブロック毎に作成する１種の集合を従来公
知の方法によって求めることによって完全に、かつ効率
良く行える。
本発明によれば、最適化コンパイラで行われる主要最適
化である共通部分式の削除及びコード移動を完全に行う
ために、新たに共通部分式の値を求める最適位置を求め
る効率良い方法が提供される。
化である共通部分式の削除及びコード移動を完全に行う
ために、新たに共通部分式の値を求める最適位置を求め
る効率良い方法が提供される。
第１図は本発明の一実施例の処理構成図、第２図は最適
化コンパイラの高いレベルでの流れ図、第３図は本実施
例の説明に用いる元のソースプロダラム図、第４図は従
来公知の共通部分式の削除及びコード移動が行われた後
のプログラム図、第５図は本実施例が適用された後のプ
ログラム図で第１図 冨３図 宴 ４ 図 洒６図
化コンパイラの高いレベルでの流れ図、第３図は本実施
例の説明に用いる元のソースプロダラム図、第４図は従
来公知の共通部分式の削除及びコード移動が行われた後
のプログラム図、第５図は本実施例が適用された後のプ
ログラム図で第１図 冨３図 宴 ４ 図 洒６図
Claims (1)
- １、基本ブロックが識別された、プログラムの中間言語
表現に対して、大域的な共通部分式の削除及びコード移
動を行う最適化コンパイラであつて、各基本ブロックに
おいて、上記基本ブロック内でその出現位置以前に定義
されていないオペランドからなる部分式を識別し、かつ
上記基本ブロック内でその出現位置以後に定義されてい
ないオペランドからなる部分式を識別し、かつ上記基本
ブロック内で定義されないオペランドからなる部分式を
識別した上で、これら部分式の削除及びコード移動場所
を決定するとともに上記削除により必要となる部分式の
定義場所を決定することを特徴とする最適化コンパイラ
。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3938788A JPH01214936A (ja) | 1988-02-24 | 1988-02-24 | 最適化コンパイラ |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3938788A JPH01214936A (ja) | 1988-02-24 | 1988-02-24 | 最適化コンパイラ |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01214936A true JPH01214936A (ja) | 1989-08-29 |
Family
ID=12551594
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3938788A Pending JPH01214936A (ja) | 1988-02-24 | 1988-02-24 | 最適化コンパイラ |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01214936A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH04215133A (ja) * | 1990-02-14 | 1992-08-05 | Internatl Business Mach Corp <Ibm> | コード最適化方法およびコンパイラ・システム |
| US5862384A (en) * | 1996-01-17 | 1999-01-19 | Nec Corporation | Compiler optimizer that moves loop invariant expressions |
-
1988
- 1988-02-24 JP JP3938788A patent/JPH01214936A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH04215133A (ja) * | 1990-02-14 | 1992-08-05 | Internatl Business Mach Corp <Ibm> | コード最適化方法およびコンパイラ・システム |
| US5862384A (en) * | 1996-01-17 | 1999-01-19 | Nec Corporation | Compiler optimizer that moves loop invariant expressions |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP0273130B1 (en) | Reassociation process for code optimization | |
| US5768596A (en) | System and method to efficiently represent aliases and indirect memory operations in static single assignment form during compilation | |
| US5202995A (en) | Method for removing invariant branches from instruction loops of a computer program | |
| US6966055B2 (en) | Optimizing post-link code | |
| JPH0336632A (ja) | コンパイル時における最適化方法 | |
| JPH0695311B2 (ja) | コード最適化方法 | |
| US7950005B2 (en) | Method and apparatus for performing versioning for loop, method and apparatus for collecting array range check information in basic blocks, method for modifying array range check information, method for optimizing array range checks, method for generating codes for array range checks, method and apparatus for eliminating redundant array range checks, method for selecting array range checks, method for modifying array range checks, method for collecting array range checks, and method for determining handling of array range checks | |
| US5790859A (en) | Method of, system for, and computer program product for efficient identification of private variables in program loops by an optimizing compiler | |
| US6041181A (en) | Method of, system for, and computer program product for providing quick fusion in WHERE constructs | |
| CA2321016A1 (en) | Interprocedural dead store elimination | |
| US5845126A (en) | Method of, system for, and computer program product for providing inlined nested array constructors using normalized counters | |
| Lomet | Data flow analysis in the presence of procedure calls | |
| US6665864B1 (en) | Method and apparatus for generating code for array range check and method and apparatus for versioning | |
| US6077314A (en) | Method of, system for, and computer program product for providing improved code motion and code redundancy removal using extended global value numbering | |
| EP1164477A2 (en) | A loop optimization method and a compiler | |
| JPH01214936A (ja) | 最適化コンパイラ | |
| US6035124A (en) | Method of, system for, and computer program product for providing extended global value numbering | |
| US5937196A (en) | Compiling with partial copy propagation | |
| JPH06202875A (ja) | インライン展開による最適化を行うコンパイラ | |
| JP3313859B2 (ja) | 冗長式除去装置 | |
| JPH11149380A (ja) | コンパイラとプログラム最適化方法およびその処理プログラムを記録した記録媒体 | |
| JPH03127127A (ja) | コンピュータプログラムの最適化方法 | |
| JPH0522272B2 (ja) | ||
| JP2002082811A (ja) | コンパイル方法および記録媒体 | |
| JPS63155264A (ja) | ベクトル計算機用言語チユ−ニング処理方式 |