CakeML / CakeML/cakeml

Reorder instructions to delay read after load

Open
#118 8 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

Summary: in `wordLang`, moving one or two instructions to be after memory loads before they are first read, if possible, can improve performance on pipelined architectures.

More details: `https://lists.cakeml.org/pipermail/users/2016-April/000088.html`

I believe @cmr may be looking into this.

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.