590
回編集
-
差分
ページの作成:「==デバッガリファレンスマニュアル== HI-TECH CはCプログラムに特化したインタラクティブツールが提供されています。これは"ソ...」
==デバッガリファレンスマニュアル==
HI-TECH CはCプログラムに特化したインタラクティブツールが提供されています。これは"ソースレベル"のデバッガではありません。つまり、Cソースコードの知識はありますが、Cシンボルを扱う仕組みがあり、Cの関数を呼び出しシーケンスも表示できます。
コマンド構造はadbとして知られるUnixデバッガをモデルにしています。これはメモリを基数で？表示したり、ブレイクポイントを設定、削除したりできます。これは これらに関連したコマンドを 繰り返しを計上したり、できます。
===DEBUGの起動===
デバッガはDEBUGコマンドで起動します。0-2個のファイル引数をとります。最初の引数はデバッグされる.COMフォーマットのファイル名で二番目はシンボルファイル名です。シンボルファイル名が省略された場合、シンボルは使用できません。.COMファイルが省略された場合、コードが読み込まれません。いかに例を挙げます。
DEBUG fred.com
DEBUG bill.com l.sym
===1.2. 実行時の構築？？===
DEBUGは普通の場合、 デバッグされるものがTPAの最初から読み込めるよう実行時にBDOSの前に自分自身を再配置します。5番目のBDOSエントリはBDOSのベース部分ではなく、むしろシンボルテーブルを反映して変更されます。そのため、シンボルテーブルとデバッガは、デバッガされるもののスタックによって上書きされることはありません。
デバッガはどんな.COMファイルでも使えます。しかし、シンボリック機構？でのアドバンテージを得るために、通常、Cコマンドの-Fオプションとともに使用するシンボルファイルの生成が必要です。このがいるはシンボルが一行ごとに 構成されています。
ブレークポイントはRST 8 命令のコードとして挿入されます。デバッガのトラップハンドラのために、ジャンプはロケーション8に置かれます。システムがRST 8を割り込みに使っているとしたら不幸なことですが、他の場所をリスタートの場所に使う、という以上のことではないでしょう。
===コマンド===
デバッガの基本的なコマンド様式は以下の通りです。
address , count command modifier extrastuff
これはちょっとあいまいに見えるかもしれませんが、見ておいてください。addressとcountはエクスプレッション（式）で、単純な16進数です。addressとcountはオプション的で、addressがなくcountだけが指定された時、カンマは必須です。
commandは何をすべきかを命令する一文字です。モディファイアはさらにどんなコマンドか決定する他の文字です？？extrastuffはある種の命令に依存しますが、通常は省略されます。
====エクスプレッション（式）====
式は次のものから構成されます。
;<nowiki>.</nowiki>
:この値は現在の位置（カレントPC?もしくは最後のブレークポイントでは必要ありません。これは内部的な現在地です。）
;<nowiki>SYMBOL</nowiki>
:シンボルテーブルで参照されるシンボルの値です。シンボルが見つからない場合は、アンダースコアと同じシンボルが前につきます？？。これはコンパイラが、アンダースコアが付いていないCシンボルを参照することを可能にします？？。
;<nowiki>INTEGER</nowiki>
:16進数の整数です。数値で始まらなくてはいけません。そうでない場合、デバッガはシンボルだと考えます。
;<nowiki><REGNAME</nowiki>
:これはZ80レジスタに指定された内容を渡します。レジスタ名は通常のZ80の名前で、小文字のみです。下記の$rコマンドも参照してください。
;<nowiki>(EXPR)</nowiki>
:評価の順番を強制するため、エクスプレッションをカッコでとじることができます。アドレスEXPRの単語の内容です。これはCの間接演算子と似ています？？EXPRの逆です。
;<nowiki>*EXPR</nowiki>
:アドレスEXPRのワードの内容です。これはCの非直接的な命令に似ています？？
;<nowiki>-EXPR</nowiki>
:EXPRの否定です
;<nowiki>~EXPR</nowiki>
:EXPRのビット指定です。
;<nowiki>E1+E2</nowiki>
:E1とE2の合計です。
;<nowiki>E1-E2</nowiki>
:E2の値で引いたE1の値です。
;<nowiki>E1*E2</nowiki>
:E2にE2をかけた値です。
;<nowiki>E1%E2</nowiki>
:E1をE2で割った値です。
;<nowiki>E1&E2</nowiki>
:E1をE2でand（論理積）した値です。
カッコは評価の順序を変えられます。
====コマンド文字====
主要なコマンド文字は/です。これはさまざまな基数や命令のメモリ内容を表示します？正確なフォーマットはモディファイア文字、モディファイア文字が省略された場合は、以前のフォーマットによって決定されます。
モディファイアは以下の通りです。
;i
:Z80命令として表示します。
;h もしくは b
:16進数のバイトとして表示します。
;o
:8進数のバイトとして表示します。
;d
:10進数のバイトとして表示します。
;H もしくは W
:16進数のワードとして表示します。
;O
:8進数のワードとして表示します。
;D
:10進数のワードとして表示します。
;c
:アスキー文字として表示します。
;C
:アスキー文字として表示可能であれば表示しますが、もしそうでない場合は@xのように表示します。xは対応するアルファベット文字になります。
;s
:nullになるまで文字列を表示します。
;a
:シンボル値としてアドレスを表示します。
アドレスが指定された場合、表示は指定されたアドレスから開始します。バイト数、命令、ワード、文字列、もしくはその他が表示されるか、カウントが省略された場合、1が表示されます？以下は例です。
fred,10/b
123/i
最初のコマンドはシンボルfredから16バイトを表示します。二番目は124Hからの一つの命令を表示します。
このようなコマンドが発行されると、dotの値は、表示されているバイトの合計数だけ、一時的に増加します。
RETURN,LINE,FEEDで構成される、その後のコマンドが一時的なdotの増加を恒常的なものにし、/コマンドを実行します。
/コマンドはメモリの変更にも使用できます。/w EXPRはexprの値を現在位置（dot）のメモリに書き込みます。
ワードでもバイトでも、/コマンドで最後に使用されたフォーマットに応じて書き込むことができます。
/wコマンドはバイト、ワード型以外のフォーマットでは発行することができません。そのため、iフォーマットではメモリに書き込めません。ある日ふとインラインアセンブラが組み込まれるかもしれませんが、それはまだです。
]コマンドは/コマンドのようなものですが、メモリよりもむしろI/Oポートを表示するという点が違います。
これはh,b,o,dのフォーマットでのみ使用されます。さらに]wはI/Oポートに書きこむために使用できます。
$コマンドは以下に挙げるいろいろなモディファイアを使用できます。
;c
:Cスタックのバックトレースを表示します。これは最適化されたプログラムでは、信頼できません。なぜなら、オプティマイザーがスタックマニピュレーションコードを変更してしまうからです。これは、実際の引数よりも少ない時に現れます？？長い引数は常に２つの整数として現れます。
;b
:現在設定されたブレークポイントを表示します。
;s
:与えられたアドレスにマッチするシンボルの限界をセットします？？これはsym+offsetとして、値が表示されたときに？オフセットの最大値を決定します。
;w
:ターミナルの幅をアドレスに設定します。初期値は10進数の80です。
;r
:全てのZ80レジスタの内容を表示します。
<nowiki>:</nowiki>コマンドは以下のモディファイアを持ちます。
アドレスからプログラムを実行します。アドレスが省略された場合は、シンボルをスタートさせようとします？？
もし、見つからない場合は、デバッガがエラーを出します(文句をいう？)。
;r
:このコマンドとともにextrastuffがプログラムに対する追加の引数文字列として追加可能です。80H内のデフォルトバッファに入ります？rとextrastuffの間にはスペースが入ることを確認してください。
例
100:r arg1 arg2
;c
:アドレスか、アドレスが省略された場合にはPCのコンテンツから、プログラムを継続します。ブレークポイントの後に使われます。
;s
:cと同様ですが、命令しかカウントしないか、カウントが省略された場合に1を計上します？？これらの1ステップはデバック対象です。
:bはアドレスでブレークポイントを設定します。カウントが提供された場合、ブレークポイントはカウント時間になるまで？止まりません。Extrastuffはブレークポイントに当たる度に毎回実行されるコマンドになります？？
;b
:コマンドがdotをゼロにした場合、カウントがゼロでなくても、ブレークポイントは止まります。
;<nowiki> .</nowiki>
:アドレスと続く実行に対して、一時的なブレークポイントを設定します。次のブレークポイントに遭遇したときに、この一時的なブレークポイントは削除されます。
;d
:アドレスでブレークポイントを削除します。>コマンドでレジスタの値を変更できます。ワード、バイトレジスタが指定できます。割り込みフラグも変更できます。0はオフを、1はオンを意味します。
===例===
以下はデバッガ使用の例です。
A>type tst.c
main()
{
int i, j;
scanf("%d", &i);
printf("%d\n", j); Note the error - j should be i
}
A>c -f tst.c Compile requesting a symbol file
A>debug tst.com l.sym Default symbol file name is l.sym
ZDEBUG
: printf/i Disassemble at printf
_printf: call csv
: Step down with RETURN
_printf+3: push ix
: :b Set a breakpoint here
: :r Run the program - no arguments
123 Scanf waits for input - enter 123
Breakpoint _printf+3
_printf+3: push ix Stopped at the breakpoint
: $c Get a stack trace
_printf(1872,0) 1872 is the format string "d\n"
_main()
: main/i Look at main() now
_main: call csv
: Step down with RETURN
_main+3: ld hl,FFFC
:
_main+6: add hl,sp
: ,10 Disassemble 16 instructions
_main+7: ld sp,hl
_main+8: push ix
_main+A: pop hl
_main+B: dec hl
_main+C: dec hl
_main+D: push hl
_main+E: ld hl,186F
_main+11: push hl
_main+12: call _scanf
_main+15: ld hl,4
_main+18: add hl,sp
_main+19: ld sp,hl
_main+1A: ld l,(ix+-4) here j is loaded
_main+1D: ld h,(ix+-3)
_main+20: push hl And pushed onto the stack
_main+21: ld hl,1872
: main+1a/i
_main+1A: ld l,(ix+-4)
: /h Look at the bytes as hex
_main+1A: DD Indexing prefix byte
: Step down with RETURN
_main+1B: 6E
:
_main+1C: FC The index offset = -4
: /w 0fe Change to -2
:
_main+1D: DD
:
_main+1E: 66
:
_main+1F: FD
: /w 0ff Change the hi byte to -1 to address i instead of j
: :r Run it again
123 Enter the same number again
Breakpoint _printf+3
_printf+3: push ix
: $c
_printf(1872,7B)
_main()
: 7b=d 7b was the argument above
123 Now we have the correct value
: :c Continue the program
123 Which prints the correct value
A>
HI-TECH CはCプログラムに特化したインタラクティブツールが提供されています。これは"ソースレベル"のデバッガではありません。つまり、Cソースコードの知識はありますが、Cシンボルを扱う仕組みがあり、Cの関数を呼び出しシーケンスも表示できます。
コマンド構造はadbとして知られるUnixデバッガをモデルにしています。これはメモリを基数で？表示したり、ブレイクポイントを設定、削除したりできます。これは これらに関連したコマンドを 繰り返しを計上したり、できます。
===DEBUGの起動===
デバッガはDEBUGコマンドで起動します。0-2個のファイル引数をとります。最初の引数はデバッグされる.COMフォーマットのファイル名で二番目はシンボルファイル名です。シンボルファイル名が省略された場合、シンボルは使用できません。.COMファイルが省略された場合、コードが読み込まれません。いかに例を挙げます。
DEBUG fred.com
DEBUG bill.com l.sym
===1.2. 実行時の構築？？===
DEBUGは普通の場合、 デバッグされるものがTPAの最初から読み込めるよう実行時にBDOSの前に自分自身を再配置します。5番目のBDOSエントリはBDOSのベース部分ではなく、むしろシンボルテーブルを反映して変更されます。そのため、シンボルテーブルとデバッガは、デバッガされるもののスタックによって上書きされることはありません。
デバッガはどんな.COMファイルでも使えます。しかし、シンボリック機構？でのアドバンテージを得るために、通常、Cコマンドの-Fオプションとともに使用するシンボルファイルの生成が必要です。このがいるはシンボルが一行ごとに 構成されています。
ブレークポイントはRST 8 命令のコードとして挿入されます。デバッガのトラップハンドラのために、ジャンプはロケーション8に置かれます。システムがRST 8を割り込みに使っているとしたら不幸なことですが、他の場所をリスタートの場所に使う、という以上のことではないでしょう。
===コマンド===
デバッガの基本的なコマンド様式は以下の通りです。
address , count command modifier extrastuff
これはちょっとあいまいに見えるかもしれませんが、見ておいてください。addressとcountはエクスプレッション（式）で、単純な16進数です。addressとcountはオプション的で、addressがなくcountだけが指定された時、カンマは必須です。
commandは何をすべきかを命令する一文字です。モディファイアはさらにどんなコマンドか決定する他の文字です？？extrastuffはある種の命令に依存しますが、通常は省略されます。
====エクスプレッション（式）====
式は次のものから構成されます。
;<nowiki>.</nowiki>
:この値は現在の位置（カレントPC?もしくは最後のブレークポイントでは必要ありません。これは内部的な現在地です。）
;<nowiki>SYMBOL</nowiki>
:シンボルテーブルで参照されるシンボルの値です。シンボルが見つからない場合は、アンダースコアと同じシンボルが前につきます？？。これはコンパイラが、アンダースコアが付いていないCシンボルを参照することを可能にします？？。
;<nowiki>INTEGER</nowiki>
:16進数の整数です。数値で始まらなくてはいけません。そうでない場合、デバッガはシンボルだと考えます。
;<nowiki><REGNAME</nowiki>
:これはZ80レジスタに指定された内容を渡します。レジスタ名は通常のZ80の名前で、小文字のみです。下記の$rコマンドも参照してください。
;<nowiki>(EXPR)</nowiki>
:評価の順番を強制するため、エクスプレッションをカッコでとじることができます。アドレスEXPRの単語の内容です。これはCの間接演算子と似ています？？EXPRの逆です。
;<nowiki>*EXPR</nowiki>
:アドレスEXPRのワードの内容です。これはCの非直接的な命令に似ています？？
;<nowiki>-EXPR</nowiki>
:EXPRの否定です
;<nowiki>~EXPR</nowiki>
:EXPRのビット指定です。
;<nowiki>E1+E2</nowiki>
:E1とE2の合計です。
;<nowiki>E1-E2</nowiki>
:E2の値で引いたE1の値です。
;<nowiki>E1*E2</nowiki>
:E2にE2をかけた値です。
;<nowiki>E1%E2</nowiki>
:E1をE2で割った値です。
;<nowiki>E1&E2</nowiki>
:E1をE2でand（論理積）した値です。
カッコは評価の順序を変えられます。
====コマンド文字====
主要なコマンド文字は/です。これはさまざまな基数や命令のメモリ内容を表示します？正確なフォーマットはモディファイア文字、モディファイア文字が省略された場合は、以前のフォーマットによって決定されます。
モディファイアは以下の通りです。
;i
:Z80命令として表示します。
;h もしくは b
:16進数のバイトとして表示します。
;o
:8進数のバイトとして表示します。
;d
:10進数のバイトとして表示します。
;H もしくは W
:16進数のワードとして表示します。
;O
:8進数のワードとして表示します。
;D
:10進数のワードとして表示します。
;c
:アスキー文字として表示します。
;C
:アスキー文字として表示可能であれば表示しますが、もしそうでない場合は@xのように表示します。xは対応するアルファベット文字になります。
;s
:nullになるまで文字列を表示します。
;a
:シンボル値としてアドレスを表示します。
アドレスが指定された場合、表示は指定されたアドレスから開始します。バイト数、命令、ワード、文字列、もしくはその他が表示されるか、カウントが省略された場合、1が表示されます？以下は例です。
fred,10/b
123/i
最初のコマンドはシンボルfredから16バイトを表示します。二番目は124Hからの一つの命令を表示します。
このようなコマンドが発行されると、dotの値は、表示されているバイトの合計数だけ、一時的に増加します。
RETURN,LINE,FEEDで構成される、その後のコマンドが一時的なdotの増加を恒常的なものにし、/コマンドを実行します。
/コマンドはメモリの変更にも使用できます。/w EXPRはexprの値を現在位置（dot）のメモリに書き込みます。
ワードでもバイトでも、/コマンドで最後に使用されたフォーマットに応じて書き込むことができます。
/wコマンドはバイト、ワード型以外のフォーマットでは発行することができません。そのため、iフォーマットではメモリに書き込めません。ある日ふとインラインアセンブラが組み込まれるかもしれませんが、それはまだです。
]コマンドは/コマンドのようなものですが、メモリよりもむしろI/Oポートを表示するという点が違います。
これはh,b,o,dのフォーマットでのみ使用されます。さらに]wはI/Oポートに書きこむために使用できます。
$コマンドは以下に挙げるいろいろなモディファイアを使用できます。
;c
:Cスタックのバックトレースを表示します。これは最適化されたプログラムでは、信頼できません。なぜなら、オプティマイザーがスタックマニピュレーションコードを変更してしまうからです。これは、実際の引数よりも少ない時に現れます？？長い引数は常に２つの整数として現れます。
;b
:現在設定されたブレークポイントを表示します。
;s
:与えられたアドレスにマッチするシンボルの限界をセットします？？これはsym+offsetとして、値が表示されたときに？オフセットの最大値を決定します。
;w
:ターミナルの幅をアドレスに設定します。初期値は10進数の80です。
;r
:全てのZ80レジスタの内容を表示します。
<nowiki>:</nowiki>コマンドは以下のモディファイアを持ちます。
アドレスからプログラムを実行します。アドレスが省略された場合は、シンボルをスタートさせようとします？？
もし、見つからない場合は、デバッガがエラーを出します(文句をいう？)。
;r
:このコマンドとともにextrastuffがプログラムに対する追加の引数文字列として追加可能です。80H内のデフォルトバッファに入ります？rとextrastuffの間にはスペースが入ることを確認してください。
例
100:r arg1 arg2
;c
:アドレスか、アドレスが省略された場合にはPCのコンテンツから、プログラムを継続します。ブレークポイントの後に使われます。
;s
:cと同様ですが、命令しかカウントしないか、カウントが省略された場合に1を計上します？？これらの1ステップはデバック対象です。
:bはアドレスでブレークポイントを設定します。カウントが提供された場合、ブレークポイントはカウント時間になるまで？止まりません。Extrastuffはブレークポイントに当たる度に毎回実行されるコマンドになります？？
;b
:コマンドがdotをゼロにした場合、カウントがゼロでなくても、ブレークポイントは止まります。
;<nowiki> .</nowiki>
:アドレスと続く実行に対して、一時的なブレークポイントを設定します。次のブレークポイントに遭遇したときに、この一時的なブレークポイントは削除されます。
;d
:アドレスでブレークポイントを削除します。>コマンドでレジスタの値を変更できます。ワード、バイトレジスタが指定できます。割り込みフラグも変更できます。0はオフを、1はオンを意味します。
===例===
以下はデバッガ使用の例です。
A>type tst.c
main()
{
int i, j;
scanf("%d", &i);
printf("%d\n", j); Note the error - j should be i
}
A>c -f tst.c Compile requesting a symbol file
A>debug tst.com l.sym Default symbol file name is l.sym
ZDEBUG
: printf/i Disassemble at printf
_printf: call csv
: Step down with RETURN
_printf+3: push ix
: :b Set a breakpoint here
: :r Run the program - no arguments
123 Scanf waits for input - enter 123
Breakpoint _printf+3
_printf+3: push ix Stopped at the breakpoint
: $c Get a stack trace
_printf(1872,0) 1872 is the format string "d\n"
_main()
: main/i Look at main() now
_main: call csv
: Step down with RETURN
_main+3: ld hl,FFFC
:
_main+6: add hl,sp
: ,10 Disassemble 16 instructions
_main+7: ld sp,hl
_main+8: push ix
_main+A: pop hl
_main+B: dec hl
_main+C: dec hl
_main+D: push hl
_main+E: ld hl,186F
_main+11: push hl
_main+12: call _scanf
_main+15: ld hl,4
_main+18: add hl,sp
_main+19: ld sp,hl
_main+1A: ld l,(ix+-4) here j is loaded
_main+1D: ld h,(ix+-3)
_main+20: push hl And pushed onto the stack
_main+21: ld hl,1872
: main+1a/i
_main+1A: ld l,(ix+-4)
: /h Look at the bytes as hex
_main+1A: DD Indexing prefix byte
: Step down with RETURN
_main+1B: 6E
:
_main+1C: FC The index offset = -4
: /w 0fe Change to -2
:
_main+1D: DD
:
_main+1E: 66
:
_main+1F: FD
: /w 0ff Change the hi byte to -1 to address i instead of j
: :r Run it again
123 Enter the same number again
Breakpoint _printf+3
_printf+3: push ix
: $c
_printf(1872,7B)
_main()
: 7b=d 7b was the argument above
123 Now we have the correct value
: :c Continue the program
123 Which prints the correct value
A>
