-
-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 162d2e5
Showing
2,206 changed files
with
53,231 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,5 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Afl_instrument (docs.findlib-0.compiler-libs.Afl_instrument)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">docs</a> » <a href="../../index.html">findlib-0</a> » <a href="../index.html">compiler-libs</a> » Afl_instrument</nav><header class="odoc-preamble"><h1>Module <code><span>Afl_instrument</span></code></h1><p>Instrumentation for afl-fuzz.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-instrument_function"><a href="#val-instrument_function" class="anchor"></a><code><span><span class="keyword">val</span> instrument_function : <span><a href="../Cmm/index.html#type-expression">Cmm.expression</a> <span class="arrow">-></span></span> <span><a href="../Debuginfo/index.html#type-t">Debuginfo.t</a> <span class="arrow">-></span></span> <a href="../Cmm/index.html#type-expression">Cmm.expression</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-instrument_initialiser"><a href="#val-instrument_initialiser" class="anchor"></a><code><span><span class="keyword">val</span> instrument_initialiser : | ||
| <span><a href="../Cmm/index.html#type-expression">Cmm.expression</a> <span class="arrow">-></span></span> | ||
| <span><span>(<span>unit <span class="arrow">-></span></span> <a href="../Debuginfo/index.html#type-t">Debuginfo.t</a>)</span> <span class="arrow">-></span></span> | ||
| <a href="../Cmm/index.html#type-expression">Cmm.expression</a></span></code></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,10 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Alias_analysis (docs.findlib-0.compiler-libs.Alias_analysis)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">docs</a> » <a href="../../index.html">findlib-0</a> » <a href="../index.html">compiler-libs</a> » Alias_analysis</nav><header class="odoc-preamble"><h1>Module <code><span>Alias_analysis</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-allocation_point"><a href="#type-allocation_point" class="anchor"></a><code><span><span class="keyword">type</span> allocation_point</span><span> = </span></code><ol><li id="type-allocation_point.Symbol" class="def variant constructor anchored"><a href="#type-allocation_point.Symbol" class="anchor"></a><code><span>| </span><span><span class="constructor">Symbol</span> <span class="keyword">of</span> <a href="../Symbol/index.html#type-t">Symbol.t</a></span></code></li><li id="type-allocation_point.Variable" class="def variant constructor anchored"><a href="#type-allocation_point.Variable" class="anchor"></a><code><span>| </span><span><span class="constructor">Variable</span> <span class="keyword">of</span> <a href="../Variable/index.html#type-t">Variable.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-allocated_const"><a href="#type-allocated_const" class="anchor"></a><code><span><span class="keyword">type</span> allocated_const</span><span> = </span></code><ol><li id="type-allocated_const.Normal" class="def variant constructor anchored"><a href="#type-allocated_const.Normal" class="anchor"></a><code><span>| </span><span><span class="constructor">Normal</span> <span class="keyword">of</span> <a href="../Allocated_const/index.html#type-t">Allocated_const.t</a></span></code></li><li id="type-allocated_const.Array" class="def variant constructor anchored"><a href="#type-allocated_const.Array" class="anchor"></a><code><span>| </span><span><span class="constructor">Array</span> <span class="keyword">of</span> <a href="../Lambda/index.html#type-array_kind">Lambda.array_kind</a> * <a href="../Asttypes/index.html#type-mutable_flag">Asttypes.mutable_flag</a> * <span><a href="../Variable/index.html#type-t">Variable.t</a> list</span></span></code></li><li id="type-allocated_const.Duplicate_array" class="def variant constructor anchored"><a href="#type-allocated_const.Duplicate_array" class="anchor"></a><code><span>| </span><span><span class="constructor">Duplicate_array</span> <span class="keyword">of</span> <a href="../Lambda/index.html#type-array_kind">Lambda.array_kind</a> * <a href="../Asttypes/index.html#type-mutable_flag">Asttypes.mutable_flag</a> * <a href="../Variable/index.html#type-t">Variable.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-constant_defining_value"><a href="#type-constant_defining_value" class="anchor"></a><code><span><span class="keyword">type</span> constant_defining_value</span><span> = </span></code><ol><li id="type-constant_defining_value.Allocated_const" class="def variant constructor anchored"><a href="#type-constant_defining_value.Allocated_const" class="anchor"></a><code><span>| </span><span><span class="constructor">Allocated_const</span> <span class="keyword">of</span> <a href="#type-allocated_const">allocated_const</a></span></code></li><li id="type-constant_defining_value.Block" class="def variant constructor anchored"><a href="#type-constant_defining_value.Block" class="anchor"></a><code><span>| </span><span><span class="constructor">Block</span> <span class="keyword">of</span> <a href="../Tag/index.html#type-t">Tag.t</a> * <span><a href="../Variable/index.html#type-t">Variable.t</a> list</span></span></code></li><li id="type-constant_defining_value.Set_of_closures" class="def variant constructor anchored"><a href="#type-constant_defining_value.Set_of_closures" class="anchor"></a><code><span>| </span><span><span class="constructor">Set_of_closures</span> <span class="keyword">of</span> <a href="../Flambda/index.html#type-set_of_closures">Flambda.set_of_closures</a></span></code></li><li id="type-constant_defining_value.Project_closure" class="def variant constructor anchored"><a href="#type-constant_defining_value.Project_closure" class="anchor"></a><code><span>| </span><span><span class="constructor">Project_closure</span> <span class="keyword">of</span> <a href="../Flambda/index.html#type-project_closure">Flambda.project_closure</a></span></code></li><li id="type-constant_defining_value.Move_within_set_of_closures" class="def variant constructor anchored"><a href="#type-constant_defining_value.Move_within_set_of_closures" class="anchor"></a><code><span>| </span><span><span class="constructor">Move_within_set_of_closures</span> <span class="keyword">of</span> <a href="../Flambda/index.html#type-move_within_set_of_closures">Flambda.move_within_set_of_closures</a></span></code></li><li id="type-constant_defining_value.Project_var" class="def variant constructor anchored"><a href="#type-constant_defining_value.Project_var" class="anchor"></a><code><span>| </span><span><span class="constructor">Project_var</span> <span class="keyword">of</span> <a href="../Flambda/index.html#type-project_var">Flambda.project_var</a></span></code></li><li id="type-constant_defining_value.Field" class="def variant constructor anchored"><a href="#type-constant_defining_value.Field" class="anchor"></a><code><span>| </span><span><span class="constructor">Field</span> <span class="keyword">of</span> <a href="../Variable/index.html#type-t">Variable.t</a> * int</span></code></li><li id="type-constant_defining_value.Symbol_field" class="def variant constructor anchored"><a href="#type-constant_defining_value.Symbol_field" class="anchor"></a><code><span>| </span><span><span class="constructor">Symbol_field</span> <span class="keyword">of</span> <a href="../Symbol/index.html#type-t">Symbol.t</a> * int</span></code></li><li id="type-constant_defining_value.Const" class="def variant constructor anchored"><a href="#type-constant_defining_value.Const" class="anchor"></a><code><span>| </span><span><span class="constructor">Const</span> <span class="keyword">of</span> <a href="../Flambda/index.html#type-const">Flambda.const</a></span></code></li><li id="type-constant_defining_value.Symbol" class="def variant constructor anchored"><a href="#type-constant_defining_value.Symbol" class="anchor"></a><code><span>| </span><span><span class="constructor">Symbol</span> <span class="keyword">of</span> <a href="../Symbol/index.html#type-t">Symbol.t</a></span></code></li><li id="type-constant_defining_value.Variable" class="def variant constructor anchored"><a href="#type-constant_defining_value.Variable" class="anchor"></a><code><span>| </span><span><span class="constructor">Variable</span> <span class="keyword">of</span> <a href="../Variable/index.html#type-t">Variable.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-initialize_symbol_field"><a href="#type-initialize_symbol_field" class="anchor"></a><code><span><span class="keyword">type</span> initialize_symbol_field</span><span> = <span><a href="../Variable/index.html#type-t">Variable.t</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-run"><a href="#val-run" class="anchor"></a><code><span><span class="keyword">val</span> run : | ||
| <span><span><a href="#type-constant_defining_value">constant_defining_value</a> <a href="../Variable/Tbl/index.html#type-t">Variable.Tbl.t</a></span> <span class="arrow">-></span></span> | ||
| <span><span><span><a href="#type-initialize_symbol_field">initialize_symbol_field</a> list</span> <a href="../Symbol/Tbl/index.html#type-t">Symbol.Tbl.t</a></span> <span class="arrow">-></span></span> | ||
| <span><span><a href="../Flambda/index.html#type-constant_defining_value">Flambda.constant_defining_value</a> <a href="../Symbol/Tbl/index.html#type-t">Symbol.Tbl.t</a></span> <span class="arrow">-></span></span> | ||
| <span><span class="label">the_dead_constant</span>:<a href="../Symbol/index.html#type-t">Symbol.t</a> <span class="arrow">-></span></span> | ||
| <span><a href="#type-allocation_point">allocation_point</a> <a href="../Variable/Map/index.html#type-t">Variable.Map.t</a></span></span></code></div><div class="spec-doc"><p>Simple alias analysis working over information about which symbols have been assigned to variables; and which constants have been assigned to symbols. The return value gives the assignment of the defining values of constants to variables. Also see comments for <code>Lift_constants</code>, whose input feeds this pass.</p><p>Variables found to be ill-typed accesses to other constants, for example arising from dead code, will be pointed at <code>the_dead_constant</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_constant_defining_value"><a href="#val-print_constant_defining_value" class="anchor"></a><code><span><span class="keyword">val</span> print_constant_defining_value : | ||
| <span><a href="../../../stdlib/Stdlib/Format/index.html#type-formatter">Format.formatter</a> <span class="arrow">-></span></span> | ||
| <span><a href="#type-constant_defining_value">constant_defining_value</a> <span class="arrow">-></span></span> | ||
| unit</span></code></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Allocated_const (docs.findlib-0.compiler-libs.Allocated_const)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">docs</a> » <a href="../../index.html">findlib-0</a> » <a href="../index.html">compiler-libs</a> » Allocated_const</nav><header class="odoc-preamble"><h1>Module <code><span>Allocated_const</span></code></h1><p>Constants that are always allocated (possibly statically). Blocks are not included here since they are always encoded using <code>Prim (Pmakeblock, ...)</code>.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = </span></code><ol><li id="type-t.Float" class="def variant constructor anchored"><a href="#type-t.Float" class="anchor"></a><code><span>| </span><span><span class="constructor">Float</span> <span class="keyword">of</span> float</span></code></li><li id="type-t.Int32" class="def variant constructor anchored"><a href="#type-t.Int32" class="anchor"></a><code><span>| </span><span><span class="constructor">Int32</span> <span class="keyword">of</span> int32</span></code></li><li id="type-t.Int64" class="def variant constructor anchored"><a href="#type-t.Int64" class="anchor"></a><code><span>| </span><span><span class="constructor">Int64</span> <span class="keyword">of</span> int64</span></code></li><li id="type-t.Nativeint" class="def variant constructor anchored"><a href="#type-t.Nativeint" class="anchor"></a><code><span>| </span><span><span class="constructor">Nativeint</span> <span class="keyword">of</span> nativeint</span></code></li><li id="type-t.Float_array" class="def variant constructor anchored"><a href="#type-t.Float_array" class="anchor"></a><code><span>| </span><span><span class="constructor">Float_array</span> <span class="keyword">of</span> <span>float list</span></span></code></li><li id="type-t.Immutable_float_array" class="def variant constructor anchored"><a href="#type-t.Immutable_float_array" class="anchor"></a><code><span>| </span><span><span class="constructor">Immutable_float_array</span> <span class="keyword">of</span> <span>float list</span></span></code></li><li id="type-t.String" class="def variant constructor anchored"><a href="#type-t.String" class="anchor"></a><code><span>| </span><span><span class="constructor">String</span> <span class="keyword">of</span> string</span></code></li><li id="type-t.Immutable_string" class="def variant constructor anchored"><a href="#type-t.Immutable_string" class="anchor"></a><code><span>| </span><span><span class="constructor">Immutable_string</span> <span class="keyword">of</span> string</span></code></li></ol></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare_floats"><a href="#val-compare_floats" class="anchor"></a><code><span><span class="keyword">val</span> compare_floats : <span>float <span class="arrow">-></span></span> <span>float <span class="arrow">-></span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <span><a href="../../../stdlib/Stdlib/Format/index.html#type-formatter">Format.formatter</a> <span class="arrow">-></span></span> <span><a href="#type-t">t</a> <span class="arrow">-></span></span> unit</span></code></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Annot (docs.findlib-0.compiler-libs.Annot)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">docs</a> » <a href="../../index.html">findlib-0</a> » <a href="../index.html">compiler-libs</a> » Annot</nav><header class="odoc-preamble"><h1>Module <code><span>Annot</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-call"><a href="#type-call" class="anchor"></a><code><span><span class="keyword">type</span> call</span><span> = </span></code><ol><li id="type-call.Tail" class="def variant constructor anchored"><a href="#type-call.Tail" class="anchor"></a><code><span>| </span><span><span class="constructor">Tail</span></span></code></li><li id="type-call.Stack" class="def variant constructor anchored"><a href="#type-call.Stack" class="anchor"></a><code><span>| </span><span><span class="constructor">Stack</span></span></code></li><li id="type-call.Inline" class="def variant constructor anchored"><a href="#type-call.Inline" class="anchor"></a><code><span>| </span><span><span class="constructor">Inline</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-ident"><a href="#type-ident" class="anchor"></a><code><span><span class="keyword">type</span> ident</span><span> = </span></code><ol><li id="type-ident.Iref_internal" class="def variant constructor anchored"><a href="#type-ident.Iref_internal" class="anchor"></a><code><span>| </span><span><span class="constructor">Iref_internal</span> <span class="keyword">of</span> <a href="../Location/index.html#type-t">Location.t</a></span></code></li><li id="type-ident.Iref_external" class="def variant constructor anchored"><a href="#type-ident.Iref_external" class="anchor"></a><code><span>| </span><span><span class="constructor">Iref_external</span></span></code></li><li id="type-ident.Idef" class="def variant constructor anchored"><a href="#type-ident.Idef" class="anchor"></a><code><span>| </span><span><span class="constructor">Idef</span> <span class="keyword">of</span> <a href="../Location/index.html#type-t">Location.t</a></span></code></li></ol></div></div></div></body></html> |
Oops, something went wrong.