JP3424520B2 - プログラム変換装置とデバッグ装置 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はソフトウェア開発に
おいて、プログラムを実行コードに変換するプログラム
変換装置と、プログラム変換装置によって生成された実
行コードにおける誤りを発見し、設計通りにソフトウェ
アが動作するか検証するデバッグ装置に関するものであ
る。

【０００２】

【従来の技術】近年、プロセッサの開発において高速な
命令実行のために命令コード長を固定化する方法が主流
となってきている。固定命令長のプロセッサでは１６ま
たは３２ビットの命令長であることが多いが、３２ビッ
トの命令長では３２ビット長の定数は最低でも２命令に
分割して表現する必要がある。

【０００３】例えば、ＳＵＮマイクロシステムズ（株）
のＳＰＡＲＣワークステーションに搭載されているプロ
セッサは３２ビットの固定命令長である。このプロセッ
サで使用されているプログラム変換装置では３２ビット
の定数を上位と下位の２命令に分割した実行コードとし
て出力している。生成された実行コードをデバッグ装置
で疑似ソースプログラムに逆変換すると分割された定数
は分割された表記で出力される。

【０００４】図１４は従来の技術におけるプログラム変
換装置とデバッグ装置を合わせた全体構成を示すもので
ある。同図において１０１は入力ソースプログラムであ
る。１０２は入力ソースプログラム１０１を実行可能プ
ログラム１０３に変換するプログラム変換装置である。
１０２は複数のプログラム変換装置から構成されること
もある。１０３には実行コード情報の他にデバッグのた
めに必要なデバッグ情報を含ませることができる。１０
４はデバッグ装置で実行可能プログラム１０３をロード
する機能、実行コードを実行する機能、レジスタやメモ
リなどの資源を操作する機能、実行コードを疑似ソース
プログラム１０５に逆変換して出力する機能、実行コー
ドを変更する機能などを持つ。デバッグ装置１０４には
実行可能プログラムを実行する際に実行履歴情報を記憶
し、後から出力する機能を備えたものもある。

【０００５】図１５は従来のプログラム変換装置の構成
を示すものである。以下、その動作について説明する。
ソースプログラム入力部２０１において記憶装置２１１
から入力されたソースプログラムはプログラム変換部２
０２で中間記述レベル表現に変換される。その後、定数
分割部２０３で定数を扱う命令をプロセッサに適した部
分定数に分割し、プログラム最適化部２０５で命令の並
べ替えや不要コードの削除によるプログラムの最適化が
行なわれる。実行コード出力部２０７において生成され
た実行コードを記憶装置２１１に出力する。デバッグ情
報生成部２０８では実行コードをデバッグするために必
要なデバッグ情報を生成し、デバッグ情報出力部２０９
においてデバッグ情報を記憶装置２１１に出力する。

【０００６】従来のプログラム変換装置によって出力さ
れる実行可能プログラム１０３にはデバッグのためのデ
バッグ情報が含まれる。実行可能プログラム１０３はフ
ァイル内容を識別するためのファイル識別情報８０１、
実行コードの内容を示す実行コード情報８０２、識別子
の名前とその値を関連づける識別子情報８０３、ソース
ファイルの名前と実行コードを関連づけるソースファイ
ル情報８０４、ソースファイル中の行番号と実行コード
を関連づける行番号情報８０５、識別子の型内容を示す
型情報８０６の一部または全部から構成される。

【０００７】以上によって構成された実行可能プログラ
ム１０３は、図１６のように構成される従来のデバッグ
装置によって使用される。以下、その動作について説明
する。デバッグ装置を起動すると利用者からのコマンド
入力待ちとなる。利用者が被デバッグプログラムの読み
込みコマンドを入力装置９１２から入力すると入力解析
部９０１で解析が行なわれ、実行コード入力・記憶部９
０２に制御が移る。９０２では記憶装置９１１より前述
のプログラム変換装置で生成された実行プログラム１０
３を入力し、主記憶に記憶する。

【０００８】次に利用者が実行コードの逆変換コマンド
を入力装置９１２より入力すると入力解析部９０１で解
析がなされ、実行コード逆変換部９０８に制御が移る。
実行コード逆変換部９０８では実行コード入力・記憶部
９０２において記憶していた実行コード及びデバッグ情
報を参照し、これを疑似ソースプログラムに逆変換す
る。生成した疑似ソースプログラムを疑似ソースプログ
ラム出力部９０９より出力装置９１３に出力する。利用
者が実行コードの実行を指示した場合は、同様に９１
２、９０１を経て、実行コード実行部９０３により実行
コード入力・記憶部９０２で記憶した実行コードが実行
される。この際に実行履歴記憶部９０４に実行アドレス
の履歴を記憶しておき、後から実行履歴出力部９０５で
実行履歴を出力装置９１３に出力することができるもの
もある。

【０００９】またデバッグ装置ではその他にレジスタや
メモリなどの資源を参照・変更するための資源参照・変
更部９０６や実行コードを変更するための実行コード変
更部９１０を持つ。

【００１０】

【発明が解決しようとする課題】しかしながら上記のよ
うな構成では、利用者がデバッグ装置において実行コー
ドからソースプログラムに逆変換操作をする際に、分割
された部分定数を元のソースプログラムにあった数値ま
たは識別子として復元して出力できないという問題があ
る。

【００１１】また、デバッグ操作における実行コード中
の定数の変更は、変更前と同じ分割位置に同じビット幅
に分割して行なう必要があり利用者の操作を困難になる
問題がある。利用者が０ｘ００００１０００番地に配置
される変数ａに定数０ｘ１２３４５６７８を代入する実
行コードに対して逆変換コマンドを使用した際の入出力
例を図１７に示す。またニモニックの説明図を図１８に
示す。Ｌ１７０１は利用者によるデバッグコマンドの入
力行である。Ｌ１７０２からＬ１７０５は逆変換出力で
あり、各行は元の入力ソースプログラムに対応する行番
号、実行コードが配置されたアドレス、実行コードの機
械語の値、逆変換したニモニックから構成される。Ｌ１
７０２はレジスタｏ０に定数０ｘ１２３４５６７８の上
位２２ビットすなわち０ｘ１２３４５４００を設定し、
Ｌ１７０３はレジスタｏ０に定数０ｘ１２３４５６７８
の下位１０ビットすなわち０ｘ０００００２７８を１０
進数で表した６３２を論理和を使って設定することを示
している。Ｌ１７０４はレジスタｏ１に変数ａの格納先
であるアドレス０ｘ００００１０００の上位２２ビット
すなわち０ｘ００００１０００を設定し、Ｌ１７０５は
レジスタｏ１とアドレス０ｘ００００１０００の下位１
０ビットすなわち０ｘ０００の論理和から求めた変数ａ
の格納先アドレスのメモリにレジスタｏ０の値を設定す
ることを示している。定数０ｘ１２３４５６７８はＬ１
７０２とＬ１７０３にそれぞれ２２ビットと１０ビット
の部分定数として分割された値のまま出力される。変数
ａのアドレス０ｘ００００１０００番地もＬ１７０４と
Ｌ１７０５の行に分割された値のまま出力される。また
この実行コード中の定数を変更する場合は、利用者が元
と同じビット位置に分割してそれぞれの部分定数を変更
する必要がある。

【００１２】本発明は上記問題点を解決するために実行
コードからソースプログラムに逆変換する際に、定数を
分割した情報を出力することができるプログラム変換装
置を提供することを目的とする。また実行コードからソ
ースプログラムに逆変換する際に、プログラム変換装置
で生成された定数を分割した情報に基づき、定数を復元
してデバッグを行なう際に実行コードの意味を利用者に
理解しやすくすることを可能にするデバッグ装置を提供
することを目的とする。

