JPH04213118A - プログラム翻訳装置およびプログラム翻訳方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は限定された有限個のレジ
スタを有する電子計算機のプログラム翻訳処理装置に関
し、特にコンパイラやインタプリタに適するプログラム
翻訳処理におけるレジスタ割り付けに関するものである
。

【０００２】

【従来の技術】従来のコンパイラのレジスタ割り付け方
式の一つとして、文献１（Ｇ．Ｊ．Ｃｈａｉｔｉｎ，Ｍ
．Ａ．Ａｕｓｌａｎｄｅｒ，Ａ．Ｋ．Ｃｈａｎｄｅｒ，
Ｊ．Ｃｏｃｋｅ，Ｍ．Ｅ．Ｈｏｐｋｉｎｓ　ａｎｄ　Ｐ
．Ｗ．Ｍａｒｋｓｔｅｉｎ，“Ｒｅｇｉｓｔｅｒ　Ａｌ
ｌｏｃａｔｉｏｎ　ｖｉａ　Ｃｏｌｏｒｉｎｇ”，Ｃｏ
ｍｐｕｔｅｒ　Ｌａｎｇｕａｇｅ６，ｐｐ．４７−３７
（１９８１））に示されるようなグラフ彩色法を用いた
レジスタ割り付け方式がある。この方式では、生存区間
全体に渡って互いが干渉しているか否かによって干渉グ
ラフを生成し、その干渉グラフの各ノードに色づけを行
ない、色と実際に存在するレジスタを１対１に対応させ
ることによってレジスタ割り付けを行っている。そのた
め、実際にはまだ割り付け可能な区間を残したレジスタ
が存在していても、その区間内に変数の生存区間全体が
収まらないという理由で、レジスタが割り当てられない
場合が発生し、生成されるオブジェクトコードの効率が
悪くなるという欠点があった。更に、十分なレジスタが
存在するならば比較的計算時間も少なくて済むが、使用
可能なレジスタが少ない場合には、ｓｐｉｌｌコードを
挿入してレジスタ割り付けの対象とする干渉グラフのノ
ード数を減らすために、再計算のオーバーヘッドが非常
に大きくなる。

【０００３】また、文献２（Ａｌｌｏｃａｔｉｏｎ　ｂ
ｙ　Ｐｒｉｏｒｉｔｙ−ｂａｓｅｄ　Ｃｏｌｏｒｉｎｇ
”，Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　ＡＣＭＳ
ＩＧＰＬＡＮ　Ｓｙｍｐｏｓｉｕｍ　ｏｎ　Ｃｏｍｐｉ
ｌｅｒ　Ｃｏｎｓｔｒｕｃｔｉｏｎ，ｐｐ２２２−２３
２（Ｊｕｎｅ１７−２２，１９８４））に示されている
ような割り付け手法を用いると、レジスタ割り付けの色
づけ対象である変数の生存区間が、干渉グラフ上で限定
された色数による色づけを行なうことが不可能な場合に
、ひととおり色づけされなかった変数の生存区間を複数
の生存区間に分割することによって、前述の文献１の方
式の欠点を解消しているが、この際に、最初に生成した
干渉グラフに、新たに分割した変数の生存区間に相当す
るノードを追加し、干渉グラフの再構成を行ない、優先
順位の再計算、彩色等を行なうための時間がかかりすぎ
るという欠点があった。特に、優先順位が極めて低いた
めに最後まで全く割り付けられない生存区間に関しては
、無駄な分割が繰り返されることになる。また、優先順
位を産出する際にループを重み付けの対象として用いて
いるが、実際のソースコード中には、この他に条件分岐
による基本ブロックの実行頻度の差が存在し、このため
に優先順位が正しく算出されない場合が生じた。

【０００４】特開平１−１０３７４２号公報に示される
手法では、上記文献２の手法を基に、割り付け対象とす
る生存区間のみを分割することで無駄な分割による計算
時間の増加を抑え、ｉｆ文による分岐を優先順位の計算
の際に考慮に入れることによって、生存区間の優先順位
を実行頻度の近似により近いものにし、文献２の前記問
題点を改善している。

