scroll-tech / scroll-tech/ceno
Revisit the set of tables
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 153
- Forks
- 43
- Avg merge
- 3d 13h
- Merged PRs (30d)
- 4
Description
-
See for instance discussion in #396 about introducing U14. Review the overall bit extractions everywhere and see what’s the best set of tables to support them all (maybe U15, etc).
-
See whether Ltu table is still used, switch to the more efficient IsLtConfig, and remove the Ltu table.
-
Compare the fixed cost of a specialized table versus the variable cost of lookups that is saves.
-
Refactor to share the same columns across multiple tables (e.g. a, b in logic tables).
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the discussion in issue #396 about introducing U14, then review the table definitions and bit extractions across the project. Investigate whether Ltu is still used and compare it with IsLtConfig, while evaluating specialized-table costs and opportunities to share columns. Done means an agreed, implemented table set with obsolete tables removed and shared columns refactored.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100