Skip to content

Commit 8ec9f58

Browse files
raoxiaojiaraoxiaojia
authored
[spec] Cumulative fixes for text format and binary format specification (#2107)
1 parent fa8ea41 commit 8ec9f58

File tree

9 files changed

+64
-64
lines changed

9 files changed

+64
-64
lines changed

‎specification/wasm-3.0/5.4-binary.modules.spectec‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,7 @@ grammar Bstartsec : start? hint(desc "start section") =
9595
;; Element section
9696

9797
grammar Belemkind : reftype hint(desc "element kind") =
98-
| 0x00 => REF NULL FUNC
98+
| 0x00 => REF FUNC
9999

100100
grammar Belem : elem =
101101
| 0:Bu32 e_o:Bexpr y*:Blist(Bfuncidx) =>

‎specification/wasm-3.0/6.2-text.types.spectec‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -91,12 +91,12 @@ grammar Tresult_(I)/base : valtype =
9191
| "(" "result" t:Tvaltype_(I) ")" => t
9292
| ...
9393

94-
grammar Tresult_(I)/abbrev : valtype = ... | "(" "result" Tvaltype_(I)* ")" == ("(" "param" Tvaltype_(I) ")")*
94+
grammar Tresult_(I)/abbrev : valtype = ... | "(" "result" Tvaltype_(I)* ")" == ("(" "result" Tvaltype_(I) ")")*
9595

9696
grammar Tcomptype_(I) : (comptype, idctxt) =
97-
| "(" "struct" (ft,id?)*:Tlist(Tfield_(I)) ")" => (STRUCT ft*, {FIELDS (id?)*})
98-
| "(" "array" ft:Tfieldtype_(I) ")" => (ARRAY ft, {})
99-
| "(" "func" (t_1,id?)*:Tlist(Tparam_(I)) t_2*:Tlist(Tresult_(I)) ")" => (FUNC t_1* -> t_2*, {})
97+
| "(" "struct" (ft,id?)*:Tlist(Tfield_(I)) ")" => (STRUCT ft*, {FIELDS ((id?)*)})
98+
| "(" "array" ft:Tfieldtype_(I) ")" => (ARRAY ft, {FIELDS (eps)})
99+
| "(" "func" (t_1,id?)*:Tlist(Tparam_(I)) t_2*:Tlist(Tresult_(I)) ")" => (FUNC t_1* -> t_2*, {FIELDS (eps)})
100100

101101

102102
grammar Tfinal : final =

‎specification/wasm-3.0/6.3-text.instructions.spectec‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -178,11 +178,11 @@ grammar Tmemarg_(N) : memarg =
178178
| n:Talign_(N) m:Toffset => {ALIGN n, OFFSET m}
179179

180180
grammar Toffset : u64 =
181-
| "offset=" n:Tu64 => n
181+
| "offset=" m:Tu64 => m
182182
| eps => 0
183183

184-
grammar Talign_(N) : u64 =
185-
| "align=" m:Tu64 => m -- if $(m = 2^n)
184+
grammar Talign_(N) : u32 =
185+
| "align=" m:Tu64 => n -- if $(m = 2^n)
186186
| eps => N
187187

188188
grammar Tlaneidx : laneidx =
@@ -284,9 +284,9 @@ grammar Tplaininstr_(I)/memory-abbrev : instr = ...
284284
| "i64.store32" Tmemarg_(4) == "i64.store32" "0" Tmemarg_(4)
285285
| "v128.store" Tmemarg_(16) == "v128.store" "0" Tmemarg_(16)
286286
| "v128.store8_lane" Tmemarg_(1) Tlaneidx == "v128.store8_lane" "0" Tmemarg_(1) Tlaneidx
287-
| "v128.store16_lane" Tmemarg_(2) Tlaneidx == "v128.store16_lane" "0" Tmemarg_(1) Tlaneidx
288-
| "v128.store32_lane" Tmemarg_(4) Tlaneidx == "v128.store32_lane" "0" Tmemarg_(1) Tlaneidx
289-
| "v128.store64_lane" Tmemarg_(8) Tlaneidx == "v128.store64_lane" "0" Tmemarg_(1) Tlaneidx
287+
| "v128.store16_lane" Tmemarg_(2) Tlaneidx == "v128.store16_lane" "0" Tmemarg_(2) Tlaneidx
288+
| "v128.store32_lane" Tmemarg_(4) Tlaneidx == "v128.store32_lane" "0" Tmemarg_(4) Tlaneidx
289+
| "v128.store64_lane" Tmemarg_(8) Tlaneidx == "v128.store64_lane" "0" Tmemarg_(8) Tlaneidx
290290
| "memory.size" == "memory.size" "0"
291291
| "memory.grow" == "memory.grow" "0"
292292
| "memory.fill" == "memory.fill" "0"

‎specification/wasm-latest/5.4-binary.modules.spectec‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,7 @@ grammar Bstartsec : start? hint(desc "start section") =
9595
;; Element section
9696

9797
grammar Belemkind : reftype hint(desc "element kind") =
98-
| 0x00 => REF NULL FUNC
98+
| 0x00 => REF FUNC
9999

100100
grammar Belem : elem =
101101
| 0:Bu32 e_o:Bexpr y*:Blist(Bfuncidx) =>

‎specification/wasm-latest/6.2-text.types.spectec‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -91,12 +91,12 @@ grammar Tresult_(I)/base : valtype =
9191
| "(" "result" t:Tvaltype_(I) ")" => t
9292
| ...
9393

94-
grammar Tresult_(I)/abbrev : valtype = ... | "(" "result" Tvaltype_(I)* ")" == ("(" "param" Tvaltype_(I) ")")*
94+
grammar Tresult_(I)/abbrev : valtype = ... | "(" "result" Tvaltype_(I)* ")" == ("(" "result" Tvaltype_(I) ")")*
9595

9696
grammar Tcomptype_(I) : (comptype, idctxt) =
97-
| "(" "struct" (ft,id?)*:Tlist(Tfield_(I)) ")" => (STRUCT ft*, {FIELDS (id?)*})
98-
| "(" "array" ft:Tfieldtype_(I) ")" => (ARRAY ft, {})
99-
| "(" "func" (t_1,id?)*:Tlist(Tparam_(I)) t_2*:Tlist(Tresult_(I)) ")" => (FUNC t_1* -> t_2*, {})
97+
| "(" "struct" (ft,id?)*:Tlist(Tfield_(I)) ")" => (STRUCT ft*, {FIELDS ((id?)*)})
98+
| "(" "array" ft:Tfieldtype_(I) ")" => (ARRAY ft, {FIELDS (eps)})
99+
| "(" "func" (t_1,id?)*:Tlist(Tparam_(I)) t_2*:Tlist(Tresult_(I)) ")" => (FUNC t_1* -> t_2*, {FIELDS (eps)})
100100

101101

102102
grammar Tfinal : final =

‎specification/wasm-latest/6.3-text.instructions.spectec‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -178,11 +178,11 @@ grammar Tmemarg_(N) : memarg =
178178
| n:Talign_(N) m:Toffset => {ALIGN n, OFFSET m}
179179

180180
grammar Toffset : u64 =
181-
| "offset=" n:Tu64 => n
181+
| "offset=" m:Tu64 => m
182182
| eps => 0
183183

184-
grammar Talign_(N) : u64 =
185-
| "align=" m:Tu64 => m -- if $(m = 2^n)
184+
grammar Talign_(N) : u32 =
185+
| "align=" m:Tu64 => n -- if $(m = 2^n)
186186
| eps => N
187187

188188
grammar Tlaneidx : laneidx =
@@ -284,9 +284,9 @@ grammar Tplaininstr_(I)/memory-abbrev : instr = ...
284284
| "i64.store32" Tmemarg_(4) == "i64.store32" "0" Tmemarg_(4)
285285
| "v128.store" Tmemarg_(16) == "v128.store" "0" Tmemarg_(16)
286286
| "v128.store8_lane" Tmemarg_(1) Tlaneidx == "v128.store8_lane" "0" Tmemarg_(1) Tlaneidx
287-
| "v128.store16_lane" Tmemarg_(2) Tlaneidx == "v128.store16_lane" "0" Tmemarg_(1) Tlaneidx
288-
| "v128.store32_lane" Tmemarg_(4) Tlaneidx == "v128.store32_lane" "0" Tmemarg_(1) Tlaneidx
289-
| "v128.store64_lane" Tmemarg_(8) Tlaneidx == "v128.store64_lane" "0" Tmemarg_(1) Tlaneidx
287+
| "v128.store16_lane" Tmemarg_(2) Tlaneidx == "v128.store16_lane" "0" Tmemarg_(2) Tlaneidx
288+
| "v128.store32_lane" Tmemarg_(4) Tlaneidx == "v128.store32_lane" "0" Tmemarg_(4) Tlaneidx
289+
| "v128.store64_lane" Tmemarg_(8) Tlaneidx == "v128.store64_lane" "0" Tmemarg_(8) Tlaneidx
290290
| "memory.size" == "memory.size" "0"
291291
| "memory.grow" == "memory.grow" "0"
292292
| "memory.fill" == "memory.fill" "0"

‎spectec/test-frontend/TEST.md‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -9231,7 +9231,7 @@ grammar Bstartsec : start?
92319231
;; ../../../../specification/wasm-latest/5.4-binary.modules.spectec
92329232
grammar Belemkind : reftype
92339233
;; ../../../../specification/wasm-latest/5.4-binary.modules.spectec
9234-
prod 0x00 => REF_reftype(?(NULL_null), FUNC_heaptype)
9234+
prod 0x00 => REF_reftype(?(), FUNC_heaptype)
92359235

92369236
;; ../../../../specification/wasm-latest/5.4-binary.modules.spectec
92379237
grammar Belem : elem
@@ -9986,9 +9986,9 @@ grammar Tcomptype_(I : I) : (comptype, idctxt)
99869986
;; ../../../../specification/wasm-latest/6.2-text.types.spectec
99879987
prod{`ft*` : fieldtype*, `id?*` : char?*} {{"("} {"struct"} {(ft, ?(`%`_name(lift(id?{id <- `id?`}))))*{ft <- `ft*`, `id?` <- `id?*`}:Tlist(syntax (fieldtype, name?), grammar Tfield_(I))} {")"}} => (STRUCT_comptype(`%`_list(ft*{ft <- `ft*`})), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [], LOCALS [], LABELS [], FIELDS [?(`%`_name(lift(id?{id <- `id?`})))*{`id?` <- `id?*`}], TYPEDEFS []})
99889988
;; ../../../../specification/wasm-latest/6.2-text.types.spectec
9989-
prod{ft : fieldtype} {{"("} {"array"} {ft:Tfieldtype_(I)} {")"}} => (ARRAY_comptype(ft), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
9989+
prod{ft : fieldtype} {{"("} {"array"} {ft:Tfieldtype_(I)} {")"}} => (ARRAY_comptype(ft), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [], LOCALS [], LABELS [], FIELDS [[?(`%`_name([]))]], TYPEDEFS []})
99909990
;; ../../../../specification/wasm-latest/6.2-text.types.spectec
9991-
prod{`t_1*` : valtype*, `t_2*` : valtype*, `id?*` : char?*} {{"("} {"func"} {(t_1, ?(`%`_name(lift(id?{id <- `id?`}))))*{`id?` <- `id?*`, t_1 <- `t_1*`}:Tlist(syntax (valtype, name?), grammar Tparam_(I))} {t_2*{t_2 <- `t_2*`}:Tlist(syntax valtype, grammar Tresult_(I))} {")"}} => (`FUNC%->%`_comptype(`%`_resulttype(t_1*{t_1 <- `t_1*`}), `%`_resulttype(t_2*{t_2 <- `t_2*`})), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [], LOCALS [], LABELS [], FIELDS [], TYPEDEFS []})
9991+
prod{`t_1*` : valtype*, `t_2*` : valtype*, `id?*` : char?*} {{"("} {"func"} {(t_1, ?(`%`_name(lift(id?{id <- `id?`}))))*{`id?` <- `id?*`, t_1 <- `t_1*`}:Tlist(syntax (valtype, name?), grammar Tparam_(I))} {t_2*{t_2 <- `t_2*`}:Tlist(syntax valtype, grammar Tresult_(I))} {")"}} => (`FUNC%->%`_comptype(`%`_resulttype(t_1*{t_1 <- `t_1*`}), `%`_resulttype(t_2*{t_2 <- `t_2*`})), {TYPES [], TAGS [], GLOBALS [], MEMS [], TABLES [], FUNCS [], DATAS [], ELEMS [], LOCALS [], LABELS [], FIELDS [[?(`%`_name([]))]], TYPEDEFS []})
99929992

