Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- diff -u ocaml-3.12.1/asmcomp/cmmgen.ml ocaml-3.12.1p/asmcomp/cmmgen.ml
- --- ocaml-3.12.1/asmcomp/cmmgen.ml 2010-11-11 18:08:07.000000000 +0100
- +++ ocaml-3.12.1p/asmcomp/cmmgen.ml 2011-09-25 14:00:19.000000000 +0200
- @@ -1230,8 +1230,14 @@
- bind "index" (transl arg2) (fun idx ->
- bind "arr" (transl arg1) (fun arr ->
- bind "header" (header arr) (fun hdr ->
- - Cifthenelse(is_addr_array_hdr hdr,
- - Csequence(Cop(Ccheckbound dbg, [addr_array_length hdr; idx]),
- + if wordsize_shift = numfloat_shift then
- + Csequence(Cop(Ccheckbound dbg, [addr_array_length hdr; idx]),
- + Cifthenelse(is_addr_array_hdr hdr,
- + addr_array_ref arr idx,
- + float_array_ref arr idx))
- + else
- + Cifthenelse(is_addr_array_hdr hdr,
- + Csequence(Cop(Ccheckbound dbg, [addr_array_length hdr; idx]),
- addr_array_ref arr idx),
- Csequence(Cop(Ccheckbound dbg, [float_array_length hdr; idx]),
- float_array_ref arr idx)))))
Add Comment
Please, Sign In to add comment