Skip to content

Fix Pancake entry points not saving callee-saved registers#1332

Merged
IlmariReissumies merged 1 commit intoCakeML:masterfrom
halogentlepersuasion:pan_callee_fix
Feb 12, 2026
Merged

Fix Pancake entry points not saving callee-saved registers#1332
IlmariReissumies merged 1 commit intoCakeML:masterfrom
halogentlepersuasion:pan_callee_fix

Conversation

@halogentlepersuasion
Copy link
Copy Markdown
Contributor

Saves(/restores) all possible callee-saved registers that could be used upon all entries(/exits)

  • Fixed: ARMv8 Linux, RISC-V, MIPS
  • No fix required: x64 Linux, ARMv7
  • Untested: x64 MacOS, ARMv8 MacOS
  • Not fixed: x64 Windows (all other functionality seems preserved)

@IlmariReissumies IlmariReissumies merged commit b3b915c into CakeML:master Feb 12, 2026
1 check passed
@halogentlepersuasion
Copy link
Copy Markdown
Contributor Author

x64 MacOS and ARMv8 MacOS have now been tested (matching the category of their Linux counterparts)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants