JP2500079B2

JP2500079B2 - プログラムの最適化方法及びコンパイラ・システム

Info

Publication number: JP2500079B2
Application number: JP3040548A
Authority: JP
Inventors: スチーブン・マレー・ホクシー
Original assignee: International Business Machines Corp
Current assignee: International Business Machines Corp
Priority date: 1990-02-14
Filing date: 1991-02-13
Publication date: 1996-05-29
Anticipated expiration: 2011-05-29
Also published as: US5339420A; BR9100573A; EP0442624A3; JPH04330527A; CA2010068A1; CA2010068C; EP0442624A2

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明はコンパイラの最適化に関
する。詳細にいえば、マルチウェイ分岐に対して考えら
れる各解法のコストを示す関数を使用し、マルチウェイ
分岐の実行前に各方法の相対的なコストを比較し、もっ
ともコストの低い方法を実行のために選択して、マルチ
ウェイ分岐の実行パフォーマンスを改善することに関す
る。

【０００２】

【従来の技術】もっとも高水準の言語は、通常マルチウ
ェイ分岐とみなされる言語構造を含んでおり、この構造
内で実行時変数が、定数のセットの各メンバーと比較さ
れ、比較の結果に基づいてステートメントの選択が行わ
れる。このような構造は、ケース・ステートメントまた
はスイッチ・ステートメントと呼ばれることもある。
「ケース・セレクタ」と呼ばれることもある実行時変数
は式であって、「ケース（ｃａｓｅ）項」と呼ばれるこ
ともある指定された定数のセットに対してテストされ
る。当分野で周知のように、マルチウェイ分岐は各種の
選択方法を利用して、レンジ・テスト、ジャンプ・テー
ブル、比較分岐シーケンス、アドレス変換及び算術級数
を含む、必要な論理を遂行する。これらを簡単に説明す
る。ジャンプ・テーブルとは、それぞれがある命令シー
ケンスにより計算された値に関連する複数のアドレスを
もつリストであって、この計算値に基づいて制御が移行
する。レンジ・テストとは、計算された値を所定の範囲
値と比較する処理であって、その範囲内にあるか範囲外
（上回る場合と下回る場合を含む）にあるかによって、
異なる態様で制御を移行する。比較分岐シーケンスと
は、ある命令シーケンスにより計算された値を１又は複
数の所定の値と比較し、一致する場合には、その値に対
応する分岐を実行する最も単純な比較分岐処理をいう。
また、アドレス変換とは文字どおりアドレスを変換する
処理であり、かつ算術級数とは、数学的意味における等
差数列と同様、比較される値を n,n+b,n+2b,n+3b,...の
ようにし、これに従って命令を分岐する処理をいう。実
行時に最善のパフォーマンスをもたらす方法は、コンパ
イルされたプログラムが実行される機械の基礎となるア
ーキテクチャによって、また選択セット、すなわち実行
時変数の比較対象である定数のセットの値によって大幅
に変化する。

【０００３】最良の実行コードを作成する問題を解決す
るための周知の試みは一般に、プログラムがコンパイル
される対象の特定の機械、すなわち目的機械のアーキテ
クチャに関連している。このことは解法に、またヒュー
リスティック情報に、この機械に最適なコード形式に関
する想定を含めることによって行われる。たとえば、マ
ルチウェイ分岐が高水準言語の一般的に使用される構造
であるから、ある種の複雑命令セット・コンピュータ
（ＣＩＣＳ）システムの設計者は命令をこのようなコン
ピュータに組み込んで、比較的低いコストでテーブル索
引付き分岐をもたらしている。このようなアーキテクチ
ャに対するマルチウェイ分岐の実現者はしばしば、自分
たちの解法を調整し、パフォーマンスが最良ではないコ
ードの何らかの収集に対してさえも、この命令を常に利
用するようにしている。周知の従来の方法は、１種類の
機械にだけ最適であり、かつ実行時変数と比較される選
択セットの１組の条件において最適なコードを作成す
る。

【０００４】Ｒ・バーンスタイン（Ｂｅｒｎｓｔｅｉ
ｎ）「ケース・ステートメントに対する良好なコードの
作成（ＰｒｏｄｕｃｉｎｇＧｏｏｄＣｏｄｅｆｏ
ｒｔｈｅＣａｓｅＳｔａｔｅｍｅｎｔ）」、ＩＢ
ＭＲＥＳＥＡＲＣＨＲＥＰＯＲＴ１０５２５（＃
４５７５５）１９８３／１２／０６は利用可能なテスト
がジャンプ・テーブル、レンジ・テスト、２進探索及び
線形探索を含んでいる場合に、ケース・ステートメント
のどのテストが適切かを判定する際に使用する若干の考
慮事項を説明し、「セット」と呼ばれることのある単一
のクラスタとしてのケース項のすべてから始め、各々が
ジャンプ・テーブル解に対する最低ケース密度に合致す
るまで、小さなクラスタに分割していく選択方法を開示
している。この場合、数種類のテストが、常にジャンプ
・テーブルから始まる所定の順序で行われる。

【０００５】エイホ、セチ及びウルマン（Ａｈｏ，Ｓｅ
ｔｈｉ，ａｎｄＵｌｌｍａｎ）「コンパイラ：原理、
手法及びツール（ＣＯＭＰＩＬＥＲ：ＰＲＩＮＣＩＰＬ
ＥＳ，ＴＥＣＨＮＩＱＵＥＳＡＮＤＴＯＯＬＳ）」
Ａｄｄｉｓｏｎ−Ｗｅｓｌｅｙ（１９８８年）の第１０
章では、最適化方法がごく一般的に検討されている。他
の関連する従来技術の参照文献としては、「Ｐａｓｃａ
ｌにおける２状態ケース・ステートメントの最適化（Ｏ
ｐｉｍｉｚｉｎｇＴｗｏ−ｓｔａｔｅＣａｓｅＳ
ｔａｔｅｍｅｎｔｉｎＰａｓｃａｌ）」、ＳＯＦＴ
ＷＡＲＥ−ＰＲＡＣＴＩＣＥＡＮＤＥＸＰＥＲＩＥ
ＮＣＥ、１２：６（１９８２年）、５７１−５８１、な
らびにＪ・ヘネシィ（Ｈｅｎｎｅｓｓｅｙ）及びＮ・メ
ンデルソーン（Ｍｅｎｄｅｌｓｏｈｎ）、「Ｐａｓｃａ
ｌケース・ステートメントのコンパイル（Ｃｏｍｐｉｌ
ａｔｉｏｎｏｆｔｈｅＰａｓｃａｌＣａｓｅ
Ｓｔａｔｅｍｅｎｔ）」、ＳＯＦＴＷＡＲＥ−ＰＲＡＣ
ＴＩＣＥＡＮＤＥＸＰＥＲＩＥＮＣＥ、１２：９
（１９８２年）、８７９−８８２がある。

【０００６】

【発明が解決しようとする課題】これらの試みにもかか
わらず、実行を最低限としてケース・ステートメントを
評価するための、コンパイル時に遭遇すると思われるケ
ースの全数及び密度を処理するだけではなく、移植性も
よい、すなわち異なるアーキテクチャを有する目的機械
で使用できる最適化方法が依然として必要である。

【０００７】

【課題を解決するための手段】マルチウェイ分岐ステー
トメントの処理が実行時変数の規定の値にしたがって、
取ることのできると考えられる分岐を予め定義し、所定
のコスト決定方法にしたがって方法の各々のコストを決
定し、コストのもっとも低い方法を選択して実行するこ
とによって容易となることが判明した。

【０００８】したがって、本発明は下記のステップから
なるコンピュータにおいてコンパイルされるプログラム
を最適化する方法を提供する。

