WIP

ocsigen · Sep 22, 2024 · e2652fa · e2652fa
1 parent 1a65dd0
commit e2652fa
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/compiler/lib/code.ml b/compiler/lib/code.ml
@@ -176,7 +176,7 @@ end = struct
 
   let to_string ?origin i = Var_printer.to_string printer ?origin i
 
-  let print f x = Format.fprintf f "v%d" x
+  let print f x = Format.fprintf f "v%d_%s" x (to_string x)
 
   (* Format.fprintf f "%s" (to_string x) *)
 

diff --git a/compiler/lib/global_deadcode.ml b/compiler/lib/global_deadcode.ml
@@ -425,6 +425,7 @@ module Print = struct
     | Top -> "top"
     | Dead -> "dead"
 
+  (*
   let print_uses uses =
     Format.eprintf "Usages:\n";
     Var.Tbl.iter
@@ -448,6 +449,7 @@ module Print = struct
     Var.Tbl.iter
       (fun v l -> Format.eprintf "%a: %s\n" Var.print v (live_to_string l))
       live_vars
+*)
 
   let print_live_tbl live_table =
     Format.eprintf "Liveness with dependencies:\n";
@@ -482,14 +484,16 @@ let f p ~deadcode_sentinal global_info =
   then (
     Format.eprintf "Before Zeroing:\n";
     Code.Print.program (fun _ _ -> "") p;
+    (*
     Print.print_liveness live_vars;
     Print.print_uses uses;
+    *)
     Print.print_live_tbl live_table);
   (* Zero out dead fields *)
   let p = zero p deadcode_sentinal live_table in
   if debug ()
   then (
-    Format.printf "After Zeroing:\n";
+    Format.eprintf "After Zeroing:\n";
     Code.Print.program (fun _ _ -> "") p);
   if times () then Format.eprintf "  deadcode dgraph.: %a@." Timer.print t;
   p