| | 1 | (* L3 compiler |
| | 2 | * stringifier |
| | 3 | * turns a list of x86 insns into the assembly code to generate them |
| | 4 | * Author: Chris Lu <czl@andrew.cmu.edu> |
| | 5 | *) |
| | 6 | |
| | 7 | signature STRINGIFY = |
| | 8 | sig |
| | 9 | type asm = x86.insn list |
| | 10 | val stringify : (string -> string) -> asm -> string |
| | 11 | end |
| | 12 | |
| | 13 | structure Stringify :> STRINGIFY = |
| | 14 | struct |
| | 15 | type asm = x86.insn list |
| | 16 | structure X = x86 |
| | 17 | |
| | 18 | (* val stringify : asm -> string |
| | 19 | * turns a x86 instruction list into a string of assembly code for these instructions *) |
| | 20 | |
| | 21 | fun stringify' rn (X.CALL (l, n)) = X.prettyprint (X.CALL ((Symbol.symbol (rn (Symbol.name l))), n)) |
| | 22 | | stringify' rn x = X.prettyprint x |
| | 23 | |
| | 24 | (* val stringify : asm -> string *) |
| | 25 | fun stringify realname l = foldr (fn (a,b) => (stringify' realname a) ^ b) ("") l |
| | 26 | |
| | 27 | end |
git.joshuawise.com / snipe.git / blame_incremental