package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2025.06.3.tar.bz2
sha256=e7aafd891eb54e89d41d9d7d1bbda9ddb1cddc5fdf0359d88c2b7b417ae4a39b
doc/jasmin.jasmin/Jasmin/CoreArchFactory/index.html
Module Jasmin.CoreArchFactorySource
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_opSource
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_opSource
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)