Load_constants_in_cond (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Load_constants_in

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