JPH04330527A - プログラムの最適化方法及びコンパイラ・システム - Google Patents
プログラムの最適化方法及びコンパイラ・システムInfo
- Publication number
- JPH04330527A JPH04330527A JP3040548A JP4054891A JPH04330527A JP H04330527 A JPH04330527 A JP H04330527A JP 3040548 A JP3040548 A JP 3040548A JP 4054891 A JP4054891 A JP 4054891A JP H04330527 A JPH04330527 A JP H04330527A
- Authority
- JP
- Japan
- Prior art keywords
- cost
- branch
- multiway
- program
- selecting
- 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.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 64
- 238000005457 optimization Methods 0.000 title claims description 7
- 238000012360 testing method Methods 0.000 claims abstract description 24
- 238000013519 translation Methods 0.000 claims description 8
- 230000014616 translation Effects 0.000 claims description 8
- 238000006243 chemical reaction Methods 0.000 abstract 1
- 230000000052 comparative effect Effects 0.000 abstract 1
- 238000012545 processing Methods 0.000 description 7
- 238000010187 selection method Methods 0.000 description 6
- 238000013459 approach Methods 0.000 description 4
- 230000006870 function Effects 0.000 description 4
- 238000000638 solvent extraction Methods 0.000 description 3
- 238000011156 evaluation Methods 0.000 description 2
- 230000009467 reduction Effects 0.000 description 2
- 229930091051 Arenine Natural products 0.000 description 1
- 101001074449 Crotalus durissus terrificus Phospholipase A2 inhibitor CNF Proteins 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 238000007796 conventional method Methods 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 239000012634 fragment Substances 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000005259 measurement Methods 0.000 description 1
- 238000005192 partition Methods 0.000 description 1
- 230000008569 process Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/443—Optimisation
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【０００１】
【産業上の利用分野】本発明はコンパイラの最適化に関
する。詳細にいえば、マルチウェイ分岐に対して考えら
れる各解法のコストを示す関数を使用し、マルチウェイ
分岐の実行前に各方法の相対的なコストを比較し、もっ
ともコストの低い方法を実行のために選択して、マルチ
ウェイ分岐の実行パフォーマンスを改善することに関す
る。
する。詳細にいえば、マルチウェイ分岐に対して考えら
れる各解法のコストを示す関数を使用し、マルチウェイ
分岐の実行前に各方法の相対的なコストを比較し、もっ
ともコストの低い方法を実行のために選択して、マルチ
ウェイ分岐の実行パフォーマンスを改善することに関す
る。
【０００２】
【従来の技術】もっとも高水準の言語は、通常マルチウ
ェイ分岐とみなされる言語構造を含んでおり、この構造
内で実行時変数が、定数のセットの各メンバーと比較さ
れ、比較の結果に基づいてステートメントの選択が行わ
れる。このような構造は、ケース・ステートメントまた
はスイッチ・ステートメントと呼ばれることもある。 「ケース・セレクタ」と呼ばれることもある実行時変数
は式であって、「ケース（ｃａｓｅ）項」と呼ばれるこ
ともある指定された定数のセットに対してテストされる
。当分野で周知のように、マルチウェイ分岐は各種の選
択方法を利用して、レンジ・テスト、ジャンプ・テーブ
ル、比較分岐シーケンス、アドレス変換及び算術級数を
含む、必要な論理を遂行する。実行時に最善のパフォー
マンスをもたらす方法は、コンパイルされたプログラム
が実行される機械の基礎となるアーキテクチャによって
、また選択セット、すなわち実行時変数の比較対象であ
る定数のセットの値によって大幅に変化する。
ェイ分岐とみなされる言語構造を含んでおり、この構造
内で実行時変数が、定数のセットの各メンバーと比較さ
れ、比較の結果に基づいてステートメントの選択が行わ
れる。このような構造は、ケース・ステートメントまた
はスイッチ・ステートメントと呼ばれることもある。 「ケース・セレクタ」と呼ばれることもある実行時変数
は式であって、「ケース（ｃａｓｅ）項」と呼ばれるこ
ともある指定された定数のセットに対してテストされる
。当分野で周知のように、マルチウェイ分岐は各種の選
択方法を利用して、レンジ・テスト、ジャンプ・テーブ
ル、比較分岐シーケンス、アドレス変換及び算術級数を
含む、必要な論理を遂行する。実行時に最善のパフォー
マンスをもたらす方法は、コンパイルされたプログラム
が実行される機械の基礎となるアーキテクチャによって
、また選択セット、すなわち実行時変数の比較対象であ
る定数のセットの値によって大幅に変化する。
【０００３】最良の実行コードを作成する問題を解決す
るための周知の試みは一般に、プログラムがコンパイル
される対象の特定の機械、すなわち目的機械のアーキテ
クチャに関連している。このことは解法に、またヒュー
リスティック情報に、この機械に最適なコード形式に関
する想定を含めることによって行われる。たとえば、マ
ルチウェイ分岐が高水準言語の一般的に使用される構造
であるから、ある種の複雑命令セット・コンピュータ（
ＣＩＣＳ）システムの設計者は命令をこのようなコンピ
ュータに組み込んで、比較的低いコストでテーブル索引
付き分岐をもたらしている。このようなアーキテクチャ
に対するマルチウェイ分岐の実現者はしばしば、自分た
ちの解法を調整し、パフォーマンスが最良ではないコー
ドの何らかの収集に対してさえも、この命令を常に利用
するようにしている。周知の従来の方法は、１種類の機
械にだけ最適であり、かつ実行時変数と比較される選択
セットの１組の条件において最適なコードを作成する。
るための周知の試みは一般に、プログラムがコンパイル
される対象の特定の機械、すなわち目的機械のアーキテ
クチャに関連している。このことは解法に、またヒュー
リスティック情報に、この機械に最適なコード形式に関
する想定を含めることによって行われる。たとえば、マ
ルチウェイ分岐が高水準言語の一般的に使用される構造
であるから、ある種の複雑命令セット・コンピュータ（
ＣＩＣＳ）システムの設計者は命令をこのようなコンピ
ュータに組み込んで、比較的低いコストでテーブル索引
付き分岐をもたらしている。このようなアーキテクチャ
に対するマルチウェイ分岐の実現者はしばしば、自分た
ちの解法を調整し、パフォーマンスが最良ではないコー
ドの何らかの収集に対してさえも、この命令を常に利用
するようにしている。周知の従来の方法は、１種類の機
械にだけ最適であり、かつ実行時変数と比較される選択
セットの１組の条件において最適なコードを作成する。
【０００４】Ｒ・バーンスタイン（Ｂｅｒｎｓｔｅｉｎ
）「ケース・ステートメントに対する良好なコードの作
成（Ｐｒｏｄｕｃｉｎｇ Ｇｏｏｄ Ｃｏｄｅ
ｆｏｒ ｔｈｅ Ｃａｓｅ Ｓｔａｔｅｍｅｎｔ
）」、ＩＢＭ ＲＥＳＥＡＲＣＨ ＲＥＰＯＲＴ
１０５２５（＃４５７５５）１９８３／１２／０６は
利用可能なテストがジャンプ・テーブル、レンジ・テス
ト、２進探索及び線形探索を含んでいる場合に、ケース
・ステートメントのどのテストが適切かを判定する際に
使用する若干の考慮事項を説明し、「セット」と呼ばれ
ることのある単一のクラスタとしてのケース項のすべて
から始め、各々がジャンプ・テーブル解に対する最低ケ
ース密度に合致するまで、小さなクラスタに分割してい
く選択方法を開示している。この場合、数種類のテスト
が、常にジャンプ・テーブルから始まる所定の順序で行
われる。
）「ケース・ステートメントに対する良好なコードの作
成（Ｐｒｏｄｕｃｉｎｇ Ｇｏｏｄ Ｃｏｄｅ
ｆｏｒ ｔｈｅ Ｃａｓｅ Ｓｔａｔｅｍｅｎｔ
）」、ＩＢＭ ＲＥＳＥＡＲＣＨ ＲＥＰＯＲＴ
１０５２５（＃４５７５５）１９８３／１２／０６は
利用可能なテストがジャンプ・テーブル、レンジ・テス
ト、２進探索及び線形探索を含んでいる場合に、ケース
・ステートメントのどのテストが適切かを判定する際に
使用する若干の考慮事項を説明し、「セット」と呼ばれ
ることのある単一のクラスタとしてのケース項のすべて
から始め、各々がジャンプ・テーブル解に対する最低ケ
ース密度に合致するまで、小さなクラスタに分割してい
く選択方法を開示している。この場合、数種類のテスト
が、常にジャンプ・テーブルから始まる所定の順序で行
われる。
【０００５】エイホ、セチ及びウルマン（Ａｈｏ，Ｓｅ
ｔｈｉ，ａｎｄ Ｕｌｌｍａｎ）「コンパイラ：原理
、手法及びツール（ＣＯＭＰＩＬＥＲ：ＰＲＩＮＣＩＰ
ＬＥＳ，ＴＥＣＨＮＩＱＵＥＳ ＡＮＤ ＴＯＯＬ
Ｓ）」Ａｄｄｉｓｏｎ−Ｗｅｓｌｅｙ（１９８８年）の
第１０章では、最適化方法がごく一般的に検討されてい
る。他の関連する従来技術の参照文献としては、「Ｐａ
ｓｃａｌにおける２状態ケース・ステートメントの最適
化（Ｏｐｉｍｉｚｉｎｇ Ｔｗｏ−ｓｔａｔｅ Ｃ
ａｓｅ Ｓｔａｔｅｍｅｎｔ ｉｎ Ｐａｓｃａ
ｌ）」、ＳＯＦＴＷＡＲＥ−ＰＲＡＣＴＩＣＥ ＡＮ
Ｄ ＥＸＰＥＲＩＥＮＣＥ、１２：６（１９８２年）
、５７１−５８１、ならびにＪ・ヘネシィ（Ｈｅｎｎｅ
ｓｓｅｙ）及びＮ・メンデルソーン（Ｍｅｎｄｅｌｓｏ
ｈｎ）、「Ｐａｓｃａｌケース・ステートメントのコン
パイル（Ｃｏｍｐｉｌａｔｉｏｎ ｏｆ ｔｈｅ
Ｐａｓｃａｌ Ｃａｓｅ Ｓｔａｔｅｍｅｎｔ）
」、ＳＯＦＴＷＡＲＥ−ＰＲＡＣＴＩＣＥ ＡＮＤ
ＥＸＰＥＲＩＥＮＣＥ、１２：９（１９８２年）、８
７９−８８２がある。
ｔｈｉ，ａｎｄ Ｕｌｌｍａｎ）「コンパイラ：原理
、手法及びツール（ＣＯＭＰＩＬＥＲ：ＰＲＩＮＣＩＰ
ＬＥＳ，ＴＥＣＨＮＩＱＵＥＳ ＡＮＤ ＴＯＯＬ
Ｓ）」Ａｄｄｉｓｏｎ−Ｗｅｓｌｅｙ（１９８８年）の
第１０章では、最適化方法がごく一般的に検討されてい
る。他の関連する従来技術の参照文献としては、「Ｐａ
ｓｃａｌにおける２状態ケース・ステートメントの最適
化（Ｏｐｉｍｉｚｉｎｇ Ｔｗｏ−ｓｔａｔｅ Ｃ
ａｓｅ Ｓｔａｔｅｍｅｎｔ ｉｎ Ｐａｓｃａ
ｌ）」、ＳＯＦＴＷＡＲＥ−ＰＲＡＣＴＩＣＥ ＡＮ
Ｄ ＥＸＰＥＲＩＥＮＣＥ、１２：６（１９８２年）
、５７１−５８１、ならびにＪ・ヘネシィ（Ｈｅｎｎｅ
ｓｓｅｙ）及びＮ・メンデルソーン（Ｍｅｎｄｅｌｓｏ
ｈｎ）、「Ｐａｓｃａｌケース・ステートメントのコン
パイル（Ｃｏｍｐｉｌａｔｉｏｎ ｏｆ ｔｈｅ
Ｐａｓｃａｌ Ｃａｓｅ Ｓｔａｔｅｍｅｎｔ）
」、ＳＯＦＴＷＡＲＥ−ＰＲＡＣＴＩＣＥ ＡＮＤ
ＥＸＰＥＲＩＥＮＣＥ、１２：９（１９８２年）、８
７９−８８２がある。
【０００６】
【発明が解決しようとする課題】これらの試みにもかか
わらず、実行を最低限としてケース・ステートメントを
評価するための、コンパイル時に遭遇すると思われるケ
ースの全数及び密度を処理するだけではなく、移植性も
よい、すなわち異なるアーキテクチャを有する目的機械
で使用できる最適化方法が依然として必要である。
わらず、実行を最低限としてケース・ステートメントを
評価するための、コンパイル時に遭遇すると思われるケ
ースの全数及び密度を処理するだけではなく、移植性も
よい、すなわち異なるアーキテクチャを有する目的機械
で使用できる最適化方法が依然として必要である。
【０００７】
【課題を解決するための手段】マルチウェイ分岐ステー
トメントの処理が実行時変数の規定の値にしたがって、
取ることのできると考えられる分岐を予め定義し、所定
のコスト決定方法にしたがって方法の各々のコストを決
定し、コストのもっとも低い方法を選択して実行するこ
とによって容易となることが判明した。
トメントの処理が実行時変数の規定の値にしたがって、
取ることのできると考えられる分岐を予め定義し、所定
のコスト決定方法にしたがって方法の各々のコストを決
定し、コストのもっとも低い方法を選択して実行するこ
とによって容易となることが判明した。
【０００８】したがって、本発明は下記のステップから
なるコンピュータにおいてコンパイルされるプログラム
を最適化する方法を提供する。
なるコンピュータにおいてコンパイルされるプログラム
を最適化する方法を提供する。
【０００９】（ａ）マルチウェイ分岐ステートメントを
選択し、（ｂ）複数の命令シーケンスの各々の相対実行
コストを決定して、前記マルチウェイ分岐ステートメン
トを実施し、（ｃ）前記の複数の命令シーケンスから、
コストのもっとも低い命令シーケンスを選択し、（ｄ）
前記の最低コストの命令シーケンスを実施する。本発明
はさらに、下記のステップからなるコンピュータにおい
てコンパイルされるプログラムを最適化する方法を提供
する。
選択し、（ｂ）複数の命令シーケンスの各々の相対実行
コストを決定して、前記マルチウェイ分岐ステートメン
トを実施し、（ｃ）前記の複数の命令シーケンスから、
コストのもっとも低い命令シーケンスを選択し、（ｄ）
前記の最低コストの命令シーケンスを実施する。本発明
はさらに、下記のステップからなるコンピュータにおい
てコンパイルされるプログラムを最適化する方法を提供
する。
【００１０】（ａ）マルチウェイ分岐ステートメントを
選択し、（ｂ）テストを実行する各方法がジャンプ・テ
ーブル、レンジ・テスト、比較分岐、算術級数、及びア
ドレス変換からなる場合に、該各方法の相対コストを決
定して、前記プログラムがどの分岐を取り入れるかを選
択し、（ｃ）必要なコストがもっとも低い方法を選択し
、（ｄ）選択した方法に対応する命令シーケンスを実施
する。本発明はさらに、下記のものからなるコンピュー
タにおいて実行されるプログラムを最適化する改善され
たコンパイラを提供する。
選択し、（ｂ）テストを実行する各方法がジャンプ・テ
ーブル、レンジ・テスト、比較分岐、算術級数、及びア
ドレス変換からなる場合に、該各方法の相対コストを決
定して、前記プログラムがどの分岐を取り入れるかを選
択し、（ｃ）必要なコストがもっとも低い方法を選択し
、（ｄ）選択した方法に対応する命令シーケンスを実施
する。本発明はさらに、下記のものからなるコンピュー
タにおいて実行されるプログラムを最適化する改善され
たコンパイラを提供する。
【００１１】（ａ）マルチウェイ分岐を選択する手段と
、（ｂ）テストを実行する各方法がジャンプ・テーブル
、レンジ・テスト、比較分岐、算術級数、及びアドレス
変換からなる場合に、該各方法の相対コストを決定して
、前記プログラムがどの分岐を取り入れるかを決定する
手段と、（ｃ）コストのもっとも低い方法を選択する手
段と、（ｄ）選択した方法に対応する命令シーケンスを
実施する手段。
、（ｂ）テストを実行する各方法がジャンプ・テーブル
、レンジ・テスト、比較分岐、算術級数、及びアドレス
変換からなる場合に、該各方法の相対コストを決定して
、前記プログラムがどの分岐を取り入れるかを決定する
手段と、（ｃ）コストのもっとも低い方法を選択する手
段と、（ｄ）選択した方法に対応する命令シーケンスを
実施する手段。
【００１２】本発明の方法及びコンパイラはコードのコ
ンパイル中に、テスト変数の取り得る値をセット要素と
して処理し、テスト・ポイントをくみあわせるセットを
識別することによって、ケース・ステートメントを処理
するが、レンジ・セットは組み合わされたポイントによ
って定義された範囲内の取りうるすべてのポイントを含
んでおり、デンス・セットは特に目的機械に依存する、
少なくともプログラマが選択可能なある値である有効な
値の一部を含んでおり、ユニーク・セットは各々がレン
ジ・セットまたはデンス・セットに組み合わされていな
いポイントを１つだけ含んでおり、バウンド・セットは
他のすべてのセットが選択された後で残ったポイントを
含んでいる。
ンパイル中に、テスト変数の取り得る値をセット要素と
して処理し、テスト・ポイントをくみあわせるセットを
識別することによって、ケース・ステートメントを処理
するが、レンジ・セットは組み合わされたポイントによ
って定義された範囲内の取りうるすべてのポイントを含
んでおり、デンス・セットは特に目的機械に依存する、
少なくともプログラマが選択可能なある値である有効な
値の一部を含んでおり、ユニーク・セットは各々がレン
ジ・セットまたはデンス・セットに組み合わされていな
いポイントを１つだけ含んでおり、バウンド・セットは
他のすべてのセットが選択された後で残ったポイントを
含んでいる。
【００１３】特定の目的機械、つまりヒューリスティッ
ク情報に対してこの問題を解決するための他の手法が試
みられ、どのようなタイプのコードが最適なのかに関す
る基礎となる想定が解決手順の一部となる。本発明は複
数のアーキテクチャを同時に対象とし、機械Ａには適し
ているが、機械Ｂには適していない想定を除去する必要
があった。
ク情報に対してこの問題を解決するための他の手法が試
みられ、どのようなタイプのコードが最適なのかに関す
る基礎となる想定が解決手順の一部となる。本発明は複
数のアーキテクチャを同時に対象とし、機械Ａには適し
ているが、機械Ｂには適していない想定を除去する必要
があった。
【００１４】インターバル・クラスタ化に対する「グリ
ーディ手法」に関するＲ・バーンスタインの検討は、バ
ーンスタインの最初のセットが選択値のすべてを含んで
いることを示唆している。各分割後、サブインターバル
間の新しいギャップが計算され、その最大値が次の分割
の位置となる。詳細には述べないが、基礎となる想定は
、ジャンプ・テーブル法が求める最良な方法であるとい
うものである。本発明は反対の手法、すなわち大きなイ
ンターバルを分割するのではなく、小さなインターバル
を組み合わせるという手法を取る。これはデータを区分
するのに必要な計算量の低減、ならびに特定の目的アー
キテクチャに対して最適な方法を選択する能力をもたら
すはずである。
ーディ手法」に関するＲ・バーンスタインの検討は、バ
ーンスタインの最初のセットが選択値のすべてを含んで
いることを示唆している。各分割後、サブインターバル
間の新しいギャップが計算され、その最大値が次の分割
の位置となる。詳細には述べないが、基礎となる想定は
、ジャンプ・テーブル法が求める最良な方法であるとい
うものである。本発明は反対の手法、すなわち大きなイ
ンターバルを分割するのではなく、小さなインターバル
を組み合わせるという手法を取る。これはデータを区分
するのに必要な計算量の低減、ならびに特定の目的アー
キテクチャに対して最適な方法を選択する能力をもたら
すはずである。
【００１５】
【実施例】本発明はマルチウェイ分岐ステートメントを
評価する際にかかるクロック・サイクルの数を減らすこ
とによって、目的機械でのコンパイルされたプログラム
の実行コストを下げることを目的としている。クロック
・サイクルとは特定の操作または機能を行うのに、中央
演算処理装置にかかる時間について、しばしば使用され
る測定値である。本発明の方法には、このような評価に
利用されるメモリの量を少なくするという、一般的な効
果もある。関連したコンパイラが使用される任意の型式
の目的機械アーキテクチャに適用されるように設計され
ている。以下で説明するように、本発明の最適化方法が
一般に、中間コード・レベルで適用されるので、各種の
目的コンピュータ・アーキテクチャに容易に適合させる
ことができるが、これは部分的には、「バック・エンド
」が最適化された中間コードを、目的コンピュータで実
際に実行される機械コードに変換するからである。最適
化の原理はコンパイラ作成の分野で周知のものであるか
ら、本命最初で詳細に説明する必要はない。
評価する際にかかるクロック・サイクルの数を減らすこ
とによって、目的機械でのコンパイルされたプログラム
の実行コストを下げることを目的としている。クロック
・サイクルとは特定の操作または機能を行うのに、中央
演算処理装置にかかる時間について、しばしば使用され
る測定値である。本発明の方法には、このような評価に
利用されるメモリの量を少なくするという、一般的な効
果もある。関連したコンパイラが使用される任意の型式
の目的機械アーキテクチャに適用されるように設計され
ている。以下で説明するように、本発明の最適化方法が
一般に、中間コード・レベルで適用されるので、各種の
目的コンピュータ・アーキテクチャに容易に適合させる
ことができるが、これは部分的には、「バック・エンド
」が最適化された中間コードを、目的コンピュータで実
際に実行される機械コードに変換するからである。最適
化の原理はコンパイラ作成の分野で周知のものであるか
ら、本命最初で詳細に説明する必要はない。
【００１６】追随する適切な分岐の選択に関連するコス
トは、コンパイルに関連するコストと、目的機械でコン
パイルされたプログラムを実行するコスト、すなわち実
行コストの両方を含んでいる。一般に、コンパイラが各
プログラムで１回だけ実行され、これを実行可能な形態
にするものであるから、コンパイルに関連するコストは
実行コストに比較して小さく、コンパイラはコンパイラ
のサイズ及びコンパイル時間を若干犠牲にしても、コン
パイルされたプログラムの実行を最適化するため、ます
ます複雑なものとなってきている。
トは、コンパイルに関連するコストと、目的機械でコン
パイルされたプログラムを実行するコスト、すなわち実
行コストの両方を含んでいる。一般に、コンパイラが各
プログラムで１回だけ実行され、これを実行可能な形態
にするものであるから、コンパイルに関連するコストは
実行コストに比較して小さく、コンパイラはコンパイラ
のサイズ及びコンパイル時間を若干犠牲にしても、コン
パイルされたプログラムの実行を最適化するため、ます
ます複雑なものとなってきている。
【００１７】マルチウェイ分岐ステートメントはほとん
どの典型的なソース・プログラムのコードのどこかに置
かれる。このようなステートメントの各々は、本明細書
で説明する最小コスト法の候補となる。追随するのに適
切な分岐は、プログラムのソース・テキストに含まれる
パラメータを含む多くの要因、ならびにプログラムに関
連してどのデータがシステムに入力されたかに応じて、
プログラムによって選択される。上述のように、マルチ
ウェイ分岐ステートメントの変数をテストして、正しい
分岐を選択することのできる方法はいくつかある。これ
らの方法はジャンプ・テーブルの生成、レンジ・テスト
の実行、線形探索及び２進探索を含む比較分岐シーケン
ス、アドレス変換、ならびに演算級数の認識を含んでい
る。これらの方法のすべてが必ずしも各コンピュータ・
アーキテクチャで使用されるものではなく、これらが実
現される方法はアーキテクチャごとに異なっている。こ
れらの方法の各々には、特に分岐を評価する際の特定の
実行時変数におけるデータの値、分岐を選択して、制御
を移すことのできる選択肢の数、目的機械によって左右
されるコストがかかる。異なるタイプの操作には、それ
ぞれに異なる相対的なコストがかかり、どのような命令
が機械のアーキテクチャで利用できるか、また各命令が
どのように作動するかによって左右される。これらは特
定の機械のプログラミングの分野の技術者にとって周知
のものである。
どの典型的なソース・プログラムのコードのどこかに置
かれる。このようなステートメントの各々は、本明細書
で説明する最小コスト法の候補となる。追随するのに適
切な分岐は、プログラムのソース・テキストに含まれる
パラメータを含む多くの要因、ならびにプログラムに関
連してどのデータがシステムに入力されたかに応じて、
プログラムによって選択される。上述のように、マルチ
ウェイ分岐ステートメントの変数をテストして、正しい
分岐を選択することのできる方法はいくつかある。これ
らの方法はジャンプ・テーブルの生成、レンジ・テスト
の実行、線形探索及び２進探索を含む比較分岐シーケン
ス、アドレス変換、ならびに演算級数の認識を含んでい
る。これらの方法のすべてが必ずしも各コンピュータ・
アーキテクチャで使用されるものではなく、これらが実
現される方法はアーキテクチャごとに異なっている。こ
れらの方法の各々には、特に分岐を評価する際の特定の
実行時変数におけるデータの値、分岐を選択して、制御
を移すことのできる選択肢の数、目的機械によって左右
されるコストがかかる。異なるタイプの操作には、それ
ぞれに異なる相対的なコストがかかり、どのような命令
が機械のアーキテクチャで利用できるか、また各命令が
どのように作動するかによって左右される。これらは特
定の機械のプログラミングの分野の技術者にとって周知
のものである。
【００１８】所与の分岐を評価するためのコスト・パラ
メータはコスト決定ヒューリスティックに挿入でき、こ
れはコンパイラが評価の実行コストを評価できるように
する。
メータはコスト決定ヒューリスティックに挿入でき、こ
れはコンパイラが評価の実行コストを評価できるように
する。
【００１９】商業的に実施するために構成された本発明
の好ましい実施例において、ケース選択方法の選択肢は
レンジ分析、ジャンプ・テーブル生成、ならびに２つの
形式の比較分岐シーケンス、すなわち線形探索及び２進
探索に限定される。これらはマルチウェイ分岐の評価時
にもっとも一般的に使用される選択方法である。実施例
に使用される特定のコンピュータ・システムにアドレス
変換のための命令がないので、これをケース選択方法と
して組み込む必要はない。
の好ましい実施例において、ケース選択方法の選択肢は
レンジ分析、ジャンプ・テーブル生成、ならびに２つの
形式の比較分岐シーケンス、すなわち線形探索及び２進
探索に限定される。これらはマルチウェイ分岐の評価時
にもっとも一般的に使用される選択方法である。実施例
に使用される特定のコンピュータ・システムにアドレス
変換のための命令がないので、これをケース選択方法と
して組み込む必要はない。
【００２０】好ましい実施例の以下の説明において、便
宜上及び明確化のために、「クラスタ」と呼ばれること
のある各種のセットに与えられる名前は一般に、それぞ
れのセットのメンバーに使用される選択方法を反映する
ように選ばれたものである。
宜上及び明確化のために、「クラスタ」と呼ばれること
のある各種のセットに与えられる名前は一般に、それぞ
れのセットのメンバーに使用される選択方法を反映する
ように選ばれたものである。
【００２１】ＲＡＮＧＥは目的ロケーションが同じステ
ートメントである順次値のセットである。Ｃ関数ｉｓｄ
ｉｇｉｔ（ｃ）の好ましい実施形態の例を以下に示す。
ートメントである順次値のセットである。Ｃ関数ｉｓｄ
ｉｇｉｔ（ｃ）の好ましい実施形態の例を以下に示す。
【００２２】
Ｃを使用した場合
ＰＡＳＣＡＬを使用した場合 ｓｗｉｔｃｈ（ｃ）
｛ ＣＡＳＥ ｃ ＯＦ
ｃａｓｅ ’０’：
’０’．．’９’ ： ｘ：＝１；
ｃａｓｅ ’１’：
ＯＴＨＥＲＷＩＳＥ ： ｘ：＝０；
ｃａｓｅ ’２’： ＥＮＤ
ｃａｓｅ ’３’： ｃａｓｅ ’４’： ｃａｓｅ ’５’： ｃａｓｅ ’６’： ｃａｓｅ ’７’： ｃａｓｅ ’８’： ｃａｓｅ ’９’： ｒｅｔｕｒｎ（
１）； ｝ ｒｅｔｕｒｎ（０）：
ＰＡＳＣＡＬを使用した場合 ｓｗｉｔｃｈ（ｃ）
｛ ＣＡＳＥ ｃ ＯＦ
ｃａｓｅ ’０’：
’０’．．’９’ ： ｘ：＝１；
ｃａｓｅ ’１’：
ＯＴＨＥＲＷＩＳＥ ： ｘ：＝０；
ｃａｓｅ ’２’： ＥＮＤ
ｃａｓｅ ’３’： ｃａｓｅ ’４’： ｃａｓｅ ’５’： ｃａｓｅ ’６’： ｃａｓｅ ’７’： ｃａｓｅ ’８’： ｃａｓｅ ’９’： ｒｅｔｕｒｎ（
１）； ｝ ｒｅｔｕｒｎ（０）：
【００２３】ＲＡＮＧＥセットを処理するのための当分
野で周知の方法は、４命令シーケンスを使用して単純な
レンジ・テストを行うことである。
野で周知の方法は、４命令シーケンスを使用して単純な
レンジ・テストを行うことである。
【００２４】１．実行時変数をレンジの高域と比較する
。
。
【００２５】２．変数がこれよりも大きければ、分岐す
る。
る。
【００２６】３．実行時変数を低域と比較する。
【００２７】４．実行時変数がこれ以下でなければ、目
的ロケーションへ分岐する。
的ロケーションへ分岐する。
【００２８】無記号ないし「論理」比較を可能とする、
機械アーキテクチャに対する同等な短いシーケンスは次
のとおりである。
機械アーキテクチャに対する同等な短いシーケンスは次
のとおりである。
【００２９】１．レンジの低域を実行時変数から引く。
【００３０】２．結果を高域と低域の間の差と論理比較
する。
する。
【００３１】３．論理的にこれよりも大きくなければ、
目的ロケーションへ分岐する。
目的ロケーションへ分岐する。
【００３２】ＤＥＮＳＥは必ずしも順次となっておらず
、目的ロケーションが異なっており、「ケース密度」と
呼ばれることのある、セット内の最大値と最小値の間の
差によって割った判明な値の数であるセット密度がコス
ト決定ヒューリスティックに与えられた限度内にある値
のセットである。この限度はプログラマが与えることも
、あるいはもっとも頻繁に遭遇する状況をカバーするた
めに予め選択することもできるものである。たとえば、
１０から４９までの範囲の整数のセットから、このセッ
トから奇数の整数を利用可能な値として選択するデンス
・セットが予測される場合、このセットのデンス・セッ
トは０．５となる。２つの言語の各々に対してデンス・
セットを使用した例を、以下に示す。
、目的ロケーションが異なっており、「ケース密度」と
呼ばれることのある、セット内の最大値と最小値の間の
差によって割った判明な値の数であるセット密度がコス
ト決定ヒューリスティックに与えられた限度内にある値
のセットである。この限度はプログラマが与えることも
、あるいはもっとも頻繁に遭遇する状況をカバーするた
めに予め選択することもできるものである。たとえば、
１０から４９までの範囲の整数のセットから、このセッ
トから奇数の整数を利用可能な値として選択するデンス
・セットが予測される場合、このセットのデンス・セッ
トは０．５となる。２つの言語の各々に対してデンス・
セットを使用した例を、以下に示す。
【００３３】
Ｃを使用した場合
ＰＡＳＣＡＬを使用した
場合 ｓｗｉｔｃｈ（ｃ）｛
ＣＡＳＥ ｃ ＯＦ
ｃａｓｅ ’Ａ’ ： ｘ＝０； ｂｒｅａｋ
； ’Ａ’ ： ｘ：＝０；ｃａｓｅ
’Ｂ’ ： ｘ＝１： ｂｒｅａｋ；
’Ｂ’ ： ｘ：＝１；ｃａｓｅ ’Ｄ
’ ： ｘ＝２； ｂｒｅａｋ；
’Ｄ’ ： ｘ：＝２；｝
ＥＮＤ
ＰＡＳＣＡＬを使用した
場合 ｓｗｉｔｃｈ（ｃ）｛
ＣＡＳＥ ｃ ＯＦ
ｃａｓｅ ’Ａ’ ： ｘ＝０； ｂｒｅａｋ
； ’Ａ’ ： ｘ：＝０；ｃａｓｅ
’Ｂ’ ： ｘ＝１： ｂｒｅａｋ；
’Ｂ’ ： ｘ：＝１；ｃａｓｅ ’Ｄ
’ ： ｘ＝２； ｂｒｅａｋ；
’Ｄ’ ： ｘ：＝２；｝
ＥＮＤ
【００３４】ＤＥＮ
ＳＥセットを処理する周知の方法は、もちろんほとんど
の非最適化コンパイラ実施形態がマルチウェイ分岐を処
理する方法、すなわち索引付きロード命令を解して参照
されるジャンプ・テーブルを生成し、ロードされたアド
レスへ分岐する方法である。このシーケンスの前には通
常、上述のような３つまたは４つの命令レンジ・テスト
・シーケンスが置かれ、アドレス指定例外に対する保護
を行っている。したがって、シーケンス全体は次のよう
になる。
ＳＥセットを処理する周知の方法は、もちろんほとんど
の非最適化コンパイラ実施形態がマルチウェイ分岐を処
理する方法、すなわち索引付きロード命令を解して参照
されるジャンプ・テーブルを生成し、ロードされたアド
レスへ分岐する方法である。このシーケンスの前には通
常、上述のような３つまたは４つの命令レンジ・テスト
・シーケンスが置かれ、アドレス指定例外に対する保護
を行っている。したがって、シーケンス全体は次のよう
になる。
【００３５】１．失敗したコードをレンジ・テストし、
【００３６】２．テーブルからアドレスをロードし、
【
００３７】３．ロードされたアドレスへ分岐する。
００３７】３．ロードされたアドレスへ分岐する。
【００３８】ＢＯＵＮＤは他の２つのクラスの一方にク
ラスタされないすべての他の選択値の和集合を含んでい
るセットである。ＢＯＵＮＤセットは各対が比較及び同
等時に分岐を含んでいる命令セットのシーケンスである
。
ラスタされないすべての他の選択値の和集合を含んでい
るセットである。ＢＯＵＮＤセットは各対が比較及び同
等時に分岐を含んでいる命令セットのシーケンスである
。
【００３９】ＵＮＩＱＵＥはメンバーが１つだけのセッ
トである。選択値の母集団の各メンバーはまずこの態様
で表されてから、区分が行われる。
トである。選択値の母集団の各メンバーはまずこの態様
で表されてから、区分が行われる。
【００４０】クラスタ化の方法は分類された順序でセッ
トを調べ、各セットをもっとも近い隣接セットと和集合
を取ることを試みる。結果として生じるセットに個々の
実施形態のコストの合計よりも、費用効果の高い実施形
態があるとコスト決定ヒューリスティックが決定した場
合に、和集合が取られる。この手法を使用した場合、Ｕ
ＮＩＱＵＥセットを１回だけ調べて、ＤＥＮＳＥまたは
ＲＡＮＧＥセットを形成するだけでよく、これらのセッ
トはすべてのＵＮＩＱＵＥセットが調べられるまで成長
を続ける。ＤＥＮＳＥセットまたはＲＡＮＧＥセットに
クラスタされないすべてのＵＮＩＱＵＥセットの和集合
は、ＢＯＵＮＤセットになる。これで区分ステップは完
了する。
トを調べ、各セットをもっとも近い隣接セットと和集合
を取ることを試みる。結果として生じるセットに個々の
実施形態のコストの合計よりも、費用効果の高い実施形
態があるとコスト決定ヒューリスティックが決定した場
合に、和集合が取られる。この手法を使用した場合、Ｕ
ＮＩＱＵＥセットを１回だけ調べて、ＤＥＮＳＥまたは
ＲＡＮＧＥセットを形成するだけでよく、これらのセッ
トはすべてのＵＮＩＱＵＥセットが調べられるまで成長
を続ける。ＤＥＮＳＥセットまたはＲＡＮＧＥセットに
クラスタされないすべてのＵＮＩＱＵＥセットの和集合
は、ＢＯＵＮＤセットになる。これで区分ステップは完
了する。
【００４１】区分が行われると、選択コードを各セット
内のデータに対して生成できるようになる。次いで、各
セット順次調べて、そのメンバーに対して適切な選択論
理を生成する。現行の生成論理は最初の母集団からの各
値が、実行時に発生する同等な確率を有しており、した
がって線形的にテストを生成すると想定している。しか
しながら、充分な数のセットがあるか、あるいはＢＯＵ
ＮＤセットに充分な数のメンバーがある場合、各セット
は実行時に横切る２進木のノードとして配置される。線
形探索論理から２進探索論理への切換えの決定は、この
場合も、２進探索法が木の各ノードにおいて付加的な比
較分岐を必要とすることに注目して、コスト決定ヒュー
リスティックによって決定される。
内のデータに対して生成できるようになる。次いで、各
セット順次調べて、そのメンバーに対して適切な選択論
理を生成する。現行の生成論理は最初の母集団からの各
値が、実行時に発生する同等な確率を有しており、した
がって線形的にテストを生成すると想定している。しか
しながら、充分な数のセットがあるか、あるいはＢＯＵ
ＮＤセットに充分な数のメンバーがある場合、各セット
は実行時に横切る２進木のノードとして配置される。線
形探索論理から２進探索論理への切換えの決定は、この
場合も、２進探索法が木の各ノードにおいて付加的な比
較分岐を必要とすることに注目して、コスト決定ヒュー
リスティックによって決定される。
【００４２】どの値がもっとも発生しやすいかに関する
確率情報を提供する付加的な機能によって、この時点で
ハフマン探索を使用することを考慮することができる。 ハフマン探索の方法は、当分野の技術者にとって周知で
ある。
確率情報を提供する付加的な機能によって、この時点で
ハフマン探索を使用することを考慮することができる。 ハフマン探索の方法は、当分野の技術者にとって周知で
ある。
【００４３】各種の方法に対するコード・パターンの検
討によって、機械固有なコスト決定ヒューリスティック
が下記の命令コストから開発されることが明らかになっ
た。
討によって、機械固有なコスト決定ヒューリスティック
が下記の命令コストから開発されることが明らかになっ
た。
【００４４】１．比較（適宜、記号なしと記号付きの両
方）
方）
【００４５】２．条件付き分岐
【００４６】３．レジスタから定数を引く
【００４７】
４．メモリからレジスタへロードする
４．メモリからレジスタへロードする
【００４８】５．
レジスタ内のアドレスに分岐する
レジスタ内のアドレスに分岐する
【００４９】６．ロー
ドし、アドレスへ分岐する（アーキテクチャの中には、
ジャンプ・テーブル・アクセス方式が組み込まれている
ものもある）
ドし、アドレスへ分岐する（アーキテクチャの中には、
ジャンプ・テーブル・アクセス方式が組み込まれている
ものもある）
【００５０】７．メモリ・コストを使用して、サイクル
時間に無関係に変動する命令長を反映することができる
。スペースを最適化する場合、ジャンプ・テーブルを使
用することによって、クラスタ化をもたらす付加的なオ
ーバーヘッドをこうむることがある。
時間に無関係に変動する命令長を反映することができる
。スペースを最適化する場合、ジャンプ・テーブルを使
用することによって、クラスタ化をもたらす付加的なオ
ーバーヘッドをこうむることがある。
【００５１】８．密度限度はジャンプ・テーブルの作成
時に認めることのできる、維持するためのメモリ・コス
トとは無関係な部分的に未使用なメモリ・オーバーヘッ
ドを反映する。
時に認めることのできる、維持するためのメモリ・コス
トとは無関係な部分的に未使用なメモリ・オーバーヘッ
ドを反映する。
【００５２】下記の例は本発明の方法を実施することに
よって、典型的な縮小命令セット・コンピュータ（ＲＩ
ＳＣ）システムで得られる実行速度の改善を示している
。
よって、典型的な縮小命令セット・コンピュータ（ＲＩ
ＳＣ）システムで得られる実行速度の改善を示している
。
【００５３】
【００５４】このコードの断片に対する直接的な手法は
、比較分岐命令のシーケンスを生成することである。 この場合、各々が特定の「ｃａｓｅ ｎ ：」クロ
ーズを表す９つの比較命令と９つの分岐命令がある。た
とえば、ＩＢＭ ＲＴ ＰＣシステムにおいては、
各命令を実行するのに１サイクルかかり、選択を行うコ
ストは１８サイクル程度である。しかしながら、このコ
ードがレンジ・テストとして実施された場合には、これ
に必要なのは４サイクルだけとなろう。このことはこの
特定なコンピュータ・システムにおいて、１８サイクル
の内１４サイクル、すなわち７８％が節約されることを
表す。
、比較分岐命令のシーケンスを生成することである。 この場合、各々が特定の「ｃａｓｅ ｎ ：」クロ
ーズを表す９つの比較命令と９つの分岐命令がある。た
とえば、ＩＢＭ ＲＴ ＰＣシステムにおいては、
各命令を実行するのに１サイクルかかり、選択を行うコ
ストは１８サイクル程度である。しかしながら、このコ
ードがレンジ・テストとして実施された場合には、これ
に必要なのは４サイクルだけとなろう。このことはこの
特定なコンピュータ・システムにおいて、１８サイクル
の内１４サイクル、すなわち７８％が節約されることを
表す。
【００５５】時間の節約は当分野の技術者に容易に理解
されるように、各種の処理装置、ならびにケース・ステ
ートメントのサイズ及び密度によって異なっているが、
平均して、処理時間の大幅な削減がデータ処理分野で一
般的に使用されるすべてのタイプの処理装置で実現でき
るものである。
されるように、各種の処理装置、ならびにケース・ステ
ートメントのサイズ及び密度によって異なっているが、
平均して、処理時間の大幅な削減がデータ処理分野で一
般的に使用されるすべてのタイプの処理装置で実現でき
るものである。
【００５６】
【発明の効果】本発明はマルチウェイ分岐に可能な各解
法のコストを示す関数を使用し、マルチウェイ分岐を実
行する前に、各方法の相対コストを比較し、かつもっと
もコストの低い方法を実行のために選択することによっ
て、マルチウェイ分岐の実行パフォーマンスを改善する
ものである。
法のコストを示す関数を使用し、マルチウェイ分岐を実
行する前に、各方法の相対コストを比較し、かつもっと
もコストの低い方法を実行のために選択することによっ
て、マルチウェイ分岐の実行パフォーマンスを改善する
ものである。
Claims (9)
- 【請求項１】（ａ）マルチウェイ分岐ステートメントを
選択し、（ｂ）複数の命令シーケンスの各々の相対実行
コストを決定して、前記マルチウェイ分岐ステートメン
トを実施し、（ｃ）前記の複数の命令シーケンスから、
コストのもっとも低い命令シーケンスを選択し、（ｄ）
前記の最低コストの命令シーケンスを実施するステップ
を有する、コンピュータでコンパイルされるプログラム
を最適化する方法。 - 【請求項２】前記の複数の命令シーケンスがレンジ・テ
スト、ジャンプ・テーブル、比較分岐、算術級数、及び
アドレス変換からなる、請求項１記載の方法。 - 【請求項３】（ａ）マルチウェイ分岐ステートメントを
選択し、（ｂ）テストを実行する各方法がジャンプ・テ
ーブル、レンジ・テスト、比較分岐、算術級数、及びア
ドレス変換からなる場合に、該各方法の相対コストを決
定して、前記プログラムがどの分岐を取り入れるかを選
択し、（ｃ）必要なコストがもっとも低い方法を選択し
、（ｄ）選択した方法に対応する命令シーケンスを実施
するステップからなる、コンピュータでコンパイルされ
るプログラムを最適化する方法。 - 【請求項４】前記コストが前記プログラムを実行するの
に必要な機械時間のコストを含んでいる、請求項１また
は請求項３記載の方法。 - 【請求項５】コンパイルされる前記プログラムのソース
・テキストによって決定されるパラメータにしたがって
、複数の選択値を設定することをさらに含んでいる、請
求項１記載の方法。 - 【請求項６】コストの前記の決定が値をコスト決定ヒュ
ーリスティックに挿入することによって行われる方法で
あって、さらに前記コンピュータのアーキテクチャにし
たがって、前記値を前記コスト決定ヒューリスティック
に設定することを含んでいる、請求項１記載の方法。 - 【請求項７】さらに、コスト決定ヒューリスティックを
確立し、該コスト決定ヒューリスティックが前記最低価
格の命令シーケンスを選択するセットに前記定数をクラ
スタ化するステップからなる、請求項１または３のいず
れか記載の方法。 - 【請求項８】（ａ）マルチウェイ分岐を選択する手段と
、（ｂ）テストを実行する各方法がジャンプ・テーブル
、レンジ・テスト、比較分岐、算術級数、及びアドレス
変換からなる場合に、該各方法の相対コストを決定して
、前記プログラムがどの分岐を取り入れるかを決定する
手段と、（ｃ）コストのもっとも低い方法を選択する手
段と、（ｄ）選択した方法に対応する命令シーケンスを
実施する手段とからなる、コンピュータによって実行さ
れるプログラムを最適化する改良されたコンパイラ・シ
ステム。 - 【請求項９】前記コストが前記プログラムを実行するの
に必要な機械時間のコストを含んでいる、請求項８記載
の改良されたコンパイラ・システム。
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CA2010068 | 1990-02-14 | ||
| CA002010068A CA2010068C (en) | 1990-02-14 | 1990-02-14 | Partitioning case statements for optimal execution performance |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH04330527A true JPH04330527A (ja) | 1992-11-18 |
| JP2500079B2 JP2500079B2 (ja) | 1996-05-29 |
Family
ID=4144298
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3040548A Expired - Lifetime JP2500079B2 (ja) | 1990-02-14 | 1991-02-13 | プログラムの最適化方法及びコンパイラ・システム |
Country Status (5)
| Country | Link |
|---|---|
| US (1) | US5339420A (ja) |
| EP (1) | EP0442624A3 (ja) |
| JP (1) | JP2500079B2 (ja) |
| BR (1) | BR9100573A (ja) |
| CA (1) | CA2010068C (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2014132668A1 (ja) * | 2013-03-01 | 2014-09-04 | 株式会社 東芝 | 多分岐判断構文の最適化処理装置 |
| JP2017033342A (ja) * | 2015-08-03 | 2017-02-09 | 富士通株式会社 | コンパイル装置、コンパイル方法およびコンパイルプログラム |
Families Citing this family (22)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5452457A (en) * | 1993-01-29 | 1995-09-19 | International Business Machines Corporation | Program construct and methods/systems for optimizing assembled code for execution |
| JPH06314203A (ja) * | 1993-04-28 | 1994-11-08 | Fujitsu Ltd | コンパイラの最適化方法および装置 |
| CA2190487A1 (en) * | 1994-05-16 | 1995-11-23 | Daniel Kenneth Freeman | Instruction creation device |
| US5787285A (en) * | 1995-08-15 | 1998-07-28 | International Business Machines Corporation | Apparatus and method for optimizing applications for multiple operational environments or modes |
| US5835774A (en) * | 1996-04-30 | 1998-11-10 | Hewlett-Packard Company | Efficient 32-bit based case table support for 64-bit architectures |
| US5778233A (en) * | 1996-10-11 | 1998-07-07 | International Business Machines Corporation | Method and apparatus for enabling global compiler optimizations in the presence of exception handlers within a computer program |
| US6412105B1 (en) | 1997-12-31 | 2002-06-25 | Elbrus International Limited | Computer method and apparatus for compilation of multi-way decisions |
| US6145120A (en) * | 1998-03-24 | 2000-11-07 | Lockheed Martin Corporation | Declaration programming language extension for procedural programming languages |
| US20040210886A1 (en) * | 2003-04-15 | 2004-10-21 | Sverre Jarp | Optimized switch statement code employing predicates |
| US7496905B2 (en) * | 2003-07-18 | 2009-02-24 | Bea Systems, Inc. | System and method for generating state machines |
| US7451299B2 (en) * | 2003-07-18 | 2008-11-11 | Bea Systems, Inc. | System and method for generating multi-way branches |
| KR100613287B1 (ko) * | 2004-12-22 | 2006-08-21 | 동부일렉트로닉스 주식회사 | 수직 게이트를 갖는 반도체 소자 및 그 제조 방법 |
| US7774764B2 (en) * | 2005-12-21 | 2010-08-10 | Intel Corporation | Method and system for efficient range and stride checking |
| US8176479B2 (en) * | 2006-07-21 | 2012-05-08 | National Instruments Corporation | Case structure replacement in a data flow diagram |
| US8813057B2 (en) * | 2007-03-31 | 2014-08-19 | Intel Corporation | Branch pruning in architectures with speculation support |
| US8438003B2 (en) * | 2007-04-12 | 2013-05-07 | Cadence Design Systems, Inc. | Methods for improved simulation of integrated circuit designs |
| US7685584B1 (en) * | 2009-01-05 | 2010-03-23 | International Business Machines Corporation | Heuristic method for the analysis of switch tables in position-independent binary code |
| US8387003B2 (en) * | 2009-10-27 | 2013-02-26 | Oracle America, Inc. | Pluperfect hashing |
| US8438536B2 (en) * | 2009-10-28 | 2013-05-07 | Oracle America, Inc. | Encoding switch on ordered universes with binary decision diagrams |
| US10001978B2 (en) | 2015-11-11 | 2018-06-19 | Oracle International Corporation | Type inference optimization |
| US10394812B2 (en) | 2016-12-06 | 2019-08-27 | International Business Machines Corporation | Case statement optimization |
| US10795682B2 (en) * | 2016-12-28 | 2020-10-06 | Intel Corporation | Generating vector based selection control statements |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH022425A (ja) * | 1988-06-13 | 1990-01-08 | Yaskawa Electric Mfg Co Ltd | 多方向分岐演算の高速化方法 |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5093916A (en) * | 1988-05-20 | 1992-03-03 | International Business Machines Corporation | System for inserting constructs into compiled code, defining scoping of common blocks and dynamically binding common blocks to tasks |
-
1990
- 1990-02-14 CA CA002010068A patent/CA2010068C/en not_active Expired - Fee Related
-
1991
- 1991-01-23 EP EP19910300525 patent/EP0442624A3/en not_active Withdrawn
- 1991-02-01 US US07/649,093 patent/US5339420A/en not_active Expired - Fee Related
- 1991-02-08 BR BR919100573A patent/BR9100573A/pt unknown
- 1991-02-13 JP JP3040548A patent/JP2500079B2/ja not_active Expired - Lifetime
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH022425A (ja) * | 1988-06-13 | 1990-01-08 | Yaskawa Electric Mfg Co Ltd | 多方向分岐演算の高速化方法 |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2014132668A1 (ja) * | 2013-03-01 | 2014-09-04 | 株式会社 東芝 | 多分岐判断構文の最適化処理装置 |
| JP2014194759A (ja) * | 2013-03-01 | 2014-10-09 | Toshiba Corp | 多分岐判断構文の最適化処理装置 |
| US9715374B2 (en) | 2013-03-01 | 2017-07-25 | Kabushiki Kaisha Toshiba | Multi-branch determination syntax optimization apparatus |
| JP2017033342A (ja) * | 2015-08-03 | 2017-02-09 | 富士通株式会社 | コンパイル装置、コンパイル方法およびコンパイルプログラム |
Also Published As
| Publication number | Publication date |
|---|---|
| US5339420A (en) | 1994-08-16 |
| BR9100573A (pt) | 1991-10-29 |
| EP0442624A3 (en) | 1992-11-04 |
| JP2500079B2 (ja) | 1996-05-29 |
| CA2010068A1 (en) | 1991-08-14 |
| CA2010068C (en) | 1993-10-26 |
| EP0442624A2 (en) | 1991-08-21 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH04330527A (ja) | プログラムの最適化方法及びコンパイラ・システム | |
| EP0373361B1 (en) | Generating efficient code for a computer with dissimilar register spaces | |
| EP0214751B1 (en) | A method for vectorizing and compiling object code | |
| US5966539A (en) | Link time optimization with translation to intermediate program and following optimization techniques including program analysis code motion live variable set generation order analysis, dead code elimination and load invariant analysis | |
| EP0428084B1 (en) | Method and apparatus for compiling computer programs with interprocedural register allocation | |
| EP0190622B1 (en) | Method for optimizing operand access and processing in a computer system | |
| US7725883B1 (en) | Program interpreter | |
| US5303357A (en) | Loop optimization system | |
| US4763255A (en) | Method for generating short form instructions in an optimizing compiler | |
| EP0467629B1 (en) | A loop compiler method & apparatus for a data processing system | |
| CA2010056C (en) | Method for improving the efficiency of arithmetic code generation in an optimizing compiler using machine independent update instruction generation | |
| US6345384B1 (en) | Optimized program code generator, a method for compiling a source text and a computer-readable medium for a processor capable of operating with a plurality of instruction sets | |
| US6523173B1 (en) | Method and apparatus for allocating registers during code compilation using different spill strategies to evaluate spill cost | |
| US5946491A (en) | Register allocation method and apparatus for gernerating spill code as a function of register pressure compared to dual thresholds | |
| US6425124B1 (en) | Resource allocation device for reducing the size and run time of a machine language program | |
| US6151704A (en) | Method for optimizing a loop in a computer program by speculatively removing loads from within the loop | |
| US4843545A (en) | Compile method using copy propagation of a variable | |
| US5555412A (en) | Complier and method for alias checking in a complier | |
| US6016398A (en) | Method for using static single assignment to color out artificial register dependencies | |
| US5999735A (en) | Method for constructing a static single assignment language accommodating complex symbolic memory references | |
| EP0180077B1 (en) | A data processing machine for compiling computer programs | |
| EP0252229B1 (en) | Apl-to-fortran translator | |
| Kroha | Code generation for a RISC machine | |
| JPH11161500A (ja) | 実行時依存解析を行う目的プログラムの生成方法 | |
| Kalogeropulos | Identifying the available parallelism using static analysis |