【０００５】しかし、以上述べたどの手法を用いても、
ある変数の生存区間全体に渡って割り付けることが可能
なレジスタが存在し、メモリ中に存在するよりもレジス
タに割り付けた方が生成されたコードの効率が少しでも
良くなるような生存区間は、生存区間全体をレジスタに
割り付けてしまうために、実行頻度が生存区間の部分部
分によって疎密のある変数の場合でも、疎である区間も
また１つのレジスタを占有してしまうことになるため、
必ずしも最適なコードが生成されないという欠点があっ
た。

【０００６】

【発明が解決しようとする課題】本発明は、前記した従
来技術の欠点を除去・改良することを目的とする。すな
わち、本発明は、より実際の実行頻度に基づいた、レジ
スタ割り付けを行なうことが可能となり、生成されたコ
ードの実行効率が向上するとともに、ｓｐｉｌｌコード
の発生などに伴う再計算のオーバーヘッドがかからない
ようにすることを目的とする。

【０００７】

【課題を解決するための手段】本発明のプログラム翻訳
処理装置は、同一時間に存在する複数の変数の生存区間
を各々の変数ごとに調査し、各々の変数における生存区
間の始点と終点とを検出する検出手段（図１の１１）と
、その検出手段によって検出された各々の変数における
生存区間の始点と終点で、同一時間に存在する複数の変
数の生存区間を分割する分割手段（図１の１２）と、そ
の分割手段によって分割された結果、互いに異なる変数
であって同一時間に存在する区分された生存区間の各分
割領域について、その分割領域をレジスタに割り付けた
場合の利益を計算し、その計算結果を基に、レジスタに
常駐させる分割領域の候補を選択するレジスタ割り付け
手段（図１の１３）と、そのレジスタ割り付け手段によ
って選択した分割領域の候補を常駐させるためのレジス
タを決定するレジスタ割り当て手段（図１の１４）とを
有する。

【０００８】

【作用】検出手段（図１の１１）で解析された各変数の
生存区間を縦方向に時間、横方向に変数をとって示した
ものが、図３である。ここでは、４つの変数Ａ、Ｂ、Ｃ
、Ｄが存在する。ここで、破線で示しているものが、記
録された各変数の生存区間の始点と終点である。分割手
段（図１の１２）によって各変数の生存区間を、他の全
ての変数の生存区間の始点と終点で分割した結果を、図
４に示す。各分割領域は、もともとの変数の名前に、幾
つめの分割領域であるかを示す添字をつけて表している
。そこで、これらの生存区間の分割領域をレジスタに割
り付ける候補としたものを実線で示し、未割り付けの生
存区間の分割領域を破線で示したものが図５である。 レジスタ割り付け手段（図１の１３、優先順位計算手段
１３１）では、これらの情報から未割り付けの生存区間
について、その生存区間をレジスタに割り付けた場合の
利益を、例えば、変数メモリ中からレジスタ上にロード
する必要性の有無によって生じる費用と、変数をレジス
タからメモリ中に格納する必要性の有無によって生じる
費用、及びメモリ中に置くことよりもレジスタ上に置く
ことによって参照される際に生じる利益を分割された生
存区間で参照される回数とを掛けた総利益との合計に従
って、計算していく。ただし各分割された生存区間にお
いて、同時に存在する各変数の生存区間の分割領域の数
が、使用可能にレジスタ数よりも少ない場合には、自動
的にレジスタ割り付け可能な候補となるため、ここでは
優先順位の計算を省略する。また、レジスタ割り付け手
段（１３）は、このようにして得られた利益を基に優先
順位を決めて、未割り付け生存区間の分割領域を、レジ
スタに常駐させる候補として選択して行き、すべてのレ
ジスタ割り付けの候補となる生存区間の分割領域を決定
する。レジスタ割り当て手段（１４）では、順に存在す
るレジスタに変数の分割領域を割り当てる。この際、候
補とした残った分割された生存区間の各分割領域には、
必ずとれか１つのレジスタが割り付けられることには既
に決定しているが、どのレジスタになるかは、まだ決定
していないため、同一の変数に属する分割された生存区
間を１つずつ順に割り当てていき、可能な限り同一のレ
ジスタを割り当てるようにする。図６は割り当てた結果
の一例を示すものである。このようにして、各変数の生
存区間をあらかじめ分割してから、分割した分割領域同
士の優先順位を決定することにより、従来の手法を用い
るよりも、より実際の実行頻度に基づいた、レジスタ割
り付けを行なうことが可能となり、生成されたコードの
実行効率が向上するとともに、ｓｐｉｌｌコードの発生
などに伴う再計算のオーバーヘッドがかからない。

