Advertisement
Guest User

64-bit patch for ocaml 3.12.1 memprof patch

a guest
Sep 12th, 2012
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Diff 1.49 KB | None | 0 0
  1. --- hPLoadHeap.ml.orig  2012-09-12 23:40:54.372978413 +0200
  2. +++ hPLoadHeap.ml       2012-09-12 23:49:33.256969411 +0200
  3. @@ -17,10 +17,18 @@
  4.    let c1 =  int_of_char (input_char ic) in
  5.    let c2 =  int_of_char (input_char ic) in
  6.    let c3 =  int_of_char (input_char ic) in
  7. +  let c4 =  int_of_char (input_char ic) in
  8. +  let c5 =  int_of_char (input_char ic) in
  9. +  let c6 =  int_of_char (input_char ic) in
  10. +  let c7 =  int_of_char (input_char ic) in
  11.    c0 lor
  12.      (c1 lsl 8) lor
  13.      (c2 lsl 16) lor
  14. -    (c3 lsl 24)
  15. +    (c3 lsl 24) lor
  16. +    (c4 lsl 32) lor
  17. +    (c5 lsl 40) lor
  18. +    (c6 lsl 48) lor
  19. +    (c7 lsl 56)
  20.  
  21.  (*************************************************************************)
  22.  (*                                                                       *)
  23. @@ -141,11 +149,19 @@
  24.    let c1 =  int_of_char (input_char ic) in
  25.    let c2 =  int_of_char (input_char ic) in
  26.    let c3 =  int_of_char (input_char ic) in
  27. +  let c4 =  int_of_char (input_char ic) in
  28. +  let c5 =  int_of_char (input_char ic) in
  29. +  let c6 =  int_of_char (input_char ic) in
  30. +  let c7 =  int_of_char (input_char ic) in
  31.    if c0 land 1 = 1 then 0 else
  32.      (c0 lsr 1) lor
  33.        (c1 lsl 7) lor
  34.        (c2 lsl 15) lor
  35. -      (c3 lsl 23)
  36. +      (c3 lsl 23) lor
  37. +      (c4 lsl 31) lor
  38. +      (c5 lsl 39) lor
  39. +      (c6 lsl 47) lor
  40. +      (c7 lsl 55)
  41.  
  42.  (*************************************************************************)
  43.  (*                                                                       *)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement