From c9d01df3577a23e20abbe934f6f36f17dbbb82cd Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 17 Aug 2017 09:45:44 +0200 Subject: ARM: Generate Pcfi_rel_offset directives directly from Asmgen This is what we do for PowerPC and is more resilient to changes in code generation. We need to give Pcfi_rel_offset a dynamic semantics, but that's just a no-op. --- arm/Asmgen.v | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'arm/Asmgen.v') diff --git a/arm/Asmgen.v b/arm/Asmgen.v index 125e95ff..8c49d881 100644 --- a/arm/Asmgen.v +++ b/arm/Asmgen.v @@ -790,7 +790,8 @@ Definition transl_function (f: Mach.function) := do c <- transl_code f f.(Mach.fn_code) true; OK (mkfunction f.(Mach.fn_sig) (Pallocframe f.(fn_stacksize) f.(fn_link_ofs) :: - Psavelr f.(fn_retaddr_ofs) :: c)). + Psavelr f.(fn_retaddr_ofs) :: + Pcfi_rel_offset (Ptrofs.to_int f.(fn_retaddr_ofs)):: c)). Definition transf_function (f: Mach.function) : res Asm.function := do tf <- transl_function f; -- cgit