CakeML/cakeml

Constant propagation in word_simp

Offen

#1.168 geöffnet am 05.05.2025

Auf GitHub ansehen
 (6 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Standard ML (98 Forks)auto 404
good first issuelow effort

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Erweitern Sie die Konstantenpropagation von Ausdrücken auf Anweisungen in word simpScript.sml. Folgen Sie dem Muster in Zeile 156 und wenden Sie es auf Zeile 220 an.
Tech Stack
Keine
Domain
compilers
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Standard MLcompiler backend
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
20