cakeml
cakeml copied to clipboard
Align fewer labels
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)