vm: Elide runtime type checks for WASM->WASM calls (!74) · Merge requests · spritely / Guile Hoot

David Thompson requested to merge vm-improve-inter-instance-calls into main Aug 31, 2023

Now, if you import a function from one WASM instance into another, the instance receiving the import will perform a type check at instantiation time and use the internal procedure (which doesn't perform type checks, unlike the exported wrapper) at runtime. Uses a global weak key hash table to discover imports of WASM functions. Having canonicalized types makes signature matching a simple eq? test, which is very nice.

Fixes #34 (closed)

Depends on !72 (merged) so merge that first.

Edited Aug 31, 2023 by David Thompson

vm: Elide runtime type checks for WASM->WASM calls

Merge request reports