WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
219595
[WASM-References] Add support for type annotated select
https://bugs.webkit.org/show_bug.cgi?id=219595
Summary
[WASM-References] Add support for type annotated select
Dmitry
Reported
2020-12-07 03:00:30 PST
[WASM-References] Add support for type annotated select
Attachments
Patch
(1.03 MB, patch)
2020-12-07 03:09 PST
,
Dmitry
no flags
Details
Formatted Diff
Diff
Patch
(1.04 MB, patch)
2020-12-13 02:16 PST
,
Dmitry
no flags
Details
Formatted Diff
Diff
Patch
(1.04 MB, patch)
2020-12-14 02:37 PST
,
Dmitry
no flags
Details
Formatted Diff
Diff
Patch
(1.04 MB, patch)
2020-12-14 22:26 PST
,
Dmitry
no flags
Details
Formatted Diff
Diff
Show Obsolete
(3)
View All
Add attachment
proposed patch, testcase, etc.
Dmitry
Comment 1
2020-12-07 03:09:31 PST
Created
attachment 415547
[details]
Patch
EWS Watchlist
Comment 2
2020-12-07 03:10:25 PST
This patch modifies one of the wasm.json files. Please ensure that any changes in one have been mirrored to the other. You can find the wasm.json files at "Source/JavaScriptCore/wasm/wasm.json" and "JSTests/wasm/wasm.json".
Dmitry
Comment 3
2020-12-13 02:16:21 PST
Created
attachment 416114
[details]
Patch
Yusuke Suzuki
Comment 4
2020-12-13 15:45:52 PST
Comment on
attachment 416114
[details]
Patch View in context:
https://bugs.webkit.org/attachment.cgi?id=416114&action=review
> Source/JavaScriptCore/ChangeLog:10 > +
https://webassembly.github.io/reference-types/core/binary/instructions.html#parametric-instructions
.
Can you describe about 1. what this opcode is. Including motivation why it is introduced etc. 2. how it is executed (semantics) in ChangeLog?
Dmitry
Comment 5
2020-12-14 02:37:11 PST
Created
attachment 416143
[details]
Patch
Radar WebKit Bug Importer
Comment 6
2020-12-14 03:01:15 PST
<
rdar://problem/72290712
>
Yusuke Suzuki
Comment 7
2020-12-14 17:58:27 PST
Comment on
attachment 416143
[details]
Patch View in context:
https://bugs.webkit.org/attachment.cgi?id=416143&action=review
> Source/JavaScriptCore/wasm/WasmFunctionParser.h:652 > + m_expressionStack.constructAndAppend(zero.type(), result);
Using immediates.targetType is better for future extension?
> Source/JavaScriptCore/wasm/wasm.json:48 > + "annotated_select": { "category": "control", "value": 28, "return": ["prev"], "parameter": ["any", "prev", "bool"], "immediate": [{"name": "value_type", "type": "value_type"}], "description": "the same as just select but with a value type immediate" },
https://webassembly.github.io/reference-types/core/binary/instructions.html#parametric-instructions
is showing `πΆπ‘π·π² π‘β:πππ(πππππ’ππ)`, but it looks like this definition is not that one. Can you fix it? br_table's definition would be useful to fix it.
> JSTests/wasm/wasm.json:48 > + "annotated_select": { "category": "control", "value": 28, "return": ["prev"], "parameter": ["any", "prev", "bool"], "immediate": [{"name": "value_type", "type": "value_type"}], "description": "the same as just select but with a value type immediate" },
Ditto.
Dmitry
Comment 8
2020-12-14 22:26:05 PST
Created
attachment 416225
[details]
Patch
Yusuke Suzuki
Comment 9
2020-12-15 01:55:49 PST
Comment on
attachment 416225
[details]
Patch r=me
EWS
Comment 10
2020-12-15 02:18:20 PST
Committed
r270827
: <
https://trac.webkit.org/changeset/270827
> All reviewed patches have been landed. Closing bug and clearing flags on
attachment 416225
[details]
.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug