package jasmin

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

Module Jasmin.Array_copy

module E : sig ... end
val direct_copy : 'a1 Sopn.asmOp -> Wsize.wsize -> Expr.var_i -> Expr.gvar -> Expr.pexpr -> 'a1 Expr.instr_r list
val tmp_var : (Wsize.v_kind -> string -> Type.stype -> Ident.Ident.ident) -> Wsize.wsize -> Var0.Var.var
val indirect_copy : 'a1 Sopn.asmOp -> (Wsize.v_kind -> string -> Type.stype -> Ident.Ident.ident) -> Wsize.wsize -> Expr.var_i -> Expr.gvar -> Expr.pexpr -> 'a1 Expr.instr_r list
val needs_temporary : Var0.Var.var -> Var0.Var.var -> bool
val array_copy_c : 'a1 Sopn.asmOp -> Var0.SvExtra.Sv.t -> (Var0.SvExtra.Sv.t -> 'a1 Expr.instr -> 'a1 Expr.instr list Compiler_util.cexec) -> 'a1 Expr.instr list -> 'a1 Expr.instr list Compiler_util.cexec
val is_copy : 'a1 Sopn.asmOp -> 'a1 Sopn.sopn -> (Wsize.wsize * BinNums.positive) option
val array_copy_i : 'a1 Sopn.asmOp -> (Wsize.v_kind -> string -> Type.stype -> Ident.Ident.ident) -> Var0.SvExtra.Sv.t -> 'a1 Expr.instr -> 'a1 Expr.instr list Compiler_util.cexec