From ad2ea9c2e701dd82c26e6cd3e8a777be9bdef2a2 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 29 Apr 2020 15:12:54 +0200
Subject: Move shared code in new file.

The name_of_register and register_of_name function are shared between
all architectures and can be moved in a common file.
---
 aarch64/Machregsaux.ml | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'aarch64/Machregsaux.ml')

diff --git a/aarch64/Machregsaux.ml b/aarch64/Machregsaux.ml
index 7d233041..5f3c1a8d 100644
--- a/aarch64/Machregsaux.ml
+++ b/aarch64/Machregsaux.ml
@@ -12,22 +12,5 @@
 
 (** Auxiliary functions on machine registers *)
 
-open Camlcoq
-open Machregs
-
-let register_names : (mreg, string) Hashtbl.t = Hashtbl.create 31
-
-let _ =
-  List.iter
-    (fun (s, r) -> Hashtbl.add register_names r (camlstring_of_coqstring s))
-    Machregs.register_names
-
 let is_scratch_register s =
   s = "X16" || s = "x16" || s = "X30" || s = "x30"
-
-
-let name_of_register r =
-  Hashtbl.find_opt register_names r
-
-let register_by_name s =
-  Machregs.register_by_name (coqstring_uppercase_ascii_of_camlstring s)
-- 
cgit