From 5ad466befa609df178f04886484ee38b1a9c44ed Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 23 Apr 2015 14:49:30 +0200
Subject: Take asm clobbers into account for determining callee-save registers
 used.

---
 arm/Machregsaux.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'arm/Machregsaux.ml')

diff --git a/arm/Machregsaux.ml b/arm/Machregsaux.ml
index 5486c4b4..3f7d0693 100644
--- a/arm/Machregsaux.ml
+++ b/arm/Machregsaux.ml
@@ -41,3 +41,10 @@ let can_reserve_register r =
   List.mem r Conventions1.int_callee_save_regs
   || List.mem r Conventions1.float_callee_save_regs
 
+let mregs_of_clobber idl =
+  List.fold_left
+    (fun l c ->
+      match register_by_name (Camlcoq.extern_atom c) with
+      | Some r -> r :: l
+      | None -> l)
+    [] idl
-- 
cgit