From e96b2dd600239a44b5d857d23dfacd4733583fe4 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 2 May 2010 07:46:23 +0000
Subject: Pretty-printers for RTL and LTL.  Not yet well integrated.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1332 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 powerpc/Machregsaux.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'powerpc/Machregsaux.ml')

diff --git a/powerpc/Machregsaux.ml b/powerpc/Machregsaux.ml
index b729d100..2ff3cd92 100644
--- a/powerpc/Machregsaux.ml
+++ b/powerpc/Machregsaux.ml
@@ -33,6 +33,12 @@ let register_names = [
   ("F11", FT1); ("F12", FT2); ("F0", FT3)
 ]
 
+let name_of_register r =
+  let rec rev_assoc = function
+  | [] -> None
+  | (a, b) :: rem -> if b = r then Some a else rev_assoc rem
+  in rev_assoc register_names
+
 let register_by_name s =
   try
     Some(List.assoc (String.uppercase s) register_names)
-- 
cgit