cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Data representation of generated_bignum_stubs

Open sorear opened this issue 5 years ago • 0 comments

Under the measurement conditions of #793 the third largest function in a 32-bit-targeting compiler is to_word32Prog_word_bignum_generated_bignum_stubs (595812 bytes). Since this is executed once per compile, it's a reasonable candidate for encoding as data and unpacking using a function along similar lines to #774.

sorear avatar Oct 15 '20 06:10 sorear