<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="next" href="Llvm_executionengine.ExecutionEngine.html">
<link rel="Up" href="Llvm_executionengine.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Llvm" rel="Chapter" href="Llvm.html">
<link title="Llvm_analysis" rel="Chapter" href="Llvm_analysis.html">
<link title="Llvm_bitreader" rel="Chapter" href="Llvm_bitreader.html">
<link title="Llvm_bitwriter" rel="Chapter" href="Llvm_bitwriter.html">
<link title="Llvm_executionengine" rel="Chapter" href="Llvm_executionengine.html">
<link title="Llvm_ipo" rel="Chapter" href="Llvm_ipo.html">
<link title="Llvm_scalar_opts" rel="Chapter" href="Llvm_scalar_opts.html">
<link title="Llvm_target" rel="Chapter" href="Llvm_target.html"><title>Llvm_executionengine.GenericValue</title>
</head>
<body>
<div class="navbar"> <a class="up" href="Llvm_executionengine.html" title="Llvm_executionengine">Up</a>
<a class="post" href="Llvm_executionengine.ExecutionEngine.html" title="Llvm_executionengine.ExecutionEngine">Next</a>
</div>
<h1>Module <a href="type_Llvm_executionengine.GenericValue.html">Llvm_executionengine.GenericValue</a></h1>
<pre><span class="keyword">module</span> GenericValue: <code class="code"><span class="keyword">sig</span></code> <a href="Llvm_executionengine.GenericValue.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info ">
<code class="code"><span class="constructor">GenericValue</span>.t</code> is a boxed union type used to portably pass arguments to
and receive values from the execution engine. It supports only a limited
selection of types; for more complex argument types, it is necessary to
generate a stub function by hand or to pass parameters by reference.
See the struct <code class="code">llvm::<span class="constructor">GenericValue</span></code>.<br>
</div>
<pre><span id="VALof_float"><span class="keyword">val</span> of_float</span> : <code class="type"><a href="Llvm.html#TYPElltype">Llvm.lltype</a> -> float -> <a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a></code></pre><div class="info ">
<code class="code">of_float fpty n</code> boxes the float <code class="code">n</code> in a float-valued generic value
according to the floating point type <code class="code">fpty</code>. See the fields
<code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">DoubleVal</span></code> and <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">FloatVal</span></code>.<br>
</div>
<pre><span id="VALof_pointer"><span class="keyword">val</span> of_pointer</span> : <code class="type">'a -> <a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a></code></pre><div class="info ">
<code class="code">of_pointer v</code> boxes the pointer value <code class="code">v</code> in a generic value. See the
field <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">PointerVal</span></code>.<br>
</div>
<pre><span id="VALof_int32"><span class="keyword">val</span> of_int32</span> : <code class="type"><a href="Llvm.html#TYPElltype">Llvm.lltype</a> -> int32 -> <a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a></code></pre><div class="info ">
<code class="code">of_int32 n w</code> boxes the int32 <code class="code">i</code> in a generic value with the bitwidth
<code class="code">w</code>. See the field <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
<pre><span id="VALof_int"><span class="keyword">val</span> of_int</span> : <code class="type"><a href="Llvm.html#TYPElltype">Llvm.lltype</a> -> int -> <a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a></code></pre><div class="info ">
<code class="code">of_int n w</code> boxes the int <code class="code">i</code> in a generic value with the bitwidth
<code class="code">w</code>. See the field <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
<pre><span id="VALof_nativeint"><span class="keyword">val</span> of_nativeint</span> : <code class="type"><a href="Llvm.html#TYPElltype">Llvm.lltype</a> -> nativeint -> <a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a></code></pre><div class="info ">
<code class="code">of_natint n w</code> boxes the native int <code class="code">i</code> in a generic value with the
bitwidth <code class="code">w</code>. See the field <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
<pre><span id="VALof_int64"><span class="keyword">val</span> of_int64</span> : <code class="type"><a href="Llvm.html#TYPElltype">Llvm.lltype</a> -> int64 -> <a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a></code></pre><div class="info ">
<code class="code">of_int64 n w</code> boxes the int64 <code class="code">i</code> in a generic value with the bitwidth
<code class="code">w</code>. See the field <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
<pre><span id="VALas_float"><span class="keyword">val</span> as_float</span> : <code class="type"><a href="Llvm.html#TYPElltype">Llvm.lltype</a> -> <a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a> -> float</code></pre><div class="info ">
<code class="code">as_float fpty gv</code> unboxes the floating point-valued generic value <code class="code">gv</code> of
floating point type <code class="code">fpty</code>. See the fields <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">DoubleVal</span></code>
and <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">FloatVal</span></code>.<br>
</div>
<pre><span id="VALas_pointer"><span class="keyword">val</span> as_pointer</span> : <code class="type"><a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a> -> 'a</code></pre><div class="info ">
<code class="code">as_pointer gv</code> unboxes the pointer-valued generic value <code class="code">gv</code>. See the
field <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">PointerVal</span></code>.<br>
</div>
<pre><span id="VALas_int32"><span class="keyword">val</span> as_int32</span> : <code class="type"><a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a> -> int32</code></pre><div class="info ">
<code class="code">as_int32 gv</code> unboxes the integer-valued generic value <code class="code">gv</code> as an <code class="code">int32</code>.
Is invalid if <code class="code">gv</code> has a bitwidth greater than 32 bits. See the field
<code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
<pre><span id="VALas_int"><span class="keyword">val</span> as_int</span> : <code class="type"><a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a> -> int</code></pre><div class="info ">
<code class="code">as_int gv</code> unboxes the integer-valued generic value <code class="code">gv</code> as an <code class="code">int</code>.
Is invalid if <code class="code">gv</code> has a bitwidth greater than the host bit width (but the
most significant bit may be lost). See the field
<code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
<pre><span id="VALas_nativeint"><span class="keyword">val</span> as_nativeint</span> : <code class="type"><a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a> -> nativeint</code></pre><div class="info ">
<code class="code">as_natint gv</code> unboxes the integer-valued generic value <code class="code">gv</code> as a
<code class="code">nativeint</code>. Is invalid if <code class="code">gv</code> has a bitwidth greater than
<code class="code">nativeint</code>. See the field <code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
<pre><span id="VALas_int64"><span class="keyword">val</span> as_int64</span> : <code class="type"><a href="Llvm_executionengine.GenericValue.html#TYPEt">t</a> -> int64</code></pre><div class="info ">
<code class="code">as_int64 gv</code> returns the integer-valued generic value <code class="code">gv</code> as an <code class="code">int64</code>.
Is invalid if <code class="code">gv</code> has a bitwidth greater than <code class="code">int64</code>. See the field
<code class="code">llvm::<span class="constructor">GenericValue</span>::<span class="constructor">IntVal</span></code>.<br>
</div>
</body></html>
