lib/ocaml_rts/linksem/uint16_wrapper.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

type uint16 = Big_int.big_int

(* 2^16 - 1 *)
let max_int = Big_int.big_int_of_string "65535"
;;

let of_bigint (i : Big_int.big_int) =
  Big_int.mod_big_int i max_int
;;

let to_bigint (u : uint16) = u
;;

let shift_left i s =
  Big_int.mod_big_int (Big_int.shift_left_big_int i s) max_int
;;

let shift_right i s =
  Big_int.mod_big_int (Big_int.shift_right_big_int i s) max_int
;;

let logand l r =
  Big_int.mod_big_int (Big_int.and_big_int l r) max_int
;;

let logor l r =
  Big_int.mod_big_int (Big_int.or_big_int l r) max_int
;;

let of_dual c1 c2 =
  let b1 = Big_int.big_int_of_int (Char.code c1) in
  let b2 = shift_left (Big_int.big_int_of_int (Char.code c2)) 8 in
    Big_int.add_big_int b1 b2
;;

let to_bytes u =
  let b0 = Char.chr (Big_int.int_of_big_int (logand u (Big_int.big_int_of_string "255"))) in (* 0xFF *)
  let b1 = Char.chr (Big_int.int_of_big_int (shift_right (logand u (Big_int.big_int_of_string "65280")) 8)) in (* 0xFF00 *)
    b1, b0
;;

let to_string (u : uint16) =
  Big_int.string_of_big_int u
;;

let equal u1 u2 =
  Big_int.eq_big_int u1 u2
;;