Skip to content

Conversation

@MaxDesiatov
Copy link
Member

@MaxDesiatov MaxDesiatov commented Oct 27, 2025

This change implements vCont;s debugger host command, which allows stepping over Wasm instructions.

This required fixing an off-by-one error in instruction mapping search logic, with new test expectations added in DebuggerTests/binarySearch function.

Note that this doesn't handle branching instructions yet, we just increment Pc by one instruction without proper analysis of potential branching (marked as TODO).

Corresponding test expectations for the debugger breakpoints and stepping are added in DebuggerTests/breakpoints (previously called DebuggerTests/stopAtEntrypoint).

@MaxDesiatov MaxDesiatov changed the title GDP RP: polishing support for LLDB protocol extension GDP RP: polishing LLDB protocol extension support Oct 28, 2025
@MaxDesiatov MaxDesiatov changed the title GDP RP: polishing LLDB protocol extension support GDB RP: polishing LLDB protocol extension support Oct 28, 2025
@MaxDesiatov MaxDesiatov changed the base branch from main to maxd/debugging-breakpoints October 28, 2025 17:20
Base automatically changed from maxd/debugging-breakpoints to main October 29, 2025 08:41
This executable is only used for testing LLDB integration end-to-end
@MaxDesiatov MaxDesiatov force-pushed the maxd/debugging-improved branch from 637bdc1 to 2fe5a42 Compare October 29, 2025 18:14
@MaxDesiatov MaxDesiatov changed the title GDB RP: polishing LLDB protocol extension support GDB RP: support step host command Oct 29, 2025
@MaxDesiatov MaxDesiatov marked this pull request as ready for review October 29, 2025 22:17
@MaxDesiatov MaxDesiatov added enhancement wasm debugging Support for debugging of executed Wasm labels Oct 29, 2025
@MaxDesiatov MaxDesiatov changed the title GDB RP: support step host command GDB RP: handle instruction stepping debugger host command Oct 29, 2025
@MaxDesiatov MaxDesiatov merged commit 796f59f into main Oct 30, 2025
17 of 18 checks passed
@MaxDesiatov MaxDesiatov deleted the maxd/debugging-improved branch October 30, 2025 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement wasm debugging Support for debugging of executed Wasm

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants