JPH0498330A - オブジェクトコード比較方法 - Google Patents
オブジェクトコード比較方法Info
- Publication number
- JPH0498330A JPH0498330A JP2210345A JP21034590A JPH0498330A JP H0498330 A JPH0498330 A JP H0498330A JP 2210345 A JP2210345 A JP 2210345A JP 21034590 A JP21034590 A JP 21034590A JP H0498330 A JPH0498330 A JP H0498330A
- Authority
- JP
- Japan
- Prior art keywords
- loop
- information
- compiler
- object code
- instruction
- 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 description 12
- 230000006866 deterioration Effects 0.000 abstract description 5
- 238000001514 detection method Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- YASYVMFAVPKPKE-UHFFFAOYSA-N acephate Chemical compound COP(=O)(SC)NC(C)=O YASYVMFAVPKPKE-UHFFFAOYSA-N 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 238000005259 measurement Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
［産業上の利用分野コ
本発明はコンパイラのデバッグ及び評価に関する
［従来の技術］
従来、バージョンアップしたコンパイラのデバッグにお
いては、被デバツグプログラムのコンパイル結果である
オブジェクトリストを目で見ることにより、またはコン
パイルして得られたロードモジュールを実行して実行時
間を測定することによりバグやオブジェクトプログラム
の実行性能低下のチエツクを行っていた。また、オブジ
ェクトリストの比較も行っていたが、単なる比較ではオ
ブジェクトコードが一命令分移動してもチエツクされた
り、一つのブロックで一命令多いと、それよりも後では
たとえ同じ命令列が並んでいても順番が一つずれるため
にすべて異なると判断されるなどの欠点があった。尚、
手続きやＤ○小ループとの時間測定ツールとして、例え
ばＦＯＲＧＥが挙げられる。これはジョン エム・レベ
スク、ジョエル ダブリュー・ウィリアムソン共著、ア
カデミツク トウ フォートラン オン スーパーコン
ピューターズ、頁８３及び頁１８７から２００、アカデ
ミツク プレス社（Ｊｏｈｎ Ｍ。
いては、被デバツグプログラムのコンパイル結果である
オブジェクトリストを目で見ることにより、またはコン
パイルして得られたロードモジュールを実行して実行時
間を測定することによりバグやオブジェクトプログラム
の実行性能低下のチエツクを行っていた。また、オブジ
ェクトリストの比較も行っていたが、単なる比較ではオ
ブジェクトコードが一命令分移動してもチエツクされた
り、一つのブロックで一命令多いと、それよりも後では
たとえ同じ命令列が並んでいても順番が一つずれるため
にすべて異なると判断されるなどの欠点があった。尚、
手続きやＤ○小ループとの時間測定ツールとして、例え
ばＦＯＲＧＥが挙げられる。これはジョン エム・レベ
スク、ジョエル ダブリュー・ウィリアムソン共著、ア
カデミツク トウ フォートラン オン スーパーコン
ピューターズ、頁８３及び頁１８７から２００、アカデ
ミツク プレス社（Ｊｏｈｎ Ｍ。
Ｌｅｖｅｓｑｕｅ、Ｊｏｅｌ Ｗ、ＷｉｌｌｉａＩ［１
ｓｏｎ 、 Ａ Ｇｕｉｄｅｂｏｏｋ ｔ。
ｓｏｎ 、 Ａ Ｇｕｉｄｅｂｏｏｋ ｔ。
Ｆｏｒｔｒａｎ ｏｎ Ｓｕｐｅｒｃｏｍｐｕｔｅｒｓ
、 ｐ８３．ｐ１８７−２００ 。
、 ｐ８３．ｐ１８７−２００ 。
Ａｃａｄｅｍｉｃ Ｐｒｅｓｓ、Ｉｎｃ）において論じ
られている・［発明が解決しようとする課題］ コンパイラの実行性能低下のチエツクは人手によらず、
自動的に行うことを目的とする。また、実行時間を測定
せずにコンパネル時にある程度オブジェクトプログラム
の実行性能のチエツクを行うことを目的とする。
られている・［発明が解決しようとする課題］ コンパイラの実行性能低下のチエツクは人手によらず、
自動的に行うことを目的とする。また、実行時間を測定
せずにコンパネル時にある程度オブジェクトプログラム
の実行性能のチエツクを行うことを目的とする。
［課題を解決するための手段］
上記課題を解決するために一つのソースプログラムを被
デバツグコンパイラ及び使用実績のあるコンパイラでコ
ンパイルして得られるオブジェクトコート乃至オブジェ
クトコード情報を含む中間コード乃至オブジェクトリス
トを入力し、上記入力をブロックに分け、ブロックごと
に命令数ないしパイプラインの空き時間ないしパイプラ
インの空き時間を含む実行時間を求め、複数のコンパイ
ラより得られる上記情報を比較し、もしくは上記入力よ
りＤＯループを検出してＤＯループを構成する各ブロッ
クの情報から得られるＤ○小ループ対する上記情報を比
較して、比較結果を出力するものである。
デバツグコンパイラ及び使用実績のあるコンパイラでコ
ンパイルして得られるオブジェクトコート乃至オブジェ
クトコード情報を含む中間コード乃至オブジェクトリス
トを入力し、上記入力をブロックに分け、ブロックごと
に命令数ないしパイプラインの空き時間ないしパイプラ
インの空き時間を含む実行時間を求め、複数のコンパイ
ラより得られる上記情報を比較し、もしくは上記入力よ
りＤＯループを検出してＤＯループを構成する各ブロッ
クの情報から得られるＤ○小ループ対する上記情報を比
較して、比較結果を出力するものである。
［作用］
被デバツグコンパイラによるコンパイル結果は使用実績
のある、従ってバグの少ないコンパイラによるコンパイ
ル結果と比較されるので、バージョンアップに伴って発
生した性能低下などの）＜グは容易に自動的に見つけ出
すことができる。
のある、従ってバグの少ないコンパイラによるコンパイ
ル結果と比較されるので、バージョンアップに伴って発
生した性能低下などの）＜グは容易に自動的に見つけ出
すことができる。
［実施例］
以下、本発明の一実施例を第１図から第３図までを用い
て説明する。第１図は本発明による処理の流れを示した
ブロック図である。１００はソースプログラムを示し、
１０１，１０３はそれぞれ第１、第２のコンパイラを示
し、１０２はソースプロクラム１００を第１のコンパイ
ラ１０１でコンパイルして得られるオブジェクトコード
情報を含む第１の中間コードを示し、］０４は同様にし
てソースプログラム１００を第２のコンパイラ１０３で
コンパイルして得られるオブジェクトコート情報を含む
第２の中間コートを示している。
て説明する。第１図は本発明による処理の流れを示した
ブロック図である。１００はソースプログラムを示し、
１０１，１０３はそれぞれ第１、第２のコンパイラを示
し、１０２はソースプロクラム１００を第１のコンパイ
ラ１０１でコンパイルして得られるオブジェクトコード
情報を含む第１の中間コードを示し、］０４は同様にし
てソースプログラム１００を第２のコンパイラ１０３で
コンパイルして得られるオブジェクトコート情報を含む
第２の中間コートを示している。
１０５は本比較方法において比較すべき解析結果を出力
する処理を示し、１０６は上記得られた第１の中間コー
ド１０２及び第２の中間コート１０４を入力し、これら
を、分岐命令はその単位内の最後の位置以外になく、か
つ、その単位外からその単位内への分岐がないような連
続した最大の命令単位であるブロックにそれぞれ分割す
るブロックへの分割処理を示し、１０７は上記中間コー
トからＤ○小ループ検出するＤ○小ループ検出処理を示
し、１０８は上記分割されたブロックごとに命令数ない
しパイプラインの空き時間ないし実行時間を解析し、Ｄ
○小ループ構成するブロックの上記解析結果の単純和を
ＤＯループの解析結果とする解析処理を示し、１０９は
第１の中間コート１０２を入力して１０５により出力さ
れた第１の解析結果を示し、１１０は第２の中間コート
１０４を入力して１０５により出力された第２の解析結
果を示し、１１１は第１の解析結果↓０９と第２の解析
結果１１０を入力し、Ｄ○小ループとに上記二つの命令
数ないしパイプラインの空き時間ないし実行時間を出力
し、また、二つの命令数ないし実行時間を比較して、そ
の多い方を指摘する処理を示す。１１２は比較１１１に
より得られる比較結果を示している。
する処理を示し、１０６は上記得られた第１の中間コー
ド１０２及び第２の中間コート１０４を入力し、これら
を、分岐命令はその単位内の最後の位置以外になく、か
つ、その単位外からその単位内への分岐がないような連
続した最大の命令単位であるブロックにそれぞれ分割す
るブロックへの分割処理を示し、１０７は上記中間コー
トからＤ○小ループ検出するＤ○小ループ検出処理を示
し、１０８は上記分割されたブロックごとに命令数ない
しパイプラインの空き時間ないし実行時間を解析し、Ｄ
○小ループ構成するブロックの上記解析結果の単純和を
ＤＯループの解析結果とする解析処理を示し、１０９は
第１の中間コート１０２を入力して１０５により出力さ
れた第１の解析結果を示し、１１０は第２の中間コート
１０４を入力して１０５により出力された第２の解析結
果を示し、１１１は第１の解析結果↓０９と第２の解析
結果１１０を入力し、Ｄ○小ループとに上記二つの命令
数ないしパイプラインの空き時間ないし実行時間を出力
し、また、二つの命令数ないし実行時間を比較して、そ
の多い方を指摘する処理を示す。１１２は比較１１１に
より得られる比較結果を示している。
第２図（Ａ）は、ソースプログラム中のＤ○小ループ第
１のコンパイラ１． Ｏｌでコンパイルした結果得られ
た第１の中間コート１０２の最後の部分をオブジェクト
リストの形式で表したものである。
１のコンパイラ１． Ｏｌでコンパイルした結果得られ
た第１の中間コート１０２の最後の部分をオブジェクト
リストの形式で表したものである。
命令２０１は５番レジスタの内容から値１を引き。
減算後の５番レジスタの内容が評価され、もしその内容
が○でなければラベルＬＡＢ ＃ ＯＯ５０へ分岐し、
もしその内容が○ならば次の命令へ進むことを表してい
る。あらかじめこの５番レジスタにループ繰返し回数を
入れておけばこの命令によりＤＯループの制御が実現で
きる。
が○でなければラベルＬＡＢ ＃ ＯＯ５０へ分岐し、
もしその内容が○ならば次の命令へ進むことを表してい
る。あらかじめこの５番レジスタにループ繰返し回数を
入れておけばこの命令によりＤＯループの制御が実現で
きる。
第２図（Ｂ）は上記Ｄ○ループを第２のコンパイラ１０
３でコンパイルした結果得られた第２の中間コード１０
４の最後の部分をオブジェクトリストの形式で表したも
のである。命令２０２は０番レジスタにアドレスＮの値
を格納する命令であり、命令２０３は０番レジスタの内
容から１を引き、その結果を０番レジスタに格納する命
令であり、命令２０４は０番レジスタの内容をアドレス
Ｎに格納する命令である。命令２０５は０番レジスタの
内容を評価し、その内容が０か正か負かによって、コン
デイションコートの値を設定する命令を示す。命令２０
６は命令２０５によって設定されたコンデイションコー
ドの値がＯに対応する値でなければ、ラベルＬ Ａ Ｂ
：ｊ ＯＯ５０へ分岐し、Ｏに対応する値であれば、
次の命令へ進むことを表している。あらかじめアドレス
Ｎにループ繰返し回数を入れておけばこれらの命令によ
りＤＯループの制御が実現できる。
３でコンパイルした結果得られた第２の中間コード１０
４の最後の部分をオブジェクトリストの形式で表したも
のである。命令２０２は０番レジスタにアドレスＮの値
を格納する命令であり、命令２０３は０番レジスタの内
容から１を引き、その結果を０番レジスタに格納する命
令であり、命令２０４は０番レジスタの内容をアドレス
Ｎに格納する命令である。命令２０５は０番レジスタの
内容を評価し、その内容が０か正か負かによって、コン
デイションコートの値を設定する命令を示す。命令２０
６は命令２０５によって設定されたコンデイションコー
ドの値がＯに対応する値でなければ、ラベルＬ Ａ Ｂ
：ｊ ＯＯ５０へ分岐し、Ｏに対応する値であれば、
次の命令へ進むことを表している。あらかじめアドレス
Ｎにループ繰返し回数を入れておけばこれらの命令によ
りＤＯループの制御が実現できる。
第２図（Ａ）と第２図（Ｂ）は同じ機能を持っているが
、第２図（Ｂ）の方が命令数も多く、実行時間も長い。
、第２図（Ｂ）の方が命令数も多く、実行時間も長い。
し７かし、第２図（Ｂ）は第２図（Ａ）のようにレジス
タを占有して使うことがないので、Ｄ○ループ内の処理
に一つ余計にレジスタを割り当てることができる。
タを占有して使うことがないので、Ｄ○ループ内の処理
に一つ余計にレジスタを割り当てることができる。
第３図は第２図の中間コードを含む、プログラム全体に
対する中間コードを解析して得られた二つの結果を比較
した比較結果１１２を示している。
対する中間コードを解析して得られた二つの結果を比較
した比較結果１１２を示している。
３０１はＤＯループの出現順の番号を示し、３０２はＦ
ＯＲＴＲＡＮのＤＯループ中の最後の文を示すソースプ
ログラム中の文番号を示し、３０３はＤ○ループ中の最
初の文のＩＳＮを、３０４はＤＯループ中の最後の文の
ＩＳＮを示す。
ＯＲＴＲＡＮのＤＯループ中の最後の文を示すソースプ
ログラム中の文番号を示し、３０３はＤ○ループ中の最
初の文のＩＳＮを、３０４はＤＯループ中の最後の文の
ＩＳＮを示す。
３０５はＤ○ループのネストの深さを示す。
３０６から３０８は第１の解析結果１０９の情報を示し
、３０９から３１１は第２の解析結果の情報を示してい
る。３０６と３０９はそれぞれ、Ｄ○ループを構成する
各命令の平均実行時間とパイプラインの空き時間の総和
であるＤＯループの実行時間をサイクル単位で表したも
のであり、３０７と３１０はそれぞれＤＯループ中の命
令数を表し、３０８と３１１はそれぞれＤ○ループ中の
パイプラインの空き時間を表したものである。
、３０９から３１１は第２の解析結果の情報を示してい
る。３０６と３０９はそれぞれ、Ｄ○ループを構成する
各命令の平均実行時間とパイプラインの空き時間の総和
であるＤＯループの実行時間をサイクル単位で表したも
のであり、３０７と３１０はそれぞれＤＯループ中の命
令数を表し、３０８と３１１はそれぞれＤ○ループ中の
パイプラインの空き時間を表したものである。
３００は３０６と３０９を比較し、その値が等しくなけ
れば何も出力せず、値が異なればその値の大きい方が左
にあればＬＥＦＴ、右にあればＲＩＧＨＴを出力する、
比較欄である。３１２は第２図（Ａ）、（Ｂ）に示した
ＤＯループの中間コートを比較した結果、右の方即ち第
２図（Ｂ）に対する中間コートの方が悪いコートである
ことを示している。これにより第２図（Ｂ）はレジスタ
の割当方法が良くないことが分かる。
れば何も出力せず、値が異なればその値の大きい方が左
にあればＬＥＦＴ、右にあればＲＩＧＨＴを出力する、
比較欄である。３１２は第２図（Ａ）、（Ｂ）に示した
ＤＯループの中間コートを比較した結果、右の方即ち第
２図（Ｂ）に対する中間コートの方が悪いコートである
ことを示している。これにより第２図（Ｂ）はレジスタ
の割当方法が良くないことが分かる。
尚、上記実行時間を並列実行できる命令も考慮に入れて
計算することによ多ノ、ベクトルデータを処理する命令
を並列実行するベクトル計算機やスカラデータを処理す
る命令を並列実行するスーパースカラ計算機にも対応で
きる。
計算することによ多ノ、ベクトルデータを処理する命令
を並列実行するベクトル計算機やスカラデータを処理す
る命令を並列実行するスーパースカラ計算機にも対応で
きる。
また、比較はＤＯループごとに限らず、ブロックごとの
比較でもよい。
比較でもよい。
［発明の効果コ
バージョンアップしたコンパイラのデバッグにおいて、
自動的に、またコンパイル時にバグやオブジェクトプロ
グラムの実行性能のチエツクを行うことができ、バグや
実行性能の低下のあった個所もすばやく見つけることが
できる。特に命令スケジューリングの効果も簡単に比較
できる。また。
自動的に、またコンパイル時にバグやオブジェクトプロ
グラムの実行性能のチエツクを行うことができ、バグや
実行性能の低下のあった個所もすばやく見つけることが
できる。特に命令スケジューリングの効果も簡単に比較
できる。また。
単独のコンパイラに適用することによりコンパイラの性
能評価に用いることが出来る。
能評価に用いることが出来る。
第１図は木登明番こよる処理の流れを示したブロック図
である。 第２図は、ソースプログラム中のＤＯループを二つのコ
ンパイラでコンパイルした結果得られたオブジェクト情
報を含む中間コートの最後の部分をオブジェクトリスト
の形式で表したものである。 第３図は第２図の中間コードを含む、プログラム全体に
対する中間コードを解析して得られた二つの結果を比較
した比較結果である。 符号の説明 １００・・・ソースプログラム、１ｏ１・・・第１のコ
ンパイラ、１０２・・・第１の中間コード、１０３・・
・第２のコンパイラ、１０４・・・第２の中間コード。 １０５・・・比較すべき解析結果を出力する処理。 １０６・・・ブロックへの分割処理、１０７・・・ＤＯ
ループの検出処理、１０８・・解析処理、１０９・・・
第１の解析結果、１１０・・・第２の解析結果、１１１
・・・比較処理、１１２・・・比較結果。 第７目
である。 第２図は、ソースプログラム中のＤＯループを二つのコ
ンパイラでコンパイルした結果得られたオブジェクト情
報を含む中間コートの最後の部分をオブジェクトリスト
の形式で表したものである。 第３図は第２図の中間コードを含む、プログラム全体に
対する中間コードを解析して得られた二つの結果を比較
した比較結果である。 符号の説明 １００・・・ソースプログラム、１ｏ１・・・第１のコ
ンパイラ、１０２・・・第１の中間コード、１０３・・
・第２のコンパイラ、１０４・・・第２の中間コード。 １０５・・・比較すべき解析結果を出力する処理。 １０６・・・ブロックへの分割処理、１０７・・・ＤＯ
ループの検出処理、１０８・・解析処理、１０９・・・
第１の解析結果、１１０・・・第２の解析結果、１１１
・・・比較処理、１１２・・・比較結果。 第７目
Claims (1)
- 【特許請求の範囲】 １、一つのソースプログラムを複数のコンパイラでコン
パイルして得られる、オブジェクトコードないしオブジ
ェクトコード情報を含む中間コードないしオブジェクト
リストからなるコンパイル結果を入力し、上記コンパイ
ル結果を、分岐命令がその単位内の最後の位置以外にな
く、かつ、その単位外からその単位内への分岐がないよ
うな連続した最大の命令単位であるブロックに分け、ブ
ロックごとに命令数ないしパイプラインの空き時間ない
しパイプラインの空き時間を含む実行時間を解析し、複
数のコンパイル結果より得られる上記解析結果からそれ
ぞれのコンパイル結果を比較するための情報を生成する
オブジェクトコード比較方法。 ２、該比較情報の生成において、それぞれのコンパイル
結果よりソースプログラム中のＤＯループに対応する部
分を検出し、そのＤＯループ対応部分を構成するブロッ
クの各々についての解析結果から、ＤＯループ対応部分
を比較するための情報を生成する請求項１記載のオブジ
ェクトコード比較方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2210345A JP2901720B2 (ja) | 1990-08-10 | 1990-08-10 | オブジェクトコード比較方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2210345A JP2901720B2 (ja) | 1990-08-10 | 1990-08-10 | オブジェクトコード比較方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0498330A true JPH0498330A (ja) | 1992-03-31 |
| JP2901720B2 JP2901720B2 (ja) | 1999-06-07 |
Family
ID=16587870
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2210345A Expired - Fee Related JP2901720B2 (ja) | 1990-08-10 | 1990-08-10 | オブジェクトコード比較方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2901720B2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2003526135A (ja) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | コンピュータ・システム、コンピュータ読取り可能な記憶媒体および同媒体を動作させる方法、およびコンピュータ・システムを動作させる方法 |
-
1990
- 1990-08-10 JP JP2210345A patent/JP2901720B2/ja not_active Expired - Fee Related
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2003526135A (ja) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | コンピュータ・システム、コンピュータ読取り可能な記憶媒体および同媒体を動作させる方法、およびコンピュータ・システムを動作させる方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2901720B2 (ja) | 1999-06-07 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Camposano | Path-based scheduling for synthesis | |
| Healy et al. | Integrating the timing analysis of pipelining and instruction caching | |
| Ackerman | Data flow languages | |
| Duesterwald et al. | A practical data flow framework for array reference analysis and its use in optimizations | |
| US4710872A (en) | Method for vectorizing and executing on an SIMD machine outer loops in the presence of recurrent inner loops | |
| US6487715B1 (en) | Dynamic code motion optimization and path tracing | |
| US5778233A (en) | Method and apparatus for enabling global compiler optimizations in the presence of exception handlers within a computer program | |
| US6289505B1 (en) | Method, apparatus and computer programmed product for binary re-optimization using a high level language compiler | |
| JPH0475139A (ja) | ループ並列化装置 | |
| KR101787653B1 (ko) | 병렬 파이프라인에서의 분기에 대한 하드웨어 및 소프트웨어 해법 | |
| JP2001522502A (ja) | 複数命令コンピュータプログラムを構成する方法 | |
| Harmon et al. | A retargetable technique for predicting execution time of code segments | |
| Cooper et al. | Building a control-flow graph from scheduled assembly code | |
| EP0442623A2 (en) | Reducing pipeline delays in compilers by code hoisting | |
| EP0742518B1 (en) | Compiler and processor for processing loops at high speed | |
| JPH0748182B2 (ja) | プログラム・エラー検出方法 | |
| US5857093A (en) | Cross-compiled simulation timing backannotation | |
| Narasimhan et al. | Portable execution time analysis for RISC processors | |
| JPH0498330A (ja) | オブジェクトコード比較方法 | |
| JPH05508040A (ja) | 命令スケジューリング最適化方法 | |
| CN114153750B (zh) | 代码检查方法及装置、代码编写方法、电子设备 | |
| Ivutin et al. | Low-level Code Auto-tuning for State-of-the-art Multicore Architectures | |
| Yu et al. | Runtime Profiling of OpenCL Workloads Using LLVM-based Code Instrumentation | |
| US10387128B2 (en) | Method and apparatus for compiling computer-readable computer programs using extended isomorphism | |
| Schonherr et al. | Hazard checking in pipelined processor designs using symbolic model checking |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |