Post_unrolling_check (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Post_unrolling

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