Skip to content
This repository has been archived by the owner on Nov 3, 2021. It is now read-only.

Update ref.null encoding after subtyping change #149

Merged
merged 1 commit into from
May 13, 2020
Merged

Conversation

binji
Copy link
Member

@binji binji commented May 13, 2020

Issue WebAssembly/reference-types#69 requires
that ref.null instructions include a reference type immediate. This
concept isn't present in the bulk-memory proposal, but the encoding is
(in element segment expressions).

This change updates the binary and text format, but not the syntax. This
is OK for now, since the only reference type allowed here is funcref.

Issue WebAssembly/reference-types#69 requires
that `ref.null` instructions include a reference type immediate. This
concept isn't present in the bulk-memory proposal, but the encoding is
(in element segment expressions).

This change updates the binary and text format, but not the syntax. This
is OK for now, since the only reference type allowed here is `funcref`.
@binji binji requested a review from rossberg May 13, 2020 19:25
Copy link
Member

@rossberg rossberg left a comment

Choose a reason for hiding this comment

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

I assume this just cherry-picks pieces from the ref-types repo, so rubber-stamp.

@binji
Copy link
Member Author

binji commented May 13, 2020

I assume this just cherry-picks pieces from the ref-types repo, so rubber-stamp.

I originally was going to do this, but it turns out that there's a lot of new infrastructure that ref-types repo adds that bulk memory doesn't have. So I just wrote this from scratch, assuming that all we really care about is forward-compatibility with the binary and text formats.

@rossberg
Copy link
Member

Ah, okay. I guess that's fine. The ref-types repo subsumes the bulk one at this point, so hopefully we won't have to do tricky merging of the two in the future.

@binji binji merged commit 37e44c9 into master May 13, 2020
@binji binji deleted the ref-null-immediate branch May 13, 2020 20:19
@rossberg
Copy link
Member

I did another merge from bulk into ref-types, to catch up with some recent additions to tests and overview.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants