From b1e584557d2c5ef8422694ea6453f537dbd1573a Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 23 Apr 2015 15:01:53 +0200 Subject: Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm clobber lists. --- arm/Machregsaux.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'arm/Machregsaux.mli') diff --git a/arm/Machregsaux.mli b/arm/Machregsaux.mli index 90343b5b..f0feec96 100644 --- a/arm/Machregsaux.mli +++ b/arm/Machregsaux.mli @@ -12,7 +12,8 @@ (** Auxiliary functions on machine registers *) +val name_of_register: Machregs.mreg -> string option val register_by_name: string -> Machregs.mreg option +val scratch_register_names: string list val can_reserve_register: Machregs.mreg -> bool -val name_of_register: Machregs.mreg -> string option val mregs_of_clobber: Camlcoq.atom list -> Machregs.mreg list -- cgit