xedbindings 0.9 · OCaml Package

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

package xedbindings