feat: implement debug info dialect and variable tracking#1097

Merged

bitwalker merged 33 commits intonextfrom

bitwalker/debug-variable-locations

May 4, 2026

Commits on May 1, 2026

Add debug variable location tracking to HIR and MASM

djolertrk
authored and
bitwalker
committed
Align with latest debug_info in miden-vm

djolertrk
authored and
bitwalker
committed
fix: compute correct FMP offset for debug variable locations

djolertrk
authored and
bitwalker
committed
Introduce Debug Info dialect

djolertrk
authored and
bitwalker
committed
fix: handle debug info ops in transforms and MASM codegen

djolertrk
authored and
bitwalker
committed
debuginfo: migrate DI types to DialectAttribute derive for v0.21.1 compatibility

djolertrk
authored and
bitwalker
committed
feat: debug variable location tracking with dedup crash fix

djolertrk
authored and
bitwalker
committed
fix: rebase recovery — entity alignment

djolertrk
authored and
bitwalker
committed
fixup: several bugfixes for var loc

djolertrk
authored and
bitwalker
committed
fixup: remove debug info docs

djolertrk
authored and
bitwalker
committed
fixup: debug var loc issues in frontend and codegen

djolertrk
authored and
bitwalker
committed
fix: update lit tests for current HIR output and debugdump formats

djolertrk
authored and
bitwalker
committed
fix: adapt debugdump to upstream Package.version API change

djolertrk
authored and
bitwalker
committed
chore: fix formatting

djolertrk
authored and
bitwalker
committed
fix: post-rebase cleanup for origin/next

djolertrk
authored and
bitwalker
committed
fix: register DebugValue as no-op in HIR evaluator

djolertrk
authored and
bitwalker
committed
fix: skip debug info ops in liveness analysis

djolertrk
authored and
bitwalker
committed
fix: skip location schedule emission for undefined variables

djolertrk
authored and
bitwalker
committed
fix: clippy for debug_info.rs

djolertrk
authored and
bitwalker
committed
fix: preserve DWARF frame-base variables

djolertrk
authored and
bitwalker
committed
fix: run debugdump tests via litcheck

djolertrk
authored and
bitwalker
committed
fix: use released miden vm debug APIs

djolertrk
authored and
bitwalker
committed
fixup: update tests

djolertrk
authored and
bitwalker
committed
fixup: improve debugdump help

djolertrk
authored and
bitwalker
committed
fix(debug): emit component core type metadata

djolertrk
authored and
bitwalker
committed
chore: merge debugdump into objtool
bitwalker
committed
chore: remove manual debug info section handling in driver
bitwalker
committed
refactor(debuginfo): various improvements to variable tracking impl
bitwalker
committed
chore: rebase on latest toolchain and dependency versions
bitwalker
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: implement debug info dialect and variable tracking#1097

feat: implement debug info dialect and variable tracking#1097
bitwalker merged 33 commits intonextfrom
bitwalker/debug-variable-locations

Commits on May 1, 2026

Add debug variable location tracking to HIR and MASM

Align with latest debug_info in miden-vm

fix: compute correct FMP offset for debug variable locations

Introduce Debug Info dialect

fix: handle debug info ops in transforms and MASM codegen

debuginfo: migrate DI types to DialectAttribute derive for v0.21.1 compatibility

feat: debug variable location tracking with dedup crash fix

fix: rebase recovery — entity alignment

fixup: several bugfixes for var loc

fixup: remove debug info docs

fixup: debug var loc issues in frontend and codegen

fix: update lit tests for current HIR output and debugdump formats

fix: adapt debugdump to upstream Package.version API change

chore: fix formatting

fix: post-rebase cleanup for origin/next

fix: register DebugValue as no-op in HIR evaluator

fix: skip debug info ops in liveness analysis

fix: skip location schedule emission for undefined variables

fix: clippy for debug_info.rs

fix: preserve DWARF frame-base variables

fix: run debugdump tests via litcheck

fix: use released miden vm debug APIs

fixup: update tests

fixup: improve debugdump help

fix(debug): emit component core type metadata

chore: merge debugdump into objtool

chore: remove manual debug info section handling in driver

refactor(debuginfo): various improvements to variable tracking impl

chore: rebase on latest toolchain and dependency versions

Commits on May 4, 2026

fix(hir): preserve debug variable ops through rewrites

fix: emit Rust debug values in integration tests

fix: use di.debug_declare for variables without SSA value anchor

chore: merge next and bitwalker/debug-variable-locations