package xedbindings

You can search for identifiers within the package.

in-package search v0.2.0

package xedbindings

xedbindings
- Xedbindings
xedbindings.bind
- Xedbindings_bind
  - Bind
    
    ChipFeatures
    
    Constants
    
    DecodedInst
    
    Enc
    
    EncoderRequest
    
    Enum
    
    FlagAction
    
    FlagSet
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State
  - C
    
    Function
  - Function_desc
    
    Functions
    
    F
  - Type_desc
    
    Types
    
    F
    
    Intptr
    
    Infix
    
    Ptrdiff
    
    Infix
    
    Uintptr
    
    Infix
    
    Ptr
  - Types_generated
    
    Ptr
  - XBEnums
xedbindings.xed
- Xedbindings_xed
  - Xed
    
    ChipFeatures
    
    DecodedInst
    
    Enc
    
    EncoderRequest
    
    Enum
    
    FlagAction
    
    FlagDFV
    
    FlagSet
    
    Inst
    
    Operand
    
    Operand3
    
    OperandValues
    
    SimpleFlag
    
    State

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Bind = Xedbindings_bind.Bind

include module type of struct include Bind.Constants end

val emit_messages : int

val enc_groups : int

val encode_fb_values_table_size : int

val encode_max_emit_patterns : int

val encode_max_fb_patterns : int

val encode_max_iforms : int

val encode_order_max_entries : int

val encode_order_max_operands : int

val encoder_operands_max : int

val feature_vector_max : int

val iclass_name_str_max : int

val info2_verbose : int

val info_verbose : int

val max_attribute_count : int

val max_convert_patterns : int

val max_cpuid_groups_per_isa_set : int

val max_cpuid_recs_per_group : int

val max_decorations_per_operand : int

val max_displacement_bytes : int

val max_global_flag_actions : int

val max_iforms_per_iclass : int

val max_immediate_bytes : int

val max_inst_table_nodes : int

val max_instruction_bytes : int

val max_map_evex : int

val max_map_vex : int

val max_operand_sequences : int

val max_operand_table_nodes : int

val max_required_attributes : int

val max_required_complex_flags_entries : int

val max_required_simple_flags_entries : int

val more_verbose : int

val verbose : int

val very_verbose : int

module Ptr = Bind.Ptr

val string_of_c : bytes -> string

module Enum : sig ... end

module ChipFeatures : sig ... end

module DecodedInst : sig ... end

module EncoderRequest : sig ... end

module FlagAction : sig ... end

module FlagSet : sig ... end

module FlagDFV : sig ... end

module Inst : sig ... end

module Operand : sig ... end

module Operand3 : sig ... end

module OperandValues : sig ... end

module SimpleFlag : sig ... end

module State : sig ... end

module Enc : sig ... end

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

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

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

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

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

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

val get_copyright : unit -> string

val get_version : unit -> string

val set_verbosity : int -> unit

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