package jasmin

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

Module Jasmin.One_varmap

type ovm_syscall_sig_t = {
  1. scs_vin : Var0.Var.var list;
  2. scs_vout : Var0.Var.var list;
}
type one_varmap_info = {
  1. syscall_sig : BinNums.positive Syscall_t.syscall_t -> ovm_syscall_sig_t;
  2. all_vars : Var0.SvExtra.Sv.t;
  3. callee_saved : Var0.SvExtra.Sv.t;
  4. vflags : Var0.SvExtra.Sv.t;
}
val syscall_kill : one_varmap_info -> Var0.SvExtra.Sv.t
val magic_variables : Wsize.coq_PointerData -> 'a1 Sopn.asmOp -> 'a1 Expr.sprog -> Var0.SvExtra.Sv.t
val savedstackreg : Expr.saved_stack -> Var0.SvExtra.Sv.t
val saved_stack_vm : 'a1 Sopn.asmOp -> ('a1, Expr.stk_fun_extra) Expr._fundef -> Var0.SvExtra.Sv.t