Lines Matching refs:ee

43     engine is not garbage collected and must be destroyed with [dispose ee].
50 (** [dispose ee] releases the memory used by the execution engine and must be
54 (** [add_module m ee] adds the module [m] to the execution engine [ee]. *)
57 (** [remove_module m ee] removes the module [m] from the execution engine
58     [ee]. Raises [Error msg] if an error occurs. *)
61 (** [run_static_ctors ee] executes the static constructors of each module in
62     the execution engine [ee]. *)
65 (** [run_static_dtors ee] executes the static destructors of each module in
66     the execution engine [ee]. *)
69 (** [data_layout ee] is the data layout of the execution engine [ee]. *)
72 (** [add_global_mapping gv ptr ee] tells the execution engine [ee] that
74     [gv] and [ee].
78 (** [get_global_value_address id typ ee] returns a pointer to the
80     value, and which will be live as long as [id] and [ee]
86 (** [get_function_address fn typ ee] returns a pointer to the function
89     and [ee] are. Caution: this function finalizes, i.e. forces code