【００１３】また実行コード中の定数を変更する際に、
変更後の定数をプログラム変換装置で生成された定数を
分割した情報に基づき、変更前と同じ分割位置に同じビ
ット幅に分割して格納し、利用者の手による分割作業を
軽減することを可能にするデバッグ装置を提供すること
を目的とする。またプログラム変換装置から定数を分割
した情報が得られなかった場合は、実行コード情報また
は実行履歴情報を検索して情報を得て、上記問題を解決
するデバッグ装置を提供することを目的とする。

【００１４】

【課題を解決するための手段】この課題を解決するため
に、本発明の請求項１記載のプログラム変換装置は入力
されたソースプログラムに含まれる１つの定数をプロセ
ッサに適した２つ以上の部分定数に分割する定数分割手
段を有し、前記定数分割手段により分割された前記部分
定数をそれぞれ１つの実行コードに含ませて出力する実
行コード出力手段と、前記定数分割手段における定数を
分割しても部分定数から元の定数を復元して出力するこ
とが可能となる定数の分割に関する情報を定数分割情報
として生成し出力する定数分割情報生成手段とを備える
機能を備えたものである。

【００１５】また本発明の請求項２記載のプログラム変
換装置は、請求項１記載のプログラム変換装置に対し
て、入力されたソースプログラムを実行コードに変換す
る際に最適化を行なう最適化手段を有し、前記最適化手
段において請求項１において生成した定数分割情報を最
適化による定数を扱う命令の一部または全部を移動また
は削除を行なった場合、対応する定数分割情報を連係し
て移動または削除する定数分割情報補正手段を含むよう
にしたものである。

【００１６】また本発明の請求項３記載のプログラム変
換装置は、請求項１または２記載の定数分割手段におい
て分割される定数が数値か識別子かのどちらで記述され
ていたかを区別するための情報を前記定数分割情報に付
加して生成し出力するようにしたものである。また本発
明の請求項１から３のいずれか記載のプログラム変換装
置は、前記部分定数のそれぞれに対して、前記部分定数
が分割される前の定数のどの部分かを特定するための情
報と、前記部分定数がどの実行コードに含まれるかを特
定するための情報との少なくとも一方を含むようにした
ものである。

【００１７】次に本発明の請求項５記載のデバッグ装置
は、ソースプログラムに含まれる１つの定数を２つ以上
の部分に分割し、分割された定数を含む実行コードをデ
バッグするデバッグ装置であり、前記実行コードと、定
数がいかに分割されたかを示す定数分割情報とを入力す
る入力手段と、入力された前記実行コードを逆変換して
疑似ソースプログラムを得る逆変換手段と、前記逆変換
手段において得られた前記疑似ソースプログラム中に分
割された定数を検出すると、入力された前記定数分割情
報を利用して前記分割された定数を分割前の定数に置き
換える定数復元手段と、前記定数復元手段により定数の
置き換えられた前記疑似ソースプログラムを出力する出
力手段とを備えたものである。

【００１８】また本発明の請求項６記載のデバッグ装置
は、請求項５記載のデバッグ装置における前記定数復元
手段において、検出した前記疑似ソースプログラム中の
分割された定数に関して、前記定数分割情報が利用でき
ないと判断すると、前記分割された定数を含む実行コー
ドに先行または後続する実行コードから前記分割された
定数の他の部分を含む実行コードを検索し、前記分割さ
れた定数と検索して得られた前記分割された定数の他の
部分とを組合せて分割前の定数を得ることができるよう
ににしたものである。

【００１９】また本発明の請求項７記載のデバッグ装置
は、請求項５記載のデバッグ装置に加えて、入力された
前記実行コードを実行する実行コード実行手段と、前記
実行コード実行手段により実行された実行コードの履歴
を記憶する実行履歴記憶手段とを備え、前記定数復元手
段は、検出した前記疑似ソースプログラム中の分割され
た定数に関して、前記定数分割情報が利用できないと判
断すると、前記実行履歴記憶手段から前記分割された定
数を含む実行コードと前記分割された定数の他の部分を
含む実行コードとを検索し、検索して得られた実行コー
ドに含まれる定数の部分を組合せて分割前の定数を得ら
れるようにしたものである。

【００２０】また本発明の請求項８記載のデバッグ装置
は、請求項７記載のデバッグ装置における前記実行履歴
記憶手段において前記実行コード実行手段により実行さ
れた実行コードのアドレス履歴を記憶し、前記定数復元
手段は、検出した前記疑似ソースプログラム中の分割さ
れた定数に関して、前記定数分割情報が利用できないと
判断すると、前記実行履歴記憶手段から逆変換する実行
コードのアドレスに一致するアドレス履歴を検索し、該
アドレスに先行または後続するアドレスの実行コードか
ら前記分割された定数の他の部分を含む実行コードを検
索し、前記分割された定数と検索して得られた前記分割
された定数の他の部分とを組合せて分割前の定数を得ら
れるようにしたものである。

【００２１】また本発明の請求項９記載のデバッグ装置
は、請求項６から８のいずれか１項に記載のデバッグ装
置における前記定数復元手段において、検出した前記疑
似ソースプログラム中の分割された定数に関して、前記
定数分割情報が利用できないと判断した場合に、組合せ
て得た前記分割前の定数を前記定数分割情報に追加して
記録するようにしたものである。

【００２２】また本発明の請求項１０記載のデバッグ装
置は、請求項５記載のデバッグ装置における前記定数分
割情報において、分割された定数のそれぞれに対して分
割前の定数が数値か識別子かのどちらで記述されていた
かを区別するための情報を含んでなり、前記定数復元手
段は、前記定数分割情報に基づいて、復元した分割前の
定数が識別子で記述されていたことを判断すると、前記
復元した分割前の定数をさらに対応する識別子に置き換
え、前記出力手段は、前記定数復元手段により識別子に
置き換えられた前記疑似ソースプログラムを出力できる
ようにしたものである。

【００２３】また本発明の請求項１１記載のデバッグ装
置は、請求項５記載のデバッグ装置における前記出力手
段において、前記定数復元手段により復元された分割前
の定数に関して、分割前の１つの定数の複数に分割され
た部分を含む全ての実行コードに対応する前記疑似ソー
スプログラム上の部位を他と区別して出力できるように
したものである。

【００２４】また本発明の請求項１２記載のデバッグ装
置は、請求項５記載のデバッグ装置における前記定数分
割情報において、分割された定数のそれぞれに対して分
割される前の定数のどの部分かを特定するための情報を
含んでなり、前記デバッグ装置はさらに、変更すべき定
数を特定する定数特定手段と、前記定数特定手段により
特定された定数に代わる変更定数を入力する定数入力手
段と、前記定数分割情報に基づいて、前記定数特定手段
により特定された定数がいかに分割されているかを判別
し、それと同様に前記定数入力手段により入力された前
記変更定数を分割する定数分割手段と、前記定数分割手
段により判別された分割された定数の各部分を、前記定
数分割手段により分割された前記変更定数の各部分によ
って置き換える定数変更手段とを備えるようにしたもの
である。

【００２５】また本発明の請求項１３記載のデバッグ装
置は、請求項１２記載のデバッグ装置において入力デバ
イスを用いて前記定数特定手段を行なうことができるよ
うにしたものである。また本発明の請求項１４記載のデ
バッグ装置は、請求項５記載のデバッグ装置において対
象とするプロセッサが、命令中に定数レジスタへ格納す
べき定数が置かれていることを解読する解読手段と、前
記解読手段により前記定数が置かれていると解読された
場合には、前記定数レジスタに定数が格納されていない
と判断すると前記定数を所定位置に格納し、前記定数レ
ジスタに定数が既に格納されていると判断すると前記定
数レジスタに既に格納されている定数を残したまま新た
な定数を前記定数レジスタに格納する格納手段と、前記
定数レジスタに格納されている全ての定数を読み出し、
その定数をオペランドとするオペレーションを実行する
実行手段とを備えてなるプロセッサに対応できるように
したものである。

【００２６】また本発明の請求項１５記載のデバッグ装
置は、請求項１４記載のデバッグ装置において前記プロ
セッサは、並列実行する複数のオペレーションからなる
命令を実行するＶＬＩＷプロセッサであって、前記ＶＬ
ＩＷプロセッサは並列実行できるオペレーションがない
場合、オペレーションの代わりに定数が配置された命令
のうち前記定数以外のオペレーションを並列実行すると
ともに、前記定数は順に格納しておき後続の命令で使用
することができるようにしたものである。

【００２７】

【発明の実施の形態】以下、本発明の実施の形態につい
て、図１から図１３を用いて説明する。図１は本発明の
実施の形態におけるプログラム変換装置とデバッグ装置
を合わせた全体構成を示すものである。同図中の１０２
は定数分割情報生成手段１０６、定数分割情報補正手段
１０７、定数分割情報出力手段１０８を持ったプログラ
ム変換装置であり、１０４は定数復元手段１１０と定数
変更手段１１１を持ったデバッグ装置である。入力ソー
スプログラム１０１をプログラム変換装置１０２に入力
すると定数分割手段により定数がプロセッサに適した形
に分割され、実行コードとして生成される。それと対応
する定数復元のためのデバッグ情報が定数分割情報生成
手段１０６により生成される。またプログラム変換装置
内でプログラムの最適化がなされた場合に定数情報補正
手段１０７は定数分割情報を最適化内容に合わせて補正
する。定数分割情報出力手段１０８は完成した定数分割
情報を実行可能プログラム１０３内に定数分割情報１０
９として出力する。

【００２８】デバッグ装置１０４は実行可能プログラム
１０３を入力し実行コードの逆変換を行なうことができ
る。逆変換の際に定数復元手段１１０によって実行コー
ド中の部分定数を元の定数に復元した形で疑似ソースプ
ログラム１０５として出力する。また実行コード中の定
数を変更する場合は定数変更手段１１１により変更前と
同じように分割して変更することができる。

【００２９】まず本発明の実施の形態におけるプログラ
ム変換装置１０２を示す。図２はプログラム変換装置１
０２の構成図を示すものである。２０１はソースプログ
ラム入力部で、記憶装置２０８からソースプログラムを
入力する。２０２はプログラム変換部でソースプログラ
ムを中間記述レベル表現に変換する。２０３は定数分割
部で、中間記述レベル表現中の定数をプロセッサの持つ
オペレーションで効率良く扱える部分定数に分割する。
２０９は定数分割情報生成部で定数分割部２０３におい
て分割した定数に関する情報を生成する。２０４はプロ
グラム最適化部で中間記述レベル表現のプログラム中の
オペレーションを移動して実行順序を変更することや不
要なオペレーションを削除することによって最適化を行
ないつつ実行コードを生成する。２１０は定数分割情報
補正部でプログラム最適化部２０４によって定数を扱う
オペレーションを移動または削除した場合、定数分割情
報生成部２０４で生成した定数分割情報と実際のプログ
ラムの関連づけに差が生じるのを防ぐために、定数分割
情報も移動または削除して補正する。２０５は実行コー
ド出力部でプログラム最適化部によって生成された実行
コードを記憶装置２０８に出力する。２０６はデバッグ
情報生成部でデバッグに必要な識別子や行番号と実行コ
ードの関連づけなどのデバッグ情報を生成する。２０７
はデバッグ情報出力部でデバッグ情報生成部２０６によ
って生成されたデバッグ情報を記憶装置２０８に出力す
る。２１１は定数分割情報出力部で、定数分割情報補正
部２１０によって補正された定数分割情報を記憶装置２
０８に出力する。

【００３０】以上のように構成された本発明の実施の形
態によるプログラム変換装置についてプログラムの一例
を用いてその動作を説明する。実施の形態のプログラム
変換装置において、実行コードを実行するプロセッサの
ハードウェアモデルを図３に示す。同図はＶＬＩＷアー
キテクチャを採るプロセッサであり、Ｒ０からＲ１５の
１６本の３２ビット汎用レジスタを持ち、３２ビット固
定長命令を解読実行する。１命令はＰ０．０からＰ３．
２までの４ビットずつに区切られた８個のフィールドに
分割されており、Ｐ０．０はフィールドの組み合わせ方
法を、Ｐ１．０は分岐オペレーションの種別を、Ｐ２．
０からＰ２．２は第１演算をＰ３．０からＰ３．２は第
２演算を表す。これにより分岐、第１演算、第２演算の
最大３オペレーションが同時に実行できる。また分岐ま
たは演算のオペレーションにおいて全てのフィールドを
使用しなかった場合は、余ったフィールドに後続する命
令で使用する定数を分割して埋める。

【００３１】再び図２の説明に戻る。記憶装置２０８上
にソースプログラムが記憶されている。例としてソース
プログラム中に大域変数ａに１６進数０ｘ１２３４５６
７８を代入する実行文が存在した場合で説明する。ソー
スプログラムはソースプログラム入力部２０１より構文
が適切かチェックしながら入力される。プログラム変換
部２０２ではソースプログラムを中間記述レベル表現に
変換する。変数ａがレジスタＲ０に割り当てられた場
合、図４に示す中間記述レベル表現に変換される。同図
において各行は以下の意味を持つ。Ｌ４０１はデータの
始まりを示す中間記述レベルの疑似命令。Ｌ４０２は変
数ａが大域データであることを示す中間記述レベルの疑
似命令。Ｌ４０３は変数ａ用の領域を確保する中間記述
レベルの疑似命令。Ｌ４０４は実行コードの始まりを示
す中間記述レベルの疑似命令。Ｌ４０５は定数０ｘ１２
３４５６７８をレジスタＲ０に代入することを示す中間
記述レベルの命令。Ｌ４０６は変数ａのアドレスをレジ
スタＲ１に代入することを示す中間記述レベルの命令。
Ｌ４０７はレジスタＲ１のアドレスにレジスタＲ０の内
容を格納することを示す中間記述レベルの命令。

【００３２】図２の定数分割部２０３は、中間記述レベ
ル表現中の定数をプロセッサの持つオペレーションで効
率良く扱える定数のビット幅に分割し、図５に示すプロ
グラムを得る。同図において各行は以下の意味を持つ。
Ｌ５０１はデータの始まりを示す疑似命令。Ｌ５０２は
変数ａが大域データであることを示す疑似命令。Ｌ５０
３は変数ａ用の領域を確保する疑似命令。Ｌ５０４は実
行コードの始まりを示す疑似命令。Ｌ５０５は定数０ｘ
１２３４５６７８の８ビット目から上位２４ビットを蓄
積することを示すオペレーション。“＄”記号は最上位
ビットからの部分定数を表す。Ｌ５０６は定数０ｘ１２
３４５６７８の下位８ビットと蓄積した定数の上位を結
合してレジスタＲ０に代入することを示すオペレーショ
ン。Ｌ５０７は変数ａのアドレスの上位２４ビットを蓄
積することを示すオペレーション。Ｌ５０８は変数ａの
アドレスの下位８ビットと蓄積した定数の上位を結合し
てレジスタＲ１に代入することを示すオペレーション。
Ｌ５０９はレジスタＲ１のアドレスにレジスタＲ０の内
容を格納することを示すオペレーション。

