Module `Bind.DecodedInst`Source

Sourcetype -'perm t = (Types.decoded_inst Ctypes.abstract, 'perm) Ptr.t

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

Sourceval avx512_dest_elements : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval classify_amx : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval classify_apx : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval classify_avx : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval classify_avx512 : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval classify_avx512_maskop : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval classify_sse : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval conditionally_writes_registers : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval dump : [> `Read ] Types.decoded_inst_ptr -> bytes -> unit

Source

val dump_xed_format : 
  [> `Read ] Types.decoded_inst_ptr ->
  bytes ->
  Unsigned.UInt64.t ->
  bool

Source

val get_attribute : 
  [> `Read ] Types.decoded_inst_ptr ->
  XBEnums.attribute ->
  Unsigned.UInt32.t

Sourceval get_base_reg : [> `Read ] Types.decoded_inst_ptr -> int -> XBEnums.reg

Source

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

Sourceval get_branch_displacement_width : [> `Read ] Types.decoded_inst_ptr -> int

Source

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

Sourceval get_byte : [> `Read ] Types.decoded_inst_ptr -> int -> char

Sourceval get_category : [> `Read ] Types.decoded_inst_ptr -> XBEnums.category

Source

val get_default_flags_values : 
  [> `Read ] Types.decoded_inst_ptr ->
  [> `Read | `Write ] Types.flag_dfv_ptr ->
  bool

Sourceval get_extension : [> `Read ] Types.decoded_inst_ptr -> XBEnums.extension

Sourceval get_iclass : [> `Read ] Types.decoded_inst_ptr -> XBEnums.iclass

Sourceval get_iform_enum : [> `Read ] Types.decoded_inst_ptr -> XBEnums.iform

Sourceval get_iform_enum_dispatch : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval get_immediate_is_signed : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval get_immediate_width : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval get_immediate_width_bits : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval get_index_reg : [> `Read ] Types.decoded_inst_ptr -> int -> XBEnums.reg

Sourceval get_input_chip : [> `Read ] Types.decoded_inst_ptr -> XBEnums.chip

Sourceval get_isa_set : [> `Read ] Types.decoded_inst_ptr -> XBEnums.isa_set

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

Sourceval get_machine_mode_bits : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval get_memop_address_width : [> `Read ] Types.decoded_inst_ptr -> int -> int

Source

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

Source

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

Source

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

Sourceval get_memory_operand_length : [> `Read ] Types.decoded_inst_ptr -> int -> int

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

Sourceval get_nprefixes : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval get_operand_width : [> `Read ] Types.decoded_inst_ptr -> Unsigned.UInt32.t

Source

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

Source

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

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

Sourceval get_second_immediate : [> `Read ] Types.decoded_inst_ptr -> char

Sourceval get_seg_reg : [> `Read ] Types.decoded_inst_ptr -> int -> XBEnums.reg

Sourceval get_signed_immediate : [> `Read ] Types.decoded_inst_ptr -> Signed.Int32.t

Sourceval get_stack_address_mode_bits : [> `Read ] Types.decoded_inst_ptr -> int

Source

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

Source

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

Sourceval has_default_flags_values : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval has_mpx_prefix : [> `Read ] Types.decoded_inst_ptr -> Unsigned.UInt32.t

Sourceval inst : [> `Read ] Types.decoded_inst_ptr -> [ `Read ] Types.inst_ptr

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

Sourceval is_broadcast : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval is_broadcast_instruction : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval is_prefetch : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval is_xacquire : [> `Read ] Types.decoded_inst_ptr -> Unsigned.UInt32.t

Sourceval is_xrelease : [> `Read ] Types.decoded_inst_ptr -> Unsigned.UInt32.t

Source

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

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

Sourceval mem_read : [> `Read ] Types.decoded_inst_ptr -> int -> bool

Sourceval mem_written : [> `Read ] Types.decoded_inst_ptr -> int -> bool

Sourceval mem_written_only : [> `Read ] Types.decoded_inst_ptr -> int -> bool

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

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

Sourceval number_of_memory_operands : [> `Read ] Types.decoded_inst_ptr -> int

Source

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

Sourceval operand_element_size_bits : [> `Read ] Types.decoded_inst_ptr -> int -> int

Source

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

Sourceval operand_elements : [> `Read ] Types.decoded_inst_ptr -> int -> int

Sourceval operand_length : [> `Read ] Types.decoded_inst_ptr -> int -> int

Sourceval operand_length_bits : [> `Read ] Types.decoded_inst_ptr -> int -> int

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval set_scale : [> `Read | `Write ] Types.decoded_inst_ptr -> int -> unit

Source

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

Sourceval uses_embedded_broadcast : [> `Read ] Types.decoded_inst_ptr -> bool

Sourceval uses_rflags : [> `Read ] Types.decoded_inst_ptr -> bool

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

Sourceval valid_for_chip : [> `Read ] Types.decoded_inst_ptr -> XBEnums.chip -> bool

Source

val valid_for_features : 
  [> `Read ] Types.decoded_inst_ptr ->
  [> `Read ] Types.chip_features_ptr ->
  bool

Sourceval vector_length_bits : [> `Read ] Types.decoded_inst_ptr -> int

Sourceval zero : [> `Read | `Write ] Types.decoded_inst_ptr -> unit

Sourceval zero_keep_mode : [> `Read | `Write ] Types.decoded_inst_ptr -> unit

Source

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

Source

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

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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/xedbindings.bind/Xedbindings_bind/Bind/DecodedInst/index.html

Module `Bind.DecodedInst`Source

package xedbindings

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/xedbindings.bind/Xedbindings_bind/Bind/DecodedInst/index.html

Module Bind.DecodedInstSource

dune-project
Dependency

Module `Bind.DecodedInst`Source