AsmTargetBuilder (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.AsmTargetBuilder)

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.