BCHPredefinedUtil (codehawk.BCHPredefinedUtil)

val todw : string -> BCHLibTypes.doubleword_int

val tow : string -> BCHLibTypes.doubleword_int

val todwoff : string -> int

val tooff : string -> int

val toimm2 : string -> int

val intvalue_to_string : int -> string

val regindexstring_to_reg : string -> BCHLibTypes.cpureg_t

val xpr_to_basepretty : XprTypes.xpr_t -> CHPretty.pretty_t

val xpr_to_pretty : BCHLibTypes.floc_int -> XprTypes.xpr_t -> CHPretty.pretty_t

val xpr_to_fppretty : 
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t ->
  CHPretty.pretty_t

val xpr_to_dspretty : 
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t ->
  CHPretty.pretty_t

val xpr_to_strpretty : 
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t ->
  CHPretty.pretty_t

val xpr_to_hexpretty : 
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t ->
  CHPretty.pretty_t

val patternrhs_to_string : BCHLibx86Types.patternrhs_t -> string

val get_arg : 
  (BCHLibTypes.fts_parameter_t * XprTypes.xpr_t) list ->
  int ->
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t

get_arg argvals n floc returns the value of the n'th stack argument (counting starting from 1) at location floc

val get_reg_value : 
  BCHLibTypes.cpureg_t ->
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t

val get_gv_value : 
  BCHLibTypes.doubleword_int ->
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t

val get_reg_derefvalue : 
  BCHLibTypes.cpureg_t ->
  int ->
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t

val get_x_derefvalue : 
  XprTypes.xpr_t ->
  int ->
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t

val get_patternrhs_value : 
  ?args:(BCHLibTypes.fts_parameter_t * XprTypes.xpr_t) list ->
  BCHLibx86Types.patternrhs_t ->
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t

val get_var_lhs : 
  int ->
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t * BCHLibTypes.cmd_t list

val get_arg_lhs : 
  int ->
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t * BCHLibTypes.cmd_t list

val get_reg_lhs : 
  BCHLibTypes.cpureg_t ->
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t * BCHLibTypes.cmd_t list

val get_reg_deref_lhs : 
  BCHLibTypes.cpureg_t ->
  ?size:int ->
  int ->
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t * BCHLibTypes.cmd_t list

val get_x_deref_lhs : 
  XprTypes.xpr_t ->
  int ->
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t

val get_nested_deref_lhs : 
  BCHLibTypes.cpureg_t ->
  int list ->
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t

val get_returnaddress_lhs : 
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t * BCHLibTypes.cmd_t list

val get_allocavar_lhs : 
  int ->
  int ->
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t * BCHLibTypes.cmd_t list

val get_return_value : string -> BCHLibTypes.floc_int -> CHLanguage.variable_t

val set_functionpointer : 
  string ->
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t ->
  unit

val set_delphi_exception_handler_table : 
  BCHLibTypes.floc_int ->
  XprTypes.xpr_t ->
  unit

val get_adjustment_commands : 
  int ->
  BCHLibTypes.floc_int ->
  BCHLibTypes.cmd_t list

val get_wrapped_call_commands : 
  BCHLibTypes.floc_int ->
  BCHLibTypes.floc_int ->
  BCHLibTypes.cmd_t list

val is_named_app_call : BCHLibTypes.doubleword_int -> int -> string -> bool

val is_named_dll_call : BCHLibTypes.doubleword_int -> int -> string -> bool

val is_named_inlined_call : BCHLibTypes.doubleword_int -> int -> string -> bool

val is_named_lib_call : BCHLibTypes.doubleword_int -> int -> string -> bool

val sometemplate : 
  ?msg:CHPretty.pretty_t ->
  BCHLibx86Types.predefined_callsemantics_int ->
  BCHLibx86Types.predefined_callsemantics_int option

val get_fnhashes : 
  string ->
  (string -> int -> BCHLibx86Types.predefined_callsemantics_int) ->
  BCHLibx86Types.predefined_callsemantics_int list

val mk_dllfun_semantics : 
  string ->
  string ->
  string ->
  int ->
  BCHLibx86Types.predefined_callsemantics_int

val add_dllfun : 
  (string, string -> int -> BCHLibx86Types.predefined_callsemantics_int)
    Stdlib.Hashtbl.t ->
  string ->
  string ->
  unit

val mk_libfun_semantics : 
  string list ->
  string ->
  string ->
  int ->
  BCHLibx86Types.predefined_callsemantics_int

val add_libfun : 
  (string, string -> int -> BCHLibx86Types.predefined_callsemantics_int)
    Stdlib.Hashtbl.t ->
  string list ->
  string ->
  unit

class virtual predefined_callsemantics_base_t : string -> int -> object ... end