package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2026.03.0.tar.bz2
sha256=dec62a3cd0cd42cfe96ec64b3cd3961e0e8a09fb92ceb64175cffb54fde50e40
doc/jasmin.jasmin/Jasmin/Wint_int/index.html
Module Jasmin.Wint_int
module E : sig ... endval is_wi1 : Operators.sop1 -> (Wsize.signedness * Operators.wiop1) optionval is_wi2 : Operators.sop2 -> (Wsize.signedness * Operators.wiop2) optionval wi2i_op2 : Operators.sop2 -> Operators.sop2val esubtype :
BinNums.positive Type.extended_type ->
BinNums.positive Type.extended_type ->
boolval wi2i_op1_e : Operators.sop1 -> Expr.pexpr -> Expr.pexprval wi2i_op2_e : Operators.sop2 -> Expr.pexpr -> Expr.pexpr -> Expr.pexprval to_etype :
Wsize.signedness option ->
Type.atype ->
BinNums.positive Type.extended_typeval sign_of_var :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.Var.var ->
Wsize.signedness optionval etype_of_var :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.Var.var ->
BinNums.positive Type.extended_typeval sign_of_gvar :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Expr.gvar ->
Wsize.signedness optionval etype_of_gvar :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Expr.gvar ->
BinNums.positive Type.extended_typeval sign_of_etype :
BinNums.positive Type.extended_type ->
Wsize.signedness optionval etype_of_expr :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Expr.pexpr ->
BinNums.positive Type.extended_typeval sign_of_expr :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Expr.pexpr ->
Wsize.signedness optionval wi2i_var :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.Var.var ->
Var0.Var.varval in_FV_var : Var0.SvExtra.Sv.t -> Var0.Var.var -> boolval wi2i_vari :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
Expr.var_i ->
(Compiler_util.pp_error_loc, Expr.var_i) Utils0.resultval wi2i_gvar :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
Expr.gvar ->
(Compiler_util.pp_error_loc, Expr.gvar) Utils0.resultval wi2i_type : Wsize.signedness option -> Type.atype -> Type.atypeval wi2i_e :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
Expr.pexpr ->
Expr.pexpr Compiler_util.cexecval wi2i_lvar :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
BinNums.positive Type.extended_type ->
Expr.var_i ->
Expr.var_i Compiler_util.cexecval wi2i_lv :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
BinNums.positive Type.extended_type ->
Expr.lval ->
Expr.lval Compiler_util.cexecval get_sig :
(Var0.funname ->
(BinNums.positive Type.extended_type list
* BinNums.positive Type.extended_type list)
option) ->
Var0.funname ->
(Compiler_util.pp_error_loc,
BinNums.positive Type.extended_type list
* BinNums.positive Type.extended_type list)
Utils0.resultval wi2i_ir :
'a1 Sopn.asmOp ->
Wsize.coq_PointerData ->
Wsize.coq_MSFsize ->
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
(Var0.funname ->
(BinNums.positive Type.extended_type list
* BinNums.positive Type.extended_type list)
option) ->
'a1 Expr.instr_r ->
'a1 Expr.instr_r Compiler_util.cexecval wi2i_i :
'a1 Sopn.asmOp ->
Wsize.coq_PointerData ->
Wsize.coq_MSFsize ->
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
(Var0.funname ->
(BinNums.positive Type.extended_type list
* BinNums.positive Type.extended_type list)
option) ->
'a1 Expr.instr ->
'a1 Expr.instr Compiler_util.cexecval wi2i_fun :
'a1 Sopn.asmOp ->
Wsize.coq_PointerData ->
Wsize.coq_MSFsize ->
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
(Var0.funname ->
(BinNums.positive Type.extended_type list
* BinNums.positive Type.extended_type list)
option) ->
Var0.funname ->
'a1 Expr.fundef ->
('a1, Expr.extra_fun_t) Expr._fundef Compiler_util.cexecval build_sig :
'a1 Sopn.asmOp ->
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
(Var0.funname * 'a1 Expr.fundef) ->
Var0.funname
* (BinNums.positive Type.extended_type list
* BinNums.positive Type.extended_type list)val build_info :
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
Var0.SvExtra.Sv.t ->
(Compiler_util.pp_error_loc,
Eqtype.Equality.sort ->
(Wsize.signedness * Var0.Var.var) option)
Utils0.resultval wi2i_prog :
'a1 Sopn.asmOp ->
Wsize.coq_PointerData ->
Wsize.coq_MSFsize ->
(Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) ->
'a1 Expr._uprog ->
'a1 Expr._uprog Compiler_util.cexec