From 9124c9231c11effae6e32d73c6c8af7c4032f928 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Wed, 14 Sep 2016 16:50:28 +0200
Subject: Add missing fixup-code for ARM EABI (bug 19792)

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

(limited to 'arm/TargetPrinter.ml')

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
-- 
cgit