package ocaml_intrinsics

  1. Overview
  2. Docs

Source file float.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
external iround_half_to_even
  :  (float[@unboxed])
  -> (int64[@unboxed])
  = "caml_sse2_cast_float64_int64_bytecode" "caml_sse2_cast_float64_int64"
  [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

external min
  :  (float[@unboxed])
  -> (float[@unboxed])
  -> (float[@unboxed])
  = "caml_sse2_float64_min_bytecode" "caml_sse2_float64_min"
  [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

external max
  :  (float[@unboxed])
  -> (float[@unboxed])
  -> (float[@unboxed])
  = "caml_sse2_float64_max_bytecode" "caml_sse2_float64_max"
  [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

external round
  :  (int[@untagged])
  -> (float[@unboxed])
  -> (float[@unboxed])
  = "caml_sse41_float64_round_bytecode" "caml_sse41_float64_round"
  [@@noalloc] [@@builtin] [@@no_effects] [@@no_coeffects]

module Rounding_mode = struct
  (* These also imply _MM_FROUND_NO_EXC *)
  let nearest = 0x8
  let neg_inf = 0x9
  let pos_inf = 0xA
  let zero = 0xB
  let current = 0xC
end

let[@inline always] round_half_to_even x = round Rounding_mode.current x
let[@inline always] round_down x = round Rounding_mode.neg_inf x
let[@inline always] round_up x = round Rounding_mode.pos_inf x
let[@inline always] round_towards_zero x = round Rounding_mode.zero x
let[@inline always] round_nearest x = round Rounding_mode.nearest x