Source file `crc.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
(** Generates the crc32q machine instruction, a 64bit accumulate CRC32 (polynomial
    0x11EDC6F41) value.

    requires sse4.2 support. (-msse4.2) *)
external int_crc
  :  initial:int
  -> data:int
  -> int
  = "caml_sse42_int_untagged_crc_bytecode" "caml_sse42_int_untagged_crc"
  [@@noalloc] [@@untagged] [@@builtin] [@@no_effects] [@@no_coeffects]

external int64_crc
  :  initial:(int[@untagged])
  -> data:(int64[@unboxed])
  -> (int[@untagged])
  = "caml_sse42_int64_crc_bytecode" "caml_sse42_int64_crc"
  [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

let iterated_crc_exn ~initial ~iterations ~data =
  if iterations < 0
  then
    raise
      (Invalid_argument
         (Printf.sprintf
            "iterated_crc: iterations=%d is invalid, must be non-negative value"
            iterations));
  let rec loop i ~acc =
    if i < iterations then loop (i + 1) ~acc:(int_crc ~initial:0 ~data:acc) else acc
  in
  loop 1 ~acc:(int_crc ~initial ~data)
;;