package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Jasmin.AsmTargetBuilderSource

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
Sourcemodule 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.