diff options
| author | Brendan Dahl <brendan.dahl@gmail.com> | 2023-01-20 10:37:36 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-20 10:37:36 -0800 |
| commit | ed3bf4f0613a66496342720d82f4100eccf39403 (patch) | |
| tree | 0b779ca1a4b8f92bd9905ccb860eb7c8e1296ed2 /test/lit/passes/jspi-split-module.wast | |
| parent | 992584fadfdd1714aeb8ff64e7e8cd7ca3ff3326 (diff) | |
| download | binaryen-ed3bf4f0613a66496342720d82f4100eccf39403.tar.gz binaryen-ed3bf4f0613a66496342720d82f4100eccf39403.tar.bz2 binaryen-ed3bf4f0613a66496342720d82f4100eccf39403.zip | |
Support using JSPI to load the secondary wasm split module. (#5431)
When using JSPI with wasm-split, any calls to secondary module functions
will now first check a global to see if the module is loaded. If not
loaded it will call a JSPI'ed function that will handle loading module.
The setup is split into the JSPI pass and wasm-split tool since the JSPI
pass is first run by emscripten and we need to JSPI'ify the load secondary
module function. wasm-split then injects all the checks and calls to the
load function.
Diffstat (limited to 'test/lit/passes/jspi-split-module.wast')
| -rw-r--r-- | test/lit/passes/jspi-split-module.wast | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/lit/passes/jspi-split-module.wast b/test/lit/passes/jspi-split-module.wast new file mode 100644 index 000000000..d3484bacf --- /dev/null +++ b/test/lit/passes/jspi-split-module.wast @@ -0,0 +1,30 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. +;; RUN: wasm-opt %s --jspi --pass-arg=jspi-split-module -all -S -o - | filecheck %s + +;; The following should be generated besides the usual JSPI wasm: +;; - function import +;; - JSPI'ed version of the import +;; - export of the above +(module) +;; CHECK: (type $none_=>_none (func)) + +;; CHECK: (type $externref_=>_none (func (param externref))) + +;; CHECK: (import "env" "__load_secondary_module" (func $import$__load_secondary_module (param externref))) + +;; CHECK: (global $suspender (mut externref) (ref.null noextern)) + +;; CHECK: (export "__load_secondary_module" (func $__load_secondary_module)) + +;; CHECK: (func $__load_secondary_module (type $none_=>_none) +;; CHECK-NEXT: (local $0 externref) +;; CHECK-NEXT: (local.set $0 +;; CHECK-NEXT: (global.get $suspender) +;; CHECK-NEXT: ) +;; CHECK-NEXT: (call $import$__load_secondary_module +;; CHECK-NEXT: (global.get $suspender) +;; CHECK-NEXT: ) +;; CHECK-NEXT: (global.set $suspender +;; CHECK-NEXT: (local.get $0) +;; CHECK-NEXT: ) +;; CHECK-NEXT: ) |