JPH06259262A - 分岐確率を設定するコンパイラの処理方法および処理装置 - Google Patents

Abstract

(57)【要約】 【目的】前もって予想した，または実測したプログラム
の実行時の分岐確率情報をコンパイル時に反映してスケ
ジューリングを行うための分岐確率を設定するコンパイ
ラの処理方法および処理装置に関し，高効率で動作する
プログラムの翻訳を可能とするため，プログラム中の各
命令の実行頻度を精度よく予測できるようにすることを
目的とする。 【構成】フローグラフ作成処理11により，複数の条件判
断を含む一つの分岐を表す分岐文に対して，その分岐文
を個々の条件判断に分解したフローグラフ13a を作成
し，真率決定／設定処理12により，フローグラフ13a に
基づいて，分岐文に対して指定された真率を満足するよ
うに，個々の条件判断の真率を決定する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は，前もって予想した，ま
たは実測したプログラムの実行時の分岐確率情報をコン
パイル時に反映してスケジューリングを行うためのコン
パイラの処理技術に係り，特に複数の条件判断を含む分
岐文に対する分岐確率を設定するコンパイラの処理方法
および処理装置に関する。

【０００２】近年のコンピュータシステムに対する高速
化の要求に伴い，高効率で動作するようにプログラムを
翻訳するコンパイラが要求されている。そのための有力
な手法として，例えばトレーススケジューリングと呼ば
れる方法が提案されている（Bulldog: A Compiler for
VLIW Architecture, J.R.Ellis著,the MIT Press,198
6)。この手法は，実行頻度の高いパスを見つけ，そのパ
スを最も効率よく実行できるように命令を並び換えるス
ケジューリングを行うものである。実行頻度の高い命令
を検出することにより，最適化を図るこの種の方法で
は，実行頻度を推定するためのループの繰り返し数や条
件分岐文（以下，ｉｆ文という）での真率の情報が非常
に重要になってくる。

【０００３】また，実行頻度の高いパス側に優先的にレ
ジスタ等のリソースを割り当てるような場合にも，実行
頻度の高いパスを検出するために，分岐文／分岐命令の
分岐確率に関する情報が必要になる。他に，分岐命令に
おいては，一般に分岐するほうが分岐しない場合よりも
実行コストが高くなるので，分岐しない側を分岐確率の
高い方にした方が実行時間が短くなる。そのため，分岐
確率に関する情報を利用することが必要となる。

【０００４】さらに，コンパイラの最適化にかける時間
を短縮するような場合に，実行頻度の低いパスの最適化
にかけるレベルを下げることが考えられるが，このよう
な場合にも実行頻度を正しく推定するための情報が必要
となる。

【０００５】

【従来の技術】図１１は，従来技術と本発明の課題の説
明図である。従来のコンパイラにおいては，ループの繰
り返し数は，ソースプログラム上に明示されることが多
い。また，従来からループの繰り返し数を利用した最適
化が行われており，ループの繰り返し数の情報はコンパ
イル時の内部情報として管理されている。

【０００６】一方，真率の情報は，通常ソースプログラ
ム上に明示されることがないので，分岐文に対してはコ
ンパイル時に出現する都度，その分岐構造を識別して処
理を行うことが必要となる。

【０００７】図１１（イ）に示すプログラム１０は，Ｃ
言語で記述されたプログラムであって，ＡまたはＢまた
はＣのいずれかが真であるときｘｘを実行し，そうでな
いときｙｙを実行し，その後にｚｚを実行するプログラ
ムである。この例のように，一つの分岐を表す文の中に
複数の条件判断が含まれるｉｆ文（これを複合ｉｆ文と
いう）に対して，次のような２通りの処理方法がある。

【０００８】その一つは，図１１（ロ）に示すように，
複数からなる条件Ａ，Ｂ，Ｃを計算し，その最終値の如
何によって処理を行うものである。このような処理は，
分岐判断が一箇所で行われるため，ｔｈｅｎ節またはｅ
ｌｓｅ節が実行される確率が一箇所で行われる分岐命令
の分岐確率と一致する。したがって，複合ｉｆ文の実行
確率を設定することが容易に可能であり，従来はこの処
理が採用されていた（例えば，“条件付命令の実行時命
令選択方式”，特公平１−４２０１９号公報）。

【０００９】もう一つの処理方法は，図１１（ハ）に示
すように，複数からなる条件判断を個々の分岐に分解し
て処理を行うものである。これは，分岐の判断を一箇所
で行うのではなく個々の条件ごとに行うので，Ａが真で
あれば直ちにｔｈｅｎ節のｘｘを実行し，Ｂ以下の判定
は実行する必要がないので，図１１（ロ）に示す処理に
比べ，実行時間が短くて済むという利点を持っている。

【００１０】

【発明が解決しようとする課題】したがって，より高性
能な命令実行のスケジューリングを行うためには，図１
１（ハ）に示すような処理をとり，かつ複合ｉｆ文の真
率を設定するための方法が必要となる。

【００１１】本発明は，複合ｉｆ文に対して指定された
真率または複合ｉｆ文における個々の条件判断に対して
指定された真率に基づき，個々の条件判断における分岐
に関係する真率を各々設定し，より高性能なプログラム
を生成するための精度のよい実行頻度の予測を可能とす
ることを目的とする。

【００１２】

【課題を解決するための手段】図１は，本発明の原理説
明図である。図中，１０は翻訳（コンパイル）対象のプ
ログラム，１１はフローグラフ作成処理，１２は真率決
定／設定処理，１３ａ，１３ｂはフローグラフを表す。

【００１３】プログラム１０において，文１は最適化指
示文，文２は複合ｉｆ文である。文３のｘｘは複合ｉｆ
文の条件が真のときに実行される命令文であり，これを
ｔｈｅｎ節という。ｙｙは複合ｉｆ文の条件が偽のとき
に実行される命令文であり，これをｅｌｓｅ節という。

【００１４】文１は，コンパイラに対して最適化などの
ための実行時分岐確率情報を与えるものであり，この例
では，複合ｉｆ文２のｔｈｅｎ節文３が実行される確率
（真率）が４０％であることを表している。

【００１５】フローグラフ作成処理１１では，複合ｉｆ
文２における複数の条件Ａ，Ｂ，Ｃ，Ｄ，Ｅをまとめて
扱うのではなく，個々の条件判断に分解し，各条件判断
の真／偽に応じた制御フローを示すフローグラフ１３ａ
を作成する。次に，真率決定／設定処理１２により，作
成したフローグラフ１３ａに基づいて，複合ｉｆ文２に
対して文１により指定された全体の真率（４０％）を満
足するように，フローグラフ１３ｂにおいて数値で示す
ような各パスの実行回数に相当する値を計算し，個々の
条件判断の真率をそれぞれのノード（ブロック）に割り
振る処理を行う。

【００１６】例えば，文１において，Ａの真率がａ％，
Ｂの真率がｂ％，…，Ｅの真率がｅ％というように，複
合ｉｆ文２の全体に対してでなく，個々の条件判断に対
する真率が指定された場合には，フローグラフ作成処理
１１によりフローグラフ１３ａを作成した後，真率決定
／設定処理１２によって，指定された真率を満足するよ
うに，フローグラフ１３ａにおける個々の条件判断の真
率を順次設定する。

【００１７】最適化オプションの指定によっては，この
ようにして設定された分岐確率に基づいて実行頻度が低
いと判断されたパスの最適化レベルを低減させることに
より，プログラムの翻訳時間を短縮させることができ
る。

【００１８】また，本発明による分岐確率を設定するコ
ンパイラの処理装置は，複数の条件判断を含む一つの分
岐を表す分岐文を，個々の条件判断に分解して基本ブロ
ック単位にまとめ，フローグラフ１３ａを作成するため
の情報を収集する情報収集フェーズ処理手段と，収集し
た情報をもとに，各基本ブロックの先行／後続に関する
接続関係を示すフローグラフ１３ａを表す結合マトリク
スを作成する結合マトリクス作成フェーズ処理手段と，
作成された結合マトリクスにおいて，指定された真率を
もとに後続ブロックから先行ブロックへと順次各ブロッ
クへのパス数に応じた実行回数の割合を計算し，個々の
条件判断での真率を求める結合マトリクス計算フェーズ
処理手段とを有し，フローグラフにおける個々の条件分
岐に対し分岐確率を設定するように構成される。

【００１９】

【作用】フローグラフ作成処理１１により，図１に示す
ような複数の条件判断を含む一つの複合ｉｆ文２を，個
々の条件判断に分解し，ｔｈｅｎ節，ｅｌｓｅ節および
個々の分岐判断を表すブロックをノードとするフローグ
ラフ１３ａを作成する。これに対して，真率決定／設定
処理１２により，最適化指示文１により指定された真率
を満足するように，個々の真率を決定する。

【００２０】例えば，複合ｉｆ文２における条件判断の
全体に対して真率が指定された場合には，ｔｈｅｎ節，
ｅｌｓｅ節側から実行回数の割合を計算していき，複合
ｉｆ文２における個々の条件判断に対して真率が指定さ
れた場合には，フローグラフ１３ａの各ノードに対し順
次，真率を割り振るようにする。

【００２１】フローグラフ１３ａは，処理装置内部では
条件判断を示す各ノードの先行・後続関係を示す結合マ
トリクスとして表すことができ，これにより各ブロック
の実行回数の割合から真率を計算することが可能であ
る。

【００２２】以上のように，複数の条件判断を含む一つ
の分岐文における個々の条件判断に対して真率が決定さ
れることにより，コンパイラにおけるきめ細かな最適化
スケジューリングなどができるようになる。例えば，通
常のコンパイラでは，個々の条件判断の内のあるものが
常に真または偽であることにより，その条件判断を削除
するというような最適化が行われるが，本発明では，こ
のような最適化により分岐構造が変化・削除されても，
変化後のフローグラフに対して個々の真率を決定できる
ので，複合ｉｆ文に対して，常に指定された真率を反映
することができる。

【００２３】また，従来，特定のプログラムに対しコン
パイルの最適化レベルを変えるということは行われてい
たが，一つのプログラムの中の特定のパスだけ，その実
行頻度の高低から最適化レベルを変えるようなことは行
われていなかった。最適化を行うためには，プログラム
の制御の流れの解析，データの流れの解析等が必要であ
り，高いレベルの最適化を行おうとすればするほど，よ
り詳細な解析が必要になり，結果的にその処理に要する
時間が長くなる。

【００２４】しかし，もともと実行頻度が低いパスは実
行されることが少ないので，最適化レベルが低くても，
プログラム全体の実行時間には寄与するところは小さい
ので，プログラムの実行時間よりもプログラムの翻訳時
間が短いほうがよいとする場合がある。したがって，設
定された分岐確率に基づいて実行頻度が低いと判断され
たパスの最適化レベルを低減させることにより，あまり
有益でない最適化処理に要する時間を短縮することがで
きる。

【００２５】

【実施例】例えば，図１に示すプログラム１０のよう
に，複合ｉｆ文２全体に対して真率（この例では４０
％）が指定された場合の処理は，以下のとおりである。

【００２６】(1) 複合ｉｆ文２を個々の分岐に分解す
る。このとき，ｔｈｅｎ節，ｅｌｓｅ節及び個々の分岐
にマークを付ける。 (2) マークが付いているものに対して，制御のフローグ
ラフを作成する。

【００２７】(3) ｔｈｅｎ節，ｅｌｓｅ節に実行回数を
設定する。この例では，ｘｘの実行回数が４０，ｙｙの
実行回数が６０となる。 (4) ｔｈｅｎ節，ｅｌｓｅ節にくるパスの数を調べる。

【００２８】この例では，ｘｘに２本，ｙｙに３本であ
る。 (5) 実行回数をパス数で割り，その値を各々のパスの実
行回数とする。この例では，次のようになる。

