package jasmin

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

Module Jasmin.Arm_lowering

val all_fresh_vars : Lowering.fresh_vars -> Ident.Ident.ident list
val fresh_flags : Lowering.fresh_vars -> Var0.Var.var list
val chk_ws_reg : Wsize.wsize -> unit option
val lower_TST : Expr.pexpr -> Expr.pexpr -> Expr.pexpr list option
val get_arg_shift : Wsize.wsize -> Expr.pexpr list -> ((Expr.pexpr * Shift_kind.shift_kind) * Expr.pexpr) option
val is_mul : Expr.pexpr -> (Expr.pexpr * Expr.pexpr) option
val is_rsb : Wsize.wsize -> Expr.pexpr -> Expr.pexpr -> bool
val lower_Papp2_op : Wsize.wsize -> Expr.sop2 -> Expr.pexpr -> Expr.pexpr -> ((Arm_instr_decl.arm_mnemonic * Expr.pexpr) * Expr.pexpr list) option
val lower_store : Wsize.wsize -> Expr.pexpr -> (Arm_instr_decl.arm_op * Expr.pexpr list) option
type lowering_options = unit