--- nono/debugger/branchhistory.cpp 2026/04/29 17:05:16 1.1.1.7 +++ nono/debugger/branchhistory.cpp 2026/04/29 17:05:28 1.1.1.9 @@ -9,12 +9,13 @@ // #include "branchhistory.h" +#include "m68030disasm.h" #include "m88100.h" #include "mpu64180.h" #include "vectortable.h" // コンストラクタ -BranchHistory::BranchHistory(int objid_) +BranchHistory::BranchHistory(uint objid_) : inherited(objid_) { int monitor_id; @@ -138,7 +139,7 @@ BranchHistory::MonitorUpdate(Monitor *, continue; } std::string str = FormatEntry(e); - screen.Print(0, y, "%3d %s", pos, str.c_str()); + screen.Print(0, y, "%3u %s", pos, str.c_str()); if (e.count > 1) { screen.Print(x_count, y, "x%9u", e.count); } @@ -163,32 +164,52 @@ BranchHistory::FormatHeader() const // m680x0 ブランチ履歴 (どこに置くのがよいか) // -// m680x0 ブランチ履歴では、通常ブランチ、例外発生、例外ベクタによる -// ジャンプの3つを区別する。 +// m680x0 ブランチ履歴では、通常ブランチ、例外発生 (IOCS コールと +// それ以外)、例外ベクタによるジャンプの4つを区別する。 // -// 通常の分岐: -// from は上位31ビットが分岐元 PC、最下位ビットが S/U、 -// to は32ビット全体が分岐先 PC、 -// inst の上位16ビットに命令の1ワード目。 -// inst の $8000 が立っていないことで区別する。 -// -// 例外発生: -// from は上位31ビットが例外発生時の PC、最下位ビットが S/U、 -// to は不問(通常 0 をセットすること)、 -// inst は $00008LVV で $8000 が例外フラグ、VV がベクタ番号である。 -// ベクタ番号が $00 だと次項(ベクタによる分岐)と区別つかなくなってしまう -// ため、リセット例外 (ベクタ番号0) は V=$01 で記録する。 -// L は割り込みなら割り込みレベル。 -// inst に $8000 が立っていて、かつ $8000 と一致しないことで区別する。 +// 1. 通常の分岐: +// from は上位31ビットが分岐元 PC、最下位ビットが S/U。 +// to は32ビット全体が分岐先 PC。 +// inst は上位2ビットが %00 (Normal)、下位16ビットに分岐元命令の1ワード目。 +// +// 31 30 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ +// | 0 | 0 | .. | instruction word | +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ +// +// 2. 例外発生 (IOCS コール以外の場合): +// from は上位31ビットが例外発生時の PC、最下位ビットが S/U。 +// to は不問だが 0 にすること。 +// inst は上位2ビットが %11 (Exception)、Number はベクタ番号 (0-255)。 +// 例外が TRAP#15 で IOCS コールっぽくない場合もこちら。 +// +// 31 30 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ +// | 1 | 1 | .. | 0 | Vector | +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ +// +// 3. 例外発生 (IOCS コールの場合): +// from, to は同じ。 +// inst は上位2ビットが %10 (IOCSCall)、Number は IOCS コール番号 (0-255)。 +// +// 31 30 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ +// | 1 | 0 | .. | 0 | IOCS Call Number | +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ // -// 例外ベクタによる分岐 (例外処理の最後に起きる): +// 4. 例外ベクタによる分岐 (例外処理の最後に起きる): // from はベクタアドレス、 // to は分岐先 (0 も起こりえる)、 -// inst は $00008000。 -// inst が $00008000 と一致することで区別する (ビットが立っているではない)。 +// inst は上位2ビットが %01 (VectorJump)。 +// +// 31 30 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ +// | 0 | 1 | .. | 0 | +// +---+---+-- --+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ +// // コンストラクタ -BranchHistory_m680x0::BranchHistory_m680x0(int objid_) +BranchHistory_m680x0::BranchHistory_m680x0(uint objid_) : inherited(objid_) { } @@ -206,26 +227,11 @@ BranchHistory_m680x0::FormatEntry(const std::string desc = string_format("%c:%08x", (e.from & 1) ? 'S' : 'U', (e.from & ~1)); - if ((e.inst & 0x8000)) { - if ((e.inst & 0x7fff) != 0) { - // 例外発生記録 - // 発生アドレスとベクタ(と割り込みレベル)を表示 - uint32 vector = e.inst & 0xff; - if (vector == 1) { - vector = 0; - } - // とりあえず - const char *name = vectortable->GetExceptionName(vector); - desc += string_format("<%3d> %s", vector, name ?: ""); - // XXX TODO 割り込みレベル - } else { - // 例外ベクタフェッチしてジャンプ - desc += string_format("(vector fetch) -> $%08x", e.to); - } - } else { - // ブランチ + switch (e.inst >> 30) { + case 0: // 通常分岐 + { const char *mnemonic; - uint32 inst = e.inst >> 16; + uint32 inst = e.inst & 0xffff; if (inst == 0x4e73) { mnemonic = ":rte"; } else if (inst == 0x4e75) { @@ -254,6 +260,36 @@ BranchHistory_m680x0::FormatEntry(const mnemonic = ""; } desc += string_format("(%04x%-6s) -> $%08x", inst, mnemonic, e.to); + break; + } + + case 1: // 例外ベクタフェッチによるジャンプ + // 例外ベクタフェッチしてジャンプ + desc += string_format("(vector fetch) -> $%08x", e.to); + break; + + case 2: // 例外発生 (IOCS コール) + { + uint num = e.inst & 0xff; + const char *name = m680x0disasm::GetIOCSName(num); + if (name != NULL) { + desc += string_format("<%3u> IOCS %s", M68K::EXCEP_TRAP15, name); + } else { + desc += string_format("<%3u> IOCS $%02x", M68K::EXCEP_TRAP15, num); + } + break; + } + + case 3: // 例外発生 (IOCS コール以外) + { + uint32 vector = e.inst & 0xff; + const char *name = vectortable->GetExceptionName(vector); + desc += string_format("<%3u> %s", vector, name ?: ""); + break; + } + + default: + __unreachable(); } return desc; } @@ -279,7 +315,7 @@ BranchHistory_m680x0::FormatEntry(const // 命令ワードとは衝突しない (instruction.txt 参照)。 // コンストラクタ -BranchHistory_m88xx0::BranchHistory_m88xx0(int objid_) +BranchHistory_m88xx0::BranchHistory_m88xx0(uint objid_) : inherited(objid_) { } @@ -302,11 +338,11 @@ BranchHistory_m88xx0::FormatEntry(const // 発生アドレスとベクタを表示 uint32 vector = e.inst & 0x1ff; const char *name = vectortable->GetExceptionName(vector); - desc += string_format("<%3d> %s", vector, name ?: ""); + desc += string_format("<%3u> %s", vector, name ?: ""); if (vector == 128 || vector == 450) { // 450 なら OpenBSD のシステムコール番号を追加。 // 非公式 NetBSD/luna88k は(今の所?) 128 を使ってるようだ。 - desc += string_format("(%d)", (e.inst >> 12) & 0xfff); + desc += string_format("(%u)", (e.inst >> 12) & 0xfff); } } else if (e.inst >= 0xc0000000) { // ブランチ @@ -392,7 +428,7 @@ BranchHistory_m88xx0::FormatEntry(const // inst が $ffffffff で区別する。 // コンストラクタ -BranchHistory_hd64180::BranchHistory_hd64180(int objid_) +BranchHistory_hd64180::BranchHistory_hd64180(uint objid_) : inherited(objid_) { monitor.SetSize(48, 1 + 32); // ヘッダ1行とエントリ数 @@ -437,7 +473,7 @@ BranchHistory_hd64180::FormatEntry(const } else if ((int32)e.inst < 0) { // 例外発生 uint32 vector = e.inst & 0xff; - desc += string_format("<%2d>%-15s", + desc += string_format("<%2u>%-15s", vector, MPU64180Device::InterruptName[vector]); // 例外履歴には宛先は出さないほうに統一。 // ブランチ履歴でも、ベクタ方式なら宛先不要。