package jasmin

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

Module Riscv_params_core.RISCVFopn_core

type opn_args = (Fexpr.lexpr list * Riscv_instr_decl.riscv_op) * Fexpr.rexpr list
val smart_mov : Expr.var_i -> Expr.var_i -> opn_args list
val smart_addi : Expr.var_i -> Expr.var_i -> BinNums.coq_Z -> opn_args list
val smart_subi : Expr.var_i -> Expr.var_i -> BinNums.coq_Z -> opn_args list
val gen_smart_opi_tmp : (BinNums.coq_Z -> bool) -> (Expr.var_i -> Expr.var_i -> Expr.var_i -> opn_args) -> (Expr.var_i -> Expr.var_i -> BinNums.coq_Z -> opn_args) -> Expr.var_i -> Expr.var_i -> BinNums.coq_Z -> opn_args list
val smart_addi_tmp : Expr.var_i -> Expr.var_i -> BinNums.coq_Z -> opn_args list
val smart_subi_tmp : Expr.var_i -> Expr.var_i -> BinNums.coq_Z -> opn_args list