CakeML / CakeML/cakeml

Interprocedural optimization of stack limit checks

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

Description

We could guarantee a certain amount of space to functions reached via an indirect call. For functions that use less than that amount of space, the amount they make available to called functions can be calculated; if a function cannot be reached with less remaining stack than the amount it uses, the stack check could be omitted.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.