c-- code manipulation library for haskell

[john]

c-- is a portable assembly language for interfacing compilers to code generators. A stand-alone library containing an ADT representation of c-- as well as a parser and pretty printer would be a useful thing for various projects. a stand alone c-- -> c-- simple peephole optimizer might be a good test application. see  http://cminusminus.org for details on c--.

Interested Mentors

• John Meacham

Interested Students

• Aaron Tomb <atomb@…>
• Kenn Knowles <kknowles@…>

[duncan]

More detail on project goals would be good. Potentially quite useful as a way to prototype ghc Cmm optimisation passes if it can parse and pretty print at least the C-- subset that ghc understands.

[tibbe]

I don't think this is of general enough use. C-- is only really used inside GHC and the C-- there doesn't quite match the published spec.