changing hashmap method to recover data

jasmin-lang · Sep 23, 2024 · 9ebf1fa · 9ebf1fa
1 parent 7ecaed9
commit 9ebf1fa
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/compiler/src/printASM.ml b/compiler/src/printASM.ml
@@ -26,13 +26,12 @@ let string_of_label name p =
   Format.asprintf "L%s$%d" (escape name) (Conv.int_of_pos p)
 
 let string_of_glob x occurrences =
-  let count = Hashtbl.find_opt occurrences x.v_name in 
-  match count with 
-  | None -> 
-      Hashtbl.add occurrences x.v_name 1;
+
+  BatHashtbl.modify_def 0 x.v_name (fun x->x+1) occurrences;
+  let count = BatHashtbl.find occurrences x.v_name in
+  if count = 0 then
       Format.asprintf "G$%s" (escape x.v_name)
-  | Some count -> 
-      Hashtbl.replace occurrences x.v_name (count+1);
+  else
       (*Adding the number of occurences to the label to avoid names conflict*)
       Format.asprintf "G$%s$%d" (escape x.v_name) (count)
 

diff --git a/tree/var-initialisation-merge-tree b/tree/var-initialisation-merge-tree