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.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ia32/Machregsaux.ml')

diff --git a/ia32/Machregsaux.ml b/ia32/Machregsaux.ml
index 75fd588a..5e98b58b 100644
--- a/ia32/Machregsaux.ml
+++ b/ia32/Machregsaux.ml
@@ -22,6 +22,8 @@ let register_names = [
   ("ST0", FP0)
 ]
 
+let scratch_register_names = []
+
 let name_of_register r =
   let rec rev_assoc = function
   | [] -> None
-- 
cgit