【０００９】（ａ）マルチウェイ分岐ステートメントを
選択し、（ｂ）複数の命令シーケンスの各々の相対実行
コストを決定して、前記マルチウェイ分岐ステートメン
トを実施し、（ｃ）前記の複数の命令シーケンスから、
コストのもっとも低い命令シーケンスを選択し、（ｄ）
前記の最低コストの命令シーケンスを実施する。本発明
はさらに、下記のステップからなるコンピュータにおい
てコンパイルされるプログラムを最適化する方法を提供
する。

【００１０】（ａ）マルチウェイ分岐ステートメントを
選択し、（ｂ）テストを実行する各方法がジャンプ・テ
ーブル、レンジ・テスト、比較分岐、算術級数、及びア
ドレス変換からなる場合に、該各方法の相対コストを決
定して、前記プログラムがどの分岐を取り入れるかを選
択し、（ｃ）必要なコストがもっとも低い方法を選択
し、（ｄ）選択した方法に対応する命令シーケンスを実
施する。本発明はさらに、下記のものからなるコンピュ
ータにおいて実行されるプログラムを最適化する改善さ
れたコンパイラを提供する。

【００１１】（ａ）マルチウェイ分岐を選択する手段
と、（ｂ）テストを実行する各方法がジャンプ・テーブ
ル、レンジ・テスト、比較分岐、算術級数、及びアドレ
ス変換からなる場合に、該各方法の相対コストを決定し
て、前記プログラムがどの分岐を取り入れるかを決定す
る手段と、（ｃ）コストのもっとも低い方法を選択する
手段と、（ｄ）選択した方法に対応する命令シーケンス
を実施する手段。

【００１２】本発明の方法及びコンパイラはコードのコ
ンパイル中に、テスト変数の取り得る値をセット要素と
して処理し、テスト・ポイントをくみあわせるセットを
識別することによって、ケース・ステートメントを処理
するが、レンジ・セットは組み合わされたポイントによ
って定義された範囲内の取りうるすべてのポイントを含
んでおり、デンス・セットは特に目的機械に依存する、
少なくともプログラマが選択可能なある値である有効な
値の一部を含んでおり、ユニーク・セットは各々がレン
ジ・セットまたはデンス・セットに組み合わされていな
いポイントを１つだけ含んでおり、バウンド・セットは
他のすべてのセットが選択された後で残ったポイントを
含んでいる。

【００１３】特定の目的機械、つまりヒューリスティッ
ク情報に対してこの問題を解決するための他の手法が試
みられ、どのようなタイプのコードが最適なのかに関す
る基礎となる想定が解決手順の一部となる。本発明は複
数のアーキテクチャを同時に対象とし、機械Ａには適し
ているが、機械Ｂには適していない想定を除去する必要
があった。

【００１４】インターバル・クラスタ化に対する「グリ
ーディ手法」に関するＲ・バーンスタインの検討は、バ
ーンスタインの最初のセットが選択値のすべてを含んで
いることを示唆している。各分割後、サブインターバル
間の新しいギャップが計算され、その最大値が次の分割
の位置となる。詳細には述べないが、基礎となる想定
は、ジャンプ・テーブル法が求める最良な方法であると
いうものである。本発明は反対の手法、すなわち大きな
インターバルを分割するのではなく、小さなインターバ
ルを組み合わせるという手法を取る。これはデータを区
分するのに必要な計算量の低減、ならびに特定の目的ア
ーキテクチャに対して最適な方法を選択する能力をもた
らすはずである。

【００１５】

【実施例】本発明はマルチウェイ分岐ステートメントを
評価する際にかかるクロック・サイクルの数を減らすこ
とによって、目的機械でのコンパイルされたプログラム
の実行コストを下げることを目的としている。クロック
・サイクルとは特定の操作または機能を行うのに、中央
演算処理装置にかかる時間について、しばしば使用され
る測定値である。本発明の方法には、このような評価に
利用されるメモリの量を少なくするという、一般的な効
果もある。関連したコンパイラが使用される任意の型式
の目的機械アーキテクチャに適用されるように設計され
ている。以下で説明するように、本発明の最適化方法が
一般に、中間コード・レベルで適用されるので、各種の
目的コンピュータ・アーキテクチャに容易に適合させる
ことができるが、これは部分的には、「バック・エン
ド」が最適化された中間コードを、目的コンピュータで
実際に実行される機械コードに変換するからである。最
適化の原理はコンパイラ作成の分野で周知のものである
から、本明細書で詳細に説明する必要はない。

