Skip to content

src/wast-parser.cc: Accept non abbreviated forms of result for select#2104

Merged
sbc100 merged 1 commit intoWebAssembly:mainfrom
yamt:wast-select-result
Dec 19, 2022
Merged

src/wast-parser.cc: Accept non abbreviated forms of result for select#2104
sbc100 merged 1 commit intoWebAssembly:mainfrom
yamt:wast-select-result

Conversation

@yamt
Copy link
Contributor

@yamt yamt commented Dec 19, 2022

eg. "select (result i32) (result)"

cf. WebAssembly/spec#1567

@sbc100
Copy link
Member

sbc100 commented Dec 19, 2022

What does select (result i32) (result) mean semantically?

@yamt
Copy link
Contributor Author

yamt commented Dec 19, 2022

What does select (result i32) (result) mean semantically?

if i read the spec correctly, it's same as select (result i32).

in general (result A) (result B) is same as (result A B) and the same rule applies to the case of zero.

@sbc100 sbc100 merged commit 344e7d2 into WebAssembly:main Dec 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants