diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-08-02 14:26:16 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-08-02 14:26:16 +0200 |
| commit | 9f6e2aac73ca1f863d236f86f446b0894c8ebcef (patch) | |
| tree | d87b9b562eb83f7ea36b7deb97289839f59b2331 /arm/Asmgen.v | |
| parent | 0aa08f5d521401644b5c839239de97f587e0a217 (diff) | |
| download | compcert-kvx-9f6e2aac73ca1f863d236f86f446b0894c8ebcef.tar.gz compcert-kvx-9f6e2aac73ca1f863d236f86f446b0894c8ebcef.zip | |
Improve stack offset addressing
Functions which require large amounts of stack for spilling and/or arguments for function calls lead to stackframe offsets that exceed the 12bit limit of immediate constants in ARM instructions. This patch fixes the stack-offsets in the function prolog/epilog.
Diffstat (limited to 'arm/Asmgen.v')
| -rw-r--r-- | arm/Asmgen.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/Asmgen.v b/arm/Asmgen.v index e7a3b4fa..125e95ff 100644 --- a/arm/Asmgen.v +++ b/arm/Asmgen.v @@ -790,7 +790,7 @@ 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) :: - Pstr IR14 IR13 (SOimm (Ptrofs.to_int f.(fn_retaddr_ofs))) :: c)). + Psavelr f.(fn_retaddr_ofs) :: c)). Definition transf_function (f: Mach.function) : res Asm.function := do tf <- transl_function f; |