レジスタ割り当て
レジスタ割り当てはこのコンパイラでは実施されません.各班のアーキテクチャをターゲットとする場合はレジスタ割り当てを実装することになる場合があります.
オリジナル版のレジスタ割り当てはif
式が存在する状況で実行していることに注意してください.mincaml-rsの仮想アセンブリを元にレジスタ割り当てをする場合,構造化されていない表現が対象となるため,例えばthen
とelse
で同じレジスタを使うことで節約するなどといった最適化は,適切なデータフロー解析なしではできません.構造化したもののみを扱いたい場合は,クロージャ変換直後の表現から直接変換することを考えてください.