summaryrefslogtreecommitdiff
path: root/lib/ocaml_rts/linksem/uint16_wrapper.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ocaml_rts/linksem/uint16_wrapper.ml')
-rw-r--r--lib/ocaml_rts/linksem/uint16_wrapper.ml48
1 files changed, 0 insertions, 48 deletions
diff --git a/lib/ocaml_rts/linksem/uint16_wrapper.ml b/lib/ocaml_rts/linksem/uint16_wrapper.ml
deleted file mode 100644
index 0b26a5c3..00000000
--- a/lib/ocaml_rts/linksem/uint16_wrapper.ml
+++ /dev/null
@@ -1,48 +0,0 @@
-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
-;; \ No newline at end of file