CakeML / CakeML/cakeml

Use return addresses to index bitmaps

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

Description

Currently stackLang programs write a number onto the stack at each function call. The number is an index into the bitmaps (used by the GC if it is called).

An alternative approach is to use the return address as a means to find the right bitmap entry. One could e.g. look up the relevant bitmap index from a hash table that maps return addresses to bitmap indexes.

The advantage with the alternative approach is that each function call only needs to put the return address into a specific location in the stack frame. The index is no longer required. Very neat!

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.