package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (17)

Authors

J

Jasmin authors and contributors

Maintainers

J

Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2

sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/jasmin.jasmin/Jasmin/Load_constants_in_cond/index.html

Module `Jasmin.Load_constants_in_cond`

module E : sig ... end

val fresh_word : 
  (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
  Expr.instr_info ->
  Uint63.t ->
  Wsize.wsize ->
  Expr.var_i

val process_constant : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
  Expr.instr_info ->
  Uint63.t ->
  Wsize.wsize ->
  Expr.pexpr ->
  ('a1 Expr.instr_r list * Expr.pexpr) * Var0.SvExtra.Sv.t

val process_condition : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
  Var0.SvExtra.Sv.t ->
  Expr.instr_info ->
  Expr.pexpr ->
  ('a1 Expr.instr_r list * Expr.pexpr) Compiler_util.cexec

val load_constants_c : 
  'a1 Sopn.asmOp ->
  ('a1 Expr.instr -> 'a1 Expr.instr list Compiler_util.cexec) ->
  'a1 Expr.instr list ->
  (Compiler_util.pp_error_loc, 'a1 Expr.instr list) Utils0.result

val load_constants_i : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
  Var0.SvExtra.Sv.t ->
  'a1 Expr.instr ->
  (Compiler_util.pp_error_loc, 'a1 Expr.instr list) Utils0.result

val load_constants_fd : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
  'a1 Expr.fundef ->
  (Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
    Utils0.result

val load_constants_prog : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  (Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
  bool ->
  ('a1, Expr.extra_fun_t, Expr.extra_prog_t) Expr._prog ->
  'a1 Expr.prog Compiler_util.cexec