package jasmin

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

Module Jasmin.Slh_lowering

module E : sig ... end
module Env : sig ... end
type slh_t =
  1. | Slh_None
  2. | Slh_msf
val check_f_args : Expr.instr_info -> Env.t -> Expr.pexpr list -> slh_t list -> (Compiler_util.pp_error_loc, unit list) Utils0.result
val check_res : Wsize.coq_MSFsize -> Env.t -> Expr.var_i list -> Type.stype list -> slh_t list -> (Compiler_util.pp_error_loc, unit) Utils0.result
type 'asm_op sh_params = Expr.lval list -> Slh_ops.slh_op -> Expr.pexpr list -> ((Expr.lval list * 'asm_op Sopn.sopn) * Expr.pexpr list) option
val lower_i : 'a1 Sopn.asmOp -> 'a1 sh_params -> 'a1 Expr.instr -> 'a1 Expr.instr Compiler_util.cexec
val lower_cmd : 'a1 Sopn.asmOp -> 'a1 sh_params -> 'a1 Expr.instr list -> 'a1 Expr.instr list Compiler_util.cexec
val is_shl_none : slh_t -> bool