Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Mention a few more possible implementation limits #293

Merged
merged 2 commits into from
Jan 29, 2024
Merged

Mention a few more possible implementation limits #293

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
83211ea
Mention a few more possible implementation limits
yamt Jan 29, 2024
fa69277
remove the "total size of parameters in the tag type" limitation
yamt Jan 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions document/core/appendix/implementation.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,8 @@ An implementation may impose restrictions on the following dimensions of a modul
* the number of results in a :ref:`function type <syntax-functype>`
* the number of parameters in a :ref:`block type <syntax-blocktype>`
* the number of results in a :ref:`block type <syntax-blocktype>`
* the number of parameters in a :ref:`tag type <syntax-tagtype>`
* the total size of parameters in a :ref:`tag type <syntax-tagtype>`
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The "size" of parameters is not a well-defined notion for the spec, since e.g. reference types have no observable size. However, we can omit this item, since it is already subsumed by the number of parameters (for which the limit may vary with their types) – the same is already assumed for function parameters, locals, etc.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok. i removed the item.

* the number of :ref:`locals <syntax-local>` in a :ref:`function <syntax-func>`
* the size of a :ref:`function <syntax-func>` body
* the size of a :ref:`structured control instruction <syntax-instr-control>`
Expand Down Expand Up @@ -126,6 +128,7 @@ Restrictions on the following dimensions may be imposed during :ref:`execution <
* the number of allocated :ref:`memory instances <syntax-meminst>`
* the number of allocated :ref:`tag instances <syntax-taginst>`
* the number of allocated :ref:`global instances <syntax-globalinst>`
* the number of allocated :ref:`exception instances <syntax-exninst>`
* the size of a :ref:`table instance <syntax-tableinst>`
* the size of a :ref:`memory instance <syntax-meminst>`
* the number of :ref:`frames <syntax-frame>` on the :ref:`stack <stack>`
Expand Down
Loading