diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2010-01-20 16:26:46 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2010-01-20 16:26:46 +0000 |
commit | bdc0fadee2dc9669818955486b4c3497016edda5 (patch) | |
tree | 48047d836d903e84f7e0ae6d74613c2247c4fc81 /asmcomp/alpha/emit.mlp | |
parent | 8cd4fc63907a541d05f31a740632948d453f69f9 (diff) | |
download | ocaml-bdc0fadee2dc9669818955486b4c3497016edda5.tar.gz |
merge changes from release/3.11.1 to release/3.11.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/alpha/emit.mlp')
-rw-r--r-- | asmcomp/alpha/emit.mlp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/alpha/emit.mlp b/asmcomp/alpha/emit.mlp index b3890a4482..3c04b7a47a 100644 --- a/asmcomp/alpha/emit.mlp +++ b/asmcomp/alpha/emit.mlp @@ -793,9 +793,9 @@ let emit_item = function long decimal constants *) ` .quad 0x{emit_string(Nativeint.format "%x" n)}\n` | Csingle f -> - ` .float {emit_string f}\n` + emit_float32_directive ".long" f | Cdouble f -> - ` .double {emit_string f}\n` + emit_float64_directive ".quad" f | Csymbol_address s -> ` .quad {emit_symbol s}\n` | Clabel_address lbl -> |