Here's what I have so far. Comments welcome. It cannot be considered anywhere near complete, but it acts like it generates x86 asm for a bunch of small test cases anyway :) It started out as show-parse.c. The emit_xxx stuff is what I have converted from show-parse pseudo-code into x86 code generation. The x86_xxx stuff is the stuff that remains. FIXMEs abound. I haven't actually tried to assmble anything yet. Just studying what gcc generates, and then what I generate. A few random notes in closing: * function-at-a-time * just does one subl and one addl for stack manipulation, which implies that it has to output everything from post-function cleanup pass (emit_func_post). * however, x86_xxx stuff (not yet converted) will still print out pseudocode. So your output will look like function header psuedocode (i.e. stuff not yet handled) real x86 code If you don't see any pseudocode... you may actually be lucky enough to be able to compile your asm ;-)