Mackerel: don't use __DN() for cpu register functions
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 12:24:43 +0000 (13:24 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 14 Mar 2017 12:24:43 +0000 (13:24 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

tools/mackerel/ShiftDriver.hs

index 4dbc014..c48f6ad 100644 (file)
@@ -84,11 +84,11 @@ space_write_fn_name s w =
 
 space_cpu_reg_read_fn_name :: Space.Rec -> Integer -> String -> String
 space_cpu_reg_read_fn_name s w n =
-  printf "__DN(%s)" (concat $ intersperse "_" [ Space.n s, "read", show w, n ])
+  printf (concat $ intersperse "_" [ Space.n s, "read", show w, n ])
 
 space_cpu_reg_write_fn_name :: Space.Rec -> Integer -> String -> String
 space_cpu_reg_write_fn_name s w n =
-  printf "__DN(%s)" (concat $ intersperse "_" [ Space.n s, "write", show w, n ])
+  printf (concat $ intersperse "_" [ Space.n s, "write", show w, n ])
 
 --
 -- Constants-related names