package xedbindings

You can search for identifiers within the package.

in-package search v0.2.0

xedbindings
- Library xedbindings
  - Xedbindings
    
    Xed
    
    Bind
- Library xedbindings.bind
  - Xedbindings_bind
    
    Bind
    
    Funcs
    
    Types
    
    Ptr
    
    ChipFeatures
    
    DecodedInst
    
    EncoderRequest
    
    FlagAction
    
    FlagSet
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State
    
    Constants
    
    Enum
    
    Enc
    
    C
    
    Type
    
    Function
    
    Function_desc
    
    Functions
    
    Type_desc
    
    Types
    
    Ptr
    
    Types_generated
    
    Ptr
    
    XBEnums
- Library xedbindings.xed
  - Xedbindings_xed
    
    Xed
    
    Bind
    
    Ptr
    
    Enum
    
    ChipFeatures
    
    DecodedInst
    
    EncoderRequest
    
    FlagAction
    
    FlagSet
    
    FlagDFV
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State
    
    Enc
- Sources
  - xedbindings
    
    xedbindings.ml
  - xedbindings.bind
    
    XBEnums.ml
    
    bind.ml
    
    c.ml
    
    function_desc.ml
    
    libxed__c_generated_functions__Function_desc__Function.ml
    
    libxed__c_generated_types.ml
    
    type_desc.ml
    
    types_generated.ml
    
    xedbindings_bind.ml
  - xedbindings.xed
    
    Xed.ml
    
    xedbindings_xed.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Xed.OperandValues`Source

include module type of struct include Bind.OperandValues end

type -'perm t =
  (Xedbindings_bind.Bind.Types.operand_values Ctypes.abstract, 'perm)
    Xedbindings_bind.Bind.Ptr.t

Source

val uninit : 
  unit ->
  (Xedbindings_bind.Bind.Types.operand_values Ctypes.abstract,
    [ `Read | `Write ])
    Xedbindings_bind.Bind.Ptr.t

Source

val accesses_memory : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val branch_not_taken_hint : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val branch_taken_hint : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val cet_no_track : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val clear_rep : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val get_atomic : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val get_base_reg : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  Xedbindings_bind.XBEnums.reg

Source

val get_branch_displacement_byte : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  char

Source

val get_branch_displacement_int64 : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t

Source

val get_displacement_for_memop : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val get_iclass : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Xedbindings_bind.XBEnums.iclass

Source

val get_immediate_byte : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  char

Source

val get_immediate_int64 : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t

Source

val get_immediate_uint64 : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Unsigned.UInt64.t

Source

val get_index_reg : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  Xedbindings_bind.XBEnums.reg

Source

val get_long_mode : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val get_memory_displacement_byte : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  char

Source

val get_memory_displacement_int64 : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t

Source

val get_memory_displacement_int64_raw : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t

Source

val get_memory_operand_length : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  int

Source

val get_pp_vex_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int

Source

val get_real_mode : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val get_scale : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int

Source

val get_second_immediate : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  char

Source

val get_seg_reg : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  Xedbindings_bind.XBEnums.reg

Source

val has_66_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_address_size_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_branch_displacement : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_displacement : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_immediate : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_lock_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_memory_displacement : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_modrm_byte : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_operand_size_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_real_rep : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_rep_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_repne_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_rexw_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_segment_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val has_sib_byte : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Sourceval init : unit -> [ `Read | `Write ] t

Source

val init_keep_mode : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  [ `Read | `Write ] t

Source

val init_set_mode : 
  [> `Read ] Xedbindings_bind.Bind.Types.state_ptr ->
  [ `Read | `Write ] t

Sourceval is_nop : [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr -> bool

Source

val lockable : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val mandatory_66_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val memop_without_modrm : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bool

Source

val number_of_memory_operands : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int

Source

val print_short : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  bytes ->
  unit

Source

val segment_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val set_absbr : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val set_base_reg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_branch_displacement : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_branch_displacement_bits : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_effective_address_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  unit

Source

val set_effective_operand_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  unit

Source

val set_iclass : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Xedbindings_bind.XBEnums.iclass ->
  unit

Source

val set_immediate_signed : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int32.t ->
  int ->
  unit

Source

val set_immediate_signed_bits : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int32.t ->
  int ->
  unit

Source

val set_immediate_unsigned : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Unsigned.UInt64.t ->
  int ->
  unit

Source

val set_immediate_unsigned_bits : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Unsigned.UInt64.t ->
  int ->
  unit

Source

val set_index_reg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_lock : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val set_memory_displacement : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_memory_displacement_bits : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Signed.Int64.t ->
  int ->
  unit

Source

val set_memory_operand_length : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  unit

Source

val set_mode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  [> `Read ] Xedbindings_bind.Bind.Types.state_ptr ->
  unit

Source

val set_operand_reg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  Xedbindings_bind.XBEnums.operand ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_relbr : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val set_scale : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  int ->
  unit

Source

val set_seg_reg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val using_default_segment : 
  [> `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  int ->
  bool

Source

val zero_branch_displacement : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val zero_immediate : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val zero_memory_displacement : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val zero_segment_override : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr ->
  unit

Source

val dump : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  string

Source

val to_string : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  string

Source

val get_immediate_is_signed : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  bool

Source

val get_branch_displacement_length : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

Source

val get_branch_displacement_length_bits : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

Source

val get_effective_address_width : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

Source

val get_effective_operand_width : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

Source

val get_memory_displacement_length : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

Source

val get_memory_displacement_length_bits : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

Source

val get_memory_displacement_length_bits_raw : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

Source

val get_stack_address_width : 
  [> `Read ] Xedbindings_bind.Types_generated.operand_values_ptr ->
  int

package xedbindings

Module Xed.OperandValuesSource

Module `Xed.OperandValues`Source