Module `Xed.DecodedInst`Source

include module type of struct include Bind.DecodedInst end

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

Source

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

Source

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

Source

val classify_amx : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val classify_apx : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val classify_avx : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val classify_avx512 : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val classify_avx512_maskop : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val classify_sse : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val conditionally_writes_registers : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

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

Source

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

Source

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

Source

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

Source

val get_category : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.category

Source

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

Source

val get_extension : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.extension

Source

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

Source

val get_iform_enum : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.iform

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val get_isa_set : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.isa_set

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Source

val get_rflags_info : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  [ `Read ] Xedbindings_bind.Bind.Types.simple_flag_ptr

Source

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

Source

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

Source

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

Source

val get_signed_immediate : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  Signed.Int32.t

Source

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

Source

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

Source

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

Source

val inst : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  [ `Read ] Xedbindings_bind.Bind.Types.inst_ptr

Sourceval is_apx_zu : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> bool

Source

val is_broadcast : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val is_broadcast_instruction : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val is_prefetch : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val masked_vector_operation : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Sourceval masking : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> bool

Source

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

Source

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

Source

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

Sourceval merging : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> bool

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val operands : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  [ `Read | `Write ] Xedbindings_bind.Bind.Types.operand_values_ptr

Source

val operands_const : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  [ `Read ] Xedbindings_bind.Bind.Types.operand_values_ptr

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val uses_embedded_broadcast : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Source

val uses_rflags : 
  [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr ->
  bool

Sourceval valid : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> bool

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval zeroing : [> `Read ] Xedbindings_bind.Bind.Types.decoded_inst_ptr -> bool

Sourceval get_attributes : [> `Read ] t -> Enum.attribute list

Source

val init : 
  [> `Read ] Xedbindings_bind.Types_generated.state_ptr ->
  (Xedbindings_bind.Types_generated.decoded_inst Ctypes.abstract,
    [ `Read | `Write ])
    Xedbindings_bind.Types_generated.Ptr.t

Source

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

Source

val dump_xed_format : 
  [> `Read ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  Unsigned.UInt64.t ->
  string

Source

val decode : 
  [> `Read | `Write ] as 'a Bind.Types.decoded_inst_ptr ->
  ?features:[> `Read | `Write ] Bind.Types.chip_features_ptr ->
  string ->
  ('a Bind.Types.decoded_inst_ptr, Xedbindings_bind.XBEnums.error) result

As with the XED C library, running this more than once without using one of the `zero_` functions first will result in an error. Note that for basic usage, you can (and should) use Xed.decode to both `init` & `decode` at the same time.

Source

val ild_decode : 
  [> `Read | `Write ] as 'a Bind.Types.decoded_inst_ptr ->
  string ->
  ('a Bind.Types.decoded_inst_ptr, Xedbindings_bind.XBEnums.error) result

Sourceval get_byte : unit

Source

val get_attribute : 
  [> `Read ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  Xedbindings_bind.XBEnums.attribute ->
  bool

Source

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

Source

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

Source

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

Source

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

Source

val get_operand_width : 
  [> `Read ] Xedbindings_bind.Types_generated.decoded_inst_ptr ->
  int

Source

val format : 
  ?address_with_names:bool ->
  ?xml_a:bool ->
  ?xml_f:bool ->
  ?omit_unit_scale:bool ->
  ?no_ext_signed_imm:bool ->
  ?curly_mask_omit_k0:bool ->
  ?lowercase_hex:bool ->
  ?positive_mem_disp:bool ->
  ?syntax:Enum.syntax ->
  ?symbolizer:??? ->
  [> `Read ] t ->
  int64 ->
  string

parameter symbolizer
callback function to turn an address into a name & offset.

Sourceval to_string : [> `Read ] t -> string

It's undefined exactly what format you get from to_string. Currently, it assumes address 0 and formats in intel syntax.

package xedbindings

Module Xed.DecodedInstSource

Module `Xed.DecodedInst`Source