package jasmin

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

Module Jasmin.Remove_globals

val type_of_glob_value : Global.glob_value -> Type.atype
module E : sig ... end
val check_data : Global.glob_value -> Global.glob_value -> bool
val check : Global.glob_value -> Global.glob_decl -> bool
val get_var_ : Expr.instr_info -> Var0.Var.var Var0.Mvar.t -> Expr.gvar -> (Compiler_util.pp_error_loc, Expr.gvar) Utils0.result
val merge_glob : Var0.Var.var -> Var0.Var.var option -> Var0.Var.var option -> Var0.Var.var option
type 'asm_op check2_r =
  1. | Check2_r of Expr.pexpr * Var0.Var.var Var0.Mvar.t * 'asm_op Expr.instr list * Var0.Var.var Var0.Mvar.t * 'asm_op Expr.instr list
type 'asm_op loop2_r =
  1. | Loop2_r of Expr.pexpr * 'asm_op Expr.instr list * 'asm_op Expr.instr list * Var0.Var.var Var0.Mvar.t