(* val stringify : asm -> string
* turns a x86 instruction list into a string of assembly code for these instructions *)
- fun (*stringify' rn (X.CALL (l, n)) = X.print (X.CALL ((Symbol.symbol (rn (Symbol.name l))), n))
- | *)stringify' rn x = X.print x
+ fun stringify' rn (X.INSN (pred, X.MOVSYM (r, n))) = X.print (X.INSN (pred, X.MOVSYM (r, (Symbol.symbol (rn (Symbol.name n))))))
+ | stringify' rn x = X.print x
(* val stringify : asm -> string *)
fun stringify realname l = String.concat (List.map (stringify' realname) l)