【００１６】追随する適切な分岐の選択に関連するコス
トは、コンパイルに関連するコストと、目的機械でコン
パイルされたプログラムを実行するコスト、すなわち実
行コストの両方を含んでいる。一般に、コンパイラが各
プログラムで１回だけ実行され、これを実行可能な形態
にするものであるから、コンパイルに関連するコストは
実行コストに比較して小さく、コンパイラはコンパイラ
のサイズ及びコンパイル時間を若干犠牲にしても、コン
パイルされたプログラムの実行を最適化するため、ます
ます複雑なものとなってきている。

【００１７】マルチウェイ分岐ステートメントはほとん
どの典型的なソース・プログラムのコードのどこかに置
かれる。このようなステートメントの各々は、本明細書
で説明する最小コスト法の候補となる。追随するのに適
切な分岐は、プログラムのソース・テキストに含まれる
パラメータを含む多くの要因、ならびにプログラムに関
連してどのデータがシステムに入力されたかに応じて、
プログラムによって選択される。上述のように、マルチ
ウェイ分岐ステートメントの変数をテストして、正しい
分岐を選択することのできる方法はいくつかある。これ
らの方法はジャンプ・テーブルの生成、レンジ・テスト
の実行、線形探索及び２進探索を含む比較分岐シーケン
ス、アドレス変換、ならびに演算級数の認識を含んでい
る。これらの方法のすべてが必ずしも各コンピュータ・
アーキテクチャで使用されるものではなく、これらが実
現される方法はアーキテクチャごとに異なっている。こ
れらの方法の各々には、特に分岐を評価する際の特定の
実行時変数におけるデータの値、分岐を選択して、制御
を移すことのできる選択肢の数、目的機械によって左右
されるコストがかかる。異なるタイプの操作には、それ
ぞれに異なる相対的なコストがかかり、どのような命令
が機械のアーキテクチャで利用できるか、また各命令が
どのように作動するかによって左右される。これらは特
定の機械のプログラミングの分野の技術者にとって周知
のものである。

【００１８】所与の分岐を評価するためのコスト・パラ
メータはコスト決定ヒューリスティックに挿入すること
ができる。コスト決定ヒューリスティックは、上述のマ
ルチウェイ分岐を処理する特定の方法についての実行コ
ストを計算するためのアルゴリズムを実施する。これに
より、コンパイラが評価の実行コストを評価できるよう
にする。

【００１９】商業的に実施するために構成された本発明
の好ましい実施例において、ケース選択方法の選択肢は
レンジ分析、ジャンプ・テーブル生成、ならびに２つの
形式の比較分岐シーケンス、すなわち線形探索及び２進
探索に限定される。これらはマルチウェイ分岐の評価時
にもっとも一般的に使用される選択方法である。実施例
に使用される特定のコンピュータ・システムにアドレス
変換のための命令がないので、これをケース選択方法と
して組み込む必要はない。

【００２０】好ましい実施例の以下の説明において、便
宜上及び明確化のために、「クラスタ」と呼ばれること
のある各種のセットに与えられる名前は一般に、それぞ
れのセットのメンバーに使用される選択方法を反映する
ように選ばれたものである。

【００２１】ＲＡＮＧＥは目的ロケーションが同じステ
ートメントである順次値のセットである。Ｃ関数ｉｓｄ
ｉｇｉｔ（ｃ）の好ましい実施形態の例を以下に示す。

