Bug 218885 - [WASM-References] Remove subtyping rule for externref and funcref
Summary: [WASM-References] Remove subtyping rule for externref and funcref
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: JavaScriptCore (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2020-11-12 21:16 PST by Dmitry
Modified: 2020-11-18 20:12 PST (History)
8 users (show)

See Also:


Attachments
Patch (10.35 KB, patch)
2020-11-12 21:21 PST, Dmitry
no flags Details | Formatted Diff | Diff
Patch (31.23 KB, patch)
2020-11-16 02:09 PST, Dmitry
no flags Details | Formatted Diff | Diff
Patch (31.97 KB, patch)
2020-11-16 22:29 PST, Dmitry
no flags Details | Formatted Diff | Diff
Patch (32.79 KB, patch)
2020-11-16 23:30 PST, Dmitry
ews-feeder: commit-queue-
Details | Formatted Diff | Diff
Patch (32.93 KB, patch)
2020-11-17 01:41 PST, Dmitry
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Dmitry 2020-11-12 21:16:17 PST
[WASM-References] Remove subtyping rule for externref and funcref
Comment 1 Dmitry 2020-11-12 21:21:13 PST
Created attachment 414003 [details]
Patch
Comment 2 Yusuke Suzuki 2020-11-14 02:03:00 PST
Comment on attachment 414003 [details]
Patch

View in context: https://bugs.webkit.org/attachment.cgi?id=414003&action=review

The design looks good. Can you check JSC test failure?

> Source/JavaScriptCore/wasm/WasmFormat.h:81
> +inline bool isSubtype(Type sub, Type parent) { return sub == parent; }

Let's remove this function since `sub == parent` is the same type.
Comment 3 Dmitry 2020-11-16 02:09:13 PST
Created attachment 414206 [details]
Patch
Comment 4 Dmitry 2020-11-16 02:10:42 PST
Comment on attachment 414003 [details]
Patch

View in context: https://bugs.webkit.org/attachment.cgi?id=414003&action=review

>> Source/JavaScriptCore/wasm/WasmFormat.h:81
>> +inline bool isSubtype(Type sub, Type parent) { return sub == parent; }
> 
> Let's remove this function since `sub == parent` is the same type.

Thanks! Removed this.
Comment 5 Dmitry 2020-11-16 22:29:38 PST
Created attachment 414308 [details]
Patch
Comment 6 Dmitry 2020-11-16 23:30:02 PST
Created attachment 414312 [details]
Patch
Comment 7 Dmitry 2020-11-17 01:41:14 PST
Created attachment 414319 [details]
Patch
Comment 8 Yusuke Suzuki 2020-11-18 20:07:03 PST
Comment on attachment 414319 [details]
Patch

r=me
Comment 9 EWS 2020-11-18 20:11:40 PST
Committed r270015: <https://trac.webkit.org/changeset/270015>

All reviewed patches have been landed. Closing bug and clearing flags on attachment 414319 [details].
Comment 10 Radar WebKit Bug Importer 2020-11-18 20:12:18 PST
<rdar://problem/71569391>