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.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'arm/Machregsaux.ml') diff --git a/arm/Machregsaux.ml b/arm/Machregsaux.ml index 3f7d0693..44e6b192 100644 --- a/arm/Machregsaux.ml +++ b/arm/Machregsaux.ml @@ -25,6 +25,8 @@ let register_names = [ ("F12", F12);("F13", F13);("F14", F14); ("F15", F15) ] +let scratch_register_names = [ "R14" ] + let name_of_register r = let rec rev_assoc = function | [] -> None -- cgit