【００２２】Ｃを使用した場合ＰＡＳＣＡＬを使用した場合ｓｗｉｔｃｈ（ｃ）｛ＣＡＳＥｃＯＦｃａｓｅ ’０’： ’０’．．’９’ ：ｘ：＝１；ｃａｓｅ ’１’：ＯＴＨＥＲＷＩＳＥ：ｘ：＝０；ｃａｓｅ ’２’：ＥＮＤｃａｓｅ ’３’：ｃａｓｅ ’４’：ｃａｓｅ ’５’：ｃａｓｅ ’６’：ｃａｓｅ ’７’：ｃａｓｅ ’８’：ｃａｓｅ ’９’：ｒｅｔｕｒｎ（１）；｝ｒｅｔｕｒｎ（０）：

【００２３】ＲＡＮＧＥセットを処理するための当分野
で周知の方法は、４命令シーケンスを使用して単純なレ
ンジ・テストを行うことである。

【００２４】１．実行時変数をレンジの高域と比較す
る。

【００２５】２．変数がこれよりも大きければ、分岐す
る。

【００２６】３．実行時変数を低域と比較する。

【００２７】４．実行時変数がこれ以下でなければ、目
的ロケーションへ分岐する。

【００２８】無記号ないし「論理」比較を可能とする、
機械アーキテクチャに対する同等な短いシーケンスは次
のとおりである。

【００２９】１．レンジの低域を実行時変数から引く。

【００３０】２．結果を高域と低域の間の差と論理比較
する。

【００３１】３．論理的にこれよりも大きくなければ、
目的ロケーションへ分岐する。

【００３２】ＤＥＮＳＥは、必ずしも順次となっていな
い値のセットであって、それぞれの目的ロケーションが
異なっており、「ケース密度」とも呼ばれるセット密度
がコスト決定ヒューリスティックに与えられた限度内に
あるセットをいう。セット密度とは、当該セット内の最
大値と最小値の間の差で割った判別する値の数である。
この限度はプログラマが与えることも、あるいはもっと
も頻繁に遭遇する状況をカバーするために予め選択する
こともできるものである。たとえば、１０から４９まで
の範囲の整数のセットから、このセットから奇数の整数
を利用可能な値として選択するＤＥＮＳＥセットが予測
される場合、このセットのセット密度は０．５となる。
２つの言語の各々に対してＤＥＮＳＥセットを使用した
例を、以下に示す。

【００３３】Ｃを使用した場合ＰＡＳＣＡＬを使用した場合ｓｗｉｔｃｈ（ｃ）｛ＣＡＳＥｃＯＦｃａｓｅ ’Ａ’ ：ｘ＝０；ｂｒｅａｋ； ’Ａ’ ：ｘ：＝０；ｃａｓｅ ’Ｂ’ ：ｘ＝１：ｂｒｅａｋ； ’Ｂ’ ：ｘ：＝１；ｃａｓｅ ’Ｄ’ ：ｘ＝２；ｂｒｅａｋ； ’Ｄ’ ：ｘ：＝２；｝ＥＮＤ

【００３４】ＤＥＮＳＥセットを処理する周知の方法
は、もちろんほとんどの非最適化コンパイラ実施形態が
マルチウェイ分岐を処理する方法、すなわち索引付きロ
ード命令を解して参照されるジャンプ・テーブルを生成
し、ロードされたアドレスへ分岐する方法である。この
シーケンスの前には通常、上述のような３つまたは４つ
の命令レンジ・テスト・シーケンスが置かれ、アドレス
指定例外に対する保護を行っている。したがって、シー
ケンス全体は次のようになる。

【００３５】１．レンジ・テストを行い（成功）、

【００３６】２．テーブルからアドレスをロードし、

【００３７】３．ロードされたアドレスへ分岐する。

【００３８】ＢＯＵＮＤは、上述の２つのクラスのいず
れにもクラスタ化されないすべての他の選択値の和集合
を含んでいるセットである。ＢＯＵＮＤセットは各対が
比較及び分岐命令を含んでいる命令セットのシーケンス
である。

【００３９】ＵＮＩＱＵＥはメンバーが１つだけのセッ
トである。選択値の母集団の各メンバーはまずこの態様
で表されてから、区分が行われる。

