package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (22)

Authors

J

Jasmin authors and contributors

Maintainers

J

Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2026.03.1.tar.bz2

sha256=78e9f92963403f1ed9f95326f26725532c43956f10fcc47d11ac94c66a236f52

doc/jasmin.jasmin/Jasmin/AsmTargetBuilder/index.html

Module `Jasmin.AsmTargetBuilder`Source

Sourcemodule type AsmTarget = sig ... end

Module AsmTarget : This module defines the interface for generating assembly code for a target architecture. You need to provide archtecture types as defined in Arch_decl module. You also need to provide the header, function header, function tail and instruction generation function.

Sourcemodule type S = sig ... end

Source

module Make
  (Target : AsmTarget) : 
  S
    with type reg = Target.reg
     and type regx = Target.regx
     and type xreg = Target.xreg
     and type rflag = Target.rflag
     and type cond = Target.cond
     and type asm_op = Target.asm_op

Module AsmTargetBuilder.Make: Functor abstration that take an architecture module and generate corresponding assembly printer.