[Webkit-unassigned] [Bug 265601] New: [Wasm-GC] Elide null checks based on type

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=265601

            Bug ID: 265601
           Summary: [Wasm-GC] Elide null checks based on type
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebAssembly
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: asumu at igalia.com

In the Wasm GC proposal, operations like array.get have null checks for the object being operated on.

Right now these checks are always emitted. We should elide these if we know the object has a non-null (ref X) type.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20231130/0dcb0858/attachment.htm>