CakeML / CakeML/cakeml

Align fewer labels

Open
#770 1 comment 0 reactions 0 assignees View on GitHub
code size enhancement medium effort medium reward
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

The only labels that need to be 2-byte aligned are the ones that could potentially be seen by the GC, which is effectively only the ones at the start of functions; labels introduced in stack_to_lab happen after the GC bitmaps are built so the GC will never scan registers and stack slots holding those labels. (Current saving 100k on x64)

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.