CakeML / CakeML/cakeml

Fix callee-saved registers for Pancake entry points on x64 Windows

Open
#1,333 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

Extend #1332 to include x64 Windows (dropped from PR for priority reasons)

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reviewing issue #1332 and how its proposed fix handles Pancake entry points and callee-saved registers. Determine the remaining x64 Windows scope, then verify that the Windows entry points preserve the required registers and that the relevant platform checks pass.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.