【００２９】Ｄ→ｘｘのパスの実行回数は，４０／２， Ｅ→ｘｘのパスの実行回数は，４０／２， Ｂ→ｙｙのパスの実行回数は，６０／３， Ｃ→ｙｙのパスの実行回数は，６０／３， Ｅ→ｙｙのパスの実行回数は，６０／３。

【００３０】(6) 分岐パスの総実行回数が決定したな
ら，その総実行回数をその分岐の実行回数とする。この
例の場合， Ｅ→ｘｘのパスの実行回数は２０， Ｅ→ｙｙのパスの実行回数は２０， である。したがって，条件分岐Ｅ（すなわち，Ｄ→Ｅの
パス）の実行回数は，２０＋２０＝４０（回）となる。

【００３１】(7) 上記処理(5) と(6) とを繰り返し，す
べてのパスの実行回数を求める。この結果は図１に示す
フローグラフ１３ｂのようになる。 (8) 各々のパスの実行回数から各々の真率を求める。例
えば， Ａの真率は，４０／１００（＝０．４）， Ｂの真率は，４０／６０（＝０．６６…）となる。

【００３２】ここで，Ａ，Ｂ，…，Ｅ及びｘｘ，ｙｙ
は，各々，連続した文の列からなり，制御は先頭の文に
与えられ，その後，途中で停止したり，途中から分岐し
たりしないで，最後の文から制御が離れる基本ブロック
である。

【００３３】図２にその基本ブロックのデータ構造を示
す。通常のコンパイラでは，基本ブロックは，図２に示
すように，親の基本ブロックを示すリストへのポイン
タ，子の基本ブロックを示すリストへのポインタ，
ブロック先頭の命令を示すポインタ，ブロック最後の
命令を示すポインタ，属性領域，というデータ構造を
持つ。したがって，フローグラフを作成するために，ｔ
ｈｅｎ節もしくはｅｌｓｅ節，または複合ｉｆ文内の条
件判断であることを示すマークとして，基本ブロックの
データ構造の属性領域に属性を付けてもよいし，基本ブ
ロック内に，ｔｈｅｎ節もしくはｅｌｓｅ節，または複
合ｉｆ文内の条件判断であることを示す擬似命令を挿入
するようにしてもよい。このようにすれば，各々のブロ
ックがｔｈｅｎ節，ｅｌｓｅ節または複合ｉｆ文内の条
件判断のいずれであるかを決定することができる。ここ
で，親または子の基本ブロックを示すリストとは，複数
個の親または子の基本ブロックをリスト構造のデータ構
造で保持するためのものである。

【００３４】また，図３に示すように，ｔｈｅｎ節また
はｅｌｓｅ節を示す擬似ブロック（Ｄｕｍｍｙ−ｔｒｕ
ｅ，Ｄｕｍｍｙ−ｆａｌｓｅ）を挿入しても，同様に各
々のブロックがｔｈｅｎ節またはｅｌｓｅ節のいずれで
あるかを決定することができる。

【００３５】図４は，複合ｉｆ文内の個々の条件判断に
対して，個々に真率が指定された場合のプログラムの例
を示す。このときの設定処理は，以下のとおりである。 (1) 複合ｉｆ文を個々の分岐に分解する。このとき，個
々の分岐にマークを付ける。

【００３６】(2) 個々の分岐に，指定された各々の真率
を設定する。図４に示すプログラム１０では，Ａの条件
判断の真率として０．４，Ｂの条件判断の真率として
０．２，Ｃの条件判断の真率として０．９，Ｄの条件判
断の真率として０．８，Ｅの条件判断の真率として０．
４が設定されることになる。

【００３７】なお，ｉｆ文内の条件判断の数が一つの場
合は，この処理の特殊な場合と考えることができ，これ
に準じて容易に設定できることは言うまでもない。図５
は，本発明の他の実施例説明図である。

【００３８】上述の実施例はｅｌｓｅ節がある場合であ
るが，図５（イ）に示すプログラム１０のように，ｅｌ
ｓｅ節がない場合でも同様に実施することができる。こ
の場合，ｚｚが実行される確率は実際には１００％であ
るが，真率を計算する際にはｚｚは６０％の確率である
として計算する。これによって，図５（ロ）に示すフロ
ーグラフ１３のように各パスの実行回数が計算され，各
条件判断の真率が求められる。

【００３９】また，図１に挙げたプログラム１０の例に
おいて，最適化が行われるコンパイラでは，例えば常に
Ｄが真であることがわかれば，Ｄ及びＥの条件判断を削
除し，制御フローを変えてしまう。しかし，本方法で
は，真率計算の直前に制御フローを調べるので，図５
（ハ）のフローグラフ１３に示すように，正しく真率を
設定することができる。

【００４０】図６に本発明の処理装置構成例を示す。図
６において，６０はＣＰＵおよびメモリを備えた処理装
置であって，コンパイラが動作するもの，６１はフロー
グラフを作成するための情報を収集する情報収集フェー
ズ処理部，６２はフローグラフを表す結合マトリクスを
作成する結合マトリクス作成フェーズ処理部，６３は結
合マトリクスを用いて真率を計算する結合マトリクス計
算フェーズ処理部を表す。以下，これらの各部による処
理の詳細について，図７ないし図９に従って説明する。
図１０は，結合マトリクスの例を示す。

【００４１】情報処理フェーズでは，図７に示す処理
(a) 〜(e) を行う。 (a) 構文解析，意味解析などにより中間表現に変換され
たプログラムを，基本ブロック単位にまとめ，各先行ブ
ロックおよび後続ブロックに関する制御フロー情報をと
る。

【００４２】(b) 分岐確率が指定されたｉｆ文の条件に
含まれるブロックに識別マークをつける。識別マーク
は，同一のｉｆ文中の条件であることを示す印である。
識別マークは，何らかの識別が可能であるものであれば
よいので，実際には同一情報を示すアドレスやフラグで
もよい。

【００４３】(c) 次に，ｔｈｅｎブロックにｔｈｅｎ属
性をつけ，ｅｌｓｅブロックにｅｌｓｅ属性をつける。 (d) 最適化指示文などにより指定された真率を求める。

【００４４】(e) ｉｆ文毎に構造情報テーブルを作成す
る。構造情報テーブルは，次のような情報を持つテーブ
ルである。 ・真率 ・ｉｆ文条件を構成するブロックとその数 ・ｔｈｅｎブロック ・ｅｌｓｅブロック 次に，図８に示す結合マトリクス作成フェーズに進む。
結合マトリクス作成フェーズでは，図８（イ）に示すよ
うに，情報収集フェーズで作成した構造情報テーブルを
参照し，マトリクスの行に，複合ｉｆ文を構成する各ブ
ロック（ｎ個）とｔｈｅｎブロックとｅｌｓｅブロック
をとり，列に，複合ｉｆ文を構成する各ブロック（ｎ
個）をとった結合マトリクスを作成する。

【００４５】例えば，図１に示すプログラム１０から結
合マトリクスを作成すると，図１０（イ）に示したよう
なものになる。マトリクスの要素は，初期状態として，
行ブロックが列ブロックと先行関係を示す属性（ＩＰ属
性）か，行ブロックが列ブロックと後続関係を示す属性
（ＩＳ属性）か，関係なし（ＤＩＳＣＯＮＮＥＣＴ属
性，図１０では×印で表す）か，いずれかの属性を持
つ。なお，後の結合マトリクス計算の過程で各要素は，
ブロックの実行回数に置き換えられる。

【００４６】この結合マトリクス作成に関する処理の詳
細を，図１０（ロ）に示す。 (a) 各ブロックの数をｎとする。ｎ＋１番目のブロック
をｔｈｅｎブロック，ｎ＋２番目のブロックをｅｌｓｅ
ブロックとする。

【００４７】(b) 行をｎ＋２，列をｎとする配列ＭＡＴ
ＲＩＸ（ｎ＋２，ｎ）を作る。 (c) 初期値としてＭＡＴＲＩＸのすべての要素をＤＩＳ
ＣＯＮＮＥＣＴ属性とする。

