diff options
Diffstat (limited to 'ia32/Machregsaux.ml')
| -rw-r--r-- | ia32/Machregsaux.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/ia32/Machregsaux.ml b/ia32/Machregsaux.ml index 6485e752..3ec9596a 100644 --- a/ia32/Machregsaux.ml +++ b/ia32/Machregsaux.ml @@ -30,7 +30,4 @@ let name_of_register r = let register_by_name s = Machregs.register_by_name (coqstring_of_camlstring (String.uppercase s)) -let can_reserve_register r = - List.mem r Conventions1.int_callee_save_regs - || List.mem r Conventions1.float_callee_save_regs - +let can_reserve_register r = Conventions1.is_callee_save r |