[Webkit-unassigned] [Bug 251874] New: [Wasm-GC] Update element segments to account for typed funcrefs and GC types
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Tue Feb 7 12:00:53 PST 2023
https://bugs.webkit.org/show_bug.cgi?id=251874
Bug ID: 251874
Summary: [Wasm-GC] Update element segments to account for typed
funcrefs and GC types
Product: WebKit
Version: WebKit Local Build
Hardware: Unspecified
OS: Unspecified
Status: NEW
Severity: Normal
Priority: P2
Component: WebAssembly
Assignee: webkit-unassigned at lists.webkit.org
Reporter: tjc at igalia.com
The following test:
```
function testElem() {
let m = instantiate(`
(module
(type $bvec (array i8))
(elem $e (ref $bvec)
(array.new_canon $bvec (i32.const 7) (i32.const 3))))`);
}
```
fails with:
```
Exception: CompileError: WebAssembly.Module doesn't parse at byte 30: opcode for exp in element section's should be either ref.func or ref.null 0th element's 0th index (evaluating 'new WebAssembly.Module(binary)')
```
This is because `SectionParser::parseElementSegmentVectorOfExpressions()` requires the members of the elements vector to be either a `RefFunc` or `RefNull`.
The test should compile (this is taken from https://github.com/WebAssembly/gc/blob/main/test/core/gc/array.wast#L203 )
A related bug is https://bugs.webkit.org/show_bug.cgi?id=251041 , but that one covers tables rather than element segments.
--
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/20230207/35a10707/attachment.htm>
More information about the webkit-unassigned
mailing list