gc

gc copied to clipboard

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...

rossberg

Initializing array from data or element segment

31

In various discussions, we have touched upon the subject of having a version of the `array.init` instruction which initializes the array from a data or element segment rather than from...

askeksa-google

Tagged types, unions, and exception handling

3

So in the current proposal [tagged unions/variants](https://github.com/WebAssembly/gc/blob/main/proposals/gc/Post-MVP.md#variants) are suggested as a possible extension type. However something that is kind've strange is that WASM already has (shipping in Chrome stable) a...

Jamesernator

Universal pointer alignment and variable-length tagging schemes (Post-MVP)

5

This would be a post-MVP development, so my apologies if this is the wrong place to discuss it, but I think it's interesting to think about while designing the MVP...

ouillie

Isorecursive types vs. JavaScript-created functions

5

This issue concerns the integration of the GC proposal and the [Type Reflection](https://github.com/WebAssembly/js-types/blob/main/proposals/js-types/Overview.md) proposal. (I suppose the discussion could happen in either's repository.) With pre-GC Wasm, it's possible to export...

jakobkummerow

Refactor cast opcodes?

35

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...

rossberg

Requirements for JS Interop

9

@littledan brought up the issue of JS Interop during today's meeting. I did find [this conversation](https://github.com/WebAssembly/gc/pull/121/files#r474985504) in the PR for the tentative Requirements document, but in that conversation it's suggested...

RossTate

Functions with custom RTT

3

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...

rossberg

Structref

2

Since this came up in yesterday's meeting, this PR adds a structref type and corresponding instructions, for symmetry with arrayref and funcref.

rossberg

i31 as a ref type dimension like null

55

In the course of discussion https://github.com/WebAssembly/gc/issues/100, @gasche proposed making `i31ref` not a type, but a dimension in the `ref` type constructor. I'd like to pull this idea out for a...

titzer