Xed (p.xedbindings.0.11.doc.xedbindings.xed.Xedbindings

Sourcemodule Bind = Xedbindings_bind.Bind

Sourceexception XedAbort of string * string * int

(expr, file, lineno) for xed_assert failures

include module type of struct include Bind.Constants end

Sourceval emit_messages : int

Sourceval enc_groups : int

Sourceval encode_fb_values_table_size : int

Sourceval encode_max_emit_patterns : int

Sourceval encode_max_fb_patterns : int

Sourceval encode_max_iforms : int

Sourceval encode_order_max_entries : int

Sourceval encode_order_max_operands : int

Sourceval encoder_operands_max : int

Sourceval feature_vector_max : int

Sourceval iclass_name_str_max : int

Sourceval info2_verbose : int

Sourceval info_verbose : int

Sourceval max_attribute_count : int

Sourceval max_convert_patterns : int

Sourceval max_cpuid_groups_per_isa_set : int

Sourceval max_cpuid_recs_per_group : int

Sourceval max_decorations_per_operand : int

Sourceval max_displacement_bytes : int

Sourceval max_global_flag_actions : int

Sourceval max_iforms_per_iclass : int

Sourceval max_immediate_bytes : int

Sourceval max_inst_table_nodes : int

Sourceval max_instruction_bytes : int

Sourceval max_map_evex : int

Sourceval max_map_vex : int

Sourceval max_operand_sequences : int

Sourceval max_operand_table_nodes : int

Sourceval max_required_attributes : int

Sourceval max_required_complex_flags_entries : int

Sourceval max_required_simple_flags_entries : int

Sourceval more_verbose : int

Sourceval verbose : int

Sourceval very_verbose : int

Sourcemodule Ptr = Bind.Ptr

Sourceval string_of_c : bytes -> string

Sourcemodule Enum : sig ... end

Sourcemodule ChipFeatures : sig ... end

Sourcemodule FlagDFV : sig ... end

Sourcemodule DecodedInst : sig ... end

Sourcemodule EncoderRequest : sig ... end

Sourcemodule FlagAction : sig ... end

Sourcemodule FlagSet : sig ... end

Sourcemodule Inst : sig ... end

Sourcemodule Operand : sig ... end

Sourcemodule Operand3 : sig ... end

Sourcemodule OperandValues : sig ... end

Sourcemodule SimpleFlag : sig ... end

Sourcemodule State : sig ... end

Source

val state32 : 
  (Xedbindings_bind.Types_generated.state Ctypes.abstract, [ `Read ]) Ptr.t

Source

val state64 : 
  (Xedbindings_bind.Types_generated.state Ctypes.abstract, [ `Read ]) Ptr.t

Source

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

Source

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

Source

val decode_length : 
  [> `Read ] Xedbindings_bind.Types_generated.state_ptr ->
  string ->
  (int, Xedbindings_bind.XBEnums.error) result

Sourceval encode_nop : int -> (bytes, Xedbindings_bind.XBEnums.error) result

Sourceval get_copyright : unit -> string

Sourceval get_version : unit -> string

Sourceval set_verbosity : int -> unit

Sourceval ok_exn : ('a, Xedbindings_bind.XBEnums.error) result -> 'a

Sourceval operand_to_string : [> `Read ] DecodedInst.t -> int -> string