Skip to content

fix(processor): avoid range check lookup allocations#3090

Closed
giwaov wants to merge 1 commit into0xMiden:mainfrom
giwaov:fix/range-check-lookup-storage
Closed

fix(processor): avoid range check lookup allocations#3090
giwaov wants to merge 1 commit into0xMiden:mainfrom
giwaov:fix/range-check-lookup-storage

Conversation

@giwaov
Copy link
Copy Markdown
Contributor

@giwaov giwaov commented May 4, 2026

Describe your changes

Replaces the per-cycle range check lookup vectors with fixed-capacity storage. Each cycle now tracks up to six lookup values inline, covering the two memory lookups and four stack lookups without allocating in the trace generation hot path.

Closes #2793.

Checklist before requesting a review

  • Repo forked and branch created from main.
  • Commit messages and codestyle follow conventions.
  • Commits are signed.
  • Relevant issues are linked in the PR description.
  • Tests added for new functionality.
  • Documentation/comments updated according to changes.
  • Updated CHANGELOG.md.

Tests

  • cargo test -p miden-processor range --features testing
  • rustfmt --check processor/src/trace/range/mod.rs processor/src/trace/range/aux_trace.rs processor/src/trace/range/tests.rs
  • git diff --check

@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 4, 2026

Automated check (CONTRIBUTING.md)

Findings:

  • Add a short Rationale explaining why the change is needed.

Recommendations:

  • Consider adding a Test plan or clear review steps.

Next steps:

@Nashtare
Copy link
Copy Markdown
Contributor

Nashtare commented May 9, 2026

Superseded by #3119

@Nashtare Nashtare closed this May 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants