package jasmin

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

Module Jasmin.Lower_spill

module E : sig ... end
val is_spill_op : 'a1 Sopn.asmOp -> 'a1 Sopn.sopn -> (Pseudo_operator.spill_op * Type.stype list) option
val to_spill_i : 'a1 Sopn.asmOp -> (Var0.SvExtra.Sv.t * bool) -> 'a1 Expr.instr -> Var0.SvExtra.Sv.t * bool
type spill_env = Var0.SvExtra.Sv.t
val update_lv : spill_env -> Expr.lval -> spill_env
val update_lvs : spill_env -> Expr.lval list -> spill_env
val spill_c : 'a1 Sopn.asmOp -> (spill_env -> 'a1 Expr.instr -> (spill_env * 'a1 Expr.instr list) Compiler_util.cexec) -> spill_env -> 'a1 Expr.instr list -> (spill_env * 'a1 Expr.instr list) Compiler_util.cexec
val merge_env : spill_env -> spill_env -> Var0.SvExtra.Sv.t
val spill_fd : 'a1 Sopn.asmOp -> (Wsize.v_kind -> Expr.instr_info -> string -> Type.stype -> Ident.Ident.ident) -> Var0.funname -> ('a1, 'a2) Expr._fundef -> ('a1, 'a2) Expr._fundef Compiler_util.cexec