diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 19:35:02 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 19:35:02 +0200 |
| commit | 73e20bd6e0586e38fbc7d87d8c306fad7b578418 (patch) | |
| tree | 3b4ffcfd6ab4df231a2fa66716fa58b4d5ab1b76 /powerpc/Asmgen.v | |
| parent | 76d82e41797ef79531e6bf3d530f380dddd3310e (diff) | |
| download | compcert-kvx-73e20bd6e0586e38fbc7d87d8c306fad7b578418.tar.gz compcert-kvx-73e20bd6e0586e38fbc7d87d8c306fad7b578418.zip | |
Added builtins for call frame and return address.
This builtins can be used to get the call frame address and the return
address. To correctly compute the load address of the return address
the allocframe is extended to contain the offset of the return address.
Diffstat (limited to 'powerpc/Asmgen.v')
| -rw-r--r-- | powerpc/Asmgen.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/Asmgen.v b/powerpc/Asmgen.v index 541fe7c6..db3b7028 100644 --- a/powerpc/Asmgen.v +++ b/powerpc/Asmgen.v @@ -711,7 +711,7 @@ Definition transl_code' (f: Mach.function) (il: list Mach.instruction) (it1p: bo Definition transl_function (f: Mach.function) := do c <- transl_code' f f.(Mach.fn_code) false; OK (mkfunction f.(Mach.fn_sig) - (Pallocframe f.(fn_stacksize) f.(fn_link_ofs) :: + (Pallocframe f.(fn_stacksize) f.(fn_link_ofs) f.(fn_retaddr_ofs) :: Pmflr GPR0 :: Pstw GPR0 (Cint f.(fn_retaddr_ofs)) GPR1 :: Pcfi_rel_offset f.(fn_retaddr_ofs) :: c)). |