1 files changed, 1 insertions, 1 deletions
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 95cae3f7..6d194369 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -382,7 +382,7 @@ 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
+            if (2*fr) = sr then n else begin
               fprintf oc "	vmov.f32 s%d, s%d\n" (2*fr) sr;
               1 + n
             end