Remember to emit _l5_ functions.

diff --git a/codegen/stringifier.sml b/codegen/stringifier.sml
index 6124a55b9af249cc4881f57311180035000673a3..b01beba8809e09ec313c37dbbe8fa8d2ae890d3e 100644 (file)
--- a/codegen/stringifier.sml
+++ b/codegen/stringifier.sml
@@ -18,8 +18,8 @@ struct
   (* val stringify : asm -> string
    * turns a x86 instruction list into a string of assembly code for these instructions *)
 
   (* 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)
 
   (* val stringify : asm -> string *)
   fun stringify realname l = String.concat (List.map (stringify' realname) l)