package jasmin

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

Module Jasmin.MakeReferenceArguments

module E : sig ... end
val is_reg_ptr_expr : (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) -> bool -> Expr.instr_info -> Uint63.t -> string -> Eqtype.Equality.sort -> Expr.pexpr -> Expr.var_i option
val is_reg_ptr_lval : (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) -> bool -> Expr.instr_info -> Uint63.t -> string -> Type.stype -> Expr.lval -> Expr.var_i option
val make_prologue : 'a1 Sopn.asmOp -> (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) -> Expr.instr_info -> Var0.SvExtra.Sv.t -> Uint63.t -> ((bool * string) * Eqtype.Equality.sort) list -> Expr.pexpr list -> (Compiler_util.pp_error_loc, 'a1 Expr.instr list * Expr.pexpr list) Utils0.result
type pseudo_instr =
  1. | PI_lv of Expr.lval
  2. | PI_i of Expr.lval * Type.stype * Expr.var_i
val make_pseudo_epilogue : (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) -> Expr.instr_info -> Var0.SvExtra.Sv.t -> Uint63.t -> ((bool * string) * Type.stype) list -> Expr.lval list -> (Compiler_util.pp_error_loc, pseudo_instr list) Utils0.result
val wf_lv : Expr.lval -> bool
val make_epilogue : 'a1 Sopn.asmOp -> (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) -> Expr.instr_info -> Var0.SvExtra.Sv.t -> ((bool * string) * Type.stype) list -> Expr.lval list -> (Compiler_util.pp_error_loc, Expr.lval list * 'a1 Expr.instr list) Utils0.result
val update_c : 'a1 Sopn.asmOp -> ('a1 Expr.instr -> 'a1 Expr.instr list Compiler_util.cexec) -> 'a1 Expr.instr list -> (Compiler_util.pp_error_loc, 'a1 Expr.instr list) Utils0.result
val mk_info : Expr.var_i -> Type.stype -> (bool * string) * Type.stype
val get_sig : 'a1 Sopn.asmOp -> 'a1 Expr.uprog -> Expr.instr_info -> Var0.funname -> (Compiler_util.pp_error_loc, ((bool * string) * Type.stype) list * ((bool * string) * Type.stype) list) Utils0.result
val get_syscall_sig : BinNums.positive Syscall_t.syscall_t -> ((bool * string) * Type.stype) list * ((bool * string) * Type.stype) list
val is_swap_op : 'a1 Sopn.asmOp -> 'a1 Sopn.sopn -> Type.stype option
val makereference_prog : 'a1 Sopn.asmOp -> (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) -> 'a1 Expr.uprog -> 'a1 Expr.uprog Compiler_util.cexec