deploy: 7a97c6b

WebAssembly · Jan 25, 2024 · ac2aff7 · ac2aff7
1 parent 28cbda9
commit ac2aff7
Show file tree

Hide file tree

Showing 68 changed files with 2,582 additions and 1,471 deletions.
diff --git a/core/.buildinfo b/core/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: de1f4d8b758f3e3677cd927382909193
+config: 9b04ed2966a1c831b2a0fda8a383b15c
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/_static/alabaster.css b/core/_static/alabaster.css
@@ -69,6 +69,11 @@ div.relations {
 }
 
 
+div.sphinxsidebar {
+    max-height: 100%;
+    overflow-y: auto;
+}
+
 div.sphinxsidebar a {
     color: #444;
     text-decoration: none;
@@ -155,6 +160,14 @@ div.sphinxsidebar input {
     font-size: 1em;
 }
 
+div.sphinxsidebar #searchbox input[type="text"] {
+    width: 160px;
+}
+
+div.sphinxsidebar .search > div {
+    display: table-cell;
+}
+
 div.sphinxsidebar hr {
     border: none;
     height: 1px;
@@ -644,15 +657,7 @@ a:hover tt, a:hover code {
     display: none!important;
 }
 
-/* Make nested-list/multi-paragraph items look better in Releases changelog
- * pages. Without this, docutils' magical list fuckery causes inconsistent
- * formatting between different release sub-lists.
- */
-div#changelog > div.section > ul > li > p:only-child {
-    margin-bottom: 0;
-}
-
-/* Hide fugly table cell borders in ..bibliography:: directive output */
+/* Hide ugly table cell borders in ..bibliography:: directive output */
 table.docutils.citation, table.docutils.citation td, table.docutils.citation th {
   border: none;
   /* Below needed in some edge cases; if not applied, bottom shadows appear */

diff --git a/core/_static/basic.css b/core/_static/basic.css
@@ -222,7 +222,7 @@ table.modindextable td {
 /* -- general body styles --------------------------------------------------- */
 
 div.body {
-    min-width: 360px;
+    min-width: inherit;
     max-width: 800px;
 }
 

diff --git a/core/_static/documentation_options.js b/core/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '2.0 (Draft 2023-11-10)',
+    VERSION: '2.0 (Draft 2024-01-25)',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/core/_static/pygments.css b/core/_static/pygments.css
@@ -17,6 +17,7 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
 .highlight .cs { color: #408090; background-color: #fff0f0 } /* Comment.Special */
 .highlight .gd { color: #A00000 } /* Generic.Deleted */
 .highlight .ge { font-style: italic } /* Generic.Emph */
+.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
 .highlight .gr { color: #FF0000 } /* Generic.Error */
 .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
 .highlight .gi { color: #00A000 } /* Generic.Inserted */

diff --git a/core/appendix/algorithm.html b/core/appendix/algorithm.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Validation Algorithm &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Validation Algorithm &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -97,7 +98,7 @@ <h3 id="searchlabel">Quick search</h3>
 <section id="data-structures">
 <span id="index-1"></span><h2>Data Structures<a class="headerlink" href="#data-structures" title="Permalink to this heading">¶</a></h2>
 <p>Types are representable as an enumeration.</p>
-<div class="highlight-pseudo notranslate"><div class="highlight"><pre><span></span><span class="k">type</span> <span class="nf">val_type</span> = I32 | I64 | F32 | F64 | V128 | Funcref | Externref
+<div class="highlight-pseudo notranslate"><div class="highlight"><pre><span></span><span class="k">type</span> <span class="nf">val_type</span> = I32 | I64 | F32 | F64 | V128 | Funcref | Exnref | Externref
 
 <span class="k">func</span> <span class="nf">is_num</span>(<span class="nf">t</span> : val_type | Unknown) : bool =
   <span class="k">return</span> t = I32 || t = I64 || t = F32 || t = F64 || t = Unknown
@@ -106,7 +107,7 @@ <h3 id="searchlabel">Quick search</h3>
   <span class="k">return</span> t = V128 || t = Unknown
 
 <span class="k">func</span> <span class="nf">is_ref</span>(<span class="nf">t</span> : val_type | Unknown) : bool =
-  <span class="k">return</span> t = Funcref || t = Externref || t = Unknown
+  <span class="k">return</span> t = Funcref || t = Exnref || t = Externref || t = Unknown
 </pre></div>
 </div>
 <p>The algorithm uses two separate stacks: the <em>value stack</em> and the <em>control stack</em>.
@@ -263,22 +264,26 @@ <h3 id="searchlabel">Quick search</h3>
       error_if(frame.opcode =/= <span class="k">if</span>)
       push_ctrl(else, frame.start_types, frame.end_types)
 
-    <span class="k">case</span> (try t1*-&gt;t2*)
+    <span class="k">case</span> (try_table t1*-&gt;t2* handler*)
       pop_vals([t1*])
-      push_ctrl(try, [t1*], [t2*])
-
-    <span class="k">case</span> (catch x)
-      <span class="k">let</span> <span class="nf">frame</span> = pop_ctrl()
-      error_if(frame.opcode =/= try || frame.opcode =/= catch)
-      push_ctrl(catch, tags[x].<span class="k">type</span>.params, frame.end_types)
-
-    <span class="k">case</span> (catch_all)
-      <span class="k">let</span> <span class="nf">frame</span> = pop_ctrl()
-      error_if(frame.opcode =/= try || frame.opcode =/= catch)
-      push_ctrl(catch_all, [], frame.end_types)
+      <span class="k">foreach</span> (handler <span class="k">in</span> handler*)
+        error_if(ctrls.size() &lt; handler.label)
+        push_ctrl(catch, [], label_types(ctrls[handler.label]))
+        <span class="k">switch</span> (handler.clause)
+          <span class="k">case</span> (catch x)
+            push_vals(tags[x].<span class="k">type</span>.params)
+          <span class="k">case</span> (catch_ref x)
+            push_vals(tags[x].<span class="k">type</span>.params)
+            push_val(Exnref)
+          <span class="k">case</span> (catch_all)
+            skip
+          <span class="k">case</span> (catch_all_ref)
+            push_val(Exnref)
+        pop_ctrl()
+      push_ctrl(try_table, [t1*], [t2*])
 
     <span class="k">case</span> (throw x)
-       pop.vals(tags[x].<span class="k">type</span>.params)
+       pop_vals(tags[x].<span class="k">type</span>.params)
        unreachable()
 
     <span class="k">case</span> (br n)
@@ -321,7 +326,7 @@ <h3 id="searchlabel">Quick search</h3>
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/changes.html b/core/appendix/changes.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Change History &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Change History &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -223,7 +224,7 @@ <h2>Release 2.0<a class="headerlink" href="#release-2-0" title="Permalink to thi
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/custom.html b/core/appendix/custom.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Custom Sections &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Custom Sections &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -222,7 +223,7 @@ <h3 id="searchlabel">Quick search</h3>
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/embedding.html b/core/appendix/embedding.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Embedding &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Embedding &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -577,7 +578,7 @@ <h2>Pre- and Post-Conditions<a class="headerlink" href="#pre-and-post-conditions
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/implementation.html b/core/appendix/implementation.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Implementation Limitations &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Implementation Limitations &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -211,7 +212,7 @@ <h2>Syntactic Limits<a class="headerlink" href="#syntactic-limits" title="Permal
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/index-instructions.html b/core/appendix/index-instructions.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Index of Instructions &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Index of Instructions &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -3143,7 +3144,7 @@ <h3 id="searchlabel">Quick search</h3>
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/index-rules.html b/core/appendix/index-rules.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Index of Semantic Rules &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Index of Semantic Rules &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -22,8 +22,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -339,7 +340,7 @@ <h2>Execution<a class="headerlink" href="#execution" title="Permalink to this he
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/index-types.html b/core/appendix/index-types.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Index of Types &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Index of Types &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -175,7 +176,7 @@ <h3 id="searchlabel">Quick search</h3>
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>
 

diff --git a/core/appendix/index.html b/core/appendix/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Appendix &#8212; WebAssembly 2.0 (Draft 2023-11-10)</title>
+    <title>Appendix &#8212; WebAssembly 2.0 (Draft 2024-01-25)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -23,8 +23,9 @@
 
   <link rel="stylesheet" href="../_static/custom.css" type="text/css" />
 
+
+
 
-  <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
 
   </head><body>
   <div class="document">
@@ -143,7 +144,7 @@ <h3 id="searchlabel">Quick search</h3>
     <div class="clearer"></div>
   </div>
     <div class="footer">
-      &copy;2022, WebAssembly Community Group.
+      &#169;2022, WebAssembly Community Group.
 
     </div>