CakeML / CakeML/cakeml

Improve coalescing register allocator (both verified and unverified versions)

Open
#932 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

The coalescing register allocator is one of the slowest parts of the compiler (~30% time is spent in it when running the compiler on its own s-expression).

This issue is about improving its performance, possibly with a rewrite/overhaul.

The external SML-based reg_alloc,sml oracle for in-logic compilation could be improved as well.

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.