Skip to content

refactor: improve trace and dump format for Call instructions#256

Merged
zharinov merged 1 commit intomasterfrom
refactor/trace-dump-format
Jan 5, 2026
Merged

refactor: improve trace and dump format for Call instructions#256
zharinov merged 1 commit intomasterfrom
refactor/trace-dump-format

Conversation

@zharinov
Copy link
Member

@zharinov zharinov commented Jan 5, 2026

Summary

  • Change Call instruction successor format from [return] to target : return in both dump and trace
  • Remove nav symbols from trace instruction lines (show only in sublines)
  • Add definition labels (Name:) in trace after call/return
  • Add format_def_name() and format_def_label() helpers in trace.rs
  • Update documentation with new format examples

Why

The new target : return format makes it clearer where a Call jumps to and where it returns. Trace now cleanly separates instruction-level info from execution dynamics (nav/match sublines).

@zharinov zharinov force-pushed the refactor/trace-dump-format branch from 545f267 to 79ba9b7 Compare January 5, 2026 03:04
@zharinov zharinov merged commit d60edc1 into master Jan 5, 2026
4 checks passed
@zharinov zharinov deleted the refactor/trace-dump-format branch January 5, 2026 03:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant