package jasmin

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

Module Jasmin.Wint_int

module E : sig ... end
val is_wi1 : Expr.sop1 -> (Wsize.signedness * Expr.wiop1) option
val is_wi2 : Expr.sop2 -> (Wsize.signedness * Expr.wiop2) option
val wi2i_op2 : Expr.sop2 -> Expr.sop2
val wi2i_op1_e : Expr.sop1 -> Expr.pexpr -> Expr.pexpr
val wi2i_op2_e : Expr.sop2 -> Expr.pexpr -> Expr.pexpr -> Expr.pexpr
val sign_of_var : (Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) -> Var0.Var.var -> Wsize.signedness option
val sign_of_gvar : (Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) -> Expr.gvar -> Wsize.signedness option
val sign_of_expr : (Var0.Var.var -> (Wsize.signedness * Var0.Var.var) option) -> Expr.pexpr -> Wsize.signedness option
val in_FV_var : Var0.SvExtra.Sv.t -> Var0.Var.var -> bool
val wi2i_type : Wsize.signedness option -> Type.stype -> Type.stype