CakeML/cakeml

Reducing boxing and unboxing of Word64 values

オープン

#454 opened on 2018/02/06

 (1 件のコメント) (0 件のリアクション) (0 人の担当者)Standard ML (98 件のフォーク)auto 404
enhancementhelp wantedhigh effort

Repository metrics

Stars
 (1,169 個のスター)
PR merge metrics
 (PR metrics pending)

説明

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?

コントリビューターガイド