package jasmin

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

Module Jasmin.SubstSource

Sourceval 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
Sourceval 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
Sourceval extend_iinfo : Jasmin.Prog.L.i_loc -> ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func
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