deploy: 7f10d00

Wasm-DSL · Sep 24, 2024 · 544eeda · 544eeda
1 parent 36d485e
commit 544eeda
Show file tree

Hide file tree

Showing 9 changed files with 9 additions and 14 deletions.
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/binary/instructions.html b/core/binary/instructions.html
@@ -109,7 +109,7 @@ <h3 id="searchlabel">Quick search</h3>
 &amp; &amp; | &amp; \mathtt{0x02}~~{\mathit{bt}}{:}{\href{../binary/instructions.html#binary-blocktype}{\mathtt{blocktype}}}~~{({\mathit{in}}{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast}~~\mathtt{0x0B} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{block}}~{\mathit{bt}}~{{\mathit{in}}^\ast} \\
 &amp; &amp; | &amp; \mathtt{0x03}~~{\mathit{bt}}{:}{\href{../binary/instructions.html#binary-blocktype}{\mathtt{blocktype}}}~~{({\mathit{in}}{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast}~~\mathtt{0x0B} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{loop}}~{\mathit{bt}}~{{\mathit{in}}^\ast} \\
 &amp; &amp; | &amp; \mathtt{0x04}~~{\mathit{bt}}{:}{\href{../binary/instructions.html#binary-blocktype}{\mathtt{blocktype}}}~~{({\mathit{in}}{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast}~~\mathtt{0x0B} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{if}}~{\mathit{bt}}~{{\mathit{in}}^\ast}~\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{else}}~\epsilon \\
-&amp; &amp; | &amp; \mathtt{0x04}~~{\mathit{bt}}{:}{\href{../binary/instructions.html#binary-blocktype}{\mathtt{blocktype}}}~~{({\mathit{in}}_1{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast}~~ \\[0.8ex]
+&amp; &amp; | &amp; \mathtt{0x04}~~{\mathit{bt}}{:}{\href{../binary/instructions.html#binary-blocktype}{\mathtt{blocktype}}}~~{({\mathit{in}}_1{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast} \\
   &amp;&amp;&amp; \mathtt{0x05}~~{({\mathit{in}}_2{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast}~~\mathtt{0x0B} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{if}}~{\mathit{bt}}~{{\mathit{in}}_1^\ast}~\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{else}}~{{\mathit{in}}_2^\ast} \\
 &amp; &amp; | &amp; \mathtt{0x08}~~x{:}{\href{../binary/modules.html#binary-tagidx}{\mathtt{tagidx}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{throw}}~x \\
 &amp; &amp; | &amp; \mathtt{0x0A} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{throw\_ref}} \\
@@ -121,12 +121,7 @@ <h3 id="searchlabel">Quick search</h3>
 &amp; &amp; | &amp; \mathtt{0x11}~~y{:}{\href{../binary/modules.html#binary-typeidx}{\mathtt{typeidx}}}~~x{:}{\href{../binary/modules.html#binary-tableidx}{\mathtt{tableidx}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{call\_indirect}}~x~y \\
 &amp; &amp; | &amp; \mathtt{0x12}~~x{:}{\href{../binary/modules.html#binary-funcidx}{\mathtt{funcidx}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{return\_call}}~x \\
 &amp; &amp; | &amp; \mathtt{0x13}~~y{:}{\href{../binary/modules.html#binary-typeidx}{\mathtt{typeidx}}}~~x{:}{\href{../binary/modules.html#binary-tableidx}{\mathtt{tableidx}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{return\_call\_indirect}}~x~y \\
-&amp; &amp; | &amp; \mathtt{0x1F}~~{\mathit{bt}}{:}{\href{../binary/instructions.html#binary-blocktype}{\mathtt{blocktype}}}~~{c^\ast}{:}{\href{../binary/conventions.html#binary-list}{\mathtt{list}}}({\href{../binary/instructions.html#binary-catch}{\mathtt{catch}}})~~{({\mathit{in}}{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast}~~\mathtt{0x0B} &amp; \quad\Rightarrow\quad{} &amp; &amp; \\
-&amp;&amp;&amp; \multicolumn{4}{&#64;{}l&#64;{}}{\quad
-\begin{array}[t]{&#64;{}l&#64;{}}
-\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{try\_table}}~{\mathit{bt}}~{c^\ast}~{{\mathit{in}}^\ast} \\
-\end{array}
-} \\
+&amp; &amp; | &amp; \mathtt{0x1F}~~{\mathit{bt}}{:}{\href{../binary/instructions.html#binary-blocktype}{\mathtt{blocktype}}}~~{c^\ast}{:}{\href{../binary/conventions.html#binary-list}{\mathtt{list}}}({\href{../binary/instructions.html#binary-catch}{\mathtt{catch}}})~~{({\mathit{in}}{:}{\href{../binary/instructions.html#binary-instr}{\mathtt{instr}}})^\ast}~~\mathtt{0x0B} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{try\_table}}~{\mathit{bt}}~{c^\ast}~{{\mathit{in}}^\ast} \\
 &amp; &amp; | &amp; \dots \\[0.8ex]
 &amp; {\href{../binary/instructions.html#binary-catch}{\mathtt{catch}}} &amp; ::= &amp; \mathtt{0x00}~~x{:}{\href{../binary/modules.html#binary-tagidx}{\mathtt{tagidx}}}~~l{:}{\href{../binary/modules.html#binary-labelidx}{\mathtt{labelidx}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{catch}}~x~l \\
 &amp; &amp; | &amp; \mathtt{0x01}~~x{:}{\href{../binary/modules.html#binary-tagidx}{\mathtt{tagidx}}}~~l{:}{\href{../binary/modules.html#binary-labelidx}{\mathtt{labelidx}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{catch\_ref}}~x~l \\
@@ -177,9 +172,9 @@ <h3 id="searchlabel">Quick search</h3>
 &amp; &amp; | &amp; \mathtt{0xFB}~~21{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}}~~{\mathit{ht}}{:}{\href{../binary/types.html#binary-heaptype}{\mathtt{heaptype}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-ref}{\mathsf{ref{.}test}}~(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}~{\mathit{ht}}) \\
 &amp; &amp; | &amp; \mathtt{0xFB}~~22{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}}~~{\mathit{ht}}{:}{\href{../binary/types.html#binary-heaptype}{\mathtt{heaptype}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-ref}{\mathsf{ref{.}cast}}~(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~{\mathit{ht}}) \\
 &amp; &amp; | &amp; \mathtt{0xFB}~~23{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}}~~{\mathit{ht}}{:}{\href{../binary/types.html#binary-heaptype}{\mathtt{heaptype}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-ref}{\mathsf{ref{.}cast}}~(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}~{\mathit{ht}}) \\
-&amp; &amp; | &amp; \mathtt{0xFB}~~24{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}}~~({\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{1}^?}}, {\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{2}^?}}){:}{\href{../binary/instructions.html#binary-castop}{\mathtt{castop}}}~~ \\[0.8ex]
+&amp; &amp; | &amp; \mathtt{0xFB}~~24{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}}~~({\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{1}^?}}, {\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{2}^?}}){:}{\href{../binary/instructions.html#binary-castop}{\mathtt{castop}}} \\
   &amp;&amp;&amp; l{:}{\href{../binary/modules.html#binary-labelidx}{\mathtt{labelidx}}}~~{\mathit{ht}}_1{:}{\href{../binary/types.html#binary-heaptype}{\mathtt{heaptype}}}~~{\mathit{ht}}_2{:}{\href{../binary/types.html#binary-heaptype}{\mathtt{heaptype}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{br\_on\_cast}}~l~(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~{\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{1}^?}}~{\mathit{ht}}_1)~(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~{\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{2}^?}}~{\mathit{ht}}_2) \\
-&amp; &amp; | &amp; \mathtt{0xFB}~~25{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}}~~({\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{1}^?}}, {\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{2}^?}}){:}{\href{../binary/instructions.html#binary-castop}{\mathtt{castop}}}~~ \\[0.8ex]
+&amp; &amp; | &amp; \mathtt{0xFB}~~25{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}}~~({\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{1}^?}}, {\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{2}^?}}){:}{\href{../binary/instructions.html#binary-castop}{\mathtt{castop}}} \\
   &amp;&amp;&amp; l{:}{\href{../binary/modules.html#binary-labelidx}{\mathtt{labelidx}}}~~{\mathit{ht}}_1{:}{\href{../binary/types.html#binary-heaptype}{\mathtt{heaptype}}}~~{\mathit{ht}}_2{:}{\href{../binary/types.html#binary-heaptype}{\mathtt{heaptype}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-control}{\mathsf{br\_on\_cast\_fail}}~l~(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~{\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{1}^?}}~{\mathit{ht}}_1)~(\href{../syntax/types.html#syntax-reftype}{\mathsf{ref}}~{\href{../syntax/types.html#syntax-reftype}{\mathsf{null}}}{{{}_{2}^?}}~{\mathit{ht}}_2) \\
 &amp; &amp; | &amp; \mathtt{0xFB}~~26{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-extern}{\mathsf{any{.}convert\_extern}} \\
 &amp; &amp; | &amp; \mathtt{0xFB}~~27{:}{\href{../binary/values.html#binary-int}{\def\mathdef1599#1{{\mathtt{u}#1}}\mathdef1599{\mathtt{32}}}} &amp; \quad\Rightarrow\quad{} &amp; \href{../syntax/instructions.html#syntax-instr-extern}{\mathsf{extern{.}convert\_any}} \\

diff --git a/core/exec/runtime.html b/core/exec/runtime.html
@@ -216,7 +216,7 @@ <h3>Convention<a class="headerlink" href="#id3" title="Permalink to this heading
 In addition, an <a class="reference internal" href="../intro/overview.html#embedder"><span class="std std-ref">embedder</span></a> may supply an uninterpreted set of <em>host addresses</em>.</p>
 <div class="math notranslate nohighlight">
 \[\begin{split}\begin{array}[t]{&#64;{}l&#64;{}rrl&#64;{}l&#64;{}}
-&amp; {\href{../exec/runtime.html#syntax-addr}{\mathit{addr}}} &amp; ::= &amp; \mathbb{N} \\
+&amp; {\href{../exec/runtime.html#syntax-addr}{\mathit{addr}}} &amp; ::= &amp; 0 ~|~ 1 ~|~ 2 ~|~ \dots \\
 &amp; {\href{../exec/runtime.html#syntax-funcaddr}{\mathit{funcaddr}}} &amp; ::= &amp; {\href{../exec/runtime.html#syntax-addr}{\mathit{addr}}} \\
 &amp; {\href{../exec/runtime.html#syntax-tableaddr}{\mathit{tableaddr}}} &amp; ::= &amp; {\href{../exec/runtime.html#syntax-addr}{\mathit{addr}}} \\
 &amp; {\href{../exec/runtime.html#syntax-memaddr}{\mathit{memaddr}}} &amp; ::= &amp; {\href{../exec/runtime.html#syntax-addr}{\mathit{addr}}} \\

diff --git a/core/searchindex.js b/core/searchindex.js
diff --git a/js-api/index.html b/js-api/index.html
@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 6270e4735, updated Tue Aug 6 12:12:30 2024 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-js-api-2/" rel="canonical">
-  <meta content="2907d07aacebb738188ada42d637b2723b1fe1aa" name="revision">
+  <meta content="7f10d0078435806aef368e4d090915e13cbb7daa" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>
 emu-const {

diff --git a/legacy/exceptions/core/_download/WebAssembly-Legacy-Exceptions.pdf b/legacy/exceptions/core/_download/WebAssembly-Legacy-Exceptions.pdf
diff --git a/legacy/exceptions/js-api/index.html b/legacy/exceptions/js-api/index.html
@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 6270e4735, updated Tue Aug 6 12:12:30 2024 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-js-api-2/" rel="canonical">
-  <meta content="2907d07aacebb738188ada42d637b2723b1fe1aa" name="revision">
+  <meta content="7f10d0078435806aef368e4d090915e13cbb7daa" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>
 emu-const {

diff --git a/metadata/code/_download/WebAssembly-Metadata-Code.pdf b/metadata/code/_download/WebAssembly-Metadata-Code.pdf
diff --git a/web-api/index.html b/web-api/index.html
@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 6270e4735, updated Tue Aug 6 12:12:30 2024 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-web-api-2/" rel="canonical">
-  <meta content="2907d07aacebb738188ada42d637b2723b1fe1aa" name="revision">
+  <meta content="7f10d0078435806aef368e4d090915e13cbb7daa" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>/* Boilerplate: style-autolinks */
 .css.css, .property.property, .descriptor.descriptor {