99939993
;; ../../../../specification/wasm-latest/6.2-text.types.spectec
99949994
grammar Tfinal : final
@@ -10112,24 +10112,24 @@ grammar Tlaneidx : laneidx
1011210112
prod{i : u8} i:Tu8 => i
1011310113

1011410114
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
10115-
grammar Talign_(N : N) : u64
10115+
grammar Talign_(N : N) : u32
1011610116
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
10117-
prod{m : m, n : n} {{"align="} {`%`_u64(m):Tu64}} => `%`_u64(m)
10117+
prod{n : n, m : m} {{"align="} {`%`_u64(m):Tu64}} => `%`_u32(n)
1011810118
-- if (m = (2 ^ n))
1011910119
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
10120-
prod eps => `%`_u64(N)
10120+
prod eps => `%`_u32(N)
1012110121

1012210122
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
1012310123
grammar Toffset : u64
1012410124
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
10125-
prod{n : n} {{"offset="} {`%`_u64(n):Tu64}} => `%`_u64(n)
10125+
prod{m : m} {{"offset="} {`%`_u64(m):Tu64}} => `%`_u64(m)
1012610126
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
1012710127
prod eps => `%`_u64(0)
1012810128

1012910129
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
1013010130
grammar Tmemarg_(N : N) : memarg
1013110131
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
10132-
prod{n : n, m : m} {{`%`_u64(n):Talign_(N)} {`%`_u64(m):Toffset}} => {ALIGN `%`_u32(n), OFFSET `%`_u64(m)}
10132+
prod{n : n, m : m} {{`%`_u32(n):Talign_(N)} {`%`_u64(m):Toffset}} => {ALIGN `%`_u32(n), OFFSET `%`_u64(m)}
1013310133

