Back-end hacking status
Donald Bruce Stewart
dons at cse.unsw.edu.au
Wed Jan 21 12:18:46 EST 2004
> Backend hackers:
> I'm at the point where the native code gen is more or less complete: it
> will need a *lot* of testing and tweaking, but I've done all I can for
> now. That means I'm twiddling my thumbs... so I'd like to take a job
> off someone's hands. Here's a rough ToDo list:
> - codeGen [simonpj]
> - Cmm -> C [dons]
> - Parse Cmm [dons]
> - "macro expansion" [simonpj, but also affects parsing Cmm]
> - Cmm -> C--
> I could start on the C-- backend, but I'd prefer to take a quick route
> to getting to a point where I can test the NCG. Don: can I take the Cmm
> parser off your hands? That will mean starting to flesh out the macro
> expansion bits too - Simon have you done anything in this direction yet?
Certainly; there is no point twiddling thumbs.
As the external-cmm syntax isn't fully tied down, we'll have to
synchronise PprCmm.hs with the Cmm parser. What is the best way to do
this, so that we emerge with a well-defined external representation for
Also, while we're here, a couple of questions:
* So we want both an external Cmm representation, as well as a true C--
code generator? So PprCmm is the external-cmm printer, but we also
need a C-- generator?
* Is the Cmm -> C pass going to be an adaptation of absCSyn/PprAbsC.lhs?
More information about the Cvs-ghc