cakeml
cakeml copied to clipboard
Data representation of generated_bignum_stubs
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.