diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2010-01-29 08:15:03 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2010-01-29 08:15:03 +0000 |
| commit | 7e530ac7558edbd3bdff0dbfa830bbd4c0a1ff91 (patch) | |
| tree | efd741cafdfe24a05ea6d8b8078ec7b7c8ae3b7d /asmcomp | |
| parent | 25070460f2fe31e0361f1c62a800a6a3883a035a (diff) | |
| download | ocaml-7e530ac7558edbd3bdff0dbfa830bbd4c0a1ff91.tar.gz | |
mistake in the size of allocated integers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp')
| -rw-r--r-- | asmcomp/cmmgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index 635c3f751c..9b69756cbc 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -52,7 +52,7 @@ let floatarray_header len = block_header Obj.double_array_tag (len * size_float / size_addr) let string_header len = block_header Obj.string_tag ((len + size_addr) / size_addr) -let boxedint_header = block_header Obj.custom_tag 2 +let boxedint_header = block_header Obj.custom_tag (1 + 8 / size_addr) let alloc_block_header tag sz = Cconst_natint(block_header tag sz) let alloc_float_header = Cconst_natint(float_header) |