JPH01166141A - デバッグ情報提供方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔発明の技術分野〕 本発明は、最適化コンパイラを用いてコンパイルされた
コードのデバッグに関するものである。

〔従来技術およびその問題点〕

コードは、一般に高水準プログラミング言語で書かれて
いる。しばしばソース・コードと呼ばれるこの高水準言
語は、コンパイラ・プログラムによってアセンブリ言語
に翻訳される。オブジェクト・コードと呼ばれるアセン
ブリ言語の２進形式は、コンピュータによって実際に実
行されるコードの形式である。

なお、アセンブリ言語とは異なる形式への変換がなされ
る場合もあるが、以下の議論の本質には何ら影響を与え
ないので、その説明・例示は省略する。

コードゆデバッガは、プログラマがコードのエラーを見
つけ出すのを助けるプログラムである。

これは、コード・デバッグ処理の効率を改善するのに極
めて有効なツールである。コード・デバッガの多くは、
アセンブリ・コード会レベルでのコードの動作に関連し
た情報を提供するものである。

しかし、もとのコードが高水準の言語で書かれている場
合、このような形式の情報しか与えられないためにプロ
グラムのデバッグが困難になる。プログラマが高水準言
語でプログラムを書く場合、アセンブリ・コードの形で
現れるこれらのエラーを探索するのはプログラマの望む
ところではない。

この問題を回避するためには、プログラマが、そのプロ
グラムを書いたも環とのコード・レベルでプログラムの
デバッグを行なえるようにする、デバッガ参プログラム
の開発が望ましい。こうしたデバッガ拳プログラムは、
しばしば、ソース・レベル−デバッガと呼ばれる。

コード・デバッガの重要な特徴の１つは、プログラマが
コードの実行を停止し、そのコードが作用している各ユ
ーザ資源における値をチエツクすることができるように
する点にある。ユーザ資源は、通常、ソース・コードで
定義された変数である。ユーザ資源の値は、プログラム
が正しく機能しない場合に、障害の原因を示す手がかシ
を与えるものである。

コンピュータは、オブジェクト・コードによって動作す
るので１．ソース争レベル・デバッｌｆハ、動作時に、
ソース・コード中で名前がつけられているユーザ資源が
、コンピュータによって実際にどこに記憶されているか
を知シ、これＫよって。

ユーザがユーザ資源に関する現在の値を要求すると、デ
バッグ拳プログラムがユーザ資源をどこで見出すことが
できるかを知る必要がある。通常、コンパイラはユーザ
資源がつねに記憶される。ユーザ資源についての記憶ロ
ケーションの割当てを行なう。このような場合、デバッ
ガは、ただその記憶場所に行って、ユーザ資源の値にア
クセスするだけですむ。

最適化されたコードを発生するコンパイラを用いる場合
に困難が生じる。普通、コンパイラ内のオプテイマイザ
の設計目標は、できるだけ速く走るコードを生成するこ
とである。最適化されたコードでは、ユーザ資源がいつ
も同じ場所に記憶されることがないようにするのが望ま
しいことがある。例えば、特定のコード・セクションに
おいであるユーザ資源のアクセス及び書換えの少なくと
入れておくことにより、このレジスタがアクセス／更新
され、他の記憶ロケーションが同時に更新されることが
ないようにすることができる。従って、標準的なデバッ
グ・プログラムは、この特定のセクションの実行中には
このユーザ資源にアクセスする方法を持りていない。従
りて、プログラマは、再びオブジェクト・コードに基づ
いたコードのデバッグを行なおうとするか、あるいは他
の方法を利用せざるを得なくなる。

〔発明の目的〕

本発明は上述したような最適化を行なう場合でもソース
・レベルのデバッグを可能とすることを目的とする。

〔発明の概要〕

本発明の一実施例によれば、最適化コードのシンボリツ
ク・デバッグをサポートする変数レンジを用いる方法及
び装置が提供される。ソース・コード中の各ユーザ資源
について２記述を含むデバッグ・シンボル界が構成され
る。さらに、レンジ表が作成される。レンジ表には、コ
ードが実行される間に色々なロケーションに記憶される
各ユーザ資源毎に、レンジのリストと、各レンジ毎にそ
のユーザ資源がどこにあるかに関する記述が含まれてい
る。ユーザ資源が特定のレンジにおいて定数として記憶
されている場合、その定数の値をレンジ表に記憶してお
いてもよい。デバッグ・シンボル表における各ユーザ資
源についての記述には、個々のユーザ資源について、そ
れについてのレンジのリストがレンジ表に含まれている
か否かを示すフラグが含まれている。そのリストがレン
ジ表中に含まれている場合、そのユーザ資源の記述には
、そのユーザ資源についてのレンジ・リストへのポイン
タが含まれている。このポインタは、例えば、レンジ表
の中へのインデクスで適当なリストを指示するものであ
ってよい。