【０００９】

【実施例】図２は、一般的な、ソースプログラムをオブ
ジェクトプログラムに翻訳する処理装置における翻訳処
理プログラムの処理手順を示すものである。このプログ
ラム翻訳処理装置は、コンパイラプログラムを実行する
図７に示すようなコンピュータシステムとして構成され
ている。また、この装置により生成されたオブジェクト
コードの実行も、図７に示すようなコンピュータシステ
ムにおいて行われる。図７に示すように、コンピュータ
システムは、ＣＰＵ７１、レジスタ７４１、主記憶装置
７２、磁気ディスク等の２次記憶装置７３、キーボード
／マウスなどの入出力装置７４、および内部バス７５な
どからなっている。また、図７中のＣＰＵの例として、
図８にモトローラ社製のＲＩＳＣプロセッサＭＣ８８２
００の構成を示す。この例ではレジスタファイル７６と
してレジスタを有している。レジスタ７６は、超ＬＳＩ
技術の恩恵を得ることのできるＣＰＵ７１内部に存在す
るため、主記憶装置７２に比べてアクセスに要する時間
は格段に短くて済む。この特性を利用して、生成された
オブジェクトコードの実行効率を上げようとするのが、
コンパイラのレジスタ割り付けの最適化であり、本発明
は、とくにその最適化処理に関するものである。

【００１０】以下に、本発明の一実施例を図面に基づい
て説明する。図１に示したように、実施例の装置は、生
存区間検出部１１、生存区間分割部１２、優先順位計算
部１３１および割り付け候補選択部１３２を備えたレジ
スタ割り付け部１３、およびレジスタ割り当て部１４を
有している。以下、フロー図により動作を説明する。 まず、生存区間検出部１１が、図９に示すフローに従っ
て生存区間の解析を行う。１００：図９に示すように、
生存区間検出部１１は、まだ処理していない基本ブロッ
クの１つを選び、１１０：選んだブロック中の生存区間
情報を調べ、１２０：全基本ブロックが終了する迄、そ
れを繰り返す。 図９のステップ１１０：において選んだブロック中の生
存区間情報を生存区間検出部１１が調べる具体的な手順
を、図１０に示す。すなわち、１１１：生存区間検出部
１１は、基本ブロック中の先頭から１ラインを選択し、
１１２：選択したラインが変数の代入や参照を含んでい
るかどうかを調べ、１１６：含んでいない場合は、その
ラインが最後のラインかどうかを調べ、１１１：最後の
ラインで無ければ、再び次のラインを選択する。１１３
：また、ステップ１１２：において、選択したラインが
変数の代入や参照を含んでいると判定された場合には、
その変数が既に出てきたものであるかどうかを、図１７
に示す生存区間情報リストで調べる。１１７：もしもそ
れが、始めて出てきた変数であるならば、新たな生存区
間として生存区間情報リストに追加する。この際に追加
されたデータは、所属変数名（ステップ１１３で調べる
際に利用される）、区間開始基本ブロック番号、区間終
了基本ブロック番号（初期値は区間開始ブロック番号と
同じ）、区間開始ライン番号、区間終了ライン番号（初
期値は区間開始ライン番号と同一）、次のリストのアド
レス（ないので０）、前のリストのアドレス（今作成中
のリストを参照するためのリストのアドレス）、前のリ
ストの内容で“次のリストのアドレス”の項目（今作成
中のリストのアドレスを入れる）である。その後、１１
６：そのラインがブロックの最後のラインかどうかを判
定する。１１１：最後のラインで無ければ、再び次のラ
インを選択する。１１４：また、ステップ１１３：にお
いて既に出てきた変数であると判定された場合には、そ
の変数の値が、代入などによってそこで壊されるもので
あるかどうかを調べる。１１７：変数が壊される値であ
るならば、それまでの生存区間は最後の変数の参照の時
点で終了したものとして、新たに生存区間情報のリスト
を前記と同様に作成する。１１５：またもしも変数の値
が壊されなければ、その変数の分割領域に関するリスト
（最後に更新したもの）の生存区間をその時点まで延長
する。すなわち、現在注目している変数を所属変数名に
持つリストの最後のリストの区間終了基本ブロック番号
と、区間終了ライン番号を現在のものに更新する。この
処理をブロックの終わりまで繰り返す。

【００１１】以上のようにして、生存区間検出部１１に
より生存区間の解析が行われたら、次に生存区間分割部
１２により、生存区間の分割を行う。その処理手順は、
図１１および図１２に示されている。 １５１：未処理の一つの変数Ａを選択するとともに、１
５２：その変数Ａ以外の一つの変数Ｂを選択する。 １５３：選択した変数Ａの生存区間中に、変数Ｂの生存
区間の開始点があるかどうかを調べる。生存区間の開始
点は図１７に示すような生存区間情報リストにおける区
間開始ブロック番号と区間開始ライン番号の組みによっ
て表わされる。 １５４：変数Ａの生存区間中に、変数Ｂの生存区間の開
始点があったときは、後述する図１２に示すような分割
処理を行う。 １５５：選択した変数Ａの生存区間中に、変数Ｂの生存
区間の終了点があるかどうかを調べる。生存区間の終了
点は生存区間情報リストにおける区間終了ブロック番号
と区間終了ライン番号の組みによって表わされる。 １５６：変数Ａの生存区間中に、変数Ｂの生存区間の終
了点があったときは、後述する図１２に示すような分割
処理を行う。 １５７：変数Ｂの処理として変数Ａ以外のすべての変数
が選択され処理が終了たかを調べ、まだ、変数Ｂが残っ
ている間は処理ステップ１５２：〜ステップ１５７：を
繰り返す。 １５８：変数Ａの処理としてすべての変数が終了したか
を調べ、まだ変数が残っている間はステップ１５１：〜
ステップ１５８：を繰り返す。すべての変数が終了した
ときすべての生存区間の分割が終了する。

【００１２】ここで、ステップ１５４：および１５６：
の分割処理について図１２および図１８により説明する
。 １６１：変数Ａの生存区間情報リスト１８０を複写し、
２つの生存区間情報リスト１８０’（＝１８０），１８
１を得る。 １６２：この２つの生存区間情報リストを分割後の生存
区間情報リスト１８０’，１８１とするため、分割され
たアドレスをつなぐ処理を行うとともに、１６３：分割
アドレスの書き込みを行う。すなわち、図１８に示すよ
うに、一方の生存区間情報リスト１８０’の区間終了ブ
ロック番号と区間終了ライン番号を分割点のブロック番
号およびライン番号で置き換え、次のリストのアドレス
に今複写したもう一つのリストのアドレスを入れる。ま
た、他方の生存区間情報リスト１８１の区間開始ブロッ
ク番号と区間開始ライン番号を分割点のブロック番号お
よびライン番号で置き換えるとともに、今まで“次のリ
スト”としてつながっていたリストの“前のリストのア
ドレス”の項目を分割前の自分のアドレスに更新する。

【００１３】次に、レジスタ割り付け部１３における各
生存区間の分割領域の割り付け候補の選択処理および優
先順位計算部１３１による優先順位決定処理を、図１３
および図１４に示すフロー図により説明する。 ２００：まず、分割された生存区間の１つに注目する。 ２１０：その分割された生存区間内において、割り当て
るべき変数の総数と割り当て可能なレジスタの総数とを
比較する。 ２５０：比較の結果、割り当てるべき変数の総数と等し
いか、それより少なければ、無条件に全ての変数の分割
領域が割り当て可能であるとして、当該生存区間内の変
数の分割領域を全て割り付け候補とする。 ２２０：比較の結果、割り当て可能なレジスタの総数よ
りも分割領域の総数の方が多ければ、当該変数の分割領
域の優先順位を図１４に示す手順で計算し、２３０：優
先順位の高い順にレジスタの個数分割り付け候補とする
。 ２４０：以上の各生存区間の割り付け処理を、すべての
区間について終了するまで繰返し行う。

【００１４】ステップ２３０の優先順位の計算は、図１
４に示すように、 ２２１：分割区間内の未処理の変数の分割領域を１つ選
択し、 ２２２：利益計算をし、 ２２３：最後の分割領域にいたるまで繰り返す。 ここで、利益は次のようにして計算される値である。 利益＝ロード利益×分割された生存区間中での参照回数
＋ストア利益×分割された生存区間中での代入回数−移
動費用×ｎ……（式１） ロード利益：　　レジスタ中に置いた場合、対応するメ
モリ参照と比較して節約される実行時間 ストア利益：　　レジスタ中に置いた場合、対応するメ
モリヘのストアと比較して節約される実行時間移動費用
：　　　　メモリからレジスタへ、あるいはレジスタか
らメモリへの移動費用 ｎ：　　メモリから（あるいはメモリへ）変数の値を移
動する必要回数。まだ引き続く未処理の変数については
レジスタに割り当てられるかどうか決定していないが、
引き続く未割り付けの分割領域がある場合には０とみな
すが、いずれにせよ０，１，２のどれかの値を取る。

【００１５】最後に、レジスタ割り当て部１４によるレ
ジスタ割り当て処理の手順を図１５および図１６により
説明する。 ３００：未割り当ての変数を１つ選択し、その変数に属
する全ての分割領域の処理を開始する。 ３０１：選んだ変数に属する生存区間の分割領域を１つ
選択し、 ３０２：未使用レジスタの有無を調べ、３０３：もしま
だ何も割り当てられないレジスタがあれば、その未使用
レジスタの内の一つを選び、３０４：選んだ未割り当て
の分割領域を今選んだレジスタに割り当てる。 ３０５：またもしも、ステップ３０２：の判定処理で未
使用レジスタが無かった場合は、選択した分割領域の生
存区間内が空いているレジスタを探し、そのレジスタに
分割領域を割り当てる。 ３０６：全ての未割り当ての分割領域について終了する
迄繰り返す。但し１つの変数の２つめ以降の分割領域を
処理する際には、３０２：未使用のレジスタかどうかを
判断する代わりに、既にレジスタが選択されているかど
うかを調べ、３０３：既に選択されていればそのレジス
タを使用する。 ３０７：全ての分割領域について以上の処理が終了した
ら、まだ未割り当ての変数が残っているかどうかを調べ
、全ての変数の全ての分割領域について、同様の処理を
繰り返す。その後、ステップ２５０：の処理により分割
された生存区間中に存在する変数の数がレジスタ数より
も少ない為に無条件に割り当てる候補となった分割領域
のうち、孤立の分割領域については、割り当てる利益が
ないときは割り当ての取り止めの処理を行う。図１６は
その処理のフロー図である。 ３０８：優先順位未計算の分割領域を一つ選択し、３０
９：その前後に同一変数に属する生存区間の分割領域が
存在するか否かを調べ、その選択した分割領域が孤立分
割領域であるか否かを判定する。孤立分割領域でないと
きはステップ２５０：での割り当ては確定する。 ３１０：孤立分割領域の場合には、その孤立分割領域を
レジスタ中に置くことの利益を次の式２により計算する
。レジスタ中に置くことの利益＝ロード利益×参照回数
＋ストア利益×代入回数−２×移動費用……（式２）３
１１：式２の計算の結果、利益がないかどうかを判定す
る。式２の計算結果が正の値のときは利益があり、０ま
たは負のとき利益がないと判定する。利益があると判定
されたときは、割り当ては確定する。 ３１２：利益がないと判定されたときは、ステップ２５
０：で当該分割領域に割り当てられたレジスタを割り当
てからはずす。 ３１３：以上の処理を全ての無条件に割り付け候補とな
った分割領域について繰り返す。 しかしこれによって、たとえその分割された生存区間で
空きのレジスタが生じても、その区間の他の分割領域は
全てレジスタが割り当てられるだけのレジスタ数がある
ので、再計算の必要は生じない。

【００１６】〔第２の実施例〕 図１９は、本発明の第２の実施例の構成を示すブロック
図であり、図２０はその処理フローを示すものである。 図１９に示すように、第１の実施例に対しレジスタ割り
付け部１３およびレジスタ割り当て部１３を再実行する
ように、レジスタ割り付け・割り当て再実行制御部１５
を付加した構成を有し、最適化レベルの数を増加できる
ようにした点が異なる。最適化レベルを増すことにより
コンパイル時間は長くなるが、生成されたコードの実行
時間を短くすることができる。 処理の手順は、図２０に示すように、 ４００：生存区間の解析・分割、 ４１０：生存区間の分割領域の割り付け候補選択、４２
０：レジスタ割り当ていたるまでは第１の実施例と同じ
であるが、異なるのは、レジスタ割り付け・割り当て再
実行制御部１５により制御される以下に述べる手順であ
る。ユーザは本装置を使用する際に最適化レベルを設定
することができ、例えば、最適化レベル１はアセンブラ
レベルでの最適化を表し、最適化レベル２は広域最適化
、共通部分式の削除等の最適化を表す。 ４３０：最適化レベルが０になっているか否かを判定し
、０になっていればユーザの指定した最適化レベルの処
理はすべて終了しているので、終了する。 ４４０：最適化レベルが０になっていないならば、その
最適化レベルに従って、優先順位の再計算と割り付け候
補選択とを行うレジスタ割り付けを再度行うとともに、
４５０：レジスタへの再割り当てを行う。 ４６０；最適化レベルの値を１つ減らし、ステップ４３
０：へ進む。このような処理を、レジスタ割り付け・割
り当て再実行制御部１５の制御により繰り返し行なう。 例えば、指定した最適化レベルが２なら、このループは
２度実行が繰り返される。ステップ４４０：の割り当て
候補の再選択と、ステップ４５０：のレジスタ再割り付
けは、各々ステップ４１０：の各生存区間の分割領域の
割り付け候補選択およびステップ４２０：のレジスタ割
り付けと全く同じ処理内容であるが、図１４での優先順
位の計算（式１）のｎの値で、既に後に続く分割領域が
、一旦前のレジスタ割り付け時にレジスタに割り付けら
れるかどうかが決定されているので、その結果を利用し
ｎを決める。これにより、より正確な優先順位の決定が
なされる。

【００１７】

【発明の効果】以上述べたように、本発明は、各変数の
生存区間の始点と終点で全ての生存区間の分割を行い、
分割された生存区間のレジスタ割り付けの利益を計算し
て優先順位を求め、その優先順位に基づいてレジスタの
割り付けおよび割り当てを行う。これにより、従来のレ
ジスタ割り当て方式では、全区間が割り当てられてしま
うような、長い生存区間を持つ変数があっても、本発明
では、必ずしも全区間をその変数に割り当ててしまわず
に、分割した区間を単位に割当の利益を計算して最も効
率がよくなるようにレジスタの割り当てを行うことがで
きる。例えばある一部だけ変数の出現頻度が高く、残り
のほとんどの区間では変数の出現頻度が低い場合には、
変数の出現頻度が低い部分に他の変数を割り当てると言
うように、効率を考えた優先順位により、レジスタ割り
当てをする。従って、本発明は、有効なレジスタの活用
が可能となり、結果として生成されたオブジェクトコー
ドの実行効率が上がり、そのオブジェクトコードを実行
する計算機のパフォーマンスを上げることができる。

