From 4cbdaa1a71c91b33136144b76ac2b7d6906688bc Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Thu, 15 Sep 2016 13:02:33 +0200
Subject: improve fixup code (bug 19792)

---
 arm/TargetPrinter.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'arm/TargetPrinter.ml')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 609d2475..6d194369 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -382,8 +382,10 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
             end
         | (fr, Single, sr) :: act ->
             let n = fixup_incoming oc act in
+            if (2*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
-- 
cgit