Skip to content

feat: add bytecode IR with symbolic labels#190

Merged
zharinov merged 1 commit intomasterfrom
feat/bytecode-ir
Dec 31, 2025
Merged

feat: add bytecode IR with symbolic labels#190
zharinov merged 1 commit intomasterfrom
feat/bytecode-ir

Conversation

@zharinov
Copy link
Copy Markdown
Member

Summary

  • Add instruction IR with symbolic Label references
  • Label allows compilation without knowing final byte offsets
  • Add layout module to resolve labels → StepId at emit time
  • Pre-layout IR types: MatchIR, CallIR, ReturnIR

This is foundation infrastructure for Thompson NFA compilation.

Test plan

  • cargo test -p plotnik-lib layout passes (6 tests)

@zharinov zharinov enabled auto-merge (squash) December 31, 2025 12:16
@zharinov zharinov merged commit be1b4f4 into master Dec 31, 2025
4 checks passed
@zharinov zharinov deleted the feat/bytecode-ir branch December 31, 2025 12:17
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