package jasmin

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

Module Jasmin.Array_init

val remove_init_i : 'a1 Sopn.asmOp -> (Var0.Var.var -> bool) -> 'a1 Expr.instr -> 'a1 Expr.instr list
val remove_init_c : 'a1 Sopn.asmOp -> (Var0.Var.var -> bool) -> 'a1 Expr.instr list -> 'a1 Expr.instr list
val remove_init_fd : 'a1 Sopn.asmOp -> (Var0.Var.var -> bool) -> Expr.progT -> 'a1 Expr.fundef -> ('a1, Expr.extra_fun_t) Expr._fundef
val remove_init_prog : 'a1 Sopn.asmOp -> (Var0.Var.var -> bool) -> Expr.progT -> 'a1 Expr.prog -> 'a1 Expr.prog
val add_init_c : 'a1 Sopn.asmOp -> (Var0.SvExtra.Sv.t -> 'a1 Expr.instr -> 'a1 Expr.instr list * Var0.SvExtra.Sv.t) -> Var0.SvExtra.Sv.t -> 'a1 Expr.instr list -> 'a1 Expr.instr list * Var0.SvExtra.Sv.t
val add_init_aux : 'a1 Sopn.asmOp -> Expr.instr_info -> Var0.Var.var -> 'a1 Expr.instr list -> 'a1 Expr.instr list
val add_init_i : 'a1 Sopn.asmOp -> Var0.SvExtra.Sv.t -> 'a1 Expr.instr -> 'a1 Expr.instr list * Var0.SvExtra.Sv.t
val add_init_fd : 'a1 Sopn.asmOp -> Expr.progT -> 'a1 Expr.fundef -> ('a1, Expr.extra_fun_t) Expr._fundef
val add_init_prog : 'a1 Sopn.asmOp -> Expr.progT -> 'a1 Expr.prog -> 'a1 Expr.prog