ladybird

mirror of https://github.com/LadybirdBrowser/ladybird synced 2026-05-05 06:32:30 +02:00

Files

Jelle Raaijmakers f764b881bc LibWasm: Add reference type subtyping to the validator

The typed function references proposal requires subtype checking: e.g.
(ref $t) is a subtype of (ref func), and a non-nullable reference is a
subtype of its nullable counterpart. This is needed for correct
validation of `call_ref` and `return_call_ref`.

2026-03-07 16:05:20 +01:00

AbstractMachine.cpp

LibWasm: Parse struct types and support multiple types in type section

2026-02-04 14:29:22 +01:00

AbstractMachine.h

LibWasm: Parse and validate typeuse references

2026-02-10 13:00:16 +01:00

BytecodeInterpreter.cpp

LibWasm: Use the right indices for i64 constlocal fused ops

2026-02-23 00:22:47 +01:00

BytecodeInterpreter.h

LibWasm: Specialize instruction dispatch for all-stack cases too