X86_arch_full (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.X86_arch

Sourcemodule type X86_input = sig ... end

val atoI : 
  ('a, 'b, 'c, 'd, 'e) Arch_decl.arch_decl ->
  ('a, 'b, 'c, 'd, 'e) Jasmin__Arch_extra.arch_toIdent

Sourcemodule X86_core : sig ... end

Source

module X86
  (Lowering_params : X86_input) : 
  Arch_full.Core_arch
    with type reg = X86_decl.register
     and type regx = X86_decl.register_ext
     and type xreg = X86_decl.xmm_register
     and type rflag = X86_decl.rflag
     and type cond = X86_decl.condt
     and type asm_op = X86_instr_decl.x86_op
     and type extra_op = X86_extra.x86_extra_op