package ocaml_intrinsics

You can search for identifiers within the package.

in-package search v0.2.0

ocaml_intrinsics
- Ocaml_intrinsics
  - Atomic
    
    Bigstring
    
    Ext_pointer
    
    Native_pointer
  - Atomic_expert
  - Bigstring_intf
  - Conditional
  - Crc
  - Ext_pointer
    
    Bool
    
    Immediate
    
    V
    
    Int
  - Fences
  - Float
  - Int
  - Int32
  - Int64
  - Native_pointer
    
    Bool
    
    V
    
    Expert
    
    Immediate_intf
    
    V
    
    Int
    
    V
  - Nativeint
  - Perfmon
  - Prefetch
  - Prefetch_expert

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Ocaml_intrinsics_kernel.Conditional end

val select_value : bool -> 'a -> 'a -> 'a

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.

val select_int : bool -> int -> int -> int

val select_int64 : bool -> int64 -> int64 -> int64

val select_int32 : bool -> int32 -> int32 -> int32

val select_nativeint : bool -> nativeint -> nativeint -> nativeint