2014-06-22 Yet Another LLVM IR Compiler to X86_64 OCaml LLVM https://bitbucket.org/h_sakurai/yallc/srcllcをmlで書いてみました。 LLVMには依存してなくて、パーサとコンパイラがあるだけです。 出来る事は、四則演算しかないんですけど、これを拡張していけば、 バッグエンドの仕組みが分かるはず。現状は、スタックマシンのJIT結果を吐き出したような形になってますけど、 レジスタアロケーションすればもっと速くなるでしょう。 例えば、mincamlのemitが分かればきっと簡単なはずです。