【００１８】更に、本発明を実施することにより得られ
るメリットとして、命令スケジューリングの効率の向上
が挙げられる。（命令スケジューリングに関しては“情
報処理第３１巻第６号７３２頁などを参照”）命令スケ
ジューリングでは、各命令の依存関係を調べ、命令の順
番を変えても得られる計算結果に影響が無い場合には、
ハードウエアの実行効率が向上するように命令の順番を
自由に入替えスケジューリングする。ところがその結果
、一般的には変数の生存区間が長くなってしまう為に、
従来のレジスタ割り当て方式では、１つの変数がレジス
タを長く占有してしまうので、かえって生成されたオブ
ジェクトコードの実高効率が悪くなってしまう場合が多
かった。そこで、従来はレジスタ割り当て後に命令スケ
ジューリングを行うことが一般的であったが、その結果
として、レジスタ割り当て前に較べて各命令の依存関係
が強くなる。例えば、中間コード生成時には、別々の疑
似レジスタに割り当てられていた２つの変数がレジスタ
割り当てによって同じレジスタを割り当てによって同じ
レジスタを割り当てられてしまうと、その時点で依存関
係が生じてしまう。従って、自由な命令スケジューリン
グができず、結果として効率の高いオブジェクトコード
を生成することができなかった。この点、本発明の場合
には、たとえ命令スケジューリングの結果変数の生存区
間が長くなっても、分割され、細かい単位でレジスタに
割り当て前に命令スケジューリングを行うことで命令ス
ケジューリングの効率の向上を計ることが可能となる。

【図面の簡単な説明】

【図１】本発明の一実施例の構成を示すブロック図

【図
２】最適化コンバイラの処理手順を示す図

【図３】本発
明の処理の概略を示す概念図（１）

【図４】本発明の処
理の概略を示す概念図（２）

【図５】本発明の処理の概
略を示す概念図（３）

【図６】本発明の処理の概略を示
す概念図（４）

【図７】本発明の実施例の最適化コンパ
イラの実行およびオブジェクトプログラム出力が実行さ
れるシステムの構成図

【図８】図７のシステムに使用されるＣＰＵの一例の構
成図

【図９】生存区間の解析を行う処理手順の概略を示すフ
ロー図

【図１０】生存区間の解析を行う処理手順の詳細を示す
フロー図

【図１１】分割を行う処理手順を示すフロー図

【図１２
】分割を行う処理手順の一部を示すフロー図

【図１３】
分割された生存区間の変数の分割領域からレジスタへの
割り付け候補を選択する処理手順を示すフロー図

【図１４】優先順位の計算の手順を示すフロー図

【図１
５】レジスタ割り当ての処理手順を示すフロー図

【図１
６】図１５のレジスタ割当の処理手順の続きを示すフロ
ー図

【図１７】実施例の最適化コンパイラが実行される際に
使用される生存区間情報リスト

【図１８】生存区間の分割を行う際の生存区間情報リス
トの分割を説明するための図

【図１９】本発明の第２の実施例の構成を示すブロック
図

【図２０】第２の実施例の処理手順を示すフロー図

【符号の説明】

１１　　生存区間検出部 １２　　生存区間分割部 １３　　レジスタ割り付け部 １３１　　優先順位計算部 １３２　　割り付け候補選択部 １４　　レジスタ割り当て部

Claims (1)

【特許請求の範囲】
1. 同一時間に存在する複数の変数の生存区間を各々の変数
   ごとに調査し、各々の変数における生存区間の始点と終
   点とを検出する検出手段と、前記検出手段によって検出
   された各々の変数における生存区間の始点と終点で、同
   一時間に存在する複数の変数の生存区間を分割する分割
   手段と、前記分割手段によって分割された結果、互いに
   異なる変数であって同一時間に存在する区分された生存
   区間の各分割領域について、その分割領域をレジスタに
   割り付けた場合の利益を計算し、その計算結果を基に、
   レジスタに常駐させる分割領域の候補を選択するレジス
   タ割り付け手段と、前記レジスタ割り付け手段によって
   決定した分割領域の候補に、常駐させるレジスタを割り
   当てるレジスタ割り当て手段と、を有することを特徴と
   するプログラム翻訳処理装置。