Module Jasmin.ToECSource

Sourcetype amodel =
  1. | ArrayOld
  2. | WArray
  3. | BArray
Sourceval ty_expr : Prog.expr -> Prog.ty
Sourceval ty_lval : Prog.lval -> Prog.ty
Sourceval extract : ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.prog -> Utils.architecture -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Utils.model -> amodel -> string list -> string option -> Format.formatter -> unit