Add initial support for fused adapter trampolines (#4501)
* Add initial support for fused adapter trampolines This commit lands a significant new piece of functionality to Wasmtime's implementation of the component model in the form of the implementation of fused adapter trampolines. Internally within a component core wasm modules can communicate with each other by having their exports `canon lift`'d to get `canon lower`'d into a different component. This signifies that two components are communicating through a statically known interface via the canonical ABI at this time. Previously Wasmtime was able to identify that this communication was happening but it simply panicked with `unimplemented!` upon seeing it. This commit is the beginning of filling out this panic location with an actual implementation. The implementation route chosen here for fused adapters is to use a WebAssembly module itself for the implementation. This means that, at compile time of a component, Wasmtime is generating core WebAssembly modules which then get recursively compiled within Wasmtime as well. The choice to use WebAssembly itself as the implementation of fused adapters stems from a few motivations: * This does not represent a significant increase in the "trusted compiler base" of Wasmtime. Getting the Wasm -> CLIF translation correct once is hard enough much less for an entirely different IR to CLIF. By generating WebAssembly no new interactions with Cranelift are added which drastically reduces the possibilities for mistakes. * Using WebAssembly means that component adapters are insulated from miscompilations and mistakes. If something goes wrong it's defined well within the WebAssembly specification how it goes wrong and what happens as a result. This means that the "blast zone" for a wrong adapter is the component instance but not the entire host itself. Accesses to linear memory are guaranteed to be in-bounds and otherwise handled via well-defined traps. * A fully-finished fused adapter compiler is expected to be a significant and quite complex component of Wasmtime. Functionality along these lines is expected to be needed for Web-based polyfills of the component model and by using core WebAssembly it provides the opportunity to share code between Wasmtime and these polyfills for the component model. * Finally the runtime implementation of managing WebAssembly modules is already implemented and quite easy to integrate with, so representing fused adapters with WebAssembly results in very little extra support necessary for the runtime implementation of instantiating and managing a component. The compiler added in this commit is dubbed Wasmtime's Fused Adapter Compiler of Trampolines (FACT) because who doesn't like deriving a name from an acronym. Currently the trampoline compiler is limited in its support for interface types and only supports a few primitives. I plan on filing future PRs to flesh out the support here for all the variants of `InterfaceType`. For now this PR is primarily focused on all of the other infrastructure for the addition of a trampoline compiler. With the choice to use core WebAssembly to implement fused adapters it means that adapters need to be inserted into a module. Unfortunately adapters cannot all go into a single WebAssembly module because adapters themselves have dependencies which may be provided transitively through instances that were instantiated with other adapters. This means that a significant chunk of this PR (`adapt.rs`) is dedicated to determining precisely which adapters go into precisely which adapter modules. This partitioning process attempts to make large modules wherever it can to cut down on core wasm instantiations but is likely not optimal as it's just a simple heuristic today. With all of this added together it's now possible to start writing `*.wast` tests that internally have adapted modules communicating with one another. A `fused.wast` test suite was added as part of this PR which is the beginning of tests for the support of the fused adapter compiler added in this PR. Currently this is primarily testing some various topologies of adapters along with direct/indirect modes. This will grow many more tests over time as more types are supported. Overall I'm not 100% satisfied with the testing story of this PR. When a test fails it's very difficult to debug since everything is written in the text format of WebAssembly meaning there's no "conveniences" to print out the state of the world when things go wrong and easily debug. I think this will become even more apparent as more tests are written for more types in subsequent PRs. At this time though I know of no better alternative other than leaning pretty heavily on fuzz-testing to ensure this is all exercised. * Fix an unused field warning * Fix tests in `wasmtime-runtime` * Add some more tests for compiled trampolines * Remap exports when injecting adapters The exports of a component were accidentally left unmapped which meant that they indexed the instance indexes pre-adapter module insertion. * Fix typo * Rebase conflicts
This commit is contained in:
Alex Crichton
@@ -2363,3 +2363,50 @@ fn errors_that_poison_instance() -> Result<()> {
|
||||
);
|
||||
}
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn run_export_with_internal_adapter() -> Result<()> {
|
||||
let component = r#"
|
||||
(component
|
||||
(type $t (func (param u32) (result u32)))
|
||||
(component $a
|
||||
(core module $m
|
||||
(func (export "add-five") (param i32) (result i32)
|
||||
local.get 0
|
||||
i32.const 5
|
||||
i32.add)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func (export "add-five") (type $t) (canon lift (core func $m "add-five")))
|
||||
)
|
||||
(component $b
|
||||
(import "interface-0.1.0" (instance $i
|
||||
(export "add-five" (func (type $t)))))
|
||||
(core module $m
|
||||
(func $add-five (import "interface-0.1.0" "add-five") (param i32) (result i32))
|
||||
(func) ;; causes index out of bounds
|
||||
(func (export "run") (result i32) i32.const 0 call $add-five)
|
||||
)
|
||||
(core func $add-five (canon lower (func $i "add-five")))
|
||||
(core instance $i (instantiate 0
|
||||
(with "interface-0.1.0" (instance
|
||||
(export "add-five" (func $add-five))
|
||||
))
|
||||
))
|
||||
(func (result u32) (canon lift (core func $i "run")))
|
||||
(export "run" (func 1))
|
||||
)
|
||||
(instance $a (instantiate $a))
|
||||
(instance $b (instantiate $b (with "interface-0.1.0" (instance $a))))
|
||||
(export "run" (func $b "run"))
|
||||
)
|
||||
"#;
|
||||
let engine = super::engine();
|
||||
let component = Component::new(&engine, component)?;
|
||||
let mut store = Store::new(&engine, ());
|
||||
let linker = Linker::new(&engine);
|
||||
let instance = linker.instantiate(&mut store, &component)?;
|
||||
let run = instance.get_typed_func::<(), u32, _>(&mut store, "run")?;
|
||||
assert_eq!(run.call(&mut store, ())?, 5);
|
||||
Ok(())
|
||||
}
|
||||
|
||||
@@ -13,6 +13,8 @@ include!(concat!(env!("OUT_DIR"), "/wast_testsuite_tests.rs"));
|
||||
// function which actually executes the `wast` test suite given the `strategy`
|
||||
// to compile it.
|
||||
fn run_wast(wast: &str, strategy: Strategy, pooling: bool) -> anyhow::Result<()> {
|
||||
drop(env_logger::try_init());
|
||||
|
||||
match strategy {
|
||||
Strategy::Cranelift => {}
|
||||
_ => unimplemented!(),
|
||||
|
||||
682
tests/misc_testsuite/component-model/fused.wast
Normal file
682
tests/misc_testsuite/component-model/fused.wast
Normal file
@@ -0,0 +1,682 @@
|
||||
;; smoke test with no arguments and no results
|
||||
(component
|
||||
(core module $m
|
||||
(func (export ""))
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func $foo (canon lift (core func $m "")))
|
||||
|
||||
(component $c
|
||||
(import "" (func $foo))
|
||||
|
||||
(core func $foo (canon lower (func $foo)))
|
||||
(core module $m2
|
||||
(import "" "" (func))
|
||||
(start 0)
|
||||
)
|
||||
(core instance $m2 (instantiate $m2 (with "" (instance (export "" (func $foo))))))
|
||||
)
|
||||
|
||||
(instance $c (instantiate $c (with "" (func $foo))))
|
||||
)
|
||||
|
||||
;; boolean parameters
|
||||
(component
|
||||
(core module $m
|
||||
(func (export "assert_true") (param i32)
|
||||
local.get 0
|
||||
i32.const 1
|
||||
i32.eq
|
||||
i32.eqz
|
||||
if unreachable end
|
||||
)
|
||||
(func (export "assert_false") (param i32)
|
||||
local.get 0
|
||||
if unreachable end
|
||||
)
|
||||
(func (export "ret-bool") (param i32) (result i32)
|
||||
local.get 0
|
||||
)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func $assert_true (param bool) (canon lift (core func $m "assert_true")))
|
||||
(func $assert_false (param bool) (canon lift (core func $m "assert_false")))
|
||||
(func $ret_bool (param u32) (result bool) (canon lift (core func $m "ret-bool")))
|
||||
|
||||
(component $c
|
||||
(import "assert-true" (func $assert_true (param bool)))
|
||||
(import "assert-false" (func $assert_false (param bool)))
|
||||
(import "ret-bool" (func $ret_bool (param u32) (result bool)))
|
||||
|
||||
(core func $assert_true (canon lower (func $assert_true)))
|
||||
(core func $assert_false (canon lower (func $assert_false)))
|
||||
(core func $ret_bool (canon lower (func $ret_bool)))
|
||||
|
||||
(core module $m2
|
||||
(import "" "assert-true" (func $assert_true (param i32)))
|
||||
(import "" "assert-false" (func $assert_false (param i32)))
|
||||
(import "" "ret-bool" (func $ret_bool (param i32) (result i32)))
|
||||
|
||||
(func $start
|
||||
(call $assert_true (i32.const 1))
|
||||
(call $assert_true (i32.const 2))
|
||||
(call $assert_true (i32.const -1))
|
||||
(call $assert_false (i32.const 0))
|
||||
|
||||
(if (i32.ne (call $ret_bool (i32.const 1)) (i32.const 1))
|
||||
(unreachable))
|
||||
(if (i32.ne (call $ret_bool (i32.const 2)) (i32.const 1))
|
||||
(unreachable))
|
||||
(if (i32.ne (call $ret_bool (i32.const -1)) (i32.const 1))
|
||||
(unreachable))
|
||||
(if (i32.ne (call $ret_bool (i32.const 0)) (i32.const 0))
|
||||
(unreachable))
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance $m2 (instantiate $m2
|
||||
(with "" (instance
|
||||
(export "assert-true" (func $assert_true))
|
||||
(export "assert-false" (func $assert_false))
|
||||
(export "ret-bool" (func $ret_bool))
|
||||
))
|
||||
))
|
||||
)
|
||||
|
||||
(instance $c (instantiate $c
|
||||
(with "assert-true" (func $assert_true))
|
||||
(with "assert-false" (func $assert_false))
|
||||
(with "ret-bool" (func $ret_bool))
|
||||
))
|
||||
)
|
||||
|
||||
;; lots of parameters and results
|
||||
(component
|
||||
(type $roundtrip (func
|
||||
;; 20 u32 params
|
||||
(param u32) (param u32) (param u32) (param u32) (param u32)
|
||||
(param u32) (param u32) (param u32) (param u32) (param u32)
|
||||
(param u32) (param u32) (param u32) (param u32) (param u32)
|
||||
(param u32) (param u32) (param u32) (param u32) (param u32)
|
||||
|
||||
;; 10 u32 results
|
||||
(result (tuple u32 u32 u32 u32 u32 u32 u32 u32 u32 u32))
|
||||
))
|
||||
|
||||
(core module $m
|
||||
(memory (export "memory") 1)
|
||||
(func (export "roundtrip") (param $src i32) (result i32)
|
||||
(local $dst i32)
|
||||
(if (i32.ne (local.get $src) (i32.const 16))
|
||||
(unreachable))
|
||||
|
||||
(if (i32.ne (i32.load offset=0 (local.get $src)) (i32.const 1)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=4 (local.get $src)) (i32.const 2)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=8 (local.get $src)) (i32.const 3)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=12 (local.get $src)) (i32.const 4)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=16 (local.get $src)) (i32.const 5)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=20 (local.get $src)) (i32.const 6)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=24 (local.get $src)) (i32.const 7)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=28 (local.get $src)) (i32.const 8)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=32 (local.get $src)) (i32.const 9)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=36 (local.get $src)) (i32.const 10)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=40 (local.get $src)) (i32.const 11)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=44 (local.get $src)) (i32.const 12)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=48 (local.get $src)) (i32.const 13)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=52 (local.get $src)) (i32.const 14)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=56 (local.get $src)) (i32.const 15)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=60 (local.get $src)) (i32.const 16)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=64 (local.get $src)) (i32.const 17)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=68 (local.get $src)) (i32.const 18)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=72 (local.get $src)) (i32.const 19)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=76 (local.get $src)) (i32.const 20)) (unreachable))
|
||||
|
||||
(local.set $dst (i32.const 500))
|
||||
|
||||
(i32.store offset=0 (local.get $dst) (i32.const 21))
|
||||
(i32.store offset=4 (local.get $dst) (i32.const 22))
|
||||
(i32.store offset=8 (local.get $dst) (i32.const 23))
|
||||
(i32.store offset=12 (local.get $dst) (i32.const 24))
|
||||
(i32.store offset=16 (local.get $dst) (i32.const 25))
|
||||
(i32.store offset=20 (local.get $dst) (i32.const 26))
|
||||
(i32.store offset=24 (local.get $dst) (i32.const 27))
|
||||
(i32.store offset=28 (local.get $dst) (i32.const 28))
|
||||
(i32.store offset=32 (local.get $dst) (i32.const 29))
|
||||
(i32.store offset=36 (local.get $dst) (i32.const 30))
|
||||
|
||||
local.get $dst
|
||||
)
|
||||
|
||||
(func (export "realloc") (param i32 i32 i32 i32) (result i32)
|
||||
i32.const 16)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
|
||||
(func $roundtrip (type $roundtrip)
|
||||
(canon lift (core func $m "roundtrip") (memory $m "memory")
|
||||
(realloc (func $m "realloc")))
|
||||
)
|
||||
|
||||
(component $c
|
||||
(import "roundtrip" (func $roundtrip (type $roundtrip)))
|
||||
|
||||
(core module $libc (memory (export "memory") 1))
|
||||
(core instance $libc (instantiate $libc))
|
||||
(core func $roundtrip (canon lower (func $roundtrip) (memory $libc "memory")))
|
||||
|
||||
(core module $m2
|
||||
(import "libc" "memory" (memory 1))
|
||||
(import "" "roundtrip" (func $roundtrip (param i32 i32)))
|
||||
|
||||
(func $start
|
||||
(local $addr i32)
|
||||
(local $retaddr i32)
|
||||
|
||||
(local.set $addr (i32.const 100))
|
||||
(call $store_many (i32.const 20) (local.get $addr))
|
||||
|
||||
(local.set $retaddr (i32.const 200))
|
||||
(call $roundtrip (local.get $addr) (local.get $retaddr))
|
||||
|
||||
(if (i32.ne (i32.load offset=0 (local.get $retaddr)) (i32.const 21)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=4 (local.get $retaddr)) (i32.const 22)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=8 (local.get $retaddr)) (i32.const 23)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=12 (local.get $retaddr)) (i32.const 24)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=16 (local.get $retaddr)) (i32.const 25)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=20 (local.get $retaddr)) (i32.const 26)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=24 (local.get $retaddr)) (i32.const 27)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=28 (local.get $retaddr)) (i32.const 28)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=32 (local.get $retaddr)) (i32.const 29)) (unreachable))
|
||||
(if (i32.ne (i32.load offset=36 (local.get $retaddr)) (i32.const 30)) (unreachable))
|
||||
)
|
||||
|
||||
(func $store_many (param $amt i32) (param $addr i32)
|
||||
(local $c i32)
|
||||
(loop $loop
|
||||
(local.set $c (i32.add (local.get $c) (i32.const 1)))
|
||||
(i32.store (local.get $addr) (local.get $c))
|
||||
(local.set $addr (i32.add (local.get $addr) (i32.const 4)))
|
||||
|
||||
(if (i32.ne (local.get $amt) (local.get $c)) (br $loop))
|
||||
)
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance $m2 (instantiate $m2
|
||||
(with "libc" (instance $libc))
|
||||
(with "" (instance (export "roundtrip" (func $roundtrip))))
|
||||
))
|
||||
)
|
||||
|
||||
(instance $c (instantiate $c
|
||||
(with "roundtrip" (func $roundtrip))
|
||||
))
|
||||
)
|
||||
|
||||
;; this will require multiple adapter modules to get generated
|
||||
(component
|
||||
(core module $root (func (export "") (result i32)
|
||||
i32.const 0
|
||||
))
|
||||
(core instance $root (instantiate $root))
|
||||
(func $root (result u32) (canon lift (core func $root "")))
|
||||
|
||||
(component $c
|
||||
(import "thunk" (func $import (result u32)))
|
||||
(core func $import (canon lower (func $import)))
|
||||
(core module $reexport
|
||||
(import "" "" (func $thunk (result i32)))
|
||||
(func (export "thunk") (result i32)
|
||||
call $thunk
|
||||
i32.const 1
|
||||
i32.add)
|
||||
)
|
||||
(core instance $reexport (instantiate $reexport
|
||||
(with "" (instance
|
||||
(export "" (func $import))
|
||||
))
|
||||
))
|
||||
(func $export (export "thunk") (result u32)
|
||||
(canon lift (core func $reexport "thunk"))
|
||||
)
|
||||
)
|
||||
|
||||
(instance $c1 (instantiate $c (with "thunk" (func $root))))
|
||||
(instance $c2 (instantiate $c (with "thunk" (func $c1 "thunk"))))
|
||||
(instance $c3 (instantiate $c (with "thunk" (func $c2 "thunk"))))
|
||||
(instance $c4 (instantiate $c (with "thunk" (func $c3 "thunk"))))
|
||||
(instance $c5 (instantiate $c (with "thunk" (func $c4 "thunk"))))
|
||||
(instance $c6 (instantiate $c (with "thunk" (func $c5 "thunk"))))
|
||||
|
||||
(component $verify
|
||||
(import "thunk" (func $thunk (result u32)))
|
||||
(core func $thunk (canon lower (func $thunk)))
|
||||
(core module $verify
|
||||
(import "" "" (func $thunk (result i32)))
|
||||
|
||||
(func $start
|
||||
call $thunk
|
||||
i32.const 6
|
||||
i32.ne
|
||||
if unreachable end
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $verify
|
||||
(with "" (instance
|
||||
(export "" (func $thunk))
|
||||
))
|
||||
))
|
||||
)
|
||||
(instance (instantiate $verify (with "thunk" (func $c6 "thunk"))))
|
||||
)
|
||||
|
||||
;; Fancy case of an adapter using an adapter. Note that this is silly and
|
||||
;; doesn't actually make any sense at runtime, we just shouldn't panic on a
|
||||
;; valid component.
|
||||
(component
|
||||
(type $tuple20 (tuple
|
||||
u32 u32 u32 u32 u32
|
||||
u32 u32 u32 u32 u32
|
||||
u32 u32 u32 u32 u32
|
||||
u32 u32 u32 u32 u32))
|
||||
|
||||
(component $realloc
|
||||
(core module $realloc
|
||||
(memory (export "memory") 1)
|
||||
(func (export "realloc") (param i32 i32 i32 i32) (result i32)
|
||||
unreachable)
|
||||
)
|
||||
(core instance $realloc (instantiate $realloc))
|
||||
(func $realloc (param (tuple u32 u32 u32 u32)) (result u32)
|
||||
(canon lift (core func $realloc "realloc"))
|
||||
)
|
||||
(export "realloc" (func $realloc))
|
||||
)
|
||||
(instance $realloc (instantiate $realloc))
|
||||
(core func $realloc (canon lower (func $realloc "realloc")))
|
||||
|
||||
(core module $m
|
||||
(memory (export "memory") 1)
|
||||
(func (export "foo") (param i32))
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func $foo (param $tuple20)
|
||||
(canon lift
|
||||
(core func $m "foo")
|
||||
(memory $m "memory")
|
||||
(realloc (func $realloc))
|
||||
)
|
||||
)
|
||||
|
||||
(component $c
|
||||
(import "foo" (func $foo (param $tuple20)))
|
||||
|
||||
(core module $libc (memory (export "memory") 1))
|
||||
(core instance $libc (instantiate $libc))
|
||||
(core func $foo (canon lower (func $foo) (memory $libc "memory")))
|
||||
(core module $something
|
||||
(import "" "foo" (func (param i32)))
|
||||
)
|
||||
(core instance (instantiate $something
|
||||
(with "" (instance
|
||||
(export "foo" (func $foo))
|
||||
))
|
||||
))
|
||||
)
|
||||
(instance (instantiate $c
|
||||
(with "foo" (func $foo))
|
||||
))
|
||||
)
|
||||
|
||||
;; Don't panic or otherwise create extraneous adapter modules when the same
|
||||
;; adapter is used twice for a module's argument.
|
||||
(component
|
||||
(core module $m
|
||||
(func (export "foo") (param))
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func $foo (canon lift (core func $m "foo")))
|
||||
|
||||
(component $c
|
||||
(import "foo" (func $foo))
|
||||
(core func $foo (canon lower (func $foo)))
|
||||
|
||||
(core module $something
|
||||
(import "" "a" (func))
|
||||
(import "" "b" (func))
|
||||
)
|
||||
(core instance (instantiate $something
|
||||
(with "" (instance
|
||||
(export "a" (func $foo))
|
||||
(export "b" (func $foo))
|
||||
))
|
||||
))
|
||||
)
|
||||
(instance (instantiate $c (with "foo" (func $foo))))
|
||||
)
|
||||
|
||||
;; post-return should get invoked by the generated adapter, if specified
|
||||
(component
|
||||
(core module $m
|
||||
(global $post_called (mut i32) (i32.const 0))
|
||||
(func (export "foo")
|
||||
;; assert `foo-post` not called yet
|
||||
global.get $post_called
|
||||
i32.const 1
|
||||
i32.eq
|
||||
if unreachable end
|
||||
)
|
||||
(func (export "foo-post")
|
||||
;; assert `foo-post` not called before
|
||||
global.get $post_called
|
||||
i32.const 1
|
||||
i32.eq
|
||||
if unreachable end
|
||||
;; ... then flag as called
|
||||
i32.const 1
|
||||
global.set $post_called
|
||||
)
|
||||
(func (export "assert-post")
|
||||
global.get $post_called
|
||||
i32.const 1
|
||||
i32.ne
|
||||
if unreachable end
|
||||
)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func $foo (canon lift (core func $m "foo") (post-return (func $m "foo-post"))))
|
||||
(func $assert_post (canon lift (core func $m "assert-post")))
|
||||
|
||||
(component $c
|
||||
(import "foo" (func $foo))
|
||||
(import "assert-post" (func $assert_post))
|
||||
(core func $foo (canon lower (func $foo)))
|
||||
(core func $assert_post (canon lower (func $assert_post)))
|
||||
|
||||
(core module $something
|
||||
(import "" "foo" (func $foo))
|
||||
(import "" "assert-post" (func $assert_post))
|
||||
|
||||
(func $start
|
||||
call $foo
|
||||
call $assert_post
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $something
|
||||
(with "" (instance
|
||||
(export "foo" (func $foo))
|
||||
(export "assert-post" (func $assert_post))
|
||||
))
|
||||
))
|
||||
)
|
||||
(instance (instantiate $c
|
||||
(with "foo" (func $foo))
|
||||
(with "assert-post" (func $assert_post))
|
||||
))
|
||||
)
|
||||
|
||||
;; post-return passes the results
|
||||
(component
|
||||
(core module $m
|
||||
(func (export "foo") (result i32) i32.const 100)
|
||||
(func (export "foo-post") (param i32)
|
||||
(if (i32.ne (local.get 0) (i32.const 100)) (unreachable)))
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func $foo (result u32)
|
||||
(canon lift (core func $m "foo") (post-return (func $m "foo-post"))))
|
||||
|
||||
(component $c
|
||||
(import "foo" (func $foo (result u32)))
|
||||
(core func $foo (canon lower (func $foo)))
|
||||
|
||||
(core module $something
|
||||
(import "" "foo" (func $foo (result i32)))
|
||||
(func $start
|
||||
(if (i32.ne (call $foo) (i32.const 100)) (unreachable)))
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $something
|
||||
(with "" (instance
|
||||
(export "foo" (func $foo))
|
||||
))
|
||||
))
|
||||
)
|
||||
(instance (instantiate $c
|
||||
(with "foo" (func $foo))
|
||||
))
|
||||
)
|
||||
|
||||
;; struct field reordering
|
||||
(component
|
||||
(component $c1
|
||||
(type $in (record
|
||||
(field "a" u32)
|
||||
(field "b" bool)
|
||||
(field "c" u8)
|
||||
))
|
||||
(type $out (record
|
||||
(field "x" u8)
|
||||
(field "y" u32)
|
||||
(field "z" bool)
|
||||
))
|
||||
|
||||
(core module $m
|
||||
(memory (export "memory") 1)
|
||||
(func (export "r") (param i32 i32 i32) (result i32)
|
||||
(if (i32.ne (local.get 0) (i32.const 3)) (unreachable)) ;; a == 3
|
||||
(if (i32.ne (local.get 1) (i32.const 1)) (unreachable)) ;; b == true
|
||||
(if (i32.ne (local.get 2) (i32.const 2)) (unreachable)) ;; c == 2
|
||||
|
||||
|
||||
(i32.store8 offset=0 (i32.const 200) (i32.const 0xab)) ;; x == 0xab
|
||||
(i32.store offset=4 (i32.const 200) (i32.const 200)) ;; y == 200
|
||||
(i32.store8 offset=8 (i32.const 200) (i32.const 0)) ;; z == false
|
||||
i32.const 200
|
||||
)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func (export "r") (param $in) (result $out)
|
||||
(canon lift (core func $m "r") (memory $m "memory"))
|
||||
)
|
||||
)
|
||||
(component $c2
|
||||
;; note the different field orderings than the records specified above
|
||||
(type $in (record
|
||||
(field "b" bool)
|
||||
(field "c" u8)
|
||||
(field "a" u32)
|
||||
))
|
||||
(type $out (record
|
||||
(field "z" bool)
|
||||
(field "x" u8)
|
||||
(field "y" u32)
|
||||
))
|
||||
(import "r" (func $r (param $in) (result $out)))
|
||||
(core module $libc (memory (export "memory") 1))
|
||||
(core instance $libc (instantiate $libc))
|
||||
(core func $r (canon lower (func $r) (memory $libc "memory")))
|
||||
|
||||
(core module $m
|
||||
(import "" "r" (func $r (param i32 i32 i32 i32)))
|
||||
(import "libc" "memory" (memory 0))
|
||||
(func $start
|
||||
i32.const 100 ;; b: bool
|
||||
i32.const 2 ;; c: u8
|
||||
i32.const 3 ;; a: u32
|
||||
i32.const 100 ;; retptr
|
||||
call $r
|
||||
|
||||
;; z == false
|
||||
(if (i32.ne (i32.load8_u offset=0 (i32.const 100)) (i32.const 0)) (unreachable))
|
||||
;; x == 0xab
|
||||
(if (i32.ne (i32.load8_u offset=1 (i32.const 100)) (i32.const 0xab)) (unreachable))
|
||||
;; y == 200
|
||||
(if (i32.ne (i32.load offset=4 (i32.const 100)) (i32.const 200)) (unreachable))
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $m
|
||||
(with "libc" (instance $libc))
|
||||
(with "" (instance
|
||||
(export "r" (func $r))
|
||||
))
|
||||
))
|
||||
)
|
||||
(instance $c1 (instantiate $c1))
|
||||
(instance $c2 (instantiate $c2 (with "r" (func $c1 "r"))))
|
||||
)
|
||||
|
||||
;; callee retptr misaligned
|
||||
(assert_trap
|
||||
(component
|
||||
(component $c1
|
||||
(core module $m
|
||||
(memory (export "memory") 1)
|
||||
(func (export "r") (result i32) i32.const 1)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func (export "r") (result (tuple u32 u32))
|
||||
(canon lift (core func $m "r") (memory $m "memory"))
|
||||
)
|
||||
)
|
||||
(component $c2
|
||||
(import "r" (func $r (result (tuple u32 u32))))
|
||||
(core module $libc (memory (export "memory") 1))
|
||||
(core instance $libc (instantiate $libc))
|
||||
(core func $r (canon lower (func $r) (memory $libc "memory")))
|
||||
|
||||
(core module $m
|
||||
(import "" "r" (func $r (param i32)))
|
||||
(func $start
|
||||
i32.const 4
|
||||
call $r
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $m
|
||||
(with "" (instance (export "r" (func $r))))
|
||||
))
|
||||
)
|
||||
(instance $c1 (instantiate $c1))
|
||||
(instance $c2 (instantiate $c2 (with "r" (func $c1 "r"))))
|
||||
)
|
||||
"unreachable")
|
||||
|
||||
;; caller retptr misaligned
|
||||
(assert_trap
|
||||
(component
|
||||
(component $c1
|
||||
(core module $m
|
||||
(memory (export "memory") 1)
|
||||
(func (export "r") (result i32) i32.const 0)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func (export "r") (result (tuple u32 u32))
|
||||
(canon lift (core func $m "r") (memory $m "memory"))
|
||||
)
|
||||
)
|
||||
(component $c2
|
||||
(import "r" (func $r (result (tuple u32 u32))))
|
||||
(core module $libc (memory (export "memory") 1))
|
||||
(core instance $libc (instantiate $libc))
|
||||
(core func $r (canon lower (func $r) (memory $libc "memory")))
|
||||
|
||||
(core module $m
|
||||
(import "" "r" (func $r (param i32)))
|
||||
(func $start
|
||||
i32.const 1
|
||||
call $r
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $m
|
||||
(with "" (instance (export "r" (func $r))))
|
||||
))
|
||||
)
|
||||
(instance $c1 (instantiate $c1))
|
||||
(instance $c2 (instantiate $c2 (with "r" (func $c1 "r"))))
|
||||
)
|
||||
"unreachable")
|
||||
|
||||
;; callee argptr misaligned
|
||||
(assert_trap
|
||||
(component
|
||||
(type $big (tuple u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32))
|
||||
|
||||
(component $c1
|
||||
(core module $m
|
||||
(memory (export "memory") 1)
|
||||
(func (export "r") (param i32))
|
||||
(func (export "realloc") (param i32 i32 i32 i32) (result i32)
|
||||
i32.const 1)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func (export "r") (param $big)
|
||||
(canon lift (core func $m "r") (memory $m "memory") (realloc (func $m "realloc")))
|
||||
)
|
||||
)
|
||||
(component $c2
|
||||
(import "r" (func $r (param $big)))
|
||||
(core module $libc (memory (export "memory") 1))
|
||||
(core instance $libc (instantiate $libc))
|
||||
(core func $r (canon lower (func $r) (memory $libc "memory")))
|
||||
|
||||
(core module $m
|
||||
(import "" "r" (func $r (param i32)))
|
||||
(func $start
|
||||
i32.const 4
|
||||
call $r
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $m
|
||||
(with "" (instance (export "r" (func $r))))
|
||||
))
|
||||
)
|
||||
(instance $c1 (instantiate $c1))
|
||||
(instance $c2 (instantiate $c2 (with "r" (func $c1 "r"))))
|
||||
)
|
||||
"unreachable")
|
||||
|
||||
;; caller argptr misaligned
|
||||
(assert_trap
|
||||
(component
|
||||
(type $big (tuple u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32 u32))
|
||||
|
||||
(component $c1
|
||||
(core module $m
|
||||
(memory (export "memory") 1)
|
||||
(func (export "r") (param i32))
|
||||
(func (export "realloc") (param i32 i32 i32 i32) (result i32)
|
||||
i32.const 4)
|
||||
)
|
||||
(core instance $m (instantiate $m))
|
||||
(func (export "r") (param $big)
|
||||
(canon lift (core func $m "r") (memory $m "memory") (realloc (func $m "realloc")))
|
||||
)
|
||||
)
|
||||
(component $c2
|
||||
(import "r" (func $r (param $big)))
|
||||
(core module $libc (memory (export "memory") 1))
|
||||
(core instance $libc (instantiate $libc))
|
||||
(core func $r (canon lower (func $r) (memory $libc "memory")))
|
||||
|
||||
(core module $m
|
||||
(import "" "r" (func $r (param i32)))
|
||||
(func $start
|
||||
i32.const 1
|
||||
call $r
|
||||
)
|
||||
(start $start)
|
||||
)
|
||||
(core instance (instantiate $m
|
||||
(with "" (instance (export "r" (func $r))))
|
||||
))
|
||||
)
|
||||
(instance $c1 (instantiate $c1))
|
||||
(instance $c2 (instantiate $c2 (with "r" (func $c1 "r"))))
|
||||
)
|
||||
"unreachable")
|
||||
Reference in New Issue
Block a user