CakeML/cakeml

Constant propagation in word_simp

Aperta

#1168 aperta il 5 mag 2025

Vedi su GitHub
 (6 commenti) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
good first issuelow effort

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

At the moment, constant foldng/propagation in wordLang is limited to expressions:

https://github.com/CakeML/cakeml/blob/master/compiler/backend/word_simpScript.sml#L156

This issue is about extending it to work for instructions as well:

https://github.com/CakeML/cakeml/blob/master/compiler/backend/word_simpScript.sml#L220

(and probably other simple places that could benefit).

This was reported by @talsewell in the context of Pancake programs.

Guida contributor

Direzione di ricerca
Estendi la propagazione delle costanti dalle espressioni alle istruzioni in word simpScript.sml. Segui il modello nella riga 156 e applicalo alla riga 220.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Standard MLcompiler backend
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20