Open
Description
Cakeml does not optimize compilation of code that divides by a const into multiplication by magic number.
See https://ridiculousfish.com/blog/posts/labor-of-division-episode-iii.html for a more information on how to calculate said magic number.
Metadata
Metadata
Assignees
Labels
No labels