CakeML / CakeML/cakeml

Data representation of generated_bignum_stubs

Open
#794 0 comments 0 reactions 0 assignees View on GitHub
dev experience enhancement low effort medium reward
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

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.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reading issues #793 and #774, then inspect the generated_bignum_stubs path containing to_word32Prog_word_bignum_generated_bignum_stubs. Determine how the existing function is represented and how #774 unpacks analogous data; done means the representation is encoded as data, unpacked during compilation, and preserves the current behavior and measured benefit.

Written by the indexing model from the issue text.

Assessment

Domain
compilers, performance
Issue type
Refactor
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.