Skip to content

refactor: narrow dwarf planned addresses#154

Merged
swananan merged 1 commit intomainfrom
refactor/dwarf-planned-address-kind
May 4, 2026
Merged

refactor: narrow dwarf planned addresses#154
swananan merged 1 commit intomainfrom
refactor/dwarf-planned-address-kind

Conversation

@swananan
Copy link
Copy Markdown
Owner

@swananan swananan commented May 4, 2026

Introduce PlannedAddressKind so materialized user-memory reads expose a small address primitive instead of the full VariableLocation enum. The kind records constant, register-offset, frame-base-relative, and computed addresses while AddressOrigin continues to carry rebasing semantics.

Lower planned addresses in the compiler by matching PlannedAddressKind directly, then route read-plan value and lvalue address lowering through plan-aware helpers. Address-only lowering derives the planned address without requiring DWARF type metadata.

Remove the legacy VariableLocation lowering helpers from compiler tests so this boundary is exercised through read plans instead of compatibility APIs.

This keeps complex DWARF expressions behind the computed address escape hatch without letting eBPF lowering inspect source-level VariableLocation shapes.

Refs #148.

Introduce PlannedAddressKind so materialized user-memory reads expose a
small address primitive instead of the full VariableLocation enum. The kind
records constant, register-offset, frame-base-relative, and computed
addresses while AddressOrigin continues to carry rebasing semantics.

Lower planned addresses in the compiler by matching PlannedAddressKind
directly, then route read-plan value and lvalue address lowering through
plan-aware helpers. Address-only lowering derives the planned address without
requiring DWARF type metadata.

Remove the legacy VariableLocation lowering helpers from compiler tests so
this boundary is exercised through read plans instead of compatibility APIs.

This keeps complex DWARF expressions behind the computed address escape hatch
without letting eBPF lowering inspect source-level VariableLocation shapes.

Refs #148.
@swananan swananan merged commit fad4aea into main May 4, 2026
10 checks passed
@swananan swananan deleted the refactor/dwarf-planned-address-kind branch May 4, 2026 17:34
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