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.

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

Improve memcopy loops in code generated by the CakeML compiler #1079

Open
myreen opened this issue Nov 4, 2024 · 0 comments
Open

Improve memcopy loops in code generated by the CakeML compiler #1079

myreen opened this issue Nov 4, 2024 · 0 comments

Comments

@myreen
Copy link
Contributor

myreen commented Nov 4, 2024

#798 correctly points out that memcopy loops are sometimes suboptimal -- one such loop in the inner most loop of the GC!

This issue is about improving memcopy loops so that they generate better loops when possible. For register constrained targets, it might not be possible to unroll these memory copying loops in the heart of the GC, but for most targets there should be spare registers that can be used for this purpose.

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

No branches or pull requests

1 participant