From 469a282add58074e2bc1a2822125d18e4dc6a80d Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 25 Mar 2020 00:57:57 +0100 Subject: removed RA restoration --- aarch64/Asmgen.v | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'aarch64/Asmgen.v') diff --git a/aarch64/Asmgen.v b/aarch64/Asmgen.v index 875f3fd1..fc083223 100644 --- a/aarch64/Asmgen.v +++ b/aarch64/Asmgen.v @@ -1050,8 +1050,10 @@ Definition storeptr (src: ireg) (base: iregsp) (ofs: ptrofs) (k: code) := (** Function epilogue *) Definition make_epilogue (f: Mach.function) (k: code) := - loadptr XSP f.(fn_retaddr_ofs) RA - (Pfreeframe f.(fn_stacksize) f.(fn_link_ofs) :: k). + if is_leaf_function f + then Pfreeframe f.(fn_stacksize) f.(fn_link_ofs) :: k + else loadptr XSP f.(fn_retaddr_ofs) RA + (Pfreeframe f.(fn_stacksize) f.(fn_link_ofs) :: k). (** Translation of a Mach instruction. *) -- cgit