package jasmin

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

Module Jasmin.Post_unrolling_check

module E : sig ... end
val check_no_for_loop_cmd : 'a1 Sopn.asmOp -> ('a1 Expr.instr -> unit Compiler_util.cexec) -> 'a1 Expr.instr list -> (Compiler_util.pp_error_loc, unit) Utils0.result
val check_no_for_loop_instr : 'a1 Sopn.asmOp -> 'a1 Expr.instr -> unit Compiler_util.cexec
val check_no_for_loop_fd : 'a1 Sopn.asmOp -> (Var0.funname * 'a1 Expr.ufundef) -> unit Compiler_util.cexec
val check_no_for_loop : 'a1 Sopn.asmOp -> 'a1 Expr.uprog -> (Compiler_util.pp_error_loc, unit) Utils0.result
val check_no_inline_instr_cmd : 'a1 Sopn.asmOp -> ('a1 Expr.instr -> unit Compiler_util.cexec) -> 'a1 Expr.instr list -> (Compiler_util.pp_error_loc, unit) Utils0.result
val check_no_inline_instr_instr : 'a1 Sopn.asmOp -> 'a1 Expr.instr -> unit Compiler_util.cexec
val check_no_inline_instr_fd : 'a1 Sopn.asmOp -> (Var0.funname * 'a1 Expr.ufundef) -> unit Compiler_util.cexec
val check_no_inline_instr : 'a1 Sopn.asmOp -> 'a1 Expr.uprog -> (Compiler_util.pp_error_loc, unit) Utils0.result