JP2002527816A5

JP2002527816A5 -

Info

Publication number: JP2002527816A5
Application number: JP2000576362A
Authority: JP
Filing date: 1998-10-13
Publication date: 2006-01-05

Description

【特許請求の範囲】
【請求項１】リソースにアクセスする命令を有するプログラムを最適化する方法であって、
前記命令による前記リソースの使用状態を示す、前記命令のローカル・ベクトルを判定するステップであって、前記ローカル・ベクトルは、第１部分ベクトルおよび第２部分ベクトルとして与えられる、前記命令のローカル・ベクトルを判定するステップと、
チャイルド・ペアレント・プログラム階層におけるＳＥＳＥ (S ingle-Entry-Single-Exit)構造に関する前記プログラムをスキャンするステップと、
反復的に、前記階層を昇り、前記ローカル・ベクトルからＳＥＳＥベクトルを判定するステップとを備え、前記ＳＥＳＥベクトルは前記ＳＥＳＥ構造による前記リソースの使用状態を示し、前記ＳＥＳＥベクトルは、
（ａ）前記第１部分ベクトルを加算し、前記第２部分ベクトルを減算し、第１グローバル・サクセッサ・ベクトルを加算することによって、第１グローバル・ベクトルとして、および
（ｂ）前記第２部分ベクトルを加算し、前記第１部分ベクトルを減算し、第２グローバル・サクセッサ・ベクトルを加算することにより、第２グローバル・ベクトルとして、
反復的に与えられる、リソースにアクセスする命令を有するプログラムを最適化する方法。
【請求項２】請求項１記載の方法であって、
冗長リソースとして前記ＳＥＳＥベクトルによって特定されるリソースを削除することにより、前記プログラムを修正するステップと、
修正されたＳＥＳＥ構造についてのみ、新規ＳＥＳＥベクトルを判定するステップとをさらに備える請求項１記載の方法。
【請求項３】複数のサクセッサとして生じるサクセッサについて、ＳＥＳＥベクトルを判定する前記ステップは、
（ａ）命令の前記第１グローバル・ベクトルは、前記複数のサクセッサの第１グローバル・ベクトルの合成(combination)によって与えられ、および
（ｂ）命令の前記第２グローバル・ベクトルは、前記複数のサクセッサの第２グローバル・ベクトルの交差(intersection)によって与えられる、請求項１記載の方法。
【請求項４】ＳＥＳＥベクトルを判定する前記ステップにおいて、ＳＥＳＥ境界におけるローカル・ベクトルは、最初に基準ベクトルと比較される請求項１記載の方法。
【請求項５】前記基準ベクトルはゼロ・ベクトルである請求項４記載の方法。
【請求項６】第１ＳＥＳＥにおいて変数を評価するステップであって、
（ａ）前記変数を考慮する、前記第１ＳＥＳＥにおいてＳＥＳＥベクトルを与えるサブステップと、
（ｂ）前記第１ＳＥＳＥに続く、ＳＥＳＥのＳＥＳＥベクトルを与えるサブステップと、（ｃ）サブステップ（ｂ）にて得られた最後のＳＥＳＥベクトルにおいて変数がセットされているかどうかを調べるサブステップと、
を有する、第１ＳＥＳＥにおいて変数を評価するステップをさらに備える請求項１記載の方法。
【請求項７】プログラムを解析する方法であって、
（ａ）前記プログラムの基本ブロック内のライブ情報をシングル・フォーワード・トラバースを用いて計算するステップと、
（ｂ）反復的なバックワード・トラバースを用いて、前記基本ブロックのライブ情報から、ＳＥＳＥ (Single-Entry-Single-Exit)構造内のライブ情報を評価するステップと、
（ｃ）前記ＳＥＳＥ構造のライブ情報から、前記プログラムのライブ情報を取得するステップとを備える、プログラムを解析するための方法。
【請求項８】使用済みリソース用の第１ベクトルと、使用されなくなったリソース用の第２ベクトルとにおいて、ライブ情報が与えられることを特徴とする請求項７記載の方法。
【請求項９】プログラムにおけるリソース・ベクトルを評価する方法であって、
（ａ）基準ベクトルから開始する反復によりＳＥＳＥ内で前記プログラムのＳＥＳＥを解析し、ＳＥＳＥベクトルを与えるステップと、
（ｂ）ステップ（ａ）のＳＥＳＥベクトルを利用して、前記プログラムを解析して、前記リソース・ベクトルを与えるステップと
によって、プログラムにおけるリソース・ベクトルを評価する方法。
【請求項１０】前記ステップ（ａ）において、反復は、ＳＥＳＥベクトルがそれ以上変化しないときに停止されることを特徴とする請求項９記載の方法。
【請求項１１】前記基準ベクトルは、ゼロ・ベクトルである請求項９記載の方法。
【請求項１２】プログラムのリソースをベクトル解析する方法であって、
プログラム・フローは、
（ａ）分岐命令において分割し、
（ｂ）マージ命令においてマージし、および
（ｃ）リニア命令において変化しないものであり、
前記方法は、
それぞれが一つのフロー・エントリおよび一つのフロー・エグジットを有する命令のグループを確立するステップと、
各グループにおいて、
（ａ）一時点において分岐命令の命令ベクトルを、サクセッサ命令の２つまたはそれ以上のベクトルに関連付け、
（ｂ）別の時点においてマージ命令の命令ベクトルをそのプレデセサ命令のベクトルに関連付け、および
（ｃ）リニア命令のベクトルをそのサクセッサ命令のベクトルに関連付けることを選択的に行うことによって、前記グループのベクトルを与えるステップであって、サクセッサ命令およびプレデセサ命令の任意の前記ベクトルは、前記サクセッサ命令またはプレデセサ命令が前記グループに属さない場合に、基準ベクトルに設定される、前記グループのベクトルを与えるステップと、
前記グループ・ベクトルをプログラム・ベクトルに合成するステップとを備える、プログラムのリソースのベクトル解析方法。
【請求項１３】グループ修正をさらに含んで構成される請求項１２記載の方法であって、ベクトルを与える前記ステップは、修正されたグループについてのみ反復される、請求項１２記載の方法。
【請求項１４】プログラム・オプティマイザであって、
最適化されるプログラムを格納し、かつ最適化ソフトウェアを格納するメモリと、
前記最適化ソフトウェアからコマンドを受けるプロセッサと、
該プロセッサは、
（ａ）前記プログラムの命令におけるベクトルを判定して、前記命令によるリソースの使用を示し、
（ｂ）ＳＥＳＥ(Single-Entry-Single-Exit)構造について前記プログラムをスキャンし、および
（ｃ）前記ローカル・ベクトルから、前記ＳＥＳＥ構造による前記リソースの使用を示すＳＥＳＥベクトルを判定し、該ＳＥＳＥベクトルは、
（ａ）前記第１部分ベクトルを加算し、前記第２部分ベクトルを減算し、第１グローバル・サクセッサ・ベクトルを加算することによって、第１グローバル・ベクトルとして、および
（ｂ）前記第２部分ベクトルを加算し、前記第１部分ベクトルを減算し、第２グローバル・サクセッサ・ベクトルを加算することにより、第２グローバル・ベクトルとして、
反復的に与えられる、リソースにアクセスする命令を有するプログラムを最適化することとを備える、プログラム・オプティマイザ。