CoreArchFactory (p.jasmin.2025.06.3.doc.jasmin.jasmin.Jasmin.CoreArchFactory)

Source

module Core_arch_ARM : 
  Arch_full.Core_arch
    with type reg = Arm_decl.register
     and type regx = Arch_utils.empty
     and type xreg = Arch_utils.empty
     and type rflag = Arm_decl.rflag
     and type cond = Arm_decl.condt
     and type asm_op = Arm_instr_decl.arm_op
     and type extra_op = Arm_extra.arm_extra_op

Source

module Core_arch_RISCV : 
  Arch_full.Core_arch
    with type reg = Riscv_decl.register
     and type regx = Arch_utils.empty
     and type xreg = Arch_utils.empty
     and type rflag = Arch_utils.empty
     and type cond = Riscv_decl.condt
     and type asm_op = Riscv_instr_decl.riscv_op
     and type extra_op = Riscv_extra.riscv_extra_op

Source

val core_arch_x86 : 
  use_lea:bool ->
  use_set0:bool ->
  Glob_options.call_conv ->
  (module Arch_full.Core_arch
  with type asm_op = X86_instr_decl.x86_op
   and type cond = X86_decl.condt
   and type extra_op = X86_extra.x86_extra_op
   and type reg = X86_decl.register
   and type regx = X86_decl.register_ext
   and type rflag = X86_decl.rflag
   and type xreg = X86_decl.xmm_register)

Source

val get_arch_module : 
  Utils.architecture ->
  Glob_options.call_conv ->
  (module Arch_full.Arch)