Thomas Lively
Thomas Lively
The binary parser generally does not know the final names of module elements when it parses them, or even when it parses instructions that refer to them, since the name...
Hello! I've been looking into more robust module splitting solutions, particularly for WasmGC modules. Here are the results of an experiment I did where I split calcworker_wasm.wasm from Google Sheets...
How does e.g. `struct.new` work when trying to instantiate an imported struct type? I guess this would need non-abstract type bounds?
WebAssembly has the property that every valid sequence of instructions has a principal type, i.e. a unique most-specific type. However, due to various kinds of polymorphism, these principal types may...
IIUC, we have this structure: ``` Type(i32) / \ Global("g1", i32) Global("g2", i32) | X | Literal(1) Literal(2) ``` There is no unique least upper bound of the two literals...
This is the space that could be saved by using custom descriptors.
Chrome and Edge DevTools can capture heap snapshots, which are JSON representations of the entire object graph at a moment in time. Add a pass that can parse such a...
We currently use or plan to use more refined types in the IR than we will eventually emit in the binary in a couple situations: - Function references always use...