Skip to content

Commit dadcb83

Browse files
authored
Fix binary grammar definition of the branch hints custom section (#12)
* Fix binary grammar definition of the branch hints custom section The overall section structure definition wasm missing.
1 parent adf5aa0 commit dadcb83

File tree

2 files changed

+3
-0
lines changed

2 files changed

+3
-0
lines changed

document/core/appendix/custom.rst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -184,6 +184,8 @@ Value Meaning
184184

185185
.. math::
186186
\begin{array}{llclll}
187+
\production{branch hints section} & \Bbranchhintssec &::=&
188+
\Bsection_0(\Bvec(\Bfuncbranchhints)) \\
187189
\production{function branch hints} & \Bfuncbranchhints &::=&
188190
\Bfuncidx~\hex{00}~\Bvec(\Bbranchhint) \\
189191
\production{branch hint} & \Bbranchhint &::=&

document/core/util/macros.def

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1050,6 +1050,7 @@
10501050

10511051
.. Branch Hints Section, non-terminals
10521052

1053+
.. |Bbranchhintssec| mathdef:: \xref{appendix/custom}{binary-branchhintssec}{\B{branchhintssec}}
10531054
.. |Bfuncbranchhints| mathdef:: \xref{appendix/custom}{binary-branchhintssec}{\B{funcbranchhints}}
10541055
.. |Bbranchhint| mathdef:: \xref{appendix/custom}{binary-branchhintsec}{\B{branchhint}}
10551056
.. |Bbranchhintkind| mathdef:: \xref{appendix/custom}{binary-branchhintsec}{\B{branchhintkind}}

0 commit comments

Comments
 (0)