From 4b23f9300df9e2f532745f2810aaa1e0d61f08d8 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 28 Nov 2010 09:51:24 +0000
Subject: Use movapd instead of movsd for xmm reg-reg move: it avoids partial
 register stalls, resulting in tiny speedups.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1556 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 ia32/PrintAsm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ia32')

diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml
index 7d75048e..e4c2ea1d 100644
--- a/ia32/PrintAsm.ml
+++ b/ia32/PrintAsm.ml
@@ -360,7 +360,7 @@ let print_instruction oc labels = function
   | Pmovd_rf(rd, r1) ->
       fprintf oc "	movd	%a, %a\n" freg r1 ireg rd
   | Pmovsd_ff(rd, r1) ->
-      fprintf oc "	movsd	%a, %a\n" freg r1 freg rd
+      fprintf oc "	movapd	%a, %a\n" freg r1 freg rd
   | Pmovsd_fi(rd, n) ->
       let b = Int64.bits_of_float n in
       if b = 0L then (* +0.0 *)
-- 
cgit