【００３３】図２の定数分割情報生成部２０９は定数分
割部２０３において分割した定数に関する情報を定数分
割情報として図６の６０１から６０６の要素を持たせて
生成する。同図において各情報要素は以下の意味を持
つ。６０１は定数の種別を表す情報。種別には数値、識
別子がある。６０２は定数の分割される前の値そのもの
を表す情報である。６０３は定数を分割した数を表す情
報である。６０４は定数をどのビット位置から分割した
かを表す情報である。６０５は定数をどれだけのビット
長に分割したかを表す情報である。６０６は分割した部
分定数を扱うオペレーションが存在する位置を表す情報
である。位置は命令の存在するアドレスと同一命令中に
複数オペレーションがある場合にどのオペレーションか
を区別するための通し番号で表される。

【００３４】定数が２つに分割された場合は、６０４、
６０５、６０６の要素に対応する値は２つずつ出力され
る。この後、図２のプログラム最適化部２０５でプログ
ラム中の図示しない前後の部分も含めて実行コード長ま
たは実行時間が短くなるようにオペレーションを移動し
て実行順序を変更することや不要なオペレーションを削
除することによって最適化を行ない、図７に示すプログ
ラムを得る。同図において各行は以下の意味を持つ。Ｌ
７０１はデータの始まりを示す疑似命令。Ｌ７０２は変
数ａが大域データであることを示す疑似命令。Ｌ７０３
は変数ａ用の領域を確保する疑似命令。Ｌ７０４は実行
コードの始まりを示す疑似命令。Ｌ７０５は定数０ｘ１
２３４５６７８の上位２４ビットを部分定数として蓄積
することを示すオペレーション。"ＳＦＳＴ"は定数を蓄
積するオペレーションを、"２４"は蓄積するビット数
を、"０ｘ１２３４５６"は分割された部分定数を、"８"
は分割されたビット位置を、"＄"は分割された先頭のオ
ペレーションであることを示している。Ｌ７０６は変数
ａのアドレスの上位１２ビットを部分定数として蓄積す
ることを示すオペレーション。Ｌ５０７の時に比べ最適
化により、分割位置を変更している。Ｌ７０７は定数０
ｘ１２３４５６７８の下位８ビットと蓄積した上位の部
分定数を結合してレジスタＲ０に代入することを示すオ
ペレーション。先頭の"||"記号は直前のオペレーション
とまとめて１命令とすることを示す並列実行記号であ
る。Ｌ７０８は変数ａのアドレスの下位２０ビットと蓄
積した上位の部分定数を結合してレジスタＲ１に代入す
ることを示すオペレーション。Ｌ７０９はレジスタＲ１
のアドレスにレジスタＲ０の内容を格納することを示す
オペレーション。

【００３５】再び図２の説明に戻る。定数分割情報補正
部２１０では、プログラム最適化部２０４によって部分
定数を扱う命令を移動または削除した場合、定数分割情
報と実際のプログラムの関連づけに差が生じるので、定
数分割情報も移動または削除して補正する。実行コード
出力部２０５でプログラム最適化部によって生成された
実行コードを記憶装置２０８に出力する。デバッグ情報
生成部２０６でデバッグに必要なデバッグ情報を生成
し、これをデバッグ情報出力部２０７によって記憶装置
２０８に出力する。定数分割情報出力部２１１では、定
数分割情報補正部２１０によって補正された定数分割情
報を記憶装置２０８に出力する。図７の例が０ｘ８００
０００００番地から実行コードとして出力された場合、
定数分割情報の各要素は図６の６１０から６１８のよう
に出力される。

【００３６】最終的に実行プログラムには図８の情報が
出力される。同図において各情報要素は以下の意味を持
つ。８０１はファイル識別情報で実行可能なプロセッサ
の種類やプログラム変換装置のバージョンなどの情報が
含まれる。８０２は実行コード情報でプロセッサで実行
可能な機械語コードが含まれる。８０３は識別子情報で
識別子とその識別子に対応する値が対で識別子の数だけ
保存されている。８０４はソースファイル情報でプログ
ラム変換装置に入力されたソースファイルの名前や言語
種別などの情報が含まれる。８０５は行番号情報で入力
されたソースファイルの行番号と生成された実行コード
のアドレスを対で実行文の数だけ保存されている。８０
６は型情報で識別子の型に関する情報が含まれる。８０
７は定数分割情報でこの内容は図６の通りである。

【００３７】図８の８０１から８０６の情報は従来の技
術におけるプログラム変換装置においても出力されてい
た情報であるが、８０７が追加された新しい定数分割情
報である。実行ファイルに図８における定数分割情報８
０７の情報が加えられたことによって定数がどのように
分割されたか簡単に知ることができるようになる。

【００３８】次に本発明の実施の形態におけるデバッグ
装置を示す。図９は本発明のデバッグ装置の構成図を示
すものである。９０１は入力解析部で利用者によるデバ
ッグコマンドの入力の意味を解析する。９０２は実行コ
ード入力・記憶部で記憶装置９１１より実行コードを入
力し、主記憶上に記憶しておく。９０３は実行コード実
行部で実行コードを実行する。９０４は実行履歴記憶部
で実行履歴を記憶しておく。９０５は実行履歴出力部で
実行履歴を出力装置９１３に出力する。９０６は資源参
照・変更部でメモリやレジスタなどの資源を参照、変更
する。９０７はソースプログラム入力部でソースプログ
ラムをそのまま出力する場合に使用される。９０８は実
行コード逆変換部で実行コードを疑似ソースプログラム
に逆変換する。９０９は疑似ソースプログラム出力部で
逆変換された疑似ソースプログラムを出力装置９１３に
出力する。９１０は実行コード変更部でプログラム変更
コマンドを処理する。９１４は定数復元部で分割された
部分定数を元の定数に復元する処理を行なう。９１５は
定数変更部で変更する定数を変更前と同じように分割し
て更新する。

【００３９】以上のように構成された本発明の実施の形
態によるデバッグ装置について一例を用いてその動作を
説明する。デバッグ装置を起動すると利用者からのコマ
ンド入力待ちとなる。利用者が被デバッグプログラムの
読み込みコマンドを入力装置９１２から入力すると入力
解析部９０１で解析が行なわれ、実行コード入力・記憶
部９０２に制御が移る。９０２では記憶装置９１１より
前述のプログラム変換装置で生成された図８の情報を含
む実行プログラム１０３を入力し、主記憶に記憶する。

【００４０】次に利用者が実行コードの逆変換コマンド
を入力装置９１２より入力すると入力解析部９０１で解
析がなされ、実行コード逆変換部９０８に制御が移る。
実行コード逆変換部９０８と定数復元部９１４のアルゴ
リズムを図１０のフローチャートを用いて説明する。(S
1001)主記憶より実行コードを参照する。(S1002)実行コ
ードをニモニックに逆変換する。(S1003)ニモニックが
分割された定数の一部を操作するオペレーションか調べ
る。関わりがなければ処理を終了する。(S1004)オペレ
ーションに対応する定数分割情報があるか調べる。定数
分割情報があれば(S1012)に進む。(S1005)オペレーショ
ンに対応する実行履歴情報があるか調べる。実行履歴情
報があれば(S1013)に進む。(S1006)逆変換したい実行コ
ードに先行または後続する実行コードを検索し、分割さ
れた定数の残りの部分を扱う実行コードを取得する。(S
1007)分割された実行コードから分割された部分定数を
集め、一つの定数として復元する。(S1008)集めた定数
分割に関する情報を定数分割情報に追加する。(S1009)
オペレーション中の分割後の部分定数部分を分割前の定
数に置換する。(S1010)定数分割情報より定数が数値か
識別子のどちらで記述されていたか調べる。数値であれ
ば処理を終了する。(S1011)定数部分を該当する識別子
に置換して処理を終了する。(S1012)定数分割情報より
定数を取得し、(S1009)に進む。(S1013)逆変換したい実
行コードに該当する実行履歴情報より、先行または後続
する実行コードを検索し、分割された定数の残りの部分
を扱う実行コードを取得し、(S1007)に進む。

