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.

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

Reactivate block test in wasm-parser #277

Open
xtuc opened this issue May 3, 2018 · 5 comments
Open

Reactivate block test in wasm-parser #277

xtuc opened this issue May 3, 2018 · 5 comments

Comments

@xtuc
Copy link
Owner

xtuc commented May 3, 2018

Here's the test:

It has been disabled in #276

@ColinEberhardt
Copy link
Collaborator

Hmm ... can blocks have names? I can't find the reference right now, but I have a feeling that this was a feature that was removed before v1 of WebAssembly. Instructions like br, br_if, ... all break to a specific depth rather than a label.

Also, running wat2wasm --debug-names with the following:

(module
  (func
    (block $test)
  )
)

Does not include the string 'test' in the custom name section.

@ColinEberhardt
Copy link
Collaborator

Although a label is mentioned in the spec:

image

@ColinEberhardt
Copy link
Collaborator

Despite the spec indicating that branch instructions can use labels or indices, I can't find any examples in the test suite (https://github.com/WebAssembly/testsuite) that use labels.

@xtuc
Copy link
Owner Author

xtuc commented May 5, 2018

Ok, thanks for the clarification.

The name is probably available in WAST as syntactic sugar but not actual semantics.

So I guess we should just remove this test?

@ColinEberhardt
Copy link
Collaborator

Yes, I agree, this should be removed.

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

No branches or pull requests

2 participants