From 5ad466befa609df178f04886484ee38b1a9c44ed Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 23 Apr 2015 14:49:30 +0200 Subject: Take asm clobbers into account for determining callee-save registers used. --- powerpc/Machregsaux.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'powerpc/Machregsaux.mli') diff --git a/powerpc/Machregsaux.mli b/powerpc/Machregsaux.mli index 400c5abb..90343b5b 100644 --- a/powerpc/Machregsaux.mli +++ b/powerpc/Machregsaux.mli @@ -15,3 +15,4 @@ val register_by_name: string -> Machregs.mreg option val can_reserve_register: Machregs.mreg -> bool val name_of_register: Machregs.mreg -> string option +val mregs_of_clobber: Camlcoq.atom list -> Machregs.mreg list -- cgit