package jasmin

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

Module 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_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