package jasmin

  1. Overview
  2. Docs

Module Jasmin.ToECSource

Sourcetype amodel =
  1. | ArrayOld
  2. | WArray
  3. | BArray
Sourcetype gmodel =
  1. | GlobAbbrev
  2. | GlobOp of string
Sourceval string_of_gmodel : gmodel -> string
Sourcetype gsign =
  1. | GlobSigned
  2. | GlobUnsigned
Sourceval string_of_gsign : gsign -> string
Sourcetype global_options = {
  1. gmodel : gmodel;
  2. gsign : gsign;
}
Sourceval default_global_options : global_options
Sourceval ty_expr : Prog.expr -> Prog.ty
Sourceval ty_lval : Prog.lval -> Prog.ty
Sourceval extract : ('info, ('asm_op, 'extra_op) Arch_extra.extended_op_gen) Prog.prog -> Utils.architecture -> Wsize.wsize -> Wsize.wsize -> ('asm_op, 'extra_op) Arch_extra.extended_op_gen Sopn.asmOp -> Utils.model -> amodel -> global_options -> string list -> string option -> Format.formatter -> unit