diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-09-14 16:50:28 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-09-14 16:51:42 +0200 |
commit | 9124c9231c11effae6e32d73c6c8af7c4032f928 (patch) | |
tree | 377a15aa0159a723d5ac98939640dbea638e27b0 /arm/TargetPrinter.ml | |
parent | 09807086f6265a38c1c313c478b8cc447b156399 (diff) | |
download | compcert-9124c9231c11effae6e32d73c6c8af7c4032f928.tar.gz compcert-9124c9231c11effae6e32d73c6c8af7c4032f928.zip |
Add missing fixup-code for ARM EABI (bug 19792)
Diffstat (limited to 'arm/TargetPrinter.ml')
-rw-r--r-- | arm/TargetPrinter.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml index 95cae3f7..609d2475 100644 --- a/arm/TargetPrinter.ml +++ b/arm/TargetPrinter.ml @@ -382,10 +382,8 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET = end | (fr, Single, sr) :: act -> let n = fixup_incoming oc act in - if fr = sr then n else begin fprintf oc " vmov.f32 s%d, s%d\n" (2*fr) sr; 1 + n - end let fixup_arguments oc dir sg = if sg.sig_cc.cc_vararg then |