summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-11-30 12:33:31 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-11-30 12:33:31 +0000
commit4ecc18b109b64b5a8d98cb582e8c53290ae8a6d1 (patch)
tree0db075fc5fb7f034ca1a8dd8248ee38e32a4b222
parentd6fca8af737ccbdcf89e401d2234e3e98310f76d (diff)
Bug sur les references vers des flottants deboxes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmcomp/cmmgen.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml
index f2c759f2d..278e8f7be 100644
--- a/asmcomp/cmmgen.ml
+++ b/asmcomp/cmmgen.ml
@@ -149,7 +149,7 @@ let subst_boxed_float boxed_id unboxed_id exp =
| Cassign(id, arg) ->
if Ident.same id boxed_id then begin
assigned := true;
- Cassign(unboxed_id, unbox_float arg)
+ Cassign(unboxed_id, subst(unbox_float arg))
end else
Cassign(id, subst arg)
| Ctuple argl -> Ctuple(List.map subst argl)