Skip to content

Commit 8497ef6

Browse files
hhugohhugo
committed
Deploying to wikidoc from @ 8f38d66 🚀
1 parent e58fb3e commit 8497ef6

File tree

13 files changed

+31563
-28947
lines changed

13 files changed

+31563
-28947
lines changed

‎doc/dev/api/js_of_ocaml-compiler/Js_of_ocaml_compiler/Structure/index.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@
22
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Structure (js_of_ocaml-compiler.Js_of_ocaml_compiler.Structure)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><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">Index</a> &#x00BB; <a href="../../index.html">js_of_ocaml-compiler</a> &#x00BB; <a href="../index.html">Js_of_ocaml_compiler</a> &#x00BB; Structure</nav><header class="odoc-preamble"><h1>Module <code><span>Js_of_ocaml_compiler.Structure</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-graph"><a href="#type-graph" class="anchor"></a><code><span><span class="keyword">type</span> graph</span></code></div></div><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></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_edges"><a href="#val-get_edges" class="anchor"></a><code><span><span class="keyword">val</span> get_edges : <span><a href="#type-graph">graph</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Js_of_ocaml_compiler</span>.Code.Addr.Set.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_backward"><a href="#val-is_backward" class="anchor"></a><code><span><span class="keyword">val</span> is_backward : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_forward"><a href="#val-is_forward" class="anchor"></a><code><span><span class="keyword">val</span> is_forward : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-build_graph"><a href="#val-build_graph" class="anchor"></a><code><span><span class="keyword">val</span> build_graph :
33
<span><span><a href="../Code/index.html#type-block">Code.block</a> <span class="xref-unresolved">Js_of_ocaml_compiler</span>.Code.Addr.Map.t</span> <span class="arrow">&#45;&gt;</span></span>
44
<span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span>
5-
<a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dominator_tree"><a href="#val-dominator_tree" class="anchor"></a><code><span><span class="keyword">val</span> dominator_tree : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-graph">graph</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_merge_node"><a href="#val-is_merge_node" class="anchor"></a><code><span><span class="keyword">val</span> is_merge_node : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_loop_header"><a href="#val-is_loop_header" class="anchor"></a><code><span><span class="keyword">val</span> is_loop_header : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sort_in_post_order"><a href="#val-sort_in_post_order" class="anchor"></a><code><span><span class="keyword">val</span> sort_in_post_order : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-blocks_in_reverse_post_order"><a href="#val-blocks_in_reverse_post_order" class="anchor"></a><code><span><span class="keyword">val</span> blocks_in_reverse_post_order : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_nodes"><a href="#val-get_nodes" class="anchor"></a><code><span><span class="keyword">val</span> get_nodes : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Js_of_ocaml_compiler</span>.Code.Addr.Set.t</span></code></div></div></div></body></html>
5+
<a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dominator_tree"><a href="#val-dominator_tree" class="anchor"></a><code><span><span class="keyword">val</span> dominator_tree : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-graph">graph</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_merge_node"><a href="#val-is_merge_node" class="anchor"></a><code><span><span class="keyword">val</span> is_merge_node : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_loop_header"><a href="#val-is_loop_header" class="anchor"></a><code><span><span class="keyword">val</span> is_loop_header : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sort_in_post_order"><a href="#val-sort_in_post_order" class="anchor"></a><code><span><span class="keyword">val</span> sort_in_post_order : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-blocks_in_reverse_post_order"><a href="#val-blocks_in_reverse_post_order" class="anchor"></a><code><span><span class="keyword">val</span> blocks_in_reverse_post_order : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Code/Addr/index.html#type-t">Code.Addr.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_nodes"><a href="#val-get_nodes" class="anchor"></a><code><span><span class="keyword">val</span> get_nodes : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Js_of_ocaml_compiler</span>.Code.Addr.Set.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-norm"><a href="#val-norm" class="anchor"></a><code><span><span class="keyword">val</span> norm : <span><a href="../Code/index.html#type-program">Code.program</a> <span class="arrow">&#45;&gt;</span></span> <a href="../Code/index.html#type-program">Code.program</a></span></code></div><div class="spec-doc"><p><code>norm p</code> normalizes a program <code>p</code> to accommodate <code>Structure.build_graph</code> logic. In practice, it ensures that all loops have a predecessor block and allows to exit loops early.</p></div></div></div></body></html>

0 commit comments

Comments
 (0)