CakeML/cakeml

Reducing boxing and unboxing of Word64 values

Aperta

#454 aperta il 6 feb 2018

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
enhancementhelp wantedhigh effort

Metriche repository

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

Descrizione

Magnus has proposed to eliminate the amount of boxing and unboxing of the Word64 values in the compiler.

It should be possible to reduce the amount of boxing and unboxing happening during compilation on the Word64 values. It would be probably best to do the decision about all the boxing just before forcing the 2-reg code in the Word lang. This would make it possible to eliminate all the unnecessary unboxed values. I think this would provide a better 2-reg code and elimination for WordLang in the end. Any thoughts on why it should probably happen elsewhere in the compiler?

Guida contributor

Direzione di ricerca
Esamina la logica corrente di boxing/unboxing per i valori Word64 nelle rappresentazioni intermedie del compilatore, in particolare in WordLang e nella generazione di codice a 2 registri. Traccia il flusso dei valori Word64 per identificare boxing non necessari e proporre punti di eliminazione.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Refactoring
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.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
compilersML
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
25