Subst (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Subst)

Source

val gsubst_func : 
  (?loc:Jasmin.Prog.L.t -> 'ty1 -> 'ty2) ->
  ('ty1 Prog.ggvar -> 'ty2 Prog.gexpr) ->
  ('ty1, 'info, 'asm) Prog.gfunc ->
  ('ty2, 'info, 'asm) Prog.gfunc

Source

val subst_func : 
  ('ty Prog.gvar_i -> 'ty Prog.gexpr) ->
  ('ty, 'info, 'asm) Prog.gfunc ->
  ('ty, 'info, 'asm) Prog.gfunc

Sourceval remove_params : ('info, 'asm) Prog.pprog -> ('info, 'asm) Prog.prog

Sourceval clone_func : ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func

Source

val extend_iinfo : 
  Jasmin.Prog.L.i_loc ->
  ('info, 'asm) Prog.func ->
  ('info, 'asm) Prog.func

Sourcetype vsubst = Prog.var Prog.Mv.t

Sourceval vsubst_v : vsubst -> Prog.var -> Prog.var

Sourceval vsubst_vi : vsubst -> Prog.var_i -> Prog.var_i

Sourceval vsubst_e : vsubst -> Prog.expr -> Prog.expr

Sourceval vsubst_es : vsubst -> Prog.exprs -> Prog.exprs

Sourceval vsubst_lval : vsubst -> Prog.lval -> Prog.lval

Sourceval vsubst_lvals : vsubst -> Prog.lvals -> Prog.lvals

Sourceval vsubst_i : vsubst -> ('info, 'asm) Prog.instr -> ('info, 'asm) Prog.instr

Sourceval vsubst_c : vsubst -> ('info, 'asm) Prog.stmt -> ('info, 'asm) Prog.stmt

Sourceval vsubst_func : vsubst -> ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func