Early passes refactoring
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
As described in the roadmap by @myreen here:
https://hackmd.io/@myreen/HkL9wyMglg
This is a large project that requires many new passes.
A potential pathway is to implement/verify the source-to-source passes first before making the lower IL changes.
A first thing to do could be DCE at the source.
Also the source consts pass is already partly implemented/verified in lift_constants branch.
Related issue: https://github.com/CakeML/cakeml/issues/474
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the roadmap at the linked HackMD document and the related issue #474. Review the existing source consts work in the lift_constants branch, then assess the proposed source-to-source passes, beginning with source-level DCE; done means the relevant passes are implemented and verified.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100