Dead_calls (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Dead

module E : sig ... end

val i_calls : 'a1 Sopn.asmOp -> Var0.Sf.t -> 'a1 Expr.instr -> Var0.Sf.t

val c_calls : 'a1 Sopn.asmOp -> Var0.Sf.t -> 'a1 Expr.instr list -> Var0.Sf.t

val live_calls : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  Var0.Sf.t ->
  'a1 Expr.fun_decl list ->
  Var0.Sf.t

val dead_calls : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  Var0.Sf.t ->
  'a1 Expr.fun_decl list ->
  (Var0.Sf.elt * 'a1 Expr.fundef) list

val dead_calls_err : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  Var0.Sf.t ->
  'a1 Expr.prog ->
  'a1 Expr.prog Compiler_util.cexec

val dead_calls_err_seq : 
  'a1 Sopn.asmOp ->
  Expr.progT ->
  Var0.funname list ->
  'a1 Expr.prog ->
  'a1 Expr.prog Compiler_util.cexec