From b1e584557d2c5ef8422694ea6453f537dbd1573a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 23 Apr 2015 15:01:53 +0200
Subject: Allow "scratch" (non-allocatable temporary registers) to be mentioned
 in asm clobber lists.

---
 ia32/Machregsaux.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ia32/Machregsaux.mli')

diff --git a/ia32/Machregsaux.mli b/ia32/Machregsaux.mli
index f09ebddb..f0feec96 100644
--- a/ia32/Machregsaux.mli
+++ b/ia32/Machregsaux.mli
@@ -14,5 +14,6 @@
 
 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 mregs_of_clobber: Camlcoq.atom list -> Machregs.mreg list
-- 
cgit