CakeML / CakeML/cakeml

Relax instruction conventions in word_alloc

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

Description

The SSA pass currently forces the allocator to use fixed registers for instructions like `LongMul` following the requirements of x64.

It should be relaxed.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the SSA pass and word_alloc handling for LongMul, then read how the x64 instruction conventions impose fixed registers. Determine which constraints can be relaxed without violating x64 requirements, and verify that LongMul allocation no longer unnecessarily requires fixed registers.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Feature
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.