【００４１】図１０の制御の流れは１オペレーションを
逆変換する部分であるので、この制御を逆変換終了アド
レスの最後のオペレーションになるまで繰り返す。実行
コードの逆変換が終了した時点で疑似ソースプログラム
出力部９０９より逆変換結果を出力装置９１３に出力す
る。出力が終了した時点で次のコマンド入力待ちに制御
を戻す。

【００４２】利用者が図７の命令表現に相当する実行コ
ードを逆変換コマンドを使用した際の入出力例を図１１
に示す。Ｌ１１０１は利用者によるデバッグコマンドの
入力行である。Ｌ１１０２からＬ１１０６は逆変換出力
であり、各行は元の入力ソースプログラムに対応する行
番号、実行コードが配置されたアドレス、実行コードの
機械語の値、逆変換したニモニックから構成される。Ｌ
１１０４の行では１命令で複数のオペレーションが表現
されているために２つ目以降のオペレーションを示す行
にはアドレスと機械語コードの出力が省略され、代わり
に並列実行することを示す並列実行記号"||"が出力され
る。Ｌ１１０１の入力を入力解析部９０１が解析する。
先頭の"００１２＞"は利用者に１２番目のデバッグコマ
ンドの入力を促す記号である。続く"ＵＸ"は実行コード
逆変換コマンド名を示しており、"０ｘ８００００００
０，０ｘ８００００００Ｆ"は実行コードを逆変換する
開始と終了アドレスを示している。この解析結果により
実行コード逆変換部９０８に制御が移る。まず０ｘ８０
００００００番地の実行コード"Ｆ１１２３４５６"を主
記憶より参照する。この実行コードをニモニックに逆変
換すると"ＳＦＳＴ２４ ０ｘ１２３４５６"が得られ
る。このオペレーションは定数と関連するために図６の
定数分割情報中の要素６０６とこのオペレーションのア
ドレス及び同一アドレスでの複数のオペレーションを区
別するためのオペレーションの通し番号を比較して対応
する情報があるか検索する。対応する情報が存在した場
合は、要素６０２の値６１１より元の定数が０ｘ１２３
４５６７８であることが特定できるので"ＳＦＳＴ２４
０ｘ１２３４５６７８"に置換する。要素６０４と６０
５の値６１３と６１５よりビット位置が８でビット長が
２４であることがわかるので、ビット位置を加えて"Ｓ
ＦＳＴ２４ ０ｘ１２３４５６７８，８"となり、更に
２４＋８＝３２かつ定数は３２ビット長であるので、最
上位ビットからの部分定数であることがわかるため更
に"＄"記号を付加して"ＳＦＳＴ２４ ０ｘ１２３４５
６７８，８，＄"に置換する。要素６０１の値６１０よ
り定数の種別は数値であることがわかるので０ｘ１２３
４５６７８は数値のまま扱われ復元が終了する。

【００４３】この過程において、もし定数分割情報中に
対応する情報が見つからなかった場合は、Ｌ７０５のオ
ペレーションがある０ｘ８０００００００番地に先行ま
たは後続する実行コードから定数を扱うオペレーション
を検索する。既に実行コードを実行した後で実行履歴が
ある場合はその中から実際に実行したアドレスの実行コ
ードのみを検索し、実行履歴がない場合は実行コードを
前方または後方に連続して検索する。

【００４４】この検索により図７のＬ７０６,Ｌ７０７,
Ｌ７０８の３つのオペレーションが候補に上がる。Ｌ７
０５のオペレーションでは２４ビットの部分定数を扱っ
ているので残りは３２−２４＝８ビットである。Ｌ７０
６は１２ビットもの部分定数を扱っているので候補から
外れる。残った候補の中からＬ７０５に配置が近いオペ
レーションとしてＬ７０７が選択される。Ｌ７０７の実
行コードを参照すると“Ｄ０７８００００”が得られる
ので、この中から部分定数を抽出し０ｘ７８を得る。こ
れにより定数分割情報の内、６０２、６０３、６０４、
６０５、６０６の要素が得られるので６０１の種別は数
値として扱い、定数分割情報を６１０から６１８の値で
生成して記憶する。後は定数分割情報がある場合と同様
の処理により“ＳＦＳＴ２４ ０ｘ１２３４５６７８，
８，＄”が得られる。同様の処理を０ｘ８００００００
Ｆ番値まで繰り返し、Ｌ１１０２からＬ１１０６までの
出力を得る。

【００４５】Ｌ１１０２はＬ７０５と、Ｌ１１０３はＬ
７０６と、Ｌ１１０４はＬ７０７と、Ｌ１１０５はＬ７
０８と、Ｌ１１０６はＬ７０９に対応づけされる逆変換
結果である。通常の出力は何らかの前景色で出力される
が、定数を扱うオペレーションは対応づけを区別できる
ように色わけして出力される。図１１の例ではＬ１１０
２とＬ１１０４は一つの定数を扱うため前景色とは別の
色１で、Ｌ１１０３とＬ１１０５も同様に色１とは別の
色２で出力される。Ｌ１１０７は次のデバッグコマンド
の入力を待機している状態である。

【００４６】次に利用者が実行コードの変更コマンドを
入力装置９１１より入力すると入力解析部９０１で解析
がなされ、実行コード変更部９１０に制御が移る。実行
コード変更部９１０と定数変更部９１５のアルゴリズム
を図１２のフローチャートを用いて説明する。(S1201)
変更後のコードは定数に関わるオペレーションであるか
調べる。定数に関わりがなければ(S1214)へ進む。(S120
2)変更後のコード中に含まれる定数の種類を６０１の情
報を使用して識別子で記述されているか調べる。識別子
でなければ(S1204)へ進む。(S1203)識別子情報より識別
子に対応する定数を求め、変更後のコード中に含まれる
識別子を定数に変換する。(S1204)変更前のコードは定
数全体または定数の一部を扱うオペレーションであるか
調べる。定数全体または定数の一部を扱うのでなければ
(S1211)へ進む。(S1205)変更前コードに対応する定数分
割情報があるか調べる。情報があれば(S1212)へ進む。
(S1206)変更前コードに対応する実行履歴分割情報があ
るか調べる。情報があれば(S1213)へ進む。(S1207)変更
したい実行コードに先行または後続する実行コードを検
索し、分割された定数の残りの部分を扱うオペレーショ
ンを取得する。(S1208)復元した情報を定数分割情報に
追加する。(S1209)定数分割情報中の定数を変更後のも
のに更新する。(S1210)変更前のオペレーション中の定
数部分を変更後の定数に更新して処理を終了する。(S12
11)後続する定数を扱うオペレーションに影響がでる旨
を警告表示する。変更前は定数関連命令ではないにも関
わらずに変更後が定数関連命令のため、定数を分割した
場合に、うまく後続する命令に格納できなくなるので警
告を表示する。(S1212)定数分割情報より分割オペレー
ションを取得する。(S1213)逆変換したい実行コードに
該当する実行履歴より、先行または後続して実行した実
行コードを検索し、分割された定数の残りの部分を扱う
オペレーションを取得する。(S1214)変更前オペレーシ
ョンを変更後オペレーションに更新して処理を終了す
る。

【００４７】実行コードの更新が終了した時点でコマン
ドを終了し、次のコマンド入力待ちに制御を戻す。利用
者が図１１中の定数０ｘ１２３４５６７８を変更する際
の入出力例を図１３に示す。Ｌ１３０１は利用者による
デバッグコマンドの入力行である。先頭の"００１４＞"
は利用者に１４番目のデバッグコマンドの入力を促す記
号である。続く"Ａ"は実行コード変更コマンド名を示し
ており、"０ｘ８０００００００"は実行コードを変更す
るアドレスを示している。Ｌ１３０２には変更前の実行
コードの逆変換結果が出力される。逆変換出力は図１０
と同様の制御で処理され出力内容もＬ１１０２と同じで
ある。Ｌ１３０３は変更後のオペレーションの入力行で
ある。先頭の"？"は利用者に入力を促す記号である。続
く"ＳＦＳＴ２４ ０ｘ８７６５４３２１，８，＄"は利
用者が入力した変更後のオペレーションである。Ｌ１３
０４とＬ１３０５は1回目の変更後かつ2回目の次のアド
レスに移動しての変更前のオペレーションである。Ｌ１
３０２とＬ１３０５のオペレーションを組み合わせて定
数を形成していたために、Ｌ１３０２をＬ１３０３に変
更したことにより、Ｌ１３０５は既に変更された後の定
数として出力されている。Ｌ１３０４の機械語部分もＬ
１３０３において既に変更されたオペレーションに関連
する部分は変更されている。Ｌ１３０６は変更後のオペ
レーションの入力行である。"．"は変更を終了する入力
である。Ｌ１３０７は次のデバッグコマンドの入力を待
機している状態である。

【００４８】次に利用者がコマンド入力ではなくカーソ
ルキーやマウスなどを使用してオペレーションの変更位
置を指定した場合を説明する。利用者が何らかの方法で
図１１のＬ１１０２からＬ１１０６のような実行コード
の逆変換結果を出力装置に出力したとものする。この状
態でカーソルキーやマウスなどの入力装置を使用して変
更したい定数０ｘ１２３４５６７８を指定する際に、Ｌ
１１０２またはＬ１１０４のどちらのオペレーションを
選択しても特定できる機能を持つ。この機能は定数分割
情報中に分割されたオペレーションの位置の情報を定数
分割数６０３の数だけ６０４から６０６の要素から得て
検索することに実現される。

【００４９】このデバッグ装置の定数の復元機能により
部分定数を元の定数のイメージで表示することができ、
利用者の実行コードの内容の理解を助けることができ
る。また、プログラム変換装置から定数分割情報が得ら
れなかった場合においても実行履歴または実行コードを
利用することによって定数を復元できるために既存のプ
ログラム変換装置で作成された被デバッグプログラムに
おいても同様の効果を発揮できる。ここで実行履歴を利
用することにより定数を蓄積する複数のオペレーション
間に分岐命令が入っていても正確に組合せを特定するこ
とができる。更に定数分割情報を追加することで再度同
じ復元を行なう際に高速に復元できるだけでなく、実行
履歴情報が消去された場合にも正確に復元可能となる。

【００５０】このデバッグ装置の定数の変更機能により
定数が部分定数に分割されたことを利用者が意識しなく
ても簡単に変更が可能となる。なお、定数の分割及び復
元は即値だけではなく、絶対アドレス、相対アドレス、
オフセットなどにも適用できるものである。またＶＬＩ
Ｗプロセッサを実施例に使用したが、ＶＬＩＷ以外のプ
ロセッサにも使用可能である。

【００５１】なお、実施例の定数には整数を使用したが
小数や複素数などにも使用可能である。なお、実施例の
定数を扱うオペレーションには転送オペレーションを使
用したが分岐オペレーションなどにも使用可能である。
なお、実施例においては定数は２つに連続したアドレス
に分割された場合を示したが、３つ以上に非連続なアド
レスに分割された場合も使用可能である。

【００５２】なお、実施例においてはデバッグ機能の指
示はコマンド入力による方法を示したが、マウス、トラ
ックボール、タッチパネル、ライトペンなど他の入力デ
バイスによる操作も可能である。なお、分割された定数
を扱うオペレーションを色分けして区別する実施例を示
したが、書体の変更、記号付加、下線の出力など別の表
現で区別することも可能である。

【００５３】

【発明の効果】以上のように本発明における請求項１の
プログラム変換装置は、入力されたソースプログラムに
含まれる定数を、プロセッサに適した２つ以上の部分定
数に分割する定数分割手段と、前記定数分割手段におけ
るデバッグ情報として定数を分割しても部分定数から元
の定数を復元して出力することが可能となる定数の分割
に関する情報として定数分割情報を生成し出力する機能
を備えたものである。この構成によれば定数を分割して
も部分定数から元の定数を復元することが可能となる。

【００５４】また本発明の請求項２記載のプログラム変
換装置は、実行コードの最適化を行なう際、定数を扱う
オペレーションの一部または全部を移動または削除を行
なった場合、対応する定数分割情報を連係して移動また
は削除する定数分割情報補正手段を含むようにしたもの
である。この構成によれば定数分割後に更に最適化を行
なった場合においても、部分定数から元の定数を知るこ
とができるため、最適化を行なっても最適化前と同様に
定数の復元が可能となる。

【００５５】また本発明の請求項３記載のプログラム変
換装置は、前記定数分割情報において分割される定数が
数値か識別子のどちらで記述されていたか区別するため
の情報を生成し出力する機能を追加したものである。こ
れにより定数が即値か識別子のどちらで記述されていた
かプログラム変換後に区別することが可能となる。また
本発明における請求項４記載のプログラム変換装置は、
前記部分定数のそれぞれに対して、前記部分定数が分割
される前の定数のどの部分かを特定するための情報と、
前記部分定数がどの実行コードに含まれるかを特定する
ための情報との少なくとも一方を出力するが、これによ
り実行コードと元の定数の相関関係を知ることができる
ようになる。

【００５６】本発明における請求項５のデバッグ装置
は、ソースプログラムに含まれる１つの定数を２つ以上
の部分に分割し、分割された定数を含む実行コードをデ
バッグするデバッグ装置である。前記実行コードと、定
数がいかに分割されたかを示す定数分割情報とを入力す
る入力手段と、入力された前記実行コードを逆変換して
疑似ソースプログラムを得る逆変換手段と、前記逆変換
手段において得られた前記疑似ソースプログラム中に分
割された定数を検出すると、入力された前記定数分割情
報を利用して前記分割された定数を分割前の定数に置き
換える定数復元手段と、前記定数復元手段により定数の
置き換えられた前記疑似ソースプログラムを出力する出
力手段とを備える。この構成によれば、部分定数を分割
前の定数に復元して疑似ソースプログラムとして出力す
ることが可能になる。

【００５７】また本発明における請求項６のデバッグ装
置は、前記定数復元手段において検出した前記疑似ソー
スプログラム中の分割された定数に関して、前記定数分
割情報が利用できないと判断すると、前記分割された定
数を含む実行コードに先行または後続する実行コードか
ら前記分割された定数の他の部分を含む実行コードを検
索し、前記分割された定数と検索して得られた前記分割
された定数の他の部分とを組合せて分割前の定数を得
る。これにより定数分割情報が得られない場合において
も定数の復元を行なうことができる。

【００５８】また本発明における請求項７のデバッグ装
置は、さらに、入力された前記実行コードを実行する実
行コード実行手段と、前記実行コード実行手段により実
行された実行コードの履歴を記憶する実行履歴記憶手段
とを備え、前記定数復元手段は、検出した前記疑似ソー
スプログラム中の分割された定数に関して、前記定数分
割情報が利用できないと判断すると、前記実行履歴記憶
手段から前記分割された定数を含む実行コードと前記分
割された定数の他の部分を含む実行コードとを検索し、
検索して得られた実行コードに含まれる定数の部分を組
合せて分割前の定数を得る。これにより定数分割情報が
得られない場合においても定数の復元を行なうことがで
きる。

【００５９】また本発明における請求項８のデバッグ装
置は、前記実行履歴記憶手段において、前記実行コード
実行手段により実行された実行コードのアドレス履歴を
記憶し、前記定数復元手段は、検出した前記疑似ソース
プログラム中の分割された定数に関して、前記定数分割
情報が利用できないと判断すると、前記実行履歴記憶手
段から逆変換する実行コードのアドレスに一致するアド
レス履歴を検索し、該アドレスに先行または後続するア
ドレスの実行コードから前記分割された定数の他の部分
を含む実行コードを検索し、前記分割された定数と検索
して得られた前記分割された定数の他の部分とを組合せ
て分割前の定数を得る。これにより異なるアドレスで同
じ命令で定数を分割する実行コードを実行した場合にお
いても、これらをアドレスで区別して正確に一致する実
行履歴情報を特定することができる。

【００６０】また本発明における請求項９のデバッグ装
置は、前記定数復元手段において、検出した前記疑似ソ
ースプログラム中の分割された定数に関して、前記定数
分割情報が利用できないと判断した場合に、組合せて得
た前記分割前の定数を前記定数分割情報に追加して記録
することを特徴とする。これにより同じアドレスに対し
て再び部分定数の復元要求が来た場合に、２回目以降は
実行コードまたは実行履歴を検索する必要がなくなり高
速に処理することができるようになる。また実行履歴を
消去しても復元が可能になる。

【００６１】また本発明における請求項１０のデバッグ
装置は、前記定数分割情報において分割された定数のそ
れぞれに対して分割前の定数が数値か識別子かのどちら
で記述されていたかを区別するための情報を含んでな
り、前記定数復元手段は、前記定数分割情報に基づい
て、復元した分割前の定数が識別子で記述されていたこ
とを判断すると、前記復元した分割前の定数をさらに対
応する識別子に置き換え、前記出力手段は、前記定数復
元手段により識別子に置き換えられた前記疑似ソースプ
ログラムを出力する。これにより識別子で記述されてい
た定数は数値ではなく識別子として復元することが可能
となる。

【００６２】また本発明における請求項１１のデバッグ
装置は、前記出力手段において、前記定数復元手段によ
り復元された分割前の定数に関して、分割前の１つの定
数の複数に分割された部分を含む全ての実行コードに対
応する前記疑似ソースプログラム上の部位を他と区別し
て出力することができる。これによりデバッグ装置の利
用者は疑似ソースプログラム中の部分即値を扱う部分を
他と区別することができる。

【００６３】また本発明における請求項１２のデバッグ
装置は、前記定数分割情報において、分割された定数の
それぞれに対して分割される前の定数のどの部分かを特
定するための情報を含んでなり、前記デバッグ装置はさ
らに、変更すべき定数を特定する定数特定手段と、前記
定数特定手段により特定された定数に代わる変更定数を
入力する定数入力手段と、前記定数分割情報に基づい
て、前記定数特定手段により特定された定数がいかに分
割されているかを判別し、それと同様に前記定数入力手
段により入力された前記変更定数を分割する定数分割手
段と、前記定数分割手段により判別された分割された定
数の各部分を、前記定数分割手段により分割された前記
変更定数の各部分によって置き換える定数変更手段とを
備える。これにより利用者は分割された定数を意識する
ことなく変更することができる。

【００６４】また本発明における請求項１３のデバッグ
装置は、前記定数特定手段において、入力デバイスを用
いることを可能とする。これにより実行コードの逆変換
結果をウィンドウなどに出力した際に、変更対象とする
即値を扱うオペレーションが全て出力できなかった場合
においても容易に変更部位を指定することができるよう
になる。

【図面の簡単な説明】

【図１】本発明の実施の形態におけるプログラム変換装
置とデバッグ装置を合わせた全体構成図

【図２】本発明の実施の形態におけるプログラム変換装
置の構成図

【図３】本発明の実施の形態におけるハードウェアモデ
ルを表す構成図

【図４】本発明の実施の形態における３２ビット定数を
分割する前の中間記述レベル表現例を示す図

【図５】本発明の実施の形態における３２ビット定数を
分割した後の命令表現例を示す図

【図６】本発明の実施の形態における定数分割情報の内
容を表す構造図

【図７】本発明の実施の形態における３２ビット定数を
分割して更に最適化した後の命令表現例を示す図

【図８】本発明の実施の形態における実行可能プログラ
ムに含まれる情報の種類を表す構造図

【図９】本発明の実施の形態におけるデバッグ装置の構
成図

【図１０】本発明の実施の形態における定数復元処理の
流れ図

【図１１】本発明の実施の形態における逆変換コマンド
実行例を示す図

【図１２】本発明の実施の形態における定数変更処理の
流れ図

【図１３】本発明の実施の形態における実行コード変更
コマンド実行例を示す図

【図１４】従来の技術におけるプログラム変換装置とデ
バッグ装置を合わせた全体構成図

【図１５】従来の技術におけるプログラム変換装置の構
成図

【図１６】従来の技術におけるデバッグ装置の構成図

【図１７】従来の技術における逆変換コマンド実行例を
示す図

【図１８】本発明の実施の形態におけるニモニックの説
明図

【符号の説明】

１０１ 入力ソースプログラム １０２ プログラム変換装置 １０３ 実行可能プログラム １０４ デバッグ装置 １０５ 疑似ソースプログラム １０６ 定数分割情報生成手段 １０７ 定数分割情報補正手段 １０８ 定数分割情報出力手段 １０９ 定数分割情報 １１０ 定数復元手段 １１１ 定数変更手段 ２０１ ソースプログラム入力部 ２０２ プログラム変換部 ２０３ 定数分割部 ２０４ プログラム最適化部 ２０５ 実行コード出力部 ２０６ デバッグ情報生成部 ２０７ デバッグ情報出力部 ２０８ 記憶装置 ２０９ 定数分割情報生成部 ２１０ 定数分割情報補正部 ２１１ 定数分割情報出力部 ６０１ 定数種別 ６０２ 定数の値 ６０３ 定数分割数 ６０４ 定数分割ビット位置 ６０５ 定数分割ビット長 ６０６ 定数使用命令位置 ８０１ ファイル識別情報 ８０２ 実行コード情報 ８０３ 識別子情報 ８０４ ソースファイル情報 ８０５ 行番号情報 ８０６ 型情報 ８０７ 定数分割情報 ９０１ 入力解析部 ９０２ 実行コード入力・記憶部 ９０３ 実行コード実行部 ９０４ 実行履歴記憶部 ９０５ 実行履歴出力部 ９０６ 資源参照・変更部 ９０７ ソースプログラム入力部 ９０８ 実行コード逆変換部 ９０９ ソースプログラム出力部 ９１０ 実行コード変更部 ９１１ 記憶装置 ９１２ 入力装置 ９１３ 出力装置 ９１４ 定数復元部 ９１５ 定数変更部

