package xedbindings

You can search for identifiers within the package.

in-package search v0.2.0

package xedbindings

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.Operand3`Source

include module type of struct include Bind.Operand3 end

Sourceval get_absbr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_agen : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_amd3dnow : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_asz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_base0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_base1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Sourceval get_bcast : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_bcrc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_brdisp_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char

Sourceval get_cet : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_chip : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.chip

Source

val get_cldemote : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_default_seg : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_df32 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_df64 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_disp : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Signed.Int64.t

Source

val get_disp_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char

Sourceval get_dummy : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_easz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_element_size : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_encode_force : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_encoder_preferred : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_eosz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_error : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.error

Sourceval get_esrc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_evvspace : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_first_f2f3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_has_egpr : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_hint : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

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

Sourceval get_ild_f2 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_ild_f3 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_ild_seg : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_imm0 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_imm0signed : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_imm1 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_imm1_bytes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_imm_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char

Source

val get_index : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_last_f2f3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_llrc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_lock : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_lzcnt : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_map : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_mask : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_max_bytes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_mem0 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_mem1 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_mem_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt16.t

Sourceval get_mod : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_mode : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_mode_first_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_mode_short_ud0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_modep5 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_modep55c : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_modrm_byte : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_mpxmode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_must_use_evex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_nd : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_need_memdisp : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_need_sib : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_needrex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_nelem : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_nf : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_no_apx : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_no_evex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_no_vex : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_nominal_opcode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_norex : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_norex2 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_nprefixes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_nrexes : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_nseg_prefixes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_osz : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_out_of_bytes : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_outreg : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Sourceval get_p4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_pos_disp : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_pos_imm : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_pos_imm1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_pos_modrm : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_pos_nominal_opcode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_pos_sib : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_prefix66 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_ptr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_realmode : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_reg : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_reg0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg2 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg4 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg5 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg6 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg7 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg8 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_reg9 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Sourceval get_relbr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rep : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rex : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rex2 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rexb : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rexb4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rexr : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rexr4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rexw : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rexx : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rexx4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_rm : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_roundc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_sae : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_scale : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_scc : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_seg0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_seg1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg

Source

val get_seg_ovd : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_sibbase : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_sibindex : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_sibscale : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_skip_osz : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_smode : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_srm : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_tzcnt : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_ubit : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_uimm0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt64.t

Sourceval get_uimm1 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> char

Source

val get_using_default_segment0 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_using_default_segment1 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_vex_c4 : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_vex_prefix : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_vexdest210 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_vexdest3 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_vexdest4 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_vexvalid : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Sourceval get_vl : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Sourceval get_vl_ign : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> int

Source

val get_wbnoinvd : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

val get_zeroing : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  int

Source

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

Source

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

Source

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

Source

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

Source

val set_base0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_base1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

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

Source

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

Source

val set_brdisp_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

Source

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

Source

val set_chip : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.chip ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

val set_disp : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Signed.Int64.t ->
  unit

Source

val set_disp_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val set_error : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.error ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val set_imm_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

Source

val set_index : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val set_mem_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt16.t ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val set_outreg : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val set_reg0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg2 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg3 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg4 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg5 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg6 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg7 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg8 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_reg9 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val set_seg0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

val set_seg1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.reg ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val set_uimm0 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Unsigned.UInt64.t ->
  unit

Source

val set_uimm1 : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  char ->
  unit

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val get_has_modrm : 
  [> `Read ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool

Source

val set_has_modrm : 
  [> `Read | `Write ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool ->
  unit

Source

val get_has_sib : 
  [> `Read ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool

Source

val set_has_sib : 
  [> `Read | `Write ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  bool ->
  unit

package xedbindings

Module Xed.Operand3Source

Module `Xed.Operand3`Source