【００４８】(d) ｉを１からｎ＋２まで，ｊを１からｎ
まで，１ずつ増やしながら，次の処理を繰り返し行う。
ブロックｉの先行ブロックがブロックｊであるかどうか
を判定し，そうであれば，ＭＡＴＲＩＸ（ｉ，ｊ）にＩ
Ｐ属性を設定するとともに，ＭＡＴＲＩＸ（ｊ，ｉ）に
ＩＳ属性を設定する。すべての要素に対する処理が終了
したならば，結合マトリクス作成フェーズを終了する。
この結果，図１０（イ）に示す結合マトリクスが得られ
ることになる。

【００４９】次に，結合マトリクス計算フェーズに進
む。結合マトリクス計算フェーズでは，図９に示す処理
(a) 〜(g) を行う。 (a) ｔｈｅｎブロック及びｅｌｓｅブロックへのパス
（ｐａｔｈ）の数を計算する。ｔｈｅｎブロックへのパ
スの数をｔｈｅｎ＿ｐａｔｈ＿ｃｎｔ，ｅｌｓｅブロッ
クへのパスの数をｅｌｓｅ＿ｐａｔｈ＿ｃｎｔとする。

【００５０】(b) ＭＡＴＲＩＸ（ｎ＋１，ｉ）＝ＩＰ
（但し，ｉ＝１，…，ｎ）である要素の値（実行回数）
を真率／ｔｈｅｎ＿ｐａｔｈ＿ｃｎｔとする。すなわ
ち，ｔｈｅｎブロックへの各パスの実行回数を，ｔｈｅ
ｎブロックの実行回数に相当する真率（％）をパス数で
割った値とする。

【００５１】(c) ＭＡＴＲＩＸ（ｎ＋２，ｉ）＝ＩＰ
（但し，ｉ＝１，…，ｎ）である要素の値（実行回数）
を（１００−真率）／ｅｌｓｅ＿ｐａｔｈ＿ｃｎｔとす
る。すなわち，ｅｌｓｅブロックへの各パスの実行回数
を，ｅｌｓｅブロックの実行回数に相当する値をパス数
で割った値とする。以上の処理(b) ，(c) により，結合
マトリクスは，図１０（ロ）に示すようになる。

【００５２】(d) 次に，結合マトリクスを列毎に見て，
ＩＰ属性がなく，ＩＳ属性がある列に対して，次の処理
〜を行う。 実行回数が格納されている要素に対し，その和ｓｕ
ｍ＿ｃｎｔを求める。例えば図１０（ロ）に示すＥの列
に対して，ｓｕｍ＿ｃｎｔは２０＋２０＝４０となる。

【００５３】 ＩＳ属性を持つ要素の数ｅｌｅｍｅｎ
ｔ＿ｃｎｔを求める。図１０（ロ）に示すＥの列では，
ｅｌｅｍｅｎｔ＿ｃｎｔは１である。 ＩＳ属性を持つ要素の値（実行回数）をｓｕｍ＿ｃ
ｎｔ／ｅｌｅｍｅｎｔ＿ｃｎｔとする。この結果，図１
０（ロ）に示す（Ｄ，Ｅ）の要素に値４０が設定される
ことになる。

【００５４】 この要素の対角要素にも処理で計算
した値を設定する。なお，この要素は必ずＩＰ属性であ
る。 (e) 以上の処理(d) を，全てのＩＰ／ＩＳ属性の要素が
なくなるまで繰り返す。この結果，図１０（ハ）に示す
結合マトリクスが得られる。

【００５５】(f) 元々ＩＰ属性がついていた結合マトリ
クスの要素の値だけを残し，ＩＳ属性がついていた要素
の値は消去する。この結果，図１０（ニ）に示す結合マ
トリクスが得られる。この結合マトリクスは，図１に示
すフローグラフ１３ｂに相当する。

【００５６】(g) 各列毎の要素は，各ＩＳへの実行頻度
を示すので，これを百分率に変換し，個々の条件での分
岐確率を求める。

【００５７】

