sma*_*qar 7 haskell ghc c-minus-minus
我正在研究一个涉及对Haskell进行程序分析的项目.我认为在Cminusminus(C--)级别实施程序分析是个好主意.我知道,使用ghc,Haskell首先被编译为core然后是stg然后是cmm.然后将生成的cmm转换为可执行文件.
为了正确理解和使用C--,我需要一个cminusminus(C--)编译器.但是,根据我的信息,编译为C--的编译器很久就停止了,并且没有编译到x86_64(例如QuickC--).我错过了什么吗？是否有一个编译为x64的C--编译器？
另外,2008-09之后Cminusminus还有进一步的工作吗？有没有Cminusminus社区？
编辑1:根据这个 GHC可以编译非常基本的cmm(cmm是c - 的c - 的味道,它与c--有一些不同,但是根据我的项目的需要,我应该更关心cmm)文件.此外,-ddump-cmm包含许多不能被ghc解析的项目.