Source file `conditional.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
(** [select_value c a b] is equivalent to [if c then a else b)]
    where [a] and [b] are eagerly evaluated, regardless of the value of [c].
    Compiles to CMOV instruction on amd64 targets.
    Can be used to avoid branch misprediction when [c] is data dependent. *)
external select_value
  :  bool
  -> ('a[@local_opt])
  -> ('a[@local_opt])
  -> ('a[@local_opt])
  = "caml_csel_value"
  [@@noalloc] [@@no_effects] [@@no_coeffects] [@@builtin]

external select_int
  :  bool
  -> (int[@untagged])
  -> (int[@untagged])
  -> (int[@untagged])
  = "caml_csel_value" "caml_csel_int_untagged"
  [@@noalloc] [@@no_effects] [@@no_coeffects] [@@builtin]

external select_int64
  :  bool
  -> (int64[@unboxed])
  -> (int64[@unboxed])
  -> (int64[@unboxed])
  = "caml_csel_value" "caml_csel_int64_unboxed"
  [@@noalloc] [@@no_effects] [@@no_coeffects] [@@builtin]

external select_int32
  :  bool
  -> (int32[@unboxed])
  -> (int32[@unboxed])
  -> (int32[@unboxed])
  = "caml_csel_value" "caml_csel_int32_unboxed"
  [@@noalloc] [@@no_effects] [@@no_coeffects] [@@builtin]

external select_nativeint
  :  bool
  -> (nativeint[@unboxed])
  -> (nativeint[@unboxed])
  -> (nativeint[@unboxed])
  = "caml_csel_value" "caml_csel_nativeint_unboxed"
  [@@noalloc] [@@no_effects] [@@no_coeffects] [@@builtin]