【発明の効果】以上説明したように，本発明によれば，
一つの分岐を表す文の中に一つ以上の条件判断が含まれ
る分岐文に対して，個々の条件判断に分解して，個々の
条件判断に対して真率を設定することにより，前もって
予想した，または実測したプログラムの実行時の分岐確
率情報をコンパイル時に設定できるので，コンパイル時
にプログラム中の各命令の実行頻度を精度よく予測する
ことができ，トレーススケジューリングのような各命令
の実行頻度に基づいてスケジューリングを行う手法に寄
与することができる。したがって，高効率で動作するよ
うにプログラムを翻訳するコンパイラの性能向上に寄与
するところが大きい。

【図面の簡単な説明】

【図１】本発明の原理説明図である。

【図２】基本ブロックのデータ構造説明図である。

【図３】擬似ブロック挿入例説明図である。

【図４】本発明の実施例説明図である。

【図５】本発明の他の実施例説明図である。

【図６】本発明の処理装置構成例を示す図である。

【図７】本発明の実施例による情報収集フェーズの処理
フローチャートである。

【図８】本発明の実施例による結合マトリクス作成フェ
ーズの処理フローチャートである。

【図９】本発明の実施例による結合マトリクス計算フェ
ーズの処理フローチャートである。

【図１０】結合マトリクスの例を示す図である。

【図１１】従来技術と本発明の課題の説明図である。

【符号の説明】

１０ プログラム １１ フローグラフ作成処理 １２ 真率決定／設定処理 １３ａ，１３ｂ フローグラフ

───────────────────────────────────────────────────── フロントページの続き (72)発明者 松山 学 神奈川県川崎市中原区上小田中1015番地 富士通株式会社内

Claims (4)

【特許請求の範囲】
1. 【請求項１】 プログラム実行時の分岐確率情報に基づ
   いてプログラムの翻訳処理を行うコンパイラの処理方法
   において，複数の条件判断を含む一つの分岐を表す分岐
   文に対して，その分岐文を個々の条件判断に分解したフ
   ローグラフ(13a) を作成する処理過程(11)と，作成した
   フローグラフに基づいて，前記分岐文全体に対して指定
   された真率を満足するように，フローグラフにおける個
   々の条件判断の真率を決定する処理過程(12)とを備えた
   ことを特徴とする分岐確率を設定するコンパイラの処理
   方法。
2. 【請求項２】 プログラム実行時の分岐確率情報に基づ
   いてプログラムの翻訳処理を行うコンパイラの処理方法
   において，複数の条件判断を含む一つの分岐を表す分岐
   文に対して，その分岐文を個々の条件判断に分解したフ
   ローグラフを作成する処理過程と，作成したフローグラ
   フに基づいて，前記分岐文の個々の条件判断に対して指
   定された真率を満足するように，フローグラフにおける
   個々の条件判断の真率を設定する処理過程とを備えたこ
   とを特徴とする分岐確率を設定するコンパイラの処理方
   法。
3. 【請求項３】 プログラム実行時の分岐確率情報に基づ
   いてプログラムの翻訳処理を行うコンパイラの処理方法
   において，設定された分岐確率に基づいて実行頻度が低
   いと判断されたパスの最適化レベルを低減させる処理過
   程を備えたことを特徴とする分岐確率を設定するコンパ
   イラの処理方法。
4. 【請求項４】 プログラム実行時の分岐確率情報に基づ
   いてプログラムの翻訳処理を行うコンパイラの処理装置
   において，複数の条件判断を含む一つの分岐を表す分岐
   文を，個々の条件判断に分解して基本ブロック単位にま
   とめ，フローグラフを作成するための情報を収集する情
   報収集フェーズ処理手段と，収集した情報をもとに，各
   基本ブロックの先行／後続に関する接続関係を示すフロ
   ーグラフを表す結合マトリクスを作成する結合マトリク
   ス作成フェーズ処理手段と，作成された結合マトリクス
   において，指定された真率をもとに後続ブロックから先
   行ブロックへと順次各ブロックへのパス数に応じた実行
   回数の割合を計算し，個々の条件判断での真率を求める
   結合マトリクス計算フェーズ処理手段とを有することを
   特徴とする分岐確率を設定するコンパイラの処理装置。