Array_copy (p.jasmin.2026.03.1.doc.jasmin.jasmin.Jasmin.Array

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 ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Expr.fun_info ->
  Wsize.wsize ->
  Var0.Var.var

val indirect_copy : 
  'a1 Sopn.asmOp ->
  (Wsize.v_kind ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Expr.fun_info ->
  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 : 
  'a1 Sopn.asmOp ->
  (Wsize.v_kind ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Expr.fun_info ->
  Expr.instr_info ->
  Expr.var_i ->
  Wsize.wsize ->
  BinNums.positive ->
  Expr.gvar ->
  'a1 Expr.instr list

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 get_source : 
  'a1 Sopn.asmOp ->
  (Wsize.v_kind ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Var0.SvExtra.Sv.t ->
  Expr.instr_info ->
  Expr.pexpr list ->
  (Expr.gvar * 'a1 Expr.instr list) Compiler_util.cexec

val get_target : 
  'a1 Sopn.asmOp ->
  (Wsize.v_kind ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Var0.SvExtra.Sv.t ->
  Expr.instr_info ->
  Expr.lval list ->
  (Expr.var_i * 'a1 Expr.instr list) Compiler_util.cexec

val array_copy_i : 
  'a1 Sopn.asmOp ->
  (Wsize.v_kind ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Expr.fun_info ->
  Var0.SvExtra.Sv.t ->
  'a1 Expr.instr ->
  'a1 Expr.instr list Compiler_util.cexec

val array_copy_fd : 
  'a1 Sopn.asmOp ->
  (Wsize.v_kind ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Expr.progT ->
  'a1 Expr.fundef ->
  (Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
    Utils0.result

val array_copy_prog : 
  'a1 Sopn.asmOp ->
  (Wsize.v_kind ->
    Expr.instr_info ->
    string ->
    Type.atype ->
    Ident.Ident.ident) ->
  Expr.progT ->
  'a1 Expr.prog ->
  (Compiler_util.pp_error_loc,
    ('a1, Expr.extra_fun_t, Expr.extra_prog_t) Expr._prog)
    Utils0.result