1013410134
;; ../../../../specification/wasm-latest/6.3-text.instructions.spectec
1013510135
grammar Tplaininstr_(I : I) : instr

‎spectec/test-latex/TEST.md‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -12142,7 +12142,7 @@ $$
1214212142

1214312143
$$
1214412144
\begin{array}[t]{@{}lrrl@{}l@{}l@{}l@{}}
12145-
\mbox{(element kind)} & {\mathtt{elemkind}} & ::= & \mathtt{0x00} & \quad\Rightarrow\quad{} & \mathsf{ref}~\mathsf{null}~\mathsf{func} \\
12145+
\mbox{(element kind)} & {\mathtt{elemkind}} & ::= & \mathtt{0x00} & \quad\Rightarrow\quad{} & \mathsf{ref}~\mathsf{func} \\
1214612146
& {\mathtt{elem}} & ::= & 0{:}{\mathtt{u32}}~~e_o{:}{\mathtt{expr}}~~{y^\ast}{:}{\mathtt{list}}({\mathtt{funcidx}}) & \quad\Rightarrow\quad{} & & \\
1214712147
&&& \multicolumn{4}{@{}l@{}}{\quad
1214812148
\begin{array}[t]{@{}l@{}}
@@ -12632,10 +12632,10 @@ $$
1263212632
& {{\mathtt{param}}}_{I} & ::= & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{param}’}~~{{\mathit{id}}^?}{:}{{\mathtt{id}}^?}~~t{:}{{\mathtt{valtype}}}_{I}~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & (t, {{\mathit{id}}^?}) \\
1263312633
& & | & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{param}’}~~{{{\mathtt{valtype}}}_{I}^\ast}~~\mbox{‘\texttt{{)}}’} & \quad\equiv\quad{} & {(\mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{param}’}~~{{\mathtt{valtype}}}_{I}~~\mbox{‘\texttt{{)}}’})^\ast} \\
1263412634
& {{\mathtt{result}}}_{I} & ::= & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{result}’}~~t{:}{{\mathtt{valtype}}}_{I}~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & t \\
12635-
& & | & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{result}’}~~{{{\mathtt{valtype}}}_{I}^\ast}~~\mbox{‘\texttt{{)}}’} & \quad\equiv\quad{} & {(\mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{param}’}~~{{\mathtt{valtype}}}_{I}~~\mbox{‘\texttt{{)}}’})^\ast} \\
12636-
& {{\mathtt{comptype}}}_{I} & ::= & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{struct}’}~~{({\mathit{ft}}, {{\mathit{id}}^?})^\ast}{:}{\mathtt{list}}({{\mathtt{field}}}_{I})~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & (\mathsf{struct}~{{\mathit{ft}}^\ast}, \{ \mathsf{fields}~{({{\mathit{id}}^?})^\ast} \}) \\
12637-
& & | & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{array}’}~~{\mathit{ft}}{:}{{\mathtt{fieldtype}}}_{I}~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & (\mathsf{array}~{\mathit{ft}}, \{ \}) \\
12638-
& & | & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{func}’}~~{(t_1, {{\mathit{id}}^?})^\ast}{:}{\mathtt{list}}({{\mathtt{param}}}_{I})~~{t_2^\ast}{:}{\mathtt{list}}({{\mathtt{result}}}_{I})~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & (\mathsf{func}~{t_1^\ast} \rightarrow {t_2^\ast}, \{ \}) \\
12635+
& & | & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{result}’}~~{{{\mathtt{valtype}}}_{I}^\ast}~~\mbox{‘\texttt{{)}}’} & \quad\equiv\quad{} & {(\mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{result}’}~~{{\mathtt{valtype}}}_{I}~~\mbox{‘\texttt{{)}}’})^\ast} \\
12636+
& {{\mathtt{comptype}}}_{I} & ::= & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{struct}’}~~{({\mathit{ft}}, {{\mathit{id}}^?})^\ast}{:}{\mathtt{list}}({{\mathtt{field}}}_{I})~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & (\mathsf{struct}~{{\mathit{ft}}^\ast}, \{ \mathsf{fields}~({({{\mathit{id}}^?})^\ast}) \}) \\
12637+
& & | & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{array}’}~~{\mathit{ft}}{:}{{\mathtt{fieldtype}}}_{I}~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & (\mathsf{array}~{\mathit{ft}}, \{ \mathsf{fields}~(\epsilon) \}) \\
12638+
& & | & \mbox{‘\texttt{{(}}’}~~\mbox{‘\texttt{func}’}~~{(t_1, {{\mathit{id}}^?})^\ast}{:}{\mathtt{list}}({{\mathtt{param}}}_{I})~~{t_2^\ast}{:}{\mathtt{list}}({{\mathtt{result}}}_{I})~~\mbox{‘\texttt{{)}}’} & \quad\Rightarrow\quad{} & (\mathsf{func}~{t_1^\ast} \rightarrow {t_2^\ast}, \{ \mathsf{fields}~(\epsilon) \}) \\
1263912639
\end{array}
1264012640
$$
1264112641

@@ -12915,9 +12915,9 @@ $$
1291512915
$$
1291612916
\begin{array}[t]{@{}lrrl@{}l@{}l@{}l@{}}
1291712917
& {{\mathtt{memarg}}}_{N} & ::= & n{:}{{\mathtt{align}}}_{N}~~m{:}{\mathtt{offset}} & \quad\Rightarrow\quad{} & \{ \mathsf{align}~n,\;\allowbreak \mathsf{offset}~m \} \\
12918-
& {\mathtt{offset}} & ::= & \mbox{‘\texttt{offset{=}}’}~~n{:}{\mathtt{u64}} & \quad\Rightarrow\quad{} & n \\
12918+
& {\mathtt{offset}} & ::= & \mbox{‘\texttt{offset{=}}’}~~m{:}{\mathtt{u64}} & \quad\Rightarrow\quad{} & m \\
1291912919
& & | & \epsilon & \quad\Rightarrow\quad{} & 0 \\
12920-
& {{\mathtt{align}}}_{N} & ::= & \mbox{‘\texttt{align{=}}’}~~m{:}{\mathtt{u64}} & \quad\Rightarrow\quad{} & m & \quad \mbox{if}~ m = {2^{n}} \\
12920+
& {{\mathtt{align}}}_{N} & ::= & \mbox{‘\texttt{align{=}}’}~~m{:}{\mathtt{u64}} & \quad\Rightarrow\quad{} & n & \quad \mbox{if}~ m = {2^{n}} \\
1292112921
& & | & \epsilon & \quad\Rightarrow\quad{} & N \\
1292212922
& {\mathtt{laneidx}} & ::= & i{:}{\mathtt{u8}} & \quad\Rightarrow\quad{} & i \\
1292312923
& {{\mathtt{plaininstr}}}_{I} & ::= & \dots \\
@@ -13013,9 +13013,9 @@ $$
1301313013
& & | & \mbox{‘\texttt{i64.store32}’}~~{{\mathtt{memarg}}}_{4} & \quad\equiv\quad{} & \mbox{‘\texttt{i64.store32}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{4} \\
1301413014
& & | & \mbox{‘\texttt{v128.store}’}~~{{\mathtt{memarg}}}_{16} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{16} \\
1301513015
& & | & \mbox{‘\texttt{v128.store8\_lane}’}~~{{\mathtt{memarg}}}_{1}~~{\mathtt{laneidx}} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store8\_lane}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{1}~~{\mathtt{laneidx}} \\
13016-
& & | & \mbox{‘\texttt{v128.store16\_lane}’}~~{{\mathtt{memarg}}}_{2}~~{\mathtt{laneidx}} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store16\_lane}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{1}~~{\mathtt{laneidx}} \\
13017-
& & | & \mbox{‘\texttt{v128.store32\_lane}’}~~{{\mathtt{memarg}}}_{4}~~{\mathtt{laneidx}} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store32\_lane}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{1}~~{\mathtt{laneidx}} \\
13018-
& & | & \mbox{‘\texttt{v128.store64\_lane}’}~~{{\mathtt{memarg}}}_{8}~~{\mathtt{laneidx}} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store64\_lane}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{1}~~{\mathtt{laneidx}} \\
13016+
& & | & \mbox{‘\texttt{v128.store16\_lane}’}~~{{\mathtt{memarg}}}_{2}~~{\mathtt{laneidx}} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store16\_lane}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{2}~~{\mathtt{laneidx}} \\
13017+
& & | & \mbox{‘\texttt{v128.store32\_lane}’}~~{{\mathtt{memarg}}}_{4}~~{\mathtt{laneidx}} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store32\_lane}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{4}~~{\mathtt{laneidx}} \\
13018+
& & | & \mbox{‘\texttt{v128.store64\_lane}’}~~{{\mathtt{memarg}}}_{8}~~{\mathtt{laneidx}} & \quad\equiv\quad{} & \mbox{‘\texttt{v128.store64\_lane}’}~~\mbox{‘\texttt{0}’}~~{{\mathtt{memarg}}}_{8}~~{\mathtt{laneidx}} \\
1301913019
& & | & \mbox{‘\texttt{memory.size}’} & \quad\equiv\quad{} & \mbox{‘\texttt{memory.size}’}~~\mbox{‘\texttt{0}’} \\
1302013020
& & | & \mbox{‘\texttt{memory.grow}’} & \quad\equiv\quad{} & \mbox{‘\texttt{memory.grow}’}~~\mbox{‘\texttt{0}’} \\
1302113021
& & | & \mbox{‘\texttt{memory.fill}’} & \quad\equiv\quad{} & \mbox{‘\texttt{memory.fill}’}~~\mbox{‘\texttt{0}’} \\

0 commit comments

Comments
 (0)