From 6ee04b19dc6106932e7498e34c1b4938a94bf074 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 27 Nov 2013 08:53:19 +0000
Subject: Rename "-fno-sse" into "-fno-fpu" and honor it on PowerPC as well.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2374 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 5fb2568..4480f91 100644
--- a/ia32/PrintAsm.ml
+++ b/ia32/PrintAsm.ml
@@ -292,7 +292,7 @@ let print_annot_val oc txt args res =
 let print_builtin_memcpy_small oc sz al src dst =
   assert (src = EDX && dst = EAX);
   let rec copy ofs sz =
-    if sz >= 8 && !Clflags.option_fsse then begin
+    if sz >= 8 && !Clflags.option_ffpu then begin
       fprintf oc "	movq	%d(%a), %a\n" ofs ireg src freg XMM7;
       fprintf oc "	movq	%a, %d(%a)\n" freg XMM7 ofs ireg dst;
       copy (ofs + 8) (sz - 8)
-- 
cgit v1.2.3