Andreas Rossberg
Andreas Rossberg
The appendix was not updated for the bulk op extension, so missed the addition of elem and data components to the context.
This makes the necessary changes to the MVP doc for introducing the 3-pronged subtype hierarchy. For now, I haven’t done any renaming, so I went with types `any` and `data`...
This removes the remaining redundant type indices on GC instructions, following the discussion in WebAssembly/function-references#27 and #238. It makes GC instructions consistent with what we already decided on for other...
See #310. This contains implementation and tests. Edit: One thing to note is that for validation purposes, we actually need 4 bottom types for references, an additional internal one being...
With the addition arrayref and structref, it would make sense to refactor cast and classification opcodes to something more modular: instead of a long list of individual opcodes, use an...
To be able to downcast functions to more than just their exact type, there ought to be a way to define a function with a custom RTT. The existing form...
Since this came up in yesterday's meeting, this PR adds a structref type and corresponding instructions, for symmetry with arrayref and funcref.
As was decided by CG for all instructions with multi-byte opcodes.
It seems like the alignment check for atomic ops is implemented incorrectly in the interpreter: it does not take the offset immediate into account. There are no corresponding tests in...
The threads proposal as is is limited to shared memories, but we probably want to generalise the language to other shared entities eventually, e.g., globals or tables. At that point,...