フロントページの続き (56)参考文献 特開 平７−271606（ＪＰ，Ａ) 特開 平５−150979（ＪＰ，Ａ) 特開 平８−6797（ＪＰ，Ａ) 特開 平11−7388（ＪＰ，Ａ) 特開 平11−7387（ＪＰ，Ａ) 特開 平11−53187（ＪＰ，Ａ) 特開 平11−53186（ＪＰ，Ａ) 特開 平11−73325（ＪＰ，Ａ) 特開 平５−35493（ＪＰ，Ａ) 特開 平６−202874（ＪＰ，Ａ) 特開 平７−129411（ＪＰ，Ａ) (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 9/45 G06F 9/44

Claims (15)

(57)【特許請求の範囲】
1. 【請求項１】 ソースプログラムを翻訳しアセンブリ言
   語または機械言語に変換するプログラム変換装置におい
   て、 入力されたソースプログラムに含まれる１つの定数を２
   つ以上の部分定数に分割する定数分割手段と、 前記定数分割手段により分割された前記部分定数をそれ
   ぞれ１つの実行コードに含ませて出力する実行コード出
   力手段と、 前記定数分割手段における定数を分割しても部分定数か
   ら元の定数を復元して出力することが可能となる定数の
   分割に関する情報を定数分割情報として生成し出力する
   定数分割情報生成手段とを備えることを特徴とするプロ
   グラム変換装置。
2. 【請求項２】 前記プログラム変換装置はさらに、 前記実行コードの移動または削除を伴う最適化を行うプ
   ログラム最適化手段と、 前記プログラム最適化手段により前記部分定数を含む実
   行コードの移動または削除がなされた場合、対応する前
   記定数分割情報を連係して移動または削除する定数分割
   情報補正手段とを備えることを特徴とする請求項１記載
   のプログラム変換装置。
3. 【請求項３】 前記定数分割情報生成手段は、前記定数
   分割手段において分割される定数が数値か識別子かのど
   ちらで記述されていたかを区別するための情報を前記定
   数分割情報に付加して生成し出力する機能を有すること
   を特徴とする請求項１または２記載のプログラム変換装
   置。
4. 【請求項４】 前記定数分割情報は、前記部分定数のそ
   れぞれに対して、前記部分定数が分割される前の定数の
   どの部分かを特定するための情報と、前記部分定数がど
   の実行コードに含まれるかを特定するための情報との少
   なくとも一方を含んでなることを特徴とする請求項１か
   ら３のいずれか１項に記載のプログラム変換装置。
5. 【請求項５】 ソースプログラムに含まれる１つの定数
   を２つ以上の部分に分割し、分割された定数を含む実行
   コードをデバッグするデバッグ装置において、 前記実行コードと、定数がいかに分割されたかを示す定
   数分割情報とを入力する入力手段と、 入力された前記実行コードを逆変換して疑似ソースプロ
   グラムを得る逆変換手段と、 前記逆変換手段において得られた前記疑似ソースプログ
   ラム中に分割された定数を検出すると、入力された前記
   定数分割情報を利用して前記分割された定数を分割前の
   定数に置き換える定数復元手段と、 前記定数復元手段により定数の置き換えられた前記疑似
   ソースプログラムを出力する出力手段とを備えたことを
   特徴とするデバッグ装置。
6. 【請求項６】 前記定数復元手段は、検出した前記疑似
   ソースプログラム中の分割された定数に関して、前記定
   数分割情報が利用できないと判断すると、前記分割され
   た定数を含む実行コードに先行または後続する実行コー
   ドから前記分割された定数の他の部分を含む実行コード
   を検索し、前記分割された定数と検索して得られた前記
   分割された定数の他の部分とを組合せて分割前の定数を
   得ることを特徴とする請求項５記載のデバッグ装置。
7. 【請求項７】 前記デバッグ装置はさらに、入力された
   前記実行コードを実行する実行コード実行手段と、前記
   実行コード実行手段により実行された実行コードの履歴
   を記憶する実行履歴記憶手段とを備え、 前記定数復元手段は、検出した前記疑似ソースプログラ
   ム中の分割された定数に関して、前記定数分割情報が利
   用できないと判断すると、前記実行履歴記憶手段から前
   記分割された定数を含む実行コードと前記分割された定
   数の他の部分を含む実行コードとを検索し、検索して得
   られた実行コードに含まれる定数の部分を組合せて分割
   前の定数を得ることを特徴とする請求項５記載のデバッ
   グ装置。
8. 【請求項８】 前記実行履歴記憶手段は、前記実行コー
   ド実行手段により実行された実行コードのアドレス履歴
   を記憶し、 前記定数復元手段は、検出した前記疑似ソースプログラ
   ム中の分割された定数に関して、前記定数分割情報が利
   用できないと判断すると、 前記実行履歴記憶手段から逆変換する実行コードのアド
   レスに一致するアドレス履歴を検索し、 該アドレスに先行または後続するアドレスの実行コード
   から前記分割された定数の他の部分を含む実行コードを
   検索し、 前記分割された定数と検索して得られた前記分割された
   定数の他の部分とを組合せて分割前の定数を得ることを
   特徴とする請求項７記載のデバッグ装置。
9. 【請求項９】 前記定数復元手段は、検出した前記疑似
   ソースプログラム中の分割された定数に関して、前記定
   数分割情報が利用できないと判断した場合に、組合せて
   得た前記分割前の定数を前記定数分割情報に追加して記
   録することを特徴とする請求項６から８のいずれか１項
   に記載のデバッグ装置。
10. 【請求項１０】 前記定数分割情報は、分割された定数
    のそれぞれに対して分割前の定数が数値か識別子かのど
    ちらで記述されていたかを区別するための情報を含んで
    なり、 前記定数復元手段は、前記定数分割情報に基づいて、復
    元した分割前の定数が識別子で記述されていたことを判
    断すると、前記復元した分割前の定数をさらに対応する
    識別子に置き換え、 前記出力手段は、前記定数復元手段により識別子に置き
    換えられた前記疑似ソースプログラムを出力することを
    特徴とする請求項５記載のデバッグ装置。
11. 【請求項１１】 前記出力手段は、前記定数復元手段に
    より復元された分割前の定数に関して、分割前の１つの
    定数の複数に分割された部分を含む全ての実行コードに
    対応する前記疑似ソースプログラム上の部位を他と区別
    して出力することを特徴とする請求項５記載のデバッグ
    装置。
12. 【請求項１２】 前記定数分割情報は、分割された定数
    のそれぞれに対して分割される前の定数のどの部分かを
    特定するための情報を含んでなり、 前記デバッグ装置はさらに、 変更すべき定数を特定する定数特定手段と、 前記定数特定手段により特定された定数に代わる変更定
    数を入力する定数入力手段と、 前記定数分割情報に基づいて、前記定数特定手段により
    特定された定数がいかに分割されているかを判別し、そ
    れと同様に前記定数入力手段により入力された前記変更
    定数を分割する定数分割手段と、 前記定数分割手段により判別された分割された定数の各
    部分を、前記定数分割手段により分割された前記変更定
    数の各部分によって置き換える定数変更手段とを備える
    ことを特徴とする請求項５記載のデバッグ装置。
13. 【請求項１３】 前記定数特定手段は、入力デバイスを
    用いて行われることを特徴とする請求項１２記載のデバ
    ッグ装置。
14. 【請求項１４】 前記デバッグ装置は、対象とするプロ
    セッサが、 命令中に定数レジスタへ格納すべき定数が置かれている
    ことを解読する解読手段と、 前記解読手段により前記定数が置かれていると解読され
    た場合には、前記定数レジスタに定数が格納されていな
    いと判断すると前記定数を所定位置に格納し、前記定数
    レジスタに定数が既に格納されていると判断すると前記
    定数レジスタに既に格納されている定数を残したまま新
    たな定数を前記定数レジスタに格納する格納手段と、 前記定数レジスタに格納されている全ての定数を読み出
    し、その定数をオペランドとするオペレーションを実行
    する実行手段とを備えてなるプロセッサであることを特
    徴とする請求項５記載のデバッグ装置。
15. 【請求項１５】 前記プロセッサは、並列実行する複数
    のオペレーションからなる命令を実行するＶＬＩＷプロ
    セッサであって、前記ＶＬＩＷプロセッサは並列実行で
    きるオペレーションがない場合、オペレーションの代わ
    りに定数が配置された命令のうち前記定数以外のオペレ
    ーションを並列実行するとともに、前記定数は順に格納
    しておき後続の命令で使用するものであることを特徴と
    する請求項１４記載のデバッグ装置。