Home | History | Annotate | Download | only in executionengine

Lines Matching refs:Is

5  * This file is distributed under the University of Illinois Open Source
18 (** [GenericValue.t] is a boxed union type used to portably pass arguments to
20 selection of types; for more complex argument types, it is necessary to
61 Is invalid if [gv] has a bitwidth greater than 32 bits. See the field
66 Is invalid if [gv] has a bitwidth greater than the host bit width (but the
72 [nativeint]. Is invalid if [gv] has a bitwidth greater than
77 Is invalid if [gv] has a bitwidth greater than [int64]. See the field
84 (** An execution engine is either a JIT compiler or an interpreter, capable of
92 is not garbage collected and must be destroyed with [dispose ee].
98 execution engine is not garbage collected and must be destroyed with
106 engine is not garbage collected and must be destroyed with [dispose ee].
125 is not found and [Some f] otherwise. *)
156 (** [target_data ee] is the target data owned by the execution engine