diff options
Diffstat (limited to 'powerpc/Machregsaux.ml')
-rw-r--r-- | powerpc/Machregsaux.ml | 6 |
1 files changed, 6 insertions, 0 deletions
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) |