cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Align fewer labels

Open sorear opened this issue 5 years ago • 0 comments

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)

sorear avatar Sep 17 '20 03:09 sorear