Tunneling (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Tunneling)

module E : sig ... end

val labels_of_body : 
  'a1 Sopn.asmOp ->
  'a1 Linear.linstr list ->
  Label.label list

val goto_targets : 
  'a1 Sopn.asmOp ->
  'a1 Linear.linstr list ->
  Label.remote_label list

val setfb : 
  'a1 Sopn.asmOp ->
  'a1 Linear.lfundef ->
  'a1 Linear.lcmd ->
  'a1 Linear.lfundef

val setfuncs : 
  'a1 Sopn.asmOp ->
  'a1 Linear.lprog ->
  (Var0.funname * 'a1 Linear.lfundef) list ->
  'a1 Linear.lprog

val coq_Linstr_align : 'a1 Sopn.asmOp -> 'a1 Linear.linstr

val tunnel_chart : 
  'a1 Sopn.asmOp ->
  Eqtype.Equality.sort ->
  Unionfind.LUF.unionfind ->
  'a1 Linear.linstr ->
  'a1 Linear.linstr ->
  Unionfind.LUF.unionfind

val tunnel_plan : 
  'a1 Sopn.asmOp ->
  Eqtype.Equality.sort ->
  Unionfind.LUF.unionfind ->
  'a1 Linear.lcmd ->
  Unionfind.LUF.unionfind

val tunnel_bore : 
  'a1 Sopn.asmOp ->
  Eqtype.Equality.sort ->
  Unionfind.LUF.unionfind ->
  'a1 Linear.linstr ->
  'a1 Linear.linstr

val tunnel_head : 
  'a1 Sopn.asmOp ->
  Eqtype.Equality.sort ->
  Unionfind.LUF.unionfind ->
  'a1 Linear.linstr list ->
  'a1 Linear.linstr list

val tunnel_engine : 
  'a1 Sopn.asmOp ->
  Eqtype.Equality.sort ->
  'a1 Linear.lcmd ->
  'a1 Linear.lcmd ->
  'a1 Linear.lcmd

val tunnel_lcmd : 
  'a1 Sopn.asmOp ->
  Eqtype.Equality.sort ->
  'a1 Linear.lcmd ->
  'a1 Linear.lcmd

val tunnel_lfundef : 
  'a1 Sopn.asmOp ->
  Eqtype.Equality.sort ->
  'a1 Linear.lfundef ->
  'a1 Linear.lfundef

val tunnel_funcs : 
  'a1 Sopn.asmOp ->
  (Eqtype.Equality.sort * 'a1 Linear.lfundef) list ->
  (Eqtype.Equality.sort * 'a1 Linear.lfundef) list

val tunnel_lprog : 'a1 Sopn.asmOp -> 'a1 Linear.lprog -> 'a1 Linear.lprog

val well_formed_body : 
  'a1 Sopn.asmOp ->
  Var0.funname ->
  'a1 Linear.linstr list ->
  bool

val well_formed_funcs : 
  'a1 Sopn.asmOp ->
  (Eqtype.Equality.sort * 'a1 Linear.lfundef) list ->
  bool

val well_formed_lprog : 'a1 Sopn.asmOp -> 'a1 Linear.lprog -> bool

val tunnel_program : 
  'a1 Sopn.asmOp ->
  'a1 Linear.lprog ->
  (Compiler_util.pp_error_loc, 'a1 Linear.lprog) Utils0.result