Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

More incremental rawcall #1121

Open
tanyongkiam opened this issue Jan 22, 2025 · 0 comments
Open

More incremental rawcall #1121

tanyongkiam opened this issue Jan 22, 2025 · 0 comments
Labels
low reward Likely requires special techniques even to measure effectiveness medium effort

Comments

@tanyongkiam
Copy link
Contributor

The rawcall pass is a whole-program pass that removes certain stack allocation/deallocations across function calls.

It is currently completely disabled for Eval, but it is able to make it slightly more incremental:

Some minor progress was made on this branch: https://github.com/CakeML/cakeml/tree/rawcall

The main challenge is to update the oracle proofs.
@tanyongkiam tanyongkiam added low reward Likely requires special techniques even to measure effectiveness medium effort labels Jan 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
low reward Likely requires special techniques even to measure effectiveness medium effort
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tanyongkiam