package ocaml_intrinsics

  1. Overview
  2. Docs
Intrinsics

Install 

dune-project
 Dependency

github.com Readme MIT License Edit opam file Versions (7)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

v0.16.2.tar.gz
md5=30a6bf3dcbde30922a38c970a6898b4d
sha512=2d13598222764f79f610825a24e61ee5f5aab9689796189beba8d1f450d2428e9b557b6b9f6b0166db6f04e06796db0549825a42032fd8c7d79852581e407208

doc/src/ocaml_intrinsics/int.ml.html

Source file int.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
(** The are two version of [count_leading_zeros], [count_set_bits] each, which differ in
    their native code implementation.  The first version takes as input a tagged integer
    and the second version takes as input an untagged integer.  Generally, the first
    version (that operates on a tagged integer) is faster, but if the integer is already
    untagged, it may be faster to use the second version.
*)

(** [count_leading_zeros n] returns the number of most-significant
    zero bits before the most significant set bit in [n].
    If [n] is 0, the result is the number of bits in [n],
    that is 31 or 63, depending on the target. *)
external count_leading_zeros
  :  int
  -> (int[@untagged])
  = "caml_int_clz" "caml_int_clz_tagged_to_untagged"
  [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

external count_leading_zeros2
  :  int
  -> int
  = "caml_int_clz" "caml_int_clz_untagged_to_untagged"
  [@@untagged] [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

(** [count_set_bits n] returns the number of bits that are 1 in [n]. *)
external count_set_bits
  :  int
  -> (int[@untagged])
  = "caml_int_popcnt" "caml_int_popcnt_tagged_to_untagged"
  [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

external count_set_bits2
  :  int
  -> int
  = "caml_int_popcnt" "caml_int_popcnt_untagged_to_untagged"
  [@@untagged] [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

(** [count_trailing_zeros n] returns the number of least-significant
    zero bits before the least significant set bit in [n].
    If [n] is 0, the result is the number of bits in [n],
    that is 31 or 63, depending on the target. *)
external count_trailing_zeros
  :  int
  -> int
  = "caml_int_ctz" "caml_int_ctz_untagged_to_untagged"
  [@@untagged] [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]