Geek Answers Handbook

Cminusminus x86_64 compiler

I am working on a project that involves performing Software Analysis on Haskell. I thought it would be nice to implement program analysis at the Cminusminus (C--) level. I know that using ghc, Haskell first compiles to the kernel, then to stg, and then to cmm. The generated cmm is then converted to an executable file.

To correctly understand and work with C--, I need the cminusminus (C--) compiler. However, according to my information, compilers that compile in C-- have long been discontinued and do not compile in x86_64 (e.g. QuickC--). Am I missing something? Is there a C compiler that compiles to x64?

On the other hand, was there any further work on Cminusminus after 2008-09? Is there a Cminusminus community?

Edit 1 : according to this, GHC can compile a very simple cmm (cmm is the ghc flavor of c -, which has some differences from c--, however, according to my needs of the project, I should take more care of the cmm files). In addition, -ddump-cmm contains many elements that are not handled by ghc.

+7
haskell ghc c-minus-minus
source share

No one has answered this question yet.

See related questions:

nineteen
Using the GHC API to Compile Haskell Sources in CORE and CORE to Binary
thirteen
Why are Haskell / GHC executables so large in file size?
10
Difference for ncurses between interpreted and compiled Haskell?
6
Extracting Haskell STG source
4
Haskell library not loading properly
3
GHC error with system on OS X Lion
3
Instance "Show" for GHC core
one
ghc does not work due to lack of "Rts.h"
one
get renamed (with fully qualified import) haskell AST using ghc api
one
What version of the report should I give ghc -X to get both of these cases to compile?

More articles:


All Articles