Insert_renaming (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Insert

val rename_var_r : 'a1 Sopn.asmOp -> Expr.var_i -> 'a1 Expr.instr_r

val rename_var : 
  'a1 Sopn.asmOp ->
  Expr.instr_info ->
  Expr.var_i ->
  'a1 Expr.instr

val rename_vars : 
  'a1 Sopn.asmOp ->
  Expr.instr_info ->
  Expr.var_i list ->
  'a1 Expr.instr list

val insert_renaming_body : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  'a1 Expr.fundef ->
  'a1 Expr.instr list

val should_insert_renaming : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  (Expr.fun_info -> bool) ->
  'a1 Expr.fundef ->
  bool

val insert_renaming_fd : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  (Expr.fun_info -> bool) ->
  'a1 Expr.fundef ->
  'a1 Expr.fundef

val insert_renaming_prog : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  (Expr.fun_info -> bool) ->
  'a1 Expr.prog ->
  'a1 Expr.prog