summaryrefslogtreecommitdiff
path: root/powerpc
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-11-27 08:53:19 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-11-27 08:53:19 +0000
commit6ee04b19dc6106932e7498e34c1b4938a94bf074 (patch)
treeab13736cea1d59384199e457a3329f12c0524f84 /powerpc
parent726c815f2070e9ae40bdf6df1d4e63b4a60b6e09 (diff)
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
Diffstat (limited to 'powerpc')
-rw-r--r--powerpc/PrintAsm.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index e720b6f..108dbaf 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -338,7 +338,7 @@ let print_annot_val oc txt args res =
let print_builtin_memcpy_small oc sz al src dst =
let rec copy ofs sz =
- if sz >= 8 && al >= 4 then begin
+ if sz >= 8 && al >= 4 && !Clflags.option_ffpu then begin
fprintf oc " lfd %a, %d(%a)\n" freg FPR13 ofs ireg src;
fprintf oc " stfd %a, %d(%a)\n" freg FPR13 ofs ireg dst;
copy (ofs + 8) (sz - 8)