【００４０】クラスタ化の方法は分類された順序でセッ
トを調べ、各セットをもっとも近い隣接セットと和集合
を取ることを試みる。結果として生じるセットに個々の
実施形態のコストの合計よりも、費用効果の高い実施形
態があるとコスト決定ヒューリスティックが決定した場
合に、和集合が取られる。この手法を使用した場合、Ｕ
ＮＩＱＵＥセットを１回だけ調べて、ＤＥＮＳＥまたは
ＲＡＮＧＥセットを形成するだけでよく、これらのセッ
トはすべてのＵＮＩＱＵＥセットが調べられるまで成長
を続ける。ＤＥＮＳＥセットまたはＲＡＮＧＥセットに
クラスタされないすべてのＵＮＩＱＵＥセットの和集合
は、ＢＯＵＮＤセットになる。これで区分ステップは完
了する。

【００４１】区分が行われると、選択コードを各セット
内のデータに対して生成できるようになる。次いで、各
セットを順次調べて、そのメンバーに対して上述のよう
な適切な選択論理を生成する（すなわち、ＲＡＮＧＥセ
ットであればレンジ・テストを含む上記の３つ又は４つ
の命令シーケンス、ＤＥＮＳＥセットであればさらにジ
ャンプ・テーブルの使用を含む上述の２つの命令シーケ
ンスを生成する）。現行の生成論理は最初の母集団から
の各値が、実行時に発生する同等な確率を有しており、
したがって線形的にテストを生成すると想定している。
しかしながら、十分多数なセットが存在するか、あるい
はＢＯＵＮＤセットに充分多数なメンバーが存在する場
合、各セットは実行時にトラバースされる２進木のノー
ドとして配置される。線形探索論理から２進探索論理へ
の切換えの決定は、この場合も、２進探索法が木の各ノ
ードにおいて付加的な比較分岐を必要とすることに注目
して、コスト決定ヒューリスティックによって決定され
る。

【００４２】どの値がもっとも発生しやすいかに関する
確率情報を提供する付加的な機能によって、この時点で
ハフマン探索を使用することを考慮することができる。
ハフマン探索の方法は、当分野の技術者にとって周知で
ある。

【００４３】各種の方法に対するコード・パターンの検
討によって、機械固有なコスト決定ヒューリスティック
が下記の命令コストから開発されることが明らかになっ
た。

【００４４】１．比較（適宜、記号なしと記号付きの両
方）

【００４５】２．条件付き分岐

【００４６】３．レジスタから定数を引く

【００４７】４．メモリからレジスタへロードする

【００４８】５．レジスタ内のアドレスに分岐する

【００４９】６．ロードし、アドレスへ分岐する（アー
キテクチャの中には、ジャンプ・テーブル・アクセス方
式が組み込まれているものもある）

【００５０】７．メモリ・コストを使用して、サイクル
時間に無関係に変動する命令長を反映することができ
る。スペースを最適化する場合、ジャンプ・テーブルを
使用することによって、クラスタ化をもたらす付加的な
オーバーヘッドをこうむることがある。

【００５１】８．密度限度はジャンプ・テーブルの作成
時に認めることのできる、維持するためのメモリ・コス
トとは無関係な部分的に未使用なメモリ・オーバーヘッ
ドを反映する。

【００５２】下記の例は本発明の方法を実施することに
よって、典型的な縮小命令セット・コンピュータ（ＲＩ
ＳＣ）システムで得られる実行速度の改善を示してい
る。

【００５３】

【００５４】このコードの断片に対する直接的な手法
は、比較分岐命令のシーケンスを生成することである。
この場合、各々が特定の「ｃａｓｅｎ：」クローズ
を表す９つの比較命令と９つの分岐命令がある。たとえ
ば、ＩＢＭＲＴＰＣシステムにおいては、各命令を
実行するのに１サイクルかかり、選択を行うコストは１
８サイクル程度である。しかしながら、このコードがレ
ンジ・テストとして実施された場合には、これに必要な
のは４サイクルだけとなろう。このことはこの特定なコ
ンピュータ・システムにおいて、１８サイクルの内１４
サイクル、すなわち７８％が節約されることを表す。

【００５５】時間の節約は当分野の技術者に容易に理解
されるように、各種の処理装置、ならびにケース・ステ
ートメントのサイズ及び密度によって異なっているが、
平均して、処理時間の大幅な削減がデータ処理分野で一
般的に使用されるすべてのタイプの処理装置で実現でき
るものである。

【００５６】

【発明の効果】本発明はマルチウェイ分岐に可能な各解
法のコストを示す関数を使用し、マルチウェイ分岐を実
行する前に、各方法の相対コストを比較し、かつもっと
もコストの低い方法を実行のために選択することによっ
て、マルチウェイ分岐の実行パフォーマンスを改善する
ものである。

Claims

(57)【特許請求の範囲】

【請求項１】少なくとも１つのマルチウェイ分岐ステー
トメントを含むプログラムをコンパイルして最適化する
方法であって、（ａ）マルチウェイ分岐ステートメントを選択し、（ｂ）前記選択されたマルチウェイ分岐ステートメント
を検査して、該ステートメントを実施するための複数の
命令シーケンスを生成し、（ｃ）前記複数の命令シーケンスの各々について、相対
的な実行コストを決定し、（ｄ）前記の複数の命令シーケンスから、前記実行コス
トのもっとも低い命令シーケンスを選択し、（ｅ）前記の最低コストの命令シーケンスを、前記プロ
グラムのコンパイルされたコードとして取り込み、（ｆ）プログラム中の各マルチウェイ分岐ステートメン
トごとに（ａ）〜（ｅ）を繰り返すステップを有する、プログラムの最適化方法。
【請求項２】前記の複数の命令シーケンスがレンジ・テ
スト、ジャンプ・テーブル、比較分岐、算術級数、及び
アドレス変換を含む、請求項１記載の方法。
【請求項３】前記コストが前記プログラムを実行するの
に必要な機械時間のコストを含んでいる、請求項１記載
の方法。
【請求項４】コンパイルされる前記プログラムのソース
・テキストによって決定されるパラメータにしたがっ
て、複数の選択値を設定することをさらに含んでいる、
請求項１記載の方法。
【請求項５】コストの前記の決定が値をコスト決定ヒュ
ーリスティックに挿入することによって行われる方法で
あって、さらに前記コンピュータのアーキテクチャにし
たがって、前記値を前記コスト決定ヒューリスティック
に設定することを含んでいる、請求項１記載の方法。
【請求項６】さらに、コスト決定ヒューリスティックを
確立し、該コスト決定ヒューリスティックが前記最低コ
ストの命令シーケンスを選択するための複数のセット
に、実行時変数の比較対象である定数をクラスタ化する
ステップを含む、請求項１記載の方法。
【請求項７】（ａ）マルチウェイ分岐ステートメントを
選択する手段と、（ｂ）テストを実行する各方法がジャンプ・テーブル、
レンジ・テスト、比較分岐、算術級数、及びアドレス変
換を含んでおり、該各方法についての相対的なコストを
前記選択されたマルチウェイ分岐ステートメントを検査
して、決定する手段と、（ｃ）前記コストのもっとも低い方法を選択する手段
と、（ｄ）選択した方法に対応する命令シーケンスを、前記
プログラムのコンパイルされたコードとして取り込む手
段とからなる、コンピュータによって実行されるプログラムを最適化す
る改良されたコンパイラ・システム。
【請求項８】前記コストが前記プログラムを実行するの
に必要な機械時間のコストを含む、請求項７記載の改良
されたコンパイラ・システム。
【請求項９】前記コスト決定手段が、コスト決定ヒュー
リスティックを確立し、該コスト決定ヒューリスティッ
クが前記もっともコストの低い方法を選択するための複
数のセットに、実行時変数の比較対象である定数をクラ
スタ化する手段を含む、請求項７記載のコンパイラ・シ
ステム。