〔実施例〕

第２Ａ図では、コンパイラ４２がソース・コード４１を
受取り、オブジェクト・コード４３を生成する。オブジ
ェクト・コードはコンピュータ４４で実行される。　　
　　・ 第２Ｂ図では、コンピュータ４４上で走るデバッガ４５
が、ソース・コード４１中のエラーを発見するため、オ
ブジェクト・コード４３を実行する。デバッグの際、デ
バッガ４５はデバッグ・シンボル表５５にアクセスする
。コンパイラ４２には、被生成コード５２を生成するコ
ード・ジェネレータ５１が含まれているように示されて
いる。

コンパイラ４２中のコード・オプテイマイザ５３によっ
て、被生成コードの最適化が行なわれ、オブジェクト・
コード４３が作られる。コード・オプテイマイザ５３は
、マルチ・バス大域オプテイマイザである。コード・オ
プテイマイザ５３は、資源表５４によって記憶ロケーシ
ョンおよびレジスタについての情報を掌握している。各
記憶ロケーションおよびレジスタは、資源表５４中に夫
々固有のエントリを有している。ここにおいて、記憶ロ
ケーションがメモリ資源と呼ばれ、またレジスタがレジ
スタ資源と呼ばれる場合もある。また、記憶ロケーショ
・ンとレジスタがまとめて資源と呼ばれる場合もある。

ソース・コード４１内の各ユーザ資源毎に、デバッガ４
５は、デバッグ・シンボル表５５にデータ構造体を保有
している。これらの構造体は、デバッグ・シンボル表５
５内のエントリである。先行技術によるデータ構造のフ
ォーマットを第３Ａ図に示す。第３Ａ図において、構造
体１０６は、３２ビツトの＃１００〜１０４から構成さ
れている。

゛　語１００には、ユーザ資源に関する情報を示す各　
　−種フイールドが含まれている。１ビツト・フィール
ド１０７には、デバッガに対して構造体１０６のサイズ
・パラメータに関して知らせる情報が記憶されている。

１０ビツト・フィールド１０８は、構造体１０６がどの
タイプの構造体であるかをデバッガ４５に対して指示す
る。例えば、フィールド１０８は、構造体１０６に動的
変数が含まれていることをデバッガ４５に指示すること
ができる。１ビツト・フィールド１０９は、構造体１０
６によって定義される資源が、ソース・コード４１中で
大域的に認識できるか否かを指示する。１ビツト・フィ
ールド１１０は、あるアドレスが間接アドレスであるか
。

直接アドレスであるかを指示する。１ビツト・フィール
ド１１１は、資源がレジスタ・タイプか、動的変数かを
指示する。１８ビツト・フィールド１１２は未使用であ
る。

語１０１には、例えば、実際のアドレスまたはインデク
スであるポインタが含まれている。このポインタは資源
の名前が入っているメモリ・ロケーションを指示する。

この名前は、ソース・コード４１中でのこの資源の指示
のし方を示す。語１０２には、メモリ内で資源が記憶さ
れているロケーションを指示するポインタが含まれてい
る。語１０３は資源のタイプについての情報が記憶され
ているロケーションを示す。語１０４には、Ｃ０ＢＯＬ
構造に用いられる事後間接バイト・オフセットが含まれ
ている。

第３Ａ図では、デバッガ４５は、常に、構造体１０６に
よって定義される資源が同じロケーションで見つかるも
のと期待している。既述のように、これは、コンパイラ
４２が最適化コンパイラでない場合に限って成立するこ
とである。

第３Ｂ図は、本発明の望ましい実施例に従って修正され
た構造体１０６を示している。語１０１−１０４は第３
Ａ図と同じである。語１００には、１ビツトのフィール
ド２１３と２１４が付加されている。フィーｉｖ　ト２
１３　ハ、フィールド２１４がデバッガ４５Ｖｃよりも
つと好都合にアクセスできる位置に置かれるようにする
ための詰め物である。構造体１０６によって定義された
資源に関連するレンジ表がない場合にはフィールド２１
４はリセットされる。構造体１０６によって定義された
資源に関連するレンジ表があれば、フィールド２１４が
セットされる。

さらに、第３Ｂ図には＠２０５が付加されている。

フィールド２１４がセットされている場合には、飴２０
５にはレンジ表へのインデクスが含まれろ。このインデ
クスは、構造体１０６によって定義される資源に関する
レンジの最初のものを指示している。

第１図には、本発明の望ましい実施例によるレンジ表が
示されている。デバッグ・シンボル表からの、ユーザ資
源ｉおよびｊに関するポインタ３１１が、レンジ表内の
レンジを指示する。列３１２には、ユーザ資源ｉおよび
ｊに関するレンジの下戴が含まれている。列３１３には
、ユーザ資源ｉおよびｊに関するレンジの上限が含まれ
ている。列３１４には、ユーザ資源ｉおよびｊのロケー
ションが含まれている。列３１５には、各し゛ンジに関
する情報を示すフラグが含まれている。

例えば、ルンジ３０１〜３０３は、ユーザ責＠＠ｉ”に
関する情報を提供する。プログラム・ロケーション４か
らプログラム・ロケーション１００までの間は、ユーザ
資源ｉはレジスタ資源としてレジスタ５に記憶されてい
る。プログラム・ロケーション１２０からプログラム・
ロケーション１３６までの間では、ユーザ資源ｉは５０
０を値とする定数として記憶されている。プログラム・
ロケーション２００からプログラム・ロケーション２０
４までの間では、ユーザ資源ｉはレジスタ資源としてレ
ジスタ３１°　に記憶されている。これがユーザ資源ｉ
に関する最後のレンジである。レンジ表中にないプログ
ラム・ロケーションにおいては、ユーザ資源ｉの値は利
用できない。

同様に、レンジ３０４およびレンジ３０５は、ユーザ資
源“ｊ”に関する情報を提供するものである。

プログラム・ロケーション８からプログラム・ロケーシ
ョン２Ｃまでの間は、ユーザ資源ｊはレジスタ資源とし
てレジスタ６に記憶されている。プログラム・ロケーシ
ョン１００からプログラム・ロケーション２００までの
間では、ユーザ資源ｊはメモリ・スタック中に、スタッ
ク上のロケーション　　　ｍ−８０に記憶されている。

これがユーザ資源ｊに関する最後のレンジである。レン
ジ表中にないプログラム・ロケーションではこの資源に
関する値は利用できない。

従って、データ構造体１０６がユーザ資源ｉについて記
述しているなら、そのフィールド２１４がセットされ、
語２０５にはレンジ３０１を指示するインデＸクスが含
まれる。データ構造体１０６がユーザ資源ｊについて記
述しているなら、そのフィールド２１４はセットされ、
語２０５にはレンジ３０４を示すインデクスが含まれる
。未使用のフィールド１１２は１６ビツトと短かくなっ
ている。

以下には、コード・オプテイマイザ５３が被生成コード
５２を最適化する際、どのようにしてレンジを計算して
いるかについて説明する。第４図に、コード・ジェネレ
ータ５１が作り出した被生成コードの例が示されている
。第４図のコードには、３つのユーザ資源；ユーザ資源
ｘ、　ｙ、ｚ、が含まれている。この論述の目的は、コ
ード・オプテイマイザ５３が被生成コード５２の最適化
を行なう際、これらのユーザ資源に関するレンジの計算
をどのようにして行なうのかについて明らかにすること
Ｋある。

第５図はコード・オプテイマイザによって、レジスタ使
用促進パス（ｒｅｇｉｓｔｅｒ　ｐｒｏｍｏｔｉｏｎ　
ｐａｓｓ　）が行なわれた後の、第４図の被生成コード
５２を示すものである。このコードは、４つの基本ブロ
ック５０１〜５０４に分割される。基本ブロックは、単
一の入口点と単一の出口点を有する直線的コード・シー
ケンスである。

レジスタ使用促進バスを行なっている間に、コード・オ
プテイマイザは被生成コード５２で用いられている各レ
ジスタまたはメモリ・ロケーション毎に、ウェブ（ｗｅ
ｂ）　　を計算する。ウェブとは、特定の資源にアクセ
スする１組の命令である。資源が特定の値を持つものと
定義されたときくウェブが開始される。その後、この資
源を利用する命令であって、この資源が新しい値を持つ
と定義されるまでのものは皆、このウェブに含まれる。

単一の資源について２つ以上のウェブが構成されること
がある。資源を定義し利用する一群の命令力入この資源
を定義し利用する他の一群の命令から完全に切シ離され
ている場合に、これが起る。

資源がメモリ・ロケーションではなくレジスタに記憶さ
れるときには、コードがよシ速く走行するので、このバ
スにおいてはコード・オプテイマイザは、レジス゛り資
源を使うように変更できるメモリ資源を探す。第５図と
第４図を詳しく比較すると明らかになるように、ユーザ
資源Ｘ、ｙ、および２がそれぞれレジスタｒ９、ｒｌＯ
，およびｒｌｌに「昇格」させられる。第５図から分る
ように、ユーザ資源Ｘに対する各記憶動作は、Ｖジスタ
ｒ９に対するコピーに変更され、ユーザ資源ｙに対する
各記憶動作はレジスタｒｌＯに対するコピーに変更され
、資源２に対する各記憶動作はレジスタｒｌｌに対する
コピーに変更される。

第５図のコードに関して生成されるワエプが下記の表１
に示されている： 表　　　　１ ウェブ番号　　　命　令　　資　源　　２−ｆ資源ポイ
ンタ ｗｅｂｌ　　　　１．２　　　　　ｒｌ　　　　　Ｎｕ
ｌ１ｗｅｂ２　　　２．６．１５　　　ｒ９　　　　　
ｘｗｅｂ３　　　３．４　　　　　ｒ２　　　　Ｎｕｌ
ｌＷｅｂ４　　　４．７　　　　　ｒｌｏ　　　　　ｚ
ｗｅｂ５　　　６．８　　　　　ｒ３　　　　　Ｎｕｌ
１ｗｅｂ６　　　７．８　　　　　ｒ４　　　　Ｎｕｌ
１ｗｅｂ７　　　８，１２、　　　ｒ５　　　　Ｎｕｌ
１１６．１７ ｗｅｂ８　　　１０．１２　　　　ｒｌｌ　　　　　ｙ
ｗｅｂ９　　　１５．１６　　　　ｒ３　　　　Ｎｕｌ
ｌｗｅｂｌｏ　　　１６　　　　　　ｒ６　　　　Ｎｕ
ｌｌｗｅｂｌｌ　　　１７．１９　　　　ｒ９　　　　
　ｘ本発明の目的は、どのウェブがユーザ資源に関連し
ているかを常に掌握しておくことにある。この情報は資
源衣５４内の各資源衣エントリにフィールドの形で記憶
されている。資源衣５４の全ての資源について、それに
関連したユーザ資源があれば、ポインタがデバッグ・シ
ンボル表５５内の　　−そのユーザ資源に関するエント
リを指示する。資源衣エントリに関連したユーザ資源が
なければ、ポインタはナル・ポインタになる。表１では
、各ウェブに対するこのポインタは、′ユーザ資源ポイ
ンタ”と表示された列に示されている。

第５Ａ図には、資源衣５４の一部が示されている。ユー
ザ資源Ｘに関するエントリ５１０にはデバッグ・シンボ
ル表５５中のユーザ資源Ｘに関するエントリな指示する
ポインタ５１０ａが含まれている。ユーザ資源ｙに関す
るエンドＩＪ　５１１にはデバッグ・シンボル表５５中
のユーザ資源ｙに関するエントリを指示するポインタ５
１１ａが含まれている。ユーザ資源２に関するエントリ
５１２にはデバッグ・シンボル表５５中のユーザ資源２
に関するエントリを指示するポインタ５１２ａが含まれ
ている。

第５Ｂ図にはレジスタ使用促進パス後における資源衣５
４が示されている。資源光５４中のエンド！Ｊ　５１０
．５１１および５１２は前と同じである。資源衣５４に
対して新しいエントリ５２０．５２１および５２２が追
加されている。レジスタｒ９に関するエントリ５２０に
はデバッグ・シンボル表５５中のユーザ資源Ｘに関する
エントリを指示するポインタ５１０　ａが含まれている
。レジスタｒｌｌに関するエンｌ”）　５２１　Ｋはデ
バッグ争シンボル表５５中のユーザ資源ｙに関するエン
トリを指示するポインタ５１１ａが含まれている。レジ
スタｒｌＯに関するエントリ５２２にはデバッグ・シン
ボル表５５中のユーザ資源２に関するエントリを指示す
るポインタ５１２ａが含まれている。

さらに、レジスタ使用促進パスの間、コード・オプテイ
マイザ５３は、各基本ブロックの終了時点で生きている
１組のウェブを算出する。特定の基本ブロックの終了時
点で生きているウェブと）Ｌウェブに関連した資源の現
在値が、その特定の基本ブロックに引き続き実行される
他の基本ブロックによって必要とされるということを意
味している。第５図のコードに関し、下記の表２に、ブ
ロック５０１〜５０４の終了時点でとのウェブが生きて
いるかを示す。

表　　　　　２ 基本ブロック　　　　　　活性ウェブ ブロック５０１　　　　ウェブ２．ウェブ７　　　　　
　　　′ブロック５０２　　　　　ウェブ７ ブロツク５０３　　　　ウェブ７、ウェブｘｑ　　　′
ブロック５０４　　　　ウェブ１０ コード・オプテイマイザ５３は、ウェブ間の干渉を判定
するため、もう１つのパスを行なう。パ　−スの結果は
第６図に示され【いる。第６図では、各資源はそれに対
応している表１中のウェブに置　　“を各命令毎に算出
する。各命令毎の１１ｗ５は、その命令の実行時におい
て、現在性きているウェブの集合である。各命令毎のｌ
１ｗ５の算出は次のように行なう。コード・オプテイマ
イザ５３が、ブロック５０１〜５０４のそれぞれについ
て、逆の順序で命令列を走査する。各ブロックにおける
最後の命令についてのｌ　１ｗｓは、表２で与えられる
活性ウェブの集合である。各ブロックにおける逆の順序
による命令列の走査を行なっている間に、コード・オプ
テイマイザ５３が現在のｌ　１ｗｓにないウェブに遭遇
するとコード・オプテイマイザ５３は１１ｗ５　にその
ウェブを追加する。コード・オプテイマイザ５３が、あ
るウェブに対する定義（つまりこのウェブに対応する資
源への値のストア）に出くわすと、そのウェブはｌ　ｌ
　ｗ　ｓから除去される。

各命令の処理後に存在するｌ１ｗ５が、第６図に示され
ている。　。

このバスを行った間に導き出される情報から、ウェブ間
の干渉、すなわち、とのウェブが、他のウェブが生きて
いる特注きているかの判定が行なわれる。下記の表３に
は、第６図のコードについてのウェブ間の干渉が示され
ている。

表　　　　　３ ウェブ　　干渉ウェブ ｗｅｂ１ ｗｅｂ２　　ｗｅｂ３、ｗｅｂ　４１ｗｅｂ　５％ｗｅ
ｂ　６、ｗｅｂ７ｗｅｂ３　　ｗｅｂ２ ｗｅｂ　４　　ｗｅｂ２％ｗｅｂ５ ｗｅｂ　５　　ｗｅｂ　２．ｗｅｂ　４ｗｅｂ６　　ｗ
ｅｂ２．ｗｅｂ５ ｗｅｂ　７　　ｗｅｂ　２．　ｗｅｂ　９、ｗｅｂｌＯ
ｅｂ８ ｗｅｂ９　　ｗｅｂ７ ｗｅｂｌＯｗｅｂ７ ｗｅｂｌｌ コード・オプテイマイザ５３が干渉グラフを作成するの
に利用する同じ情報が、レンジに関する情報の算出にも
利用できる。レンジの算出は次のように行なわれる。

表Ｉにおいて、成るウェブには、デバッグ・シンボル表
５５中のマーザ資源のエンドＩＪ　Ｉｃ対するポインタ
がある。これらのウェブに関する情報は、これらに関連
するユーザ資源のレンジを算出するのに用いられる。こ
れらのレンジの算出に当って、高水位マークと低水位マ
ークが利用される。高水位マークはレンジの上端の前に
ある命令である。

低水位マークはレンジの下端の前にある命令である。

ブロックの末端の１１ｗ５中にウェブがまだ残っている
場合、この最後の命令はそのウェブに関連したユーザ資
源に対する高水位マークである。また、各ブロックにお
ける逆順序の命令列走査をしている間に、コード・オプ
テイマイザ５３が１１ｗ５へのウェブの追加を行なうコ
ード列中の位置において、ここにある命令もやはシその
ウェブに関連したユーザ資源に対する高水位マークと考
えられる。同様に、１１ｗ５からウェブが除去される時
、そこの命令はそのウェブに関連したユーザ資源に対す
る低水位マークと考えられる。また、ブロックの上端は
任意のユーザ資源に対する低水位マークと考えてもよい
。（各ブロック内で命令列を走査することに加えて）ブ
ロック列自体を逆順序で走査すれば、上述のシステムを
改良することが可能である。この場合、次に走査すべき
ブロックの末尾における１１ｗ５中に伺らかのウェブが
存在するなら、その直前に走査したブロックの上端に低
水位マークを置く必要はない。

第６図および第７図を利用して、上述のレンジを決める
方法が第６図に示すコードに対しいかに行なわれるかに
ついて見ることができる。命令１９から始めると、１１
ｗ５にはｗｅｂｌｌが含まれている。

表１から分るように、ｗｅｂｌｌにはユーザ資源ｘへの
ユーザ資源ポインタがある。従って、命令１９はユーザ
資源Ｘについての高水位マークである。

命令１７においてｗｅｂｌｌ　　が定義される。よって
、ｗｅｂｌｌは１１ｗ５から除去される。従って、命令
１７はユーザ資源Ｘについての低水位マークである。

ユーザ資源Ｘについてのレンジ７０１の上限と下限は与
えられたこれらの高水位マークと低水位マークから求め
ることができる。

命令１５においてはｗｅｂ　２が用いられるが、現在１
１ｗ５Ｋは含まれていない。従って、それは。

ｗｅｂ２の最後の使用である。表１によれば、ｗｅｂ２
にはユーザ資源Ｘへのユーザ資源ポインタがある。

従って、命令１５はユーザ資源Ｘについての高水位マー
クである。命令１４はブロック５０３の最初に位置して
いる。ｗｅｂ２はブロック５０２の最後の１　Ｉｗｓに
含まれていない。従って、命令１４はユーザ資源〜につ
いての低水位マークである。ユーザ資源Ｘについてのレ
ンジ７０２はこれらの高水位マークと低水位マークから
決めることができる。

命令１２では、ｗｅｂ　８が用いられているがこれは現
在の１１ｗ５には含まれていない。従ってそれはｗｅｂ
　８の最後゛の使用である。表１によれば。

ｗｅｂ　８にはユーザ資源ｙへのユーザ資源ポインタが
ある。従って、命令１２はユーザ資源ｙについての高水
位マークである。命令１０において、ｗｅｂ８が定義さ
れる。従って、命令１０はユーザ資源ｙについての低水
位マークである。ユーザ資源ｙについてのレンジ７０３
は、これらの高水位マークと低水位マークから決めるこ
とができる。

命令９はブロック５０１の末端である。ｗｅｂ２はブロ
ック５０１の末端にある命令９の１１ｗ５に含まれてい
る。表１によれば、ｗｅｂ２にはユーザ資源Ｘへのユー
ザ資源ポインタがある。従って、命令９はユーザ資源Ｘ
についての高水位マークであム命令７においてｗｅｂ４
が用いられているがこのウェブはｌ　Ｉｗｓには含まれ
ていない。従りてそれはｗｅｂ４の最後の使用である。

表１によれば、ｗｅｂ４には、ユーザ資源２への資源ポ
インタがある。

従って、命命７はユーザ資源２についての高水位マーク
である。命令４において、ｗｅｂ　４が定義される。従
って、命令４はユーザ資源２についての低水位マークで
ある。ユーザ資源２についてのレンジ７０４はこれら高
水位マークと低水位マークから決めることができる。

命令２においてはｗｅｂ２が定義される。従り毛命令２
はユーザ資源Ｘについての低水位マークである。ユーザ
賃源Ｘについてのレンジ７０５は、これら高水位マーク
と低水位マークから決めることができる。この段階で、
第７Ａ図に示すようなレンジ表を作成することができる
。

第７Ａ図のレンジ表において、マーザ資源Ｘ。

ｙ、ｚの各々についてのデバッグ・シンボル表からのポ
インタ１３１は、レンジ表内のレンジを指示する。列１
３２にはユーザ資源Ｘ％ｙおよび２についての各レンジ
の下限が含まれている。列１３３には、ユーザ資源Ｘ％
ｙおよび２に対する各レンジの上限が含まれている。列
１３４には、それぞれのレンジに対応するユーザ資源に
対するロケーションが含まれている。列１３５は、所与
のレンジ内に居る間に、ユーザ資源が格納されていると
ころの資源のタイプを示している。レンジについての情
報はそれぞれのウェブに関連付けられている。例えば、
この関連付けは、レジスタの割りっけを行なうコード・
オプテイマイザ５３の一部（レジスタ割付はルーチンと
呼ばれる）によって構築され利用されるデータ構造体に
対して、レンジのリストを追加することによって行なう
ことができる。

割付はルーチンによって構築されたデータ構造は干渉グ
ラフと呼ばれる。各ウェブ毎に別個のエントリが備わっ
ている。各ウェブについてのレンジのりストが、干渉グ
ラフ中のウェブのエントリに加えられる。

コード・オプテイマイザ５３がこのコードにおいて別の
バスを行なうと、それによってレンジの調整を行なう必
要が生じる可能性がある。例えば、コード・オプテイマ
イザ５３がコピー消去（ｃｏｐｙｅｌｉｍｉｎａｔｒｏ
ｎ　）を行なうかもしれない。コード・オプテイマイザ
５３が、２つのウェブが干渉していないが、共通のコピ
ー命令を共用していると判断したときには、コピー消去
を行なってよい。これが行なわれると、コピーが消去さ
れ、２つのウェブは、単一の複合ウェブになる。

ユーザ資源に関連したウェブが除去されると、除去され
たウェブについてのレンジのリストを複合ウェブに追加
しなければならない。第８図にはコード・オプテイマイ
ザ５３がコピー消去を行った後の第７図のコードが示さ
れている。下記の表４に、コピー消去の結果必要になっ
た表１に対する修正を示す。

表　　　　　４ ｖｒｅｂｌ：ｗｅｂ２ ｗｅｂ２：ｗｅｂ９ ｗｅｂ３：ｗｅｂ４ ｗｅｂ４：ｗｅｂ６ ｗｅｂ５　　　　　６，８　　　　　　　ｒ３　　　　
　　Ｎｕｌ１ｗｅｂ６　　　　　７，８ｔ３，４ｓ４，
７　　　ｒ４＋ｒ２ｔｒｌＯｚｗｅｂ７：ｗｅｂｌｌ ｗｅｂ８：ｗｅｂ７ ｗｅ　ｂ　９　　　　　　１５　ｅ　１６　ｓ　２　＋
　６　ｅ　　　ｒ　３　＋　ｒ　９　＋　ｒ　１　　　
ｘ１５．１．２ ｗｅｂｌｏ　　　　　１６，１９　　　　　　ｒ６　　
　　　　Ｎｕｌｌｗｅｂｌｌ　　　　　　１’Ｌ１９，
８，１２ｗ　　　ｒ９ｔｒ５．ｒｌｌ　　ｘ、ｙ１６．
１７，１０．１２ コード・オプテイマイザ５３はまた定数追出しくｃｏｎ
ｓｔａｎｔ　５ｐｉｌｌ）を行なうこともできる。例え
ばあるウェブが定数変数（ｃｏｎｓｔａｎｔ　ｖａｒｉ
ａｂｌｅ）　Ｌ。

か含んでいなければ、コード・オプテイマイザ５３はレ
ジスタ内にその定数をずっととっておくよりも、それを
使用することになる毎にレジスタに定数を再ロードし、
これによってレジスタを解放する方が有利であると判定
するかもしれない。この場合、以前はレジスタ・レンジ
・タイプであったーレンジが、定数レンジ・タイプに変
更される。ユーザ資源のロケーションは変更され、その
定数と等しい直接値が入れられる。第９図には、コード
・オプテイマイザ５３による定数追出し後に、第８図の
コードがいかに修正されているかが示されている。第９
Ａ図には、第７Ａ図に示すレンジ表が定数追出しの結果
、いかに修正されるかが示されている。第９図を見れば
、レジスタから追出された定数が命令中に直接値として
埋込まれそいることがわかるだろう（命令６．８等）。

この段階において、コード・オプテイマイザ５３はウェ
ブに対してレジスタの割付けを行なう。第１０図には、
レジスタ割付は後における第９図のコードが示されてい
る。ウェブに対するレジスタの割付けがすむと、レンジ
表にそれらのレジスタに関する情報を書込むことができ
る。第１０Ａ図にレジスタ割付は後における第９Ａ図の
レンジ表を示す。

レジスタの割付は時、十分なレジスタがなければ、コー
ド・オプテイマイザ５３がウェブの一部をメモリへ追出
す。追出されたウェブは、定義後。

メモリに記憶され、その使用前に再ロードされる。

これが行なわれる際、レンジの追出しを行なうためにレ
ンジ表のエントリが変更される。低水位マークと高水位
マークは同じままだが、ロケーシ（ンは追出し先のメモ
リ・ロケーションに変更され。

またレンジのタイプは追出しに変更される。

レンジは、別のパスを行なうことによって、しばしば拡
張されることがある。高水位マークは、基本ブロックの
末端またはユーザ資源が入っているレジスタの内容を一
部する可能性のある命令のどちらが先に起るところに移
すことができる。

これを行なうためには、各ウェブ毎に基本ブロックの最
後の命令を上述の拡張された部分の命令として掌握しな
がら、コードを再び逆頭序で走査する。１組のフラグを
用いることによって、基本ブロックの現在の命令と最後
の命令との間で定義されているレジスタを常に掌握し続
ける。レジスタの定義が見つかると、適切なレジスタに
対応するフラグがセットされ、この定義を行なりている
命令へのポインタがウェブに付加される。この定義を行
なっている命令はそのウェブに対する新しい拡張命令に
なる。

呼出しを行なう命令が見つかると、そのｃｏｉｌ命令は
、全てのウェブにおいて拡張命令になる。

これは、呼出しによってレジスタ中の値が一掃されるこ
とがあるからである。

ウェブを使用していることが見つかったとき、そのウェ
ブに割り付けられたレジスタが、最後の命令以前に定義
されていた場合には、その命令がそのウェブに対する拡
張命令になる。

この走査が終了した時、高水位マークが拡張命令より低
位のレンジを有するウェブについては、その拡張命令が
新しい高水位マークになシ、そのレンジはこれに従って
調整される。

最後に、コード・オプテイマイザ内の付加機能ユニット
がコードに対して作用し、既存のレンジとオーバーラツ
プするレンジを生成してよい。この場合、優先順位が最
下位のレンジを短縮しなければならない。例えば、第１
１図では、コード・オプテイマイザ５３内のスケジュー
ラが、命令１１と命令１０の動作を逆にしている。これ
によって。

レンジ７０３とオーバーラツプするスケジューラ・レン
ジ１１９が生成されている。先に生成されたのはレンジ
７０３であるので、これの優先順位が最下位になる。従
って、レンジ７０３は短縮された。第１１Ａ図は第１０
Ａ図に示されたレンジ表がいかに修正されてレンジ７０
３の短縮を反映するようになったかを示すものである。

〔発明の効果〕

以上説明したように、本発明によれば最適化を行なった
コードについてもソース・コード・レベルのシンボリッ
ク・デバッグが可能になるので、ソフトウェアの生産性
の向上に大いに有効である。

【図面の簡単な説明】

第１図は本発明の一実施例におけるレンジ表を示す図、
第２Ａ図および第２Ｂ図は本発明を適用シ得るコンピュ
ータ・システムを説明する図、第３Ａ図および第３Ｂ図
は夫々従来技術および本発明の一実施例において使用さ
れるデバッグ・シンボル表中の構造体を示す図、第４図
はコード・ジェネレータの出力の例を示す図、第５図は
レジスタ使用促進バス後の第４図のコードを示す図、第
５Ａ図は資源表の構成を説明する図、第５Ｂ図はレジス
タ使用促進バス後の資源表の構成を説明する図、第６図
はウェブ間干渉を調べるためのバス後の第５図のコード
を示す図、第７図は第６図に基いて算出したレンジを示
す図、第７Ａ図は第７図に基いて作ることのできるレン
ジ表を示す図、第８図はコピー消去後の第７図のコード
を示す図、第９図は定数散布後の第８図のコードを示す
図、第９Ａ図は定数散布の処理にともなって修正され順
序の変更を行なった後の第１０図のコードを示す図、第
１１Ａ図は命令の順序の変更の処理にともなって修正さ
れた第１０Ａ図のレンジ表を示す図である。 ４１：ソース・コード ４２：コンパイラ ４３：オブジェクト・コード ４４：コンピュータ ５１：コード・ジェネレータ ５２：被生成コード ５３：コード・オプテイマイザ ５４：資源表 ５５：デバッグ・シンボル表 １００〜１０４，２０５　：語 １０６：構造体 １０７〜１１２，２１３，２１４　：フィールド３０１
〜３０５：レンジ ３１１：ポインタ。 出願人　ヒユーレット・パラカード・カンパニー代理人
　弁理士　　長　谷　川　　次　　男ｒ１　　　　　　
　　　　で１ ｓｔｒｕｃｔ　　　　　ＤＮＴＴ−ＶＡＲ（ＩＴＳ ＩＴＳ ＩＴＳ ＩＧ ｐｕｂｌ　ｉｃ　　　　　１　；−，１Ｑ９ｉｎｄｉｒ
ｅｃｔ：　　　１；（７，１１０ｔｙｐｅ； ｏｆｆｓｅｔ； ３日 ｓｔｒｕｃｔ　　　　　ＤＮＴＴ−ＶＡＲ（ＩＴＳ ＩＴＳ ＩＴＳ ＩＴＳ ＩＴＳ ｌ１ ｐｕｂｌｉｃ　　　　　　１；−、：１Ｑ９ｏｆｆｓｅ
ｔ； −ｏｎｇｅ−ｉｎｄｅｘ； 　３Ｂ １　　　Ｉｏａｄｉ　　　３００．ｒ１１８　　１ｎｓ
ｔ ｉ９　　１ｏａｄ　　　ｘ、ｒ６ ＩＧ　　４ ＩＧ　　５ ＦＩＧ　　６ １１ｗｓ　＝　ｅｍｐｔｙ １１ｗｓ　　＝　　ｗｅｂｌ １１ｗｓ　　＝　ｗｅｂ２ １１ｗｓ　＝　ｗｅｂ２．ｗｅｂ３ １１ｗｓ　＝　ｗｅｂ２．ｗｅｂ４ １１ｗｓ　＝　ｗｅｂ２．ｗｅｂ４ １１ｗｓ　＝、ｗｅｂ２．ｗｅｂ４．ｗｅｂ５１１ｗｓ
　＝　ｗｅｂ２．ｗｅｂ５．ｗｅｂ６１１ｗｓ　＝　ｗ
ｅｂ２．ｗｅｂ７ １１ｗｓ　　＝　　ｗｅｂ７ １１ｗｓ　　＝　　ｗｅｂ８ １１ｗｓ　　＝　ｗｅｂ８ １１ｗｓ　　＝　ｗｅｂ７ １１ｗｓ　＝　ｗｅｂ２．ｗｅｂ７ １１ｗｓ　　＝　ｗｅｂ２．ｗｅｂ７ １１ｗｓ　＝　ｗｅｂ７．ｗｅｂ９ １１ｗｓ　　＝　ｗｅｂ７ １１ｗｓ　　＝　　ｗｅｂｌｌ １１ｗｓ　　＝　　ｗｅｂ１１ １　　１ｏａｄｉ　　３００．ｗｅｂＩＦＩＧ　　８ ＩＧ　　９ ＦＩＧ　　１０

Claims (1)

【特許請求の範囲】
1. ソース・コード中で使用される資源の少なくとも一部に
   ついて、コンパイルされたコードの実行中に前記資源が
   実行のどの段階でどこに存在するかを示すレンジ情報を
   保持するデバッグ方式。