CakeML/cakeml

Soft float fallback

Aperta

#760 aperta il 17 set 2020

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
enhancementgood first issuemedium rewarduser experience

Metriche repository

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

Descrizione

It would be nice to make the compiler API as consistent as possible between targets and to eliminate a failure case in the space safety theorem. I expect that this would be tedious but not technically challenging. Doing it at the basis level might be a good test case for unboxing optimizations; doing it in wordLang would be more work with no access to the translator, but could produce a better result with fewer innovations.

Guida contributor

Direzione di ricerca
Esamina l'attuale implementazione del soft float nel basis e wordLang di CakeML. Traccia come il compilatore gestisce le operazioni floating point su target senza hardware float. Determina l'approccio migliore per implementare il fallback soft float per garantire la coerenza dell'API.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Standard MLCompiler fundamentals
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75