CakeML / CakeML/cakeml

Improve memcopy loops in code generated by the CakeML compiler